ProvableHQ/snarkVM

Health v2 · maintenance only

Adoption not part of the score

1163 stars · 1559 forks observed · 2026-09-03

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

snarkVM is a zero-knowledge virtual machine (zkVM) for Decentralized Private Computations, the core execution engine of the Aleo blockchain. It is a Rust workspace of crates covering cryptographic curves, circuits, program synthesis, and ledger functionality, with both std and wasm support.

Use cases

• run zero-knowledge programs for the Aleo blockchain
• build a zkVM or execute private smart contracts
• generate and verify zk-SNARK proofs in Rust
• implement a decentralized private computation ledger
• compile and synthesize Leo/Aleo programs into circuits
• run Aleo node ledger logic in Rust or WebAssembly

When to choose

• you are developing on the Aleo ecosystem and need its canonical zkVM implementation
• you need production-grade SNARK circuits, curves, and field arithmetic in Rust
• you want wasm support for zero-knowledge execution in browsers or embedded environments

When to avoid

• you need a general-purpose VM unrelated to zero-knowledge proofs or Aleo
• you want a simple zk proof library without a full virtual machine and ledger
• you need a zkVM for a different blockchain or proof system stack

Facets

library · maturity active

cryptography interpreter compiler blockchain sdk blockchain privacy programming-languages rust wasm cross-platform cli zero-knowledge zkvm zkp aleo dpc snark decentralized-private-computation virtual-machine cryptography cryptocurrency

Member repositories

For agents

markdown · JSON · MCP: product_card(name="ProvableHQ/snarkVM")