An EVM-compatible environment where execution can be proven with zero-knowledge proofs. Comes in types (1–4) balancing bytecode equivalence, prover speed, and compatibility.