2.3 Install CLIs

SnarkVM

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.

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

Build from Source Code

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

# Download the source code
git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkVM.git 
cd snarkVM
git checkout tags/testnet-beta
# Install snarkVM
cargo install --path .

Now to use snarkvm, in your terminal, run:

snarkvm

SnarkOS

Before beginning, please ensure your machine has Rust installed, with at least this version. Instructions to install Rust can be found here.

Start by cloning this GitHub repository:

git clone --branch mainnet --single-branch https://github.com/ProvableHQ/snarkOS.git

Next, move into the snarkOS directory:

cd snarkOS
git checkout tags/testnet-beta

[For Ubuntu users] A helper script to install dependencies is available. From the snarkOS directory, run:

./build_ubuntu.sh

Lastly, install snarkOS:

cargo install --locked --path .

Leo

Verify Installation

git --version

cargo --version

Build Leo from Source Code

# Download the source code git clone https://github.com/ProvableHQ/leo
cd leo

# Build and install 
cargo install --path .

This will generate the executable at ~/.cargo/bin/leo.

To use Leo, run:

leo

VS Code Extension

If you are using VS code, make sure to install the following Leo extension for syntax highlighting:

https://marketplace.visualstudio.com/items?itemName=aleohq.leo-extension