The Certora Solana Prover

The Certora Solana Prover allows formal verification of Solana smart contracts written in Rust.

Contents:

• Get started with the Solana Certora Prover
• Using the Solana Certora Prover
• Certora Verification Language for Rust (CVLR)
• Solana-Specific Options / CLI Flags
• Understanding Prover Output for Solana Programs
• Rule Sanity Checks (Solana)
• Troubleshooting