ljedrz / snarkVM

A Distributed Virtual Machine for Zero-Knowledge Executions

Table of Contents

• 1. Overview
• 2. Build Guide
• 3. Usage Guide

1. Overview

Package	Crate.io	std	wasm	no_std
snarkvm-algorithms		✅	✅	🚧
snarkvm-curves		✅	✅	🚧
snarkvm-derives		✅	✅	🚧
snarkvm-dpc		✅	✅	🚧
snarkvm-fields		✅	✅	🚧
snarkvm-gadgets		✅	✅	🚧
snarkvm-marlin		✅	🚧	🚧
snarkvm-objects		✅	✅	🚧
snarkvm-parameters		✅	✅	🚧
snarkvm-polycommit		✅	🚧	🚧
snarkvm-posw		✅	🚧	🚧
snarkvm-profiler		✅	✅	🚧
snarkvm-r1cs		✅	✅	🚧
snarkvm-utilities		✅	✅	🚧
snarkvm-wasm		✅	✅	🚧

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

• Windows (64-bit):

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

2.2a Build from Crates.io

We recommend installing snarkvm this way. In your terminal, run:

cargo install snarkvm

Now to use snarkvm, in your terminal, run:

snarkvm

2.2b Build from Source Code

Alternatively, you can install snarkvm by building from the source code as follows:

# Download the source code
git clone https://github.com/AleoHQ/snarkvm && cd snarkvm

# Install snarkVM
$ cargo install --path .

Now to use snarkvm, in your terminal, run:

snarkvm

3. Usage Guide

Diffs to Resolve

• Remove snarkvm-storage by reintroducing a virtualized/in-memory ledger
• Unify snarkvm-parameters with snarkos-parameters - examples and scripts