A framework for building zero-knowledge proof circuits using a custom DSL optimized for elliptic curve arithmetic, enabling verifiable computation with minimal on-chain footprint via Groth16 proofs.