Dual Mode
ach run executes your program. ach circuit compiles it to ZK constraints. Same syntax, two targets.
Achronyme
Write code. Prove parts of it. Same language for execution and ZK circuits — no separate DSL, no context switch.
Two Backends
R1CS for Groth16. Plonkish for KZG-PlonK. Pick the proof system that fits.
Inline Proofs
prove {} compiles, witnesses, and proves — all inline. No external tooling required.
snarkjs Compatible
Exports .r1cs and .wtns files. Plug directly into snarkjs for Groth16 proof generation.