An ultra-high performance and flexible EVM. Written in zig

arithmetizing interaction nets for use in zero-knowledge protocols

Noir is a domain specific language for zero knowledge proofs

The Valida execution engine, prover, and verifier