Certora
@Certora
Your End-To-End Security Partner.
Manual Audits, Formal Verification, and Protocol Design Review.
Trusted by Aave, Uniswap, Lido, EigenLayer, Solana and more.
Joined February 2019
341 Following 12.1K Followers
The Certora team will be in Mumbai this week for @summit_defi and @EFDevcon.
Come talk smart contract security, formal verification, and safer AI-generated code with our researchers and team.
See you there 🇮🇳
Show more
