Extending privacy from payments to computation.

Run RISC-V programs in a deterministic environment so every verifier can reproduce the same execution trace and agree on the proof, without learning the underlying data.

Generate succinct proofs that the program executed correctly, while keeping inputs, intermediate state, and outputs confidential. Ideal for cross-chain and off-chain verification.

Build private DeFi protocols, confidential rollups and bridges, private AI inference, and privacy-preserving data collaboration – all backed by verifiable computation.

Compose large circuits from modular templates – hash functions, signature verification, comparators, converters and more – leveraging the existing circom ecosystem.

Integrate with popular ZKP tooling such as snarkjs, analyzers, and dev frameworks that understand circom-style circuits and workflows.

Start from familiar circom documentation and adapt quickly to the Mona-Chan flavored stack without having to reinvent your entire development flow.

Fork or clone the core runtime and wire it into your Rust workspace. Use it as the foundation for confidential execution of your application logic.

Start from a ready-to-use scaffold that wires together the runtime, circuits, and example flows so you can focus on product logic instead of boilerplate.

Follow updates, propose ideas, and ship integrations alongside other builders working on privacy-preserving infrastructure and applications.