This repository hosts a comprehensive collection of formal verification (FV) reports and security audits performed by 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 and Stellar. In particular, Solidity, Vyper, Rust, 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? # here.
🚀 Want to use Prover? # here to access the Certora Prover platform, or just start building.
| Protocol | Date | Project | Platform | FV | Audit | Report |
|---|---|---|---|---|---|---|
| MoviePass | March 2nd, 2025 | MoviePass Exchange MSX | Sui | ✅ | 📎 | |
| Balancer | February 25th, 2025 | Liquidity Bootstrap Pool | EVM | ✅ | 📎 | |
| Kamino | February 24th, 2025 | Lending | Solana | ✅ | ✅ | 📎 |
| EigenLayer | February 20th, 2025 | Slashing | EVM | ✅ | ✅ | 📎 |
| Lido | February 18th, 2025 | Dual Governance ReAudit | EVM | ✅ | ✅ | 📎 |
| Balancer | February 18th, 2025 | Stablepool Surge Hooks | EVM | ✅ | 📎 | |
| Squads | February 15th, 2025 | Smart Account Program | Solana | ✅ | ✅ | 📎 |
| Relend Network | February 12th, 2025 | — | EVM | ✅ | 📎 | |
| Balancer | February 12th, 2025 | MEV Tax Hook | EVM | ✅ | 📎 | |
| Whetstone | February 12th, 2025 | Doppler | EVM | ✅ | 📎 | |
| Lulo | February 10th, 2025 | — | Solana | ✅ | 📎 | |
| Lido | February 5th, 2025 | Dual Governance | EVM | ✅ | ✅ | 📎 |
| Blend | January 30th, 2025 | V1 | Stellar | ✅ | 📎 | |
| Veda | January 28th, 2025 | Boring Bridge | Solana | ✅ | 📎 | |
| Silo | January 7th, 2025 | SiloCore V2 Coverage Report | EVM | ✅ | ✅ | 📎 |
| Jito | January 20th, 2025 | Tip Router | Solana | ✅ | 📎 | |
| Origin | January 15th, 2025 | Dollar | EVM | ✅ | 📎 | |
| Silo | January 7th, 2025 | SiloCore V2 | EVM | ✅ | ✅ | 📎 |
| Balancer | December 30th, 2024 | GyroPools | EVM | ✅ | 📎 | |
| Aquarius | December 29th, 2024 | AMM | Stellar | ✅ | 📎 | |
| Jito | December 13th, 2024 | Interceptor | Solana | ✅ | ✅ | 📎 |
| Squads | December 12th, 2024 | V4 | Solana | ✅ | ✅ | 📎 |
| Liquity | December 12th, 2024 | Bold | EVM | ✅ | 📎 | |
| Glow | December 11th, 2024 | LRT | Solana | ✅ | 📎 | |
| Frax | December 10th, 2024 | Bamm | EVM | ✅ | ✅ | 📎 |
| Sonic | December 6th, 2024 | Gateway | EVM | ✅ | ✅ | 📎 |
| Manifest | December 4th, 2024 | — | Solana | ✅ | ✅ | 📎 |
| Balancer | November 27th, 2024 | V3 | EVM | ✅ | ✅ | 📎 |
| Alluvial | November 26th, 2024 | Liquid Collective | EVM | ✅ | ✅ | 📎 |
| Fragmetric | November 25th, 2024 | — | Solana | ✅ | ✅ | 📎 |
| Jito | November 11th, 2024 | Restaking V2 | Solana | ✅ | ✅ | 📎 |
| Reflector | October 10th, 2024 | DAO and Subscription contracts | Stellar | ✅ | ✅ | 📎 |
| Jito | September 19th, 2024 | Restaking V1 | Solana | ✅ | ✅ | 📎 |
| Euler | September 8th, 2024 | EVK V3 | EVM | ✅ | ✅ | 📎 |
| Uniswap | September 5th, 2024 | V4 Core | EVM | ✅ | ✅ | 📎 |
| Symbiotic | September 2nd, 2024 | Shared Security Protocol | EVM | ✅ | ✅ | 📎 |
| EigenLayer | August 12th, 2024 | PEPE | EVM | ✅ | ✅ | 📎 |
| Huma | July 4th, 2024 | — | Stellar | ✅ | 📎 | |
| Aave | June 20th, 2024 | Risk Steward | EVM | ✅ | ✅ | 📎 |
| Tether | June 4th, 2024 | Token | EVM | ✅ | ✅ | 📎 |
| Warp | May 30th, 2024 | Exchange | EVM | ✅ | ✅ | 📎 |
| Solana Foundation | May 24th, 2024 | Token-2022 | Solana | ✅ | 📎 | |
| Slender | May 22nd, 2024 | — | Stellar | ✅ | 📎 | |
| Paraswap | May 22nd, 2024 | Augustus V6 | EVM | ✅ | ✅ | 📎 |
| Lido | May 5th, 2024 | Dual Governance Design Review | EVM | ✅ | 📎 | |
| Kinto | May 3rd, 2024 | Core Account Abstraction | EVM | ✅ | ✅ | 📎 |
| MZero | April 30th, 2024 | MZero protocol and TTTG | EVM | ✅ | ✅ | 📎 |
| Curve | April 30th, 2024 | Curve Crypto Pools | EVM | ✅ | ✅ | 📎 |
| Aave | April 30th, 2024 | V3.1 | EVM | ✅ | 📎 | |
| Tokemak | April 10th, 2024 | V2 LMPStrategy | EVM | ✅ | ✅ | 📎 |
| Cables | April 10th, 2024 | — | Stellar | ✅ | 📎 | |
| Seamless | April 8th, 2024 | ILM | EVM | ✅ | ✅ | 📎 |
| Coinbase | March 21st, 2024 | Wallet | EVM | ✅ | ✅ | 📎 |
| Aave | March 14th, 2024 | GhoStewardV2 | EVM | ✅ | ✅ | 📎 |
| Delv | March 13th, 2024 | Hyperdrive | EVM | ✅ | ✅ | 📎 |
| Protofire | March 6th, 2024 | VE8020 Launchpad | EVM | ✅ | ✅ | 📎 |
| Blend | January 25th, 2024 | V1 | Stellar | ✅ | 📎 | |
| Ajna | January 8th, 2024 | — | EVM | ✅ | ✅ | 📎 |
| Aave | December 21st, 2023 | GHO Stability Module | EVM | ✅ | ✅ | 📎 |
| GMX | November 16th, 2023 | V2 | EVM | ✅ | ✅ | 📎 |
| Aave | July 27th, 2023 | stkToken V3 | EVM | ✅ | 📎 | |
| Aave | July 15th, 2023 | Governance V3 | EVM | ✅ | ✅ | 📎 |
| Aave | July 15th, 2023 | Delivery Infrastructure | EVM | ✅ | ✅ | 📎 |
| Aave | June 15th, 2023 | Vault | EVM | ✅ | ✅ | 📎 |
| Balancer | May 10th, 2023 | TimelockAuthorizer | EVM | ✅ | 📎 | |
| Aave | April 4th, 2023 | StaticAToken V3 | EVM | ✅ | 📎 | |
| Lido | April 3rd, 2023 | V2 | EVM | ✅ | ✅ | 📎 |
| Aave | March 15th, 2023 | v3 Core PR 820 | EVM | ✅ | 📎 | |
| Aave | March 7th, 2023 | GHO Stablecoin | EVM | ✅ | ✅ | 📎 |
| Aave | January 24th, 2023 | Rescue Mission Phase 1 | EVM | ✅ | ✅ | 📎 |
| Radicle | January 4th, 2023 | Drips | EVM | ✅ | 📎 | |
| Aave | December 29th, 2022 | stkToken v1.5 | EVM | ✅ | 📎 | |
| Aave | December 14th, 2022 | V3.0.1 | EVM | ✅ | 📎 | |
| Aave | December 7th, 2022 | CL Price Adapter | EVM | ✅ | 📎 | |
| dcSpark | December 2nd, 2022 | Sidechain Bridge | EVM | ✅ | 📎 | |
| Aave | November 22nd, 2022 | Proof Of Reserve | EVM | ✅ | ✅ | 📎 |
| Aave | September 30th, 2022 | BTC.b | EVM | ✅ | ✅ | 📎 |
| Balancer | September 16th, 2022 | Stable Pool | EVM | ✅ | 📎 | |
| Aave | September 8th, 2022 | Governance V2 | EVM | ✅ | ✅ | 📎 |
| Aave | August 29th, 2022 | Starknet Bridge | EVM | ✅ | ✅ | 📎 |
| Aave | July 15th, 2022 | steward sUSD | EVM | ✅ | 📎 | |
| Aave | July 15th, 2022 | FRAX MAI Listing | EVM | ✅ | ✅ | 📎 |
| Silo | July 11th, 2022 | Protocol | EVM | ✅ | 📎 | |
| Aave | July 9th, 2022 | Token V3 | EVM | ✅ | ✅ | 📎 |
| Compound | July 1st, 2022 | Comet | EVM | ✅ | 📎 | |
| Aave | July 1st, 2022 | Stweard sAVAX | EVM | ✅ | ✅ | 📎 |
| Aave | July 1st, 2022 | L2 Bridge | EVM | ✅ | ✅ | 📎 |
| Aave | June 26th, 2022 | AStETH | EVM | ✅ | ✅ | 📎 |
| OpenZeppelin | June 13th, 2022 | ERC1155 Extensions | EVM | ✅ | 📎 | |
| Benqi | April 6th, 2022 | Liquid Staking | EVM | ✅ | 📎 | |
| OpenZeppelin | April 2nd, 2022 | Governance | EVM | ✅ | 📎 | |
| TraderJoe | March 17th, 2022 | Rocket Joe Staking | EVM | ✅ | 📎 | |
| Aave | January 1st, 2022 | Protocol V3 | EVM | ✅ | 📎 | |
| OpenZeppelin | December 7th, 2021 | Governance | EVM | ✅ | 📎 | |
| Euler | November 30th, 2021 | — | EVM | ✅ | 📎 | |
| Popsicle | November 5th, 2021 | V3 Optimizer | EVM | ✅ | 📎 | |
| SushiSwap | November 4th, 2021 | Trident Router | EVM | ✅ | 📎 | |
| SushiSwap | November 4th, 2021 | Constant Product Pool | EVM | ✅ | 📎 | |
| Notional | November 1st, 2021 | — | EVM | ✅ | 📎 | |
| Pintu | August 25th, 2021 | Token | EVM | ✅ | 📎 | |
| Rolla | August 1st, 2021 | — | EVM | ✅ | 📎 | |
| Zesty | July 4th, 2021 | Market | EVM | ✅ | 📎 | |
| Lyra | June 8th, 2021 | Option Market | EVM | ✅ | 📎 | |
| Celo | May 7th, 2021 | Core V4 | EVM | ✅ | 📎 | |
| SushiSwap | April 25th, 2021 | Compound Strategy | EVM | ✅ | 📎 | |
| Furucombo | April 21st, 2021 | — | EVM | ✅ | 📎 | |
| Balancer | April 1st, 2021 | V2 Vault | EVM | ✅ | 📎 | |
| SushiSwap | March 30th, 2021 | MasterChef V2 | EVM | ✅ | 📎 | |
| SushiSwap | March 3rd, 2021 | Kashi Pair | EVM | ✅ | 📎 | |
| SushiSwap | March 3rd, 2021 | BentoBox | EVM | ✅ | 📎 | |
| dForce | February 28th, 2021 | Lending | EVM | ✅ | 📎 | |
| Origin | February 25th, 2021 | OUSD Token | EVM | ✅ | 📎 | |
| Opyn | December 28th, 2020 | Gamma | EVM | ✅ | 📎 | |
| Synthetix | December 17th, 2020 | Multi Collateral Loans | EVM | ✅ | 📎 | |
| Aave | December 2nd, 2020 | Token V2 Delegation | EVM | ✅ | 📎 | |
| Keep | November 16th, 2020 | Fully Backed Bonding | EVM | ✅ | 📎 | |
| Aave | October 29th, 2020 | Protocol V2 | EVM | ✅ | 📎 | |
| Aave | September 16th, 2020 | Token V1 | EVM | ✅ | 📎 | |
| Compound | July 19th, 2020 | Open Oracle | EVM | ✅ | 📎 | |
| Synthetix | December 27th, 2019 | Depot | EVM | ✅ | 📎 | |
| Orchid | December 19th, 2019 | — | EVM | ✅ | 📎 | |
| MakerDAO | September 8th, 2019 | MCD Invariants | EVM | ✅ | 📎 | |
| MakerDAO | September 8th, 2019 | MCD Bug Report | EVM | ✅ | 📎 | |
| Celo | August 25th, 2019 | Governance | EVM | ✅ | 📎 | |
| Compound | May 9th, 2019 | Money Market | EVM | ✅ | 📎 | |
| Compound | September 5th, 2018 | Math Price Oracle | EVM | ✅ | 📎 | |
| Compound | August 10th, 2018 | Math Update | EVM | ✅ | 📎 |