{"repo":"Certora/SecurityReports","free":true,"listed":false,"github":"https://github.com/Certora/SecurityReports","clone":"git clone https://github.com/Certora/SecurityReports.git","description":"Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.","language":null,"stars":33,"topics":["blockchain","certora","formal-verification","security-audits","smart-contracts","web3","certora-prover","solana","stellar","ethereum"],"license":null,"category":"blockchain-web3","readme_excerpt":"Certora's Formal Verification and Audit Portfolio This repository hosts a comprehensive collection of formal verification (FV) reports and security audits performed by Certora. About Certora Certora specializes in formal verification and security audits for the Web3 space. Our flagship product, the Certora Prover, is an open-source tool for formal verification of smart contracts written for EVM-compatible chains, Solana, Sui, and Stellar. In particular, Solidity, Vyper, Rust, Move, and Soroban are supported. Our comprehensive approach combines automated formal verification with manual security reviews (audits) to provide the highest level of assurance for smart contract security. 📚 Learn more about the technology behind Certora in our white paper. 💼 Want to work with us? Sign up here. 🚀 Want to use Prover? Sign up here to access the Certora Prover platform, or just start building. Protocol Security Portfolio Protocol Date Project Platform FV Audit Report --------------------------------------------- -------------------- ------------------------------ -------- :-: :---: :------------------------------------------------------------------------: Solana Foundation July 16th, 2026 Stake Pool Solana ✅ ✅ 📎 Aave July 8th, 2026 V4 Hub EVM ✅ 📎 Aave July 8th, 2026 V4 Libraries EVM ✅ 📎 Aave July 8th, 2026 V4 Spoke EVM ✅ 📎 Aave July 8th, 2026 V4 Tokenization Spoke EVM ✅ 📎 Royco July 8th, 2026 Dawn EVM ✅ 📎 Mezzanine June 29th, 2026 Mezzanine Protocol EVM ✅ 📎 Spectra June 10th, 20","default_branch":null,"files":null,"tree":[],"storefront":"/r/Certora","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/Certora/SecurityReports/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}