KO | EN

GitLite

Minimalist Open Source Repository Search Engine

gitlite — search

#dsh #dsh-plugin #deepseek-harness #typescript #ai-agent #codex #developer-tools #claude-code #windows #mcp #python #desktop-app

SecurityReports

★ 33 Open GitHub ↗

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.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# 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](https://www.certora.com) specializes in formal verification and security audits for the Web3 space.
Our flagship product, the [Certora Prover](https://www.certora.com/prover), is an [open-source tool](https://github.com/Certora/CertoraProver) 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](https://www.certora.com/blog/white-paper).

💼 _Want to work with us? [Sign up here](https://www.certora.com/signup?plan=audit)._

🚀 _Want to use Prover? [Sign up here to access the Certora Prover platform](https://www.certora.com/signup), or just start [building](https://github.com/Certora/CertoraProver)._

## Protocol Security Portfolio

| Protocol                                      | Date                 | Project                        | Platform | FV  | Audit | Report                                                                     |
| --------------------------------------------- | -------------------- | ------------------------------ | -------- | :-: | :---: | :------------------------------------------------------------------------: |
| [Solana Foundation](https://solana.org/)      | July 16th, 2026      | Stake Pool                     | Solana   | ✅  | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_16_2026_Solana_Stake-Pool_Formal_Verification.pdf) |
| [Aave](https://aave.com/)                     | July 8th, 2026       | V4 Hub                         | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_08_2026_AaveV4-Hub_Formal_Verification.pdf) |
| [Aave](https://aave.com/)                     | July 8th, 2026       | V4 Libraries                   | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_08_2026_AaveV4-Libraries_FV.pdf) |
| [Aave](https://aave.com/)                     | July 8th, 2026       | V4 Spoke                       | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_08_2026_AaveV4-Spoke_FV.pdf) |
| [Aave](https://aave.com/)                     | July 8th, 2026       | V4 Tokenization Spoke          | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_08_2026_AaveV4-TokenizationSpoke_Formal_Verification.pdf) |
| [Royco](https://www.royco.org/)               | July 8th, 2026       | Dawn                           | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/07_08_2026_Royco_Formal_Verification.pdf) |
| [Mezzanine](https://mezz.finance/)            | June 29th, 2026      | Mezzanine Protocol             | EVM      | ✅  |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/06_29_2026_Mezzanine%20Protocol.pdf) |
| [Spectra](https://www.spectra.finance/)       | June 10th, 2026      | Spectra Bridge                 | Stellar, EVM |     | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/06_10_2026_Certora_SpectraBridge_AuditReport.pdf) |
| [Royco](https://www.royco.org/)               | June 10th, 2026      | Dawn                           | EVM      |     | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/06_10_2026_Royco_Dawn.pdf) |
| [Solana Foundation](https://solana.org/)      | June 4th, 2026       | P-Token                        | Solana   | ✅  | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/06_04_2026_Solana-P-Token-Formal_Verification.pdf) |
| [Reyts](https://reyts.com/)                                         | June 1st, 2026       | ReytsCAD                       | Stellar  |     | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/06_01_2026_ReytsCAD_Report.pdf) |
| [Spark](https://spark.fi/)                    | May 30th, 2026       | ALM Controller v1.8.0          | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_30_2026_Spark_ALM_Controller_v1.8.0-MR.pdf) |
| [Compound](https://compound.finance/)         | May 26th, 2026       | BytecodeRepository             | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_26_2026_Compound_BytecodeRepository-MR.pdf) |
| [Compound](https://compound.finance/)         | May 26th, 2026       | Comet Service Patch            | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_26_2026_Compound_Comet_Service_Patch-MR.pdf) |
| [Veda](https://veda.tech/)                    | May 19th, 2026       | Incentive Teller System        | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_19_2026_Veda_Incentive_Teller_System-MR.pdf) |
| [Veda](https://veda.tech/)                    | May 18th, 2026       | Fuzz & Invariant Testing       | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_18_2026_Veda_Fuzzing_Report.pdf) |
| [Den](https://www.onchainden.com/)            | May 2nd, 2026        | MLS Wallet                     | EVM      |     | ✅   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/05_02_2026_Den_MLS_Wallet.pdf) |
| [Saturn](https://saturn.credit/)              | April 30th, 2026     | M0 Extensions                  | EVM      | ✅  | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_30_2026_Saturn_Dollar_M0_Extensions-FV-MR.pdf) |
| [Saturn](https://saturn.credit/)              | April 30th, 2026     | -                              | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_30_2026_Saturn_Dollar-MR.pdf) |
| [Veda](https://veda.tech/)                    | April 27th, 2026     | Yield Streaming                | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_27_2026_Veda_Yield_Streaming-MR.pdf) |
| [Compound](https://compound.finance/)         | April 24th, 2026     | Treasury Manager               | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_24_2026_Compound_Treasury_Manager-MR.pdf) |
| [TradePort](https://www.tradeport.xyz/)       | April 13th, 2026     | Gold Strategy                  | Sui      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_13_2026_TradePort_Gold_Strategy-MR.pdf) |
| [Umia](https://www.umia.finance/)         | April 13th, 2026      | -                        | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_13_2026_Umia-MR.pdf) |
| [Reserve](https://reserve.org/)           | April 2nd, 2026       | -                        | EVM      | ✅  |   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_02_2026_Reserve_Fixed_lib-FV.pdf) |
| [Compound](https://compound.finance/)         | April 2nd, 2026      | rETH CAPO                      | EVM      |   | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/04_02_2026_Compound_rETH_CAPO_by_Woof-MR.pdf) |
| [Templar](https://www.templarfi.org/)         | March 30th, 2026     | -                              | NEAR      | ✅  | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_30_2026_Templar-FV-MR.pdf) |
| [Suilend](https://suilend.fi/)                | March 24th, 2026     | Liquid Staking                 | Sui      | ✅  | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_24_2026_Suilend_Liquid_Staking-FV-MR.pdf) |
| [Suilend](https://suilend.fi/)                | March 24th, 2026     | Suilend                        | Sui      | ✅  | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_24_2026_Suilend-FV-MR.pdf) |
| [Calastone](https://www.calastone.com/)       | March 10th, 2026     | CTD                            | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_10_2026_Calastone_CTD-MR.pdf) |
| [1delta](https://www.1delta.io/)              | March 6th, 2026      | Compound Integration           | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_06_2026_1delta_Compound_Integration_MR.pdf) |
| [Cozy Finance](https://www.cozy.finance/)     | March 5th, 2026      | -                              | EVM      | ✅  |   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_05_2026_Cozy_Finance_FV.pdf) |
| [Cozy Finance](https://www.cozy.finance/)     | March 5th, 2026      | Router Euler Helpers           | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_05_2026_Cozy_Router_Euler_Helpers_MR.pdf) |
| [ORBT](https://www.orbt.xyz/)                 | March 3rd, 2026      | -                              | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_03_2026_ORBT_MR.pdf) |
| [Light](https://lightprotocol.com/)           | March 3rd, 2026      | Extension                      | Solana   |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_03_2026_Light_Extension_MR.pdf) |
| [Kleros](https://kleros.io/)                  | March 3rd, 2026      | V2                             | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_03_2026_Kleros_V2_MR.pdf) |
| [Apyx](https://apyx.fi/)                      | March 2nd, 2026      | apxUSD                         | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/03_02_2026_Apyx_apxUSD.pdf) |
| [Lido](https://lido.fi/)                      | January 13th, 2026   | V3 stVaults                    | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_13_2026_Lido_V3_MR.pdf) |
| [Lido](https://lido.fi/)                      | January 10th, 2026   | V3 stVaults                    | EVM      | ✅  |   | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_10_2026_Lido_V3_FV.pdf) |
| [Lido](https://lido.fi/)                      | January 10th, 2026   | V3 Oracle                      | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_10_2026_Lido_V3_Oracle_V7_MR.pdf) |
| [Compound](https://compound.finance/)         | January 7th, 2026    | V3 Governor Whitelist          | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_07_2026_Compound_V3_Governor_Whitelist.pdf) |
| [Compound](https://compound.finance/)         | January 7th, 2026    | V3 Multiplier Plugin           | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_07_2026_Compound_V3_Multiplier_Plugin.pdf) |
| [Compound](https://compound.finance/)         | January 6th, 2026    | V3 Extended Pause              | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2026/01_06_2026_Compound_V3_Extended_Pause.pdf) |
| [Grove](https://www.grove.finance/) | December 24th, 2025 | ALM | EVM | | ✅ | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/12_24_2015_Grove_ALM.pdf) |
| [Calastone](https://www.calastone.com/) | December 22nd, 2025 | Digital Investment | EVM | | ✅ | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/12_22_2025_Calastone_Digital_Investment.pdf) |
| [Safe](https://safe.global/)             | October 21st, 2025      | Safe{Mobile}                    | Android, iOS      |    | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/10_21_2025_Safe_Mobile.pdf) |
| [1inch](https://1inch.com/)             | September 29th, 2025      | Cross-Chain Swap                | EVM      |    | ✅  | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/09_29_2025_1inch_Cross_Chain_Swap-MR.pdf) |
| [Kamino](https://app.kamino.finance/)    | July 28th, 2025      | Kamino Liquidity Integration and Matching Orders (LIMO)  | Solana      | ✅  | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/07_28_2025_Kamino_LIMO.pdf)                  |
| [Fragmetric](https://fragmetric.xyz/)             | July 18th, 2025      | Fragmetric Restaking v0.6.3                    | Solana      |    | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/07_18_2025_Fragmetric_Restaking_v0.6.3.pdf)                  |
| [Kamino](https://app.kamino.finance/)    | July 7th, 2025      | Kamino Vault  | Solana      | ✅  | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/07_07_2025_Kamino_Vault.pdf) |
| [Safe](https://safe.global/)                  | June 16th, 2025      | Safe v1.5.0                    | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/06_16_2025_Safe_v1.5.0-FV-MR.pdf)                  |
| [Polygon](https://polygon.technology/)        | June 2nd, 2025       | Vault Bridge                   | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/06_02_2025_Polygon_Vault_Bridge-MR.pdf)                  |
| [Claynosaurz](https://claynosaurz.com/)       | April 18th, 2025     | NFT                            | Sui      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/04_18_2025_Claynosaurz_NFT.pdf)                 |
| [Texture](https://texture.finance/)           | April 10th, 2025     | Texture 2.0                    | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/04_10_2025_Texture2.0-MR-FV.pdf)                         |
| [Mayan](https://mayan.finance/)               | March 21st, 2025     | Fast MCTP                      | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/03_21_2025_Mayan_FastMCTP-MR.pdf)                        |
| [MoviePass](https://www.moviepass.com/)       | March 2nd, 2025      | MoviePass Exchange MSX         | Sui      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/03_02_2025_MoviePass_MSX-MR.pdf)                         |
| [Balancer](https://balancer.fi/)              | February 25th, 2025  | Liquidity Bootstrap Pool       | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_25_2025_Balancer_LiquidityBootstrapPool-MR.pdf)       |
| [Kamino](https://app.kamino.finance/)         | February 24th, 2025  | Lending                        | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_24_2025_Kamino_Lending-FV-MR.pdf)                     |
| [EigenLayer](https://www.eigenlayer.xyz/)     | February 20th, 2025  | Slashing                       | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_20_2025_EigenLayer_Slashing-FV-MR.pdf)                |
| [Lido](https://lido.fi/)                      | February 18th, 2025  | Dual Governance ReAudit        | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_18_2025_Lido_DG_ReAudit-FV-MR.pdf)                    |
| [Balancer](https://balancer.fi/)              | February 18th, 2025  | Stablepool Surge Hooks         | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_18_2025_Balancer_StableSurgeHook-MR.pdf)              |
| [Squads](https://squads.so/)                  | February 15th, 2025  | Smart Account Program          | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_15_2025_Squads-FV-MR.pdf)                             |
| [Relend Network](https://relend.network/)     | February 12th, 2025  | —                              | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_12_2025_Relend_Network-MR.pdf)                        |
| [Balancer](https://balancer.fi/)              | February 12th, 2025  | MEV Tax Hook                   | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_12_2025_Balancer_MEV_Tax_Hook-MR.pdf)                 |
| [Whetstone](https://whetstone.cc/)            | February 12th, 2025  | Doppler                        | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_12_2025_Whetstone_Doppler-MR.pdf)                     |
| [Lulo](https://lulo.fi/)                      | February 10th, 2025  | —                              | Solana   |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_10_2025_Lulo-MR.pdf)                                  |
| [Lido](https://lido.fi/)                      | February 5th, 2025   | Dual Governance                | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/02_05_2025_Lido_DG-FV-MR.pdf)                            |
| [Blend](https://www.blend.capital/)           | January 30th, 2025   | V1                             | Stellar  | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_30_2025_Blend_V1-FV.pdf)                              |
| [Veda](https://veda.tech/)                    | January 28th, 2025   | Boring Bridge                  | Solana   |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_28_2025_Veda_Boring_Bridge-MR.pdf)                         |
| [Zaha Studio](https://zaha.studio/)           | January 24th, 2025   | Unisawp v4 hook                | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_24_2025_TWAMM_Hook.pdf)                         |
| [Silo](https://www.silo.finance/)             | January 7th, 2025    | SiloCore V2 Coverage Report    | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_20_2025_Silo_Coverage-Coverage.pdf)                   |
| [Jito](https://www.jito.network/)             | January 20th, 2025   | Tip Router                     | Solana   |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_20_2025_Jito_TipRouter-MR.pdf)                        |
| [Origin](https://www.originprotocol.com/)     | January 15th, 2025   | Dollar                         | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_15_2025_Origin_Dollar-FV.pdf)                         |
| [Silo](https://www.silo.finance/)             | January 7th, 2025    | SiloCore V2                    | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2025/01_07_2025_Silo_V2-FV-MR.pdf)                            |
| [Balancer](https://balancer.fi/)              | December 30th, 2024  | GyroPools                      | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_30_2024_Balancer_GyroPools-MR.pdf)                    |
| [Aquarius](https://aqua.network/)             | December 29th, 2024  | AMM                            | Stellar  |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_29_2024_Aquarius-MR.pdf)                              |
| [Jito](https://www.jito.network/)             | December 13th, 2024  | Interceptor                    | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_13_2024_Jito_Interceptor-FV-MR.pdf)                   |
| [Squads](https://squads.so/)                  | December 12th, 2024  | V4                             | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_12_2024_SquadsV4-FV-MR.pdf)                           |
| [Liquity](https://www.liquity.org/)           | December 12th, 2024  | Bold                           | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_12_2024_Liquity_Bold-FV.pdf)                          |
| [Glow](https://glow.app/)                     | December 11th, 2024  | LRT                            | Solana   |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_11_2024_Glow_LRT-MR.pdf)                              |
| [Frax](https://frax.finance/)                 | December 10th, 2024  | Bamm                           | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_10_2024_Frax_Bamm-FV-MR.pdf)                          |
| [Sonic](https://www.soniclabs.com/)           | December 6th, 2024   | Gateway                        | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_06_2024_Sonic_Gateway-FV-MR.pdf)                      |
| [Manifest](https://www.manifest.trade/)       | December 4th, 2024   | —                              | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_04_2024_Manifest-FV-MR.pdf)                           |
| [Glow](https://glow.app/)                     | December 4th, 2024   | V1                             | Solana   |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/12_04_2024_Glow_V1-MR.pdf)                               |
| [Balancer](https://balancer.fi/)              | November 27th, 2024  | V3                             | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/11_27_2024_Balancer_V3-FV-MR.pdf)                        |
| [Alluvial](https://alluvial.finance/)         | November 26th, 2024  | Liquid Collective              | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/11_26_2024_Alluvial_LiquidCollective-FV-MR.pdf)          |
| [Fragmetric](https://fragmetric.xyz/)         | November 25th, 2024  | —                              | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/11_25_2024_Fragmetric-FV-MR.pdf)                         |
| [Jito](https://www.jito.network/)             | November 11th, 2024  | Restaking V2                   | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/11_11_2024_Jito_Restaking_V2-FV-MR.pdf)                  |
| [Reflector](https://reflector.network/)       | October 10th, 2024   | DAO and Subscription contracts | Stellar  | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/10_10_2024_Reflector-FV-MR.pdf)                          |
| [Jito](https://www.jito.network/)             | September 19th, 2024 | Restaking V1                   | Solana   | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/09_19_2024_JitoRestaking_V1-FV-MR.pdf)                   |
| [Euler](https://www.euler.finance/)           | September 8th, 2024  | EVK V3                         | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/09_08_2024_Euler_EVK_V3-FV-MR.pdf)                       |
| [Uniswap](https://uniswap.org/)               | September 5th, 2024  | V4 Core                        | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/09_05_2024_Uniswap_V4_Core-FV-MR.pdf)                    |
| [Symbiotic](https://symbiotic.fi/)            | September 2nd, 2024  | Shared Security Protocol       | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/09_02_2024_Symbiotic_Shared_Security_Protocol-FV-MR.pdf) |
| [EigenLayer](https://www.eigenlayer.xyz/)     | August 12th, 2024    | PEPE                           | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/08_12_2024_EigenLayer_PEPE-FV-MR.pdf)                    |
| [Huma](https://huma.finance/)                 | July 4th, 2024       | —                              | Stellar  |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/07_04_2024_Huma-MR.pdf)                                  |
| [Aave](https://aave.com/)                     | June 20th, 2024      | Risk Steward                   | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/06_20_2024_Aave_Risk_Steward-FV-MR.pdf)                  |
| [Tether](https://tether.to)                   | June 4th, 2024       | Token                          | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/06_04_2024_Tether_Token-FV-MR.pdf)                       |
| [Solana Foundation](https://solana.org/)      | May 24th, 2024       | Token-2022                     | Solana   | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/05_24_2024_Token2022FV.pdf)                              |
| [Slender](https://slender.fi/)                | May 22nd, 2024       | —                              | Stellar  |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/05_22_2024_Slender-MR.pdf)                               |
| [Paraswap](https://www.paraswap.xyz/)         | May 22nd, 2024       | Augustus V6                    | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/05_22_2024_Paraswap_Augustus_V6-FV-MR.pdf)               |
| [Lido](https://lido.fi/)                      | May 5th, 2024        | Dual Governance Design Review  | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/05_05_2024_Lido_DG-DesignReview.pdf)                     |
| [Kinto](https://www.kinto.xyz/)               | May 3rd, 2024        | Core Account Abstraction       | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/05_03_2024_Kinto_Core_Account_Abstraction-FV-MR.pdf)     |
| [MZero](https://www.m0.org/)                  | April 30th, 2024     | MZero protocol and TTTG        | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_30_2024_MZero-FV-MR.pdf)                              |
| [Curve](https://curve.fi)                     | April 30th, 2024     | Curve Crypto Pools             | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_30_2024_Curve-FV-MR.pdf)                              |
| [Aave](https://aave.com/)                     | April 30th, 2024     | V3.1                           | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_30_2024_Aave_V3_1-MR.pdf)                             |
| [Tokemak](https://www.tokemak.xyz/)           | April 10th, 2024     | V2 LMPStrategy                 | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_10_2024_Tokemak_V2_LMPStrategy-FV-MR.pdf)             |
| [Cables](https://www.cables.finance/)         | April 10th, 2024     | —                              | Stellar  |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_10_2024_Cables-MR.pdf)                                |
| [Seamless](https://www.seamlessprotocol.com/) | April 8th, 2024      | ILM                            | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/04_08_2024_Seamless_ILM-FV-MR.pdf)                       |
| [Coinbase](https://www.coinbase.com/)         | March 21st, 2024     | Wallet                         | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/03_21_2024_Coinbase_Wallet-FV-MR.pdf)                    |
| [Aave](https://aave.com/)                     | March 14th, 2024     | GhoStewardV2                   | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/03_14_2024_Aave_GhoStewardV2-FV-MR.pdf)                  |
| [Delv](https://delv.tech/)                    | March 13th, 2024     | Hyperdrive                     | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/03_13_2024_Delv_Hyperdrive-FV-MR.pdf)                    |
| [Protofire](https://protofire.io/)            | March 6th, 2024      | VE8020 Launchpad               | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/03_06_2024_Protofire_VE8020_Launchpad-FV-MR.pdf)         |
| [Blend](https://www.blend.capital/)           | January 25th, 2024   | V1                             | Stellar  |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/01_25_2024_Blend-MR.pdf)                                 |
| [Ajna](https://www.ajna.finance/)             | January 8th, 2024    | —                              | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2024/01_08_2024_Ajna-FV-MR.pdf)                               |
| [Aave](https://aave.com/)                     | December 21st, 2023  | GHO Stability Module           | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/12_21_2023_GHO_Stability_Module-FV-MR.pdf)               |
| [LayerZero](https://layerzero.network/)       | December 1st, 2023    | Endpoint V2                   | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/12_01_2023_LayerZero_EndpointV2-FV.pdf) |
| [GMX](https://gmx.io)                         | November 16th, 2023  | V2                             | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/11_16_2023_GMX_V2-FV-MR.pdf)                             |
| [Aave](https://aave.com/)                     | July 27th, 2023      | stkToken V3                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/07_27_2023_Aave_stkToken_V3-FV.pdf)                      |
| [Aave](https://aave.com/)                     | July 15th, 2023      | Governance V3                  | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/07_15_2023_Aave_Governance_V3-FV-MR.pdf)                 |
| [Aave](https://aave.com/)                     | July 15th, 2023      | Delivery Infrastructure        | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/07_15_2023_Aave_Delivery_Infrastructure-FV-MR.pdf)       |
| [Aave](https://aave.com/)                     | June 15th, 2023      | Vault                          | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/06_15_2023_Aave_Vault-FV-MR.pdf)                         |
| [Balancer](https://balancer.fi/)              | May 10th, 2023       | TimelockAuthorizer             | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/05_10_2023_Balancer_TimelockAuthorizer-FV.pdf)           |
| [Aave](https://aave.com/)                     | April 4th, 2023      | StaticAToken V3                | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/04_04_2023_Aave_StaticAToken_V3-FV.pdf)                  |
| [Lido](https://lido.fi/)                      | April 3rd, 2023      | V2                             | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/04_03_2023_Lido_V2-FV-MR.pdf)                            |
| [Aave](https://aave.com/)                     | March 15th, 2023     | v3 Core PR 820                 | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/03_15_2023_Aave_v3_Core_PR_820-MR.pdf)                   |
| [Aave](https://aave.com/)                     | March 7th, 2023      | GHO Stablecoin                 | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/03_07_2023_Aave_Gho-FV-MR.pdf)                           |
| [Aave](https://aave.com/)                     | January 24th, 2023   | Rescue Mission Phase 1         | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/01_24_2023_Aave_Rescue_Mission_Phase_1-FV-MR.pdf)        |
| [Radicle](https://radicle.xyz/)               | January 4th, 2023    | Drips                          | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2023/01_04_2023_Radicle_Drips-FV.pdf)                         |
| [Aave](https://aave.com/)                     | December 29th, 2022  | stkToken v1.5                  | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/12_29_2022_Aave_stkToken_v1_5-FV.pdf)                    |
| [Aave](https://aave.com/)                     | December 14th, 2022  | V3.0.1                         | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/12_14_2022_Aave_V3.0.1-FV.pdf)                           |
| [Aave](https://aave.com/)                     | December 7th, 2022   | CL Price Adapter               | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/12_07_2022_Aave_CL_Price_Adapter-MR.pdf)                 |
| [dcSpark](https://www.dcspark.io/)            | December 2nd, 2022   | Sidechain Bridge               | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/12_02_2022_dcSpark_Sidechain_Bridge-FV.pdf)              |
| [Aave](https://aave.com/)                     | November 22nd, 2022  | Proof Of Reserve               | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/11_22_2022_Aave_Proof_Of_Reserve-FV-MR.pdf)              |
| [Aave](https://aave.com/)                     | September 30th, 2022 | BTC.b                          | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/09_30_2022_Aave_BTC.b-FV-MR.pdf)                         |
| [Balancer](https://balancer.fi/)              | September 16th, 2022 | Stable Pool                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/09_16_2022_Balancer_Stable_Pool-FV.pdf)                  |
| [Aave](https://aave.com/)                     | September 8th, 2022  | Governance V2                  | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/09_08_2022_Aave_Governance_V2-FV-MR.pdf)                 |
| [Aave](https://aave.com/)                     | August 29th, 2022    | Starknet Bridge                | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/08_29_2022_Aave_Starknet_Bridge-FV-MR.pdf)               |
| [Aave](https://aave.com/)                     | July 15th, 2022      | steward sUSD                   | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_15_2022_Aave_steward_sUSD-MR.pdf)                     |
| [Aave](https://aave.com/)                     | July 15th, 2022      | FRAX MAI Listing               | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_15_2022_Aave_FRAX_MAI_Listing-FV-MR.pdf)              |
| [Silo](https://www.silo.finance/)             | July 11th, 2022      | Protocol                       | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_11_2022_Silo_Protocol-FV.pdf)                         |
| [Aave](https://aave.com/)                     | July 9th, 2022       | Token V3                       | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_09_2022_Aave_Token_V3-FV-MR.pdf)                      |
| [Compound](https://compound.finance/)         | July 1st, 2022       | Comet                          | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_01_2022_Compound_Comet-FV.pdf)                        |
| [Aave](https://aave.com/)                     | July 1st, 2022       | Stweard sAVAX                  | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_01_2022_Aave_stweard_sAVAX-FV-MR.pdf)                 |
| [Aave](https://aave.com/)                     | July 1st, 2022       | L2 Bridge                      | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/07_01_2022_AAVE_L2_Bridge-FV-MR.pdf)                     |
| [Aave](https://aave.com/)                     | June 26th, 2022      | AStETH                         | EVM      | ✅   | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/06_26_2022_Aave_AStETH-FV-MR.pdf)                        |
| [OpenZeppelin](https://www.openzeppelin.com/) | June 13th, 2022      | ERC1155 Extensions             | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/06_13_2022_OpenZeppelin_ERC1155_Extensions-FV.pdf)       |
| [Benqi](https://benqi.fi/)                    | April 6th, 2022      | Liquid Staking                 | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/04_06_2022_Benqi-FV.pdf)                                 |
| [OpenZeppelin](https://www.openzeppelin.com/) | April 2nd, 2022      | Governance                     | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/04_02_2022_OpenZeppelin_Governance-FV.pdf)               |
| [TraderJoe](https://lfj.gg/)                  | March 17th, 2022     | Rocket Joe Staking             | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/03_17_2022_TraderJoe_Rocket_Joe_Staking-FV.pdf)          |
| [Aave](https://aave.com/)                     | January 1st, 2022    | Protocol V3                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2022/01_01_2022_AAVE_Protocol_V3-FV.pdf)                      |
| [OpenZeppelin](https://www.openzeppelin.com/) | December 7th, 2021   | Governance                     | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/12_07_2021_OpenZeppelin_Governance-FV.pdf)               |
| [Euler](https://www.euler.finance/)           | November 30th, 2021  | —                              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/11_30_2021_Euler-FV.pdf)                                 |
| [Popsicle](https://popsicle.finance/)         | November 5th, 2021   | V3 Optimizer                   | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/11_05_2021_Popsicle_V3_Optimizer-FV.pdf)                 |
| [SushiSwap](https://www.sushi.com)            | November 4th, 2021   | Trident Router                 | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/11_04_2021_SushiSwap_Trident_Router-FV.pdf)              |
| [SushiSwap](https://www.sushi.com)            | November 4th, 2021   | Constant Product Pool          | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/11_04_2021_SushiSwap_Constant_Product_Pool-FV.pdf)       |
| [Notional](https://www.notional.finance/)     | November 1st, 2021   | —                              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/11_01_2021_Notional-FV.pdf)                              |
| Pintu                                         | August 25th, 2021    | Token                          | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/08_25_2021_Pintu_Token-FV.pdf)                           |
| [Rolla](https://rolla.fi/)                    | August 1st, 2021     | —                              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/08_01_2021_Rolla-FV.pdf)                                 |
| Zesty                                         | July 4th, 2021       | Market                         | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/07_04_2021_Zesty-FV.pdf)                                 |
| [Lyra](https://www.derive.xyz/)               | June 8th, 2021       | Option Market                  | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/06_08_2021_Lyra_Option_Market-FV.pdf)                    |
| [Celo](https://celo.org/)                     | May 7th, 2021        | Core V4                        | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/05_07_2021_Celo_Core_V4-FV.pdf)                          |
| [SushiSwap](https://www.sushi.com)            | April 25th, 2021     | Compound Strategy              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/04_25_2021_SushiSwap_Compound_Strategy-FV.pdf)           |
| [Furucombo](https://furucombo.app/)           | April 21st, 2021     | —                              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/04_21_2021_Furucombo-FV.pdf)                             |
| [Balancer](https://balancer.fi/)              | April 1st, 2021      | V2 Vault                       | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/04_01_2021_Balancer_V2_Vault-FV.pdf)                     |
| [SushiSwap](https://www.sushi.com)            | March 30th, 2021     | MasterChef V2                  | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/03_30_2021_SushiSwap_MasterChef_V2-FV.pdf)               |
| [SushiSwap](https://www.sushi.com)            | March 3rd, 2021      | Kashi Pair                     | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/03_03_2021_SushiSwap_Kashi_Pair-FV.pdf)                  |
| [SushiSwap](https://www.sushi.com)            | March 3rd, 2021      | BentoBox                       | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/03_03_2021_SushiSwap_BentoBox-FV.pdf)                    |
| [dForce](https://dforce.network/)             | February 28th, 2021  | Lending                        | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/02_28_2021_dForce_Lending-FV.pdf)                        |
| [Origin](https://www.originprotocol.com/)     | February 25th, 2021  | OUSD Token                     | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2021/02_25_2021_Origin_OUSD_Token-FV.pdf)                     |
| [Opyn](https://www.opyn.co/)                  | December 28th, 2020  | Gamma                          | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/12_28_2020_Opyn_Gamma-FV.pdf)                            |
| [Synthetix](https://synthetix.io/)            | December 17th, 2020  | Multi Collateral Loans         | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/12_17_2020_Synthetix_Multi_Collateral_Loans-FV.pdf)      |
| [Aave](https://aave.com/)                     | December 2nd, 2020   | Token V2 Delegation            | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/12_02_2020_AAVE_Token_V2_Delegation-FV.pdf)              |
| [Keep](https://keep.network/)                 | November 16th, 2020  | Fully Backed Bonding           | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/11_16_2020_Keep_Fully_Backed_Bonding-FV.pdf)             |
| [Aave](https://aave.com/)                     | October 29th, 2020   | Protocol V2                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/10_29_2020_AAVE_Protocol_V2-FV.pdf)                      |
| [Aave](https://aave.com/)                     | September 16th, 2020 | Token V1                       | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/09_16_2020_AAVE_Token_V1-FV.pdf)                         |
| [Compound](https://compound.finance/)         | July 19th, 2020      | Open Oracle                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2020/07_19_2020_Compound_Open_Oracle-FV.pdf)                  |
| [Synthetix](https://synthetix.io/)            | December 27th, 2019  | Depot                          | EVM      |     | ✅     | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/12_27_2019_Synthetix_Depot-MR.pdf)                       |
| [Orchid](https://www.orchid.com/)             | December 19th, 2019  | —                              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/12_19_2019_Orchid-FV.pdf)                                |
| [MakerDAO](https://makerdao.com)              | September 8th, 2019  | MCD Invariants                 | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/09_08_2019_MakerDAO_MCD_Invariants-FV.pdf)               |
| [MakerDAO](https://makerdao.com)              | September 8th, 2019  | MCD Bug Report                 | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/09_08_2019_MakerDAO_MCD_Bug_Report-FV.pdf)               |
| [Celo](https://celo.org/)                     | August 25th, 2019    | Governance                     | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/08_25_2019_Celo_Governance-FV.pdf)                       |
| [Compound](https://compound.finance/)         | May 9th, 2019        | Money Market                   | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2019/05_09_2019_Compound_Money_Market-FV.pdf)                 |
| [Compound](https://compound.finance/)         | September 5th, 2018  | Math Price Oracle              | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2018/09_05_2018_Compound_Math_Price_Oracle-FV.pdf)            |
| [Compound](https://compound.finance/)         | August 10th, 2018    | Math Update                    | EVM      | ✅   |       | [📎](https://github.com/Certora/SecurityReports/blob/main/Reports/2018/08_10_2018_Compound_Math_Update-FV.pdf)                  |

SecurityReports

Explore Similar Repositories

Was this content helpful?

Recent Feedback

Download README