CERTORA
| Project Name | MCAP | Report |
|---|---|---|
1  Quant | $ 1.60B | quant.pdf |
2  Aave | $ 1.40B | AaveV2Dec2020.pdf |
3  Synthetix Network | $ 1.03B | synthetix |
4  Celo | $ 468.23M | CeloMay2020.pdf |
5 Celo | $ 468.23M | CVR_FormalVerificationofCeloCoreContractsRelease4_300821_1328.pdf |
6  Keep Network | $ 100.89M | KeepFullyBackedBondingNov2020.pdf |
7  Euler | $ 85.84M | Formal_Verification_Report_for_Euler.pdf |
8  Origin Protocol | $ 83.75M | OriginFeb2021.pdf |
9  Orchid Protocol | $ 68.79M | certora.pdf |
10  Celo Dollar | $ 37.78M | audits |
11  dForce | $ 36.90M | dForceFeb2021.pdf |