snarkVM is a Rust zkVM library for decentralized private computation. It supplies the algorithms, circuits, fields, curves, ledger, synthesizer, VM and WebAssembly components used by the Aleo stack and is actively maintained in the ProvableHQ GitHub organization.
