Security Audits & Analyses

Contracts

Smart Contract Audit by OpenZeppelin

Formal Verification of Celo Governance Protocols by Certora

Security

Security Audit by Trailofbits

Economics

Reserve Audit by NCC