Office Hours
Talk Directly to a Security Expert
1-1 free sessions with Certora. Get feedback on your architecture, threat model, or audit readiness.
Your central resource for security best practices, tooling, and audit preparation when building programs on Solana.
Resources
Practical materials to help you identify risks early and apply proven security patterns.
Official documentation: setup, CVLR language, and Solana program verification end-to-end.
How formal verification identified future risks in Kamino's lending protocol before deployment.
The foundational blog post introducing formal verification for Solana smart contracts.
Verifying the correctness of the Mint operation in SPL Token 2022, with practical harness and spec examples.
How the Certora Prover detected a critical bug in SPL Token 2022's confidential transfer extension.
Applying formal verification to Solana SPL token extensions to surface hidden edge cases.
Mooly Sagiv on Certora's security approach, common misconceptions, and emerging risks in 2026.
Pamina Georgiou presents formal verification to the Solana ecosystem at Breakpoint 2025.
Live demonstration of Solana program verification techniques from first principles to production.
Arie Gurfinkel on the academic and engineering perspective behind applying FV to Solana.
Rust library for writing formal verification specs directly on Solana programs.
A ready-to-use starting point for new Solana formal verification projects.
Practical verification patterns from Certora's Solana examples repository.
Security Subsidy Program
Designed and launched by Areta, this $1M initiative removes the financial barrier to audits - so Solana builders can ship with confidence, not compromise.
Security is a shared responsibility. The program provides direct audit subsidies to qualifying Solana ecosystem projects, connecting them with a curated roster of 10+ leading security providers - including Certora.
Areta is the ecosystem development arm behind the program's design and launch. They built the Solana Builder Services Marketplace and continue to drive targeted support and resource allocation across the Solana ecosystem.
Office Hours
Direct, no-pitch access to researchers who specialize in Solana programs. Whether you're at idea stage or post-launch, you'll get actionable feedback.
Track Record
Security work completed across the Solana ecosystem, from design reviews to formal verification.
Access resources, book office hours, or apply for a security subsidy through the Areta-led $1M program - all from one place.