snarkVM is the actively maintained zero-knowledge virtual-machine library that implements core cryptographic and ledger components for the Aleo blockchain.
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.