Dual Mode
Run programs normally with ach run or compile to ZK circuits with ach circuit. Same language, two modes.
Achronyme
Write readable code. Decide what gets proven. Same language for general execution and ZK circuit compilation.
Two Backends
R1CS (Groth16) and Plonkish (KZG-PlonK). Choose the right backend for your proof system.
Inline Proofs
prove {} blocks compile circuits, generate witnesses, and produce proofs — all from within your program.
snarkjs Compatible
Export .r1cs and .wtns files directly consumable by snarkjs for Groth16 proof generation.