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

We recommend installing Rust as on the official Rust website:

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

It is useful to have Rust versions 1.75, 1.79, and 1.81 or above installed.
```
rustup toolchain install 1.79
rustup toolchain install 1.75
rustup toolchain install 1.81
```
Install certora-sbf cargo sub-command

cargo +1.81 install cargo-certora-sbf

Note that a minimal version of Rust required to install certora-sbf is v1.81.
Test the installation by using certora-sbf to download and install Certora Platform Tools

cargo certora-sbf --no-build
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.