Get started with the Solana Certora Prover

Installing Solana Certora Prover

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

Rust and Solana Setup

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

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

2. Next, install the Solana CLI:

   sh -c "$(curl -sSfL https://release.solana.com/v1.18.16/install)"

   Currently, the Solana Prover only supports version 1.18.16 so make sure that you install that specific version.

3. Install Certora’s version of platform-tools 1.41 as shown here.

4. Finally, install rustfilt like so: cargo install rustfilt.

---

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.