ProvableHQ/snarkVM

A zkVM for Decentralized Private Computations (DPC)

Rust

1,164

13,593 commits

updated Oct 17, 2026

See the code

README

snarkVM

Table of Contents

1. Overview

Packagecrates.iodocs.rsstdwasmDescription
snarkvmcrates.io docs.rs ✅✅Meta-package that contains all other crates
snarkvm-algorithmscrates.io docs.rs ✅✅
snarkvm-circuitcrates.io docs.rs ✅✅Arithmetic circuits for snarkVM
snarkvm-consolecrates.io docs.rs ✅✅
snarkvm-curvescrates.io docs.rs ✅✅Cryptographic curves for snarkVM
snarkvm-fieldscrates.io docs.rs ✅✅Arithmetic fields for snarkVM
snarkvm-ledgercrates.io docs.rs ✅✅Ledger implementation for the Aleo blockchain
snarkvm-parameterscrates.io docs.rs ✅✅
snarkvm-synthesizercrates.iodocs.rs✅✅Program synthesizer for snarkVM
snarkvm-utilitiescrates.io docs.rs ✅✅Helper functions for snarkVM
snarkvm-wasmcrates.io docs.rs ✅✅WASM bindings for snarkVM

For more information, visit Welcome to Aleo to get started.

2. Build Guide

2.1 Install Rust

We recommend installing Rust using rustup. You can install rustup as follows:

  • macOS or Linux:

    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
    

    For macOS users, you will need to subsequently install the following packages:

    brew install pkgconf
    brew install openssl
    
  • Windows (64-bit):

    Download the Windows 64-bit executable or Windows 32-bit executable and follow the on-screen instructions.

2.2 Using snarkVM as a Library

snarkVM is primarily designed to be used as a library in Rust projects. Add it to your Cargo.toml with your favourite published version:

[dependencies]
snarkvm = "<major>.<minor>.<patch>"

2.3 Build from Source Code

You can also build snarkVM from source:

# Fetch the repository's development (staging) branch
git clone --branch staging --single-branch https://github.com/ProvableHQ/snarkVM.git 
cd snarkVM
# Build the library
cargo build --release

3. Contributors

Thank you for helping make snarkVM better!
🧐 What do the emojis mean?

This project follows the all-contributors specification. Contributions of any kind welcome!

4. License

License: GPL v3

aleo
blockchain
cryptography
rust
zero-knowledge
zkp

ProvableHQ/snarkVM

A zkVM for Decentralized Private Computations (DPC)

Rust

1,164

13,593 commits

updated Oct 17, 2026

See the code

README

snarkVM

Table of Contents

1. Overview

Packagecrates.iodocs.rsstdwasmDescription
snarkvmcrates.io docs.rs ✅✅Meta-package that contains all other crates
snarkvm-algorithmscrates.io docs.rs ✅✅
snarkvm-circuitcrates.io docs.rs ✅✅Arithmetic circuits for snarkVM
snarkvm-consolecrates.io docs.rs ✅✅
snarkvm-curvescrates.io docs.rs ✅✅Cryptographic curves for snarkVM
snarkvm-fieldscrates.io docs.rs ✅✅Arithmetic fields for snarkVM
snarkvm-ledgercrates.io docs.rs ✅✅Ledger implementation for the Aleo blockchain
snarkvm-parameterscrates.io docs.rs ✅✅
snarkvm-synthesizercrates.iodocs.rs✅✅Program synthesizer for snarkVM
snarkvm-utilitiescrates.io docs.rs ✅✅Helper functions for snarkVM
snarkvm-wasmcrates.io docs.rs ✅✅WASM bindings for snarkVM

For more information, visit Welcome to Aleo to get started.

2. Build Guide

2.1 Install Rust

We recommend installing Rust using rustup. You can install rustup as follows:

  • macOS or Linux:

    curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
    

    For macOS users, you will need to subsequently install the following packages:

    brew install pkgconf
    brew install openssl
    
  • Windows (64-bit):

    Download the Windows 64-bit executable or Windows 32-bit executable and follow the on-screen instructions.

2.2 Using snarkVM as a Library

snarkVM is primarily designed to be used as a library in Rust projects. Add it to your Cargo.toml with your favourite published version:

[dependencies]
snarkvm = "<major>.<minor>.<patch>"

2.3 Build from Source Code

You can also build snarkVM from source:

# Fetch the repository's development (staging) branch
git clone --branch staging --single-branch https://github.com/ProvableHQ/snarkVM.git 
cd snarkVM
# Build the library
cargo build --release

3. Contributors

Thank you for helping make snarkVM better!
🧐 What do the emojis mean?

This project follows the all-contributors specification. Contributions of any kind welcome!

4. License

License: GPL v3

aleo
blockchain
cryptography
rust
zero-knowledge
zkp

Project health

crates.io

Latest release

4.12.0 · Oct 13, 2026

Releases this year

18

Significant stargazers

brockelmore

874 followers · starred Nov 2021

Jean-Philippe Aumasson

1,061 followers · starred Aug 2021

nk_ysg

18 followers · starred Jul 2023

Michal Swietek

52 followers · starred Aug 2022