Build from Source

This guide provides step-by-step instructions for building the Stone prover and verifier from source on Linux and macOS devices.

Linux

Step 1: Install System Dependencies

Install the necessary system libraries using your os package manager.

sudo apt-get update
sudo apt-get install -y libtinfo5 libdw-dev libgmp3-dev git wget python3 python3-pip

Step 2: Install Python Packages

Install the required Python packages, including specific versions of sympy and cairo-lang, along with cpplint, pytest, and numpy.

pip install cpplint pytest numpy sympy==1.12.1 cairo-lang==0.12.0

Step 3: Download and Set Up Bazelisk

Install the Bazelisk binary to build the stone prover/verifier.

wget "https://github.com/bazelbuild/bazelisk/releases/download/v1.20.0/bazelisk-linux-amd64"
chmod 755 "bazelisk-linux-amd64"
sudo mv "bazelisk-linux-amd64" /usr/bin/bazelisk

Step 4: Clone the Stone Prover Repository

Clone the Stone prover repository from GitHub.

git clone https://github.com/baking-bad/stone-prover.git /tmp/stone-prover

Step 5: Navigate to the Project Directory

Change to the Stone prover project directory.

cd /tmp/stone-prover

Step 6: Build the Project with Bazelisk

Build the Stone prover and verifier using Bazelisk. Ensure the architecture is passed correctly.

bazelisk build //...

Step 7: Run Tests with Bazelisk

Run the tests to verify the build.

bazelisk test //...

Step 8: Create Symbolic Links for Prover and Verifier

To easily access the built prover and verifier binaries, create symbolic links in /usr/local/bin.

ln -s /tmp/stone-prover/build/bazelbin/src/starkware/main/cpu/cpu_air_prover /usr/local/bin/cpu_air_prover
ln -s /tmp/stone-prover/build/bazelbin/src/starkware/main/cpu/cpu_air_verifier /usr/local/bin/cpu_air_verifier

Step 9: Locating the built binaries

which cpu_air_prover
which cpu_air_verifier
# cpu_air_prover --help
# cpu_air_verifier --help

macOS

Step 1: Install Dependencies

Homebrew is most likely already installed. If not:

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"

To install the software, you'll need the following dependencies:

brew install git
brew install gmp
brew install python@3.9