Smart Contract Security
Announcement
Introducing Quorum
Explore Quorum, the open-source tool protecting Aave, that secures DAO governance by automating verification, detecting risks, and ensuring proposals execute as intended.
Read article
Certora Blog
Technical research and practical perspectives for financial institutions, regulators and builders.
Smart Contract Security
Explore Quorum, the open-source tool protecting Aave, that secures DAO governance by automating verification, detecting risks, and ensuring proposals execute as intended.
Blockchain Infrastructure
Certora today announced its engagement with Solana Foundation to review and formally verify the code underlying token extensions on Solana, the new program-level token features that natively extend token functionality.