Baike.dev
All toolsAI codingTrendingOpen sourceNewsSubmit
Log in
< Back to tools
S

snarkVM

> 编程语言
Open source

A zkVM for Decentralized Private Computations (DPC)

1.2K stars0 likes0 views
WebsiteGitHub

About

A zkVM for Decentralized Private Computations (DPC)

Table of Contents

  • 1. Overview
  • 2. Build Guide
  • 3. Contributors
  • 4. License

1. Overview

Package crates.io docs.rs std wasm Description
snarkvm :white_check_mark: :white_check_mark: Meta-package that contains all other crates
snarkvm-algorithms :white_check_mark: :white_check_mark:
snarkvm-circuit :white_check_mark: :white_check_mark: Arithmetic circuits for snarkVM
snarkvm-console :white_check_mark: :white_check_mark:
snarkvm-curves :white_check_mark: :white_check_mark: Cryptographic curves for snarkVM
snarkvm-fields :white_check_mark: :white_check_mark: Arithmetic fields for snarkVM
snarkvm-ledger :white_check_mark: :white_check_mark: Ledger implementation for the Aleo blockchain
snarkvm-parameters :white_check_mark: :white_check_mark:
snarkvm-synthesizer :white_check_mark: :white_check_mark: Program synthesizer for snarkVM
snarkvm-utilities :white_check_mark: :white_check_mark: Helper functions for snarkVM
snarkvm-wasm :white_check_mark: :white_check_mark: 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 = ".."

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?

Howard Wu

Raymond Chu

d0cd

Pratyush Mishra

vicsn

ljedrz

Mike Turner

Collin Chin

Alessandro Coglio ⚠️

Niklas Long

jules

Ali Mousa

Weikeng Chen

Evan Schott

Max Bruce

zhiqiangxu

Javier Rodríguez Chatruc

Eduardo Morais

Maciej Zwoliński

Ivan Litteri

Francisco Strambini

Haruka

StarLI-Trapdoor

Vesa-Ville

Jos Dehaes

apruden2008

Evan Marshall

Psi Vesely

swift-mx

Nacho Avecilla

qy3u

Yt

Kostyan

stanlagermin

Sukey

Alex Zhao

ghost ant

Psi Vesely

Dependabot

Dependabot Preview

All Contributors

      Add your contributions

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

4. License

Issues· 0 open

View all issuesOpen on GitHub

No open issues yet, or sync has not completed.

> Tags

Rustaleoblockchaincryptographyrust

No comments yet. Be the first to share.

> Details

PublishedAug 1, 2026
UpdatedSep 17, 2026
Category编程语言
PricingOpen source

> Related tools

T
TypeScript
JavaScript 的超集,为前端与全栈提供静态类型
P
Python
通用编程语言,广泛用于 Web、数据与 AI
G
Go
Google 推出的简洁高效系统语言