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
Looking forward to speaking at the first edition of @ETHConf in NYC this June.
We've been cooking at Certora and will be sharing some exciting new things.
