cargo-certora-sbf

A Cargo subcommand that integrates Certora formal verification into Rust-based Solana BPF (SBF) smart contract development workflows.

📦 Installation

Install via cargo install:

cargo install cargo-certora-sbf

Ensure you have Rust installed using rustup. This tool requires Rust version 1.81 or higher.

🚀 Usage

Use from the command line just like any other cargo subcommand:

cargo certora-sbf [OPTIONS]

🔧 Options

Run cargo certora-sbf --help for the full list of options.

🛠 How It Works

cargo-certora-sbf automates:

• Managing Certora Solana Platform Tools (includes a Rust compiler version enhanced for Certora Prover compatibility).
• Compiling Solana smart contracts into a form suitable for formal verification.

📄 License

Apache 2.0. See LICENSE for details.

🙌 Contributions

Issues, pull requests, and feedback are welcome!

⸻

Made with ❤️ by Arie Gurfinkel for Certora