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
337 Following 12.1K Followers
We're doing free 1:1 Security Sessions at @SuiNetwork Live in Miami on May 7.
Bring questions about your protocol or project, our Security Researchers will guide you.
Slots are limited, apply now ⬇️
Show more
