Get started with the Solana Certora Prover

Installing Solana Certora Prover

Begin by following the steps in the Certora Prover installation guide.

Rust, Solana, and Certora Platform Tools Setup

  1. We recommend installing Rust as on the official Rust website:

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

Rust 1.85 or above is recommended when using cvlr-solana ≥ 0.5. Version 1.75 or 1.79 can be used when analyzing programs that use cvlr-solana versions below or equal to 0.4. Use 1.75 when the target program is bundled with Solana v1.18 and version 1.79 when targeting Solana v2.1. Install whichever version correspond to the Solana release you target:

rustup toolchain install 1.85   # (recommended) if the program under analysis uses Solana v2.3
rustup toolchain install 1.79   # (alternatively) if the program under analysis uses Solana v2.1
rustup toolchain install 1.75   # (alternatively) if the program under analysis uses Solana v1.18

  1. Install certora-sbf cargo sub-command

    cargo install cargo-certora-sbf

  2. Test the installation by using certora-sbf to download and install Certora Platform Tools

    cargo certora-sbf --no-build

  3. Install llvm, you can typically install it also via apt or brew.

  4. Install rustfilt

    cargo install rustfilt

  5. It is strongly recommended to install VSCode and the rust-analyzer extension.

Congratulations! You have just completed Solana Certora Prover’s installation and setup.

Caution

We strongly recommend trying the tool on basic examples to verify correct installation. See Using the Solana Certora Prover for a detailed walkthrough.