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
Security has always been central to Ethereum, and this year it's part of the @EFDevcon opening ceremony.
Join Certora co-founder @SagivMooly alongside @nethan_eth, @VitalikButerin, @drakefjustin, @ncsgy, @donnoh_eth, @dhsorens, Kev, and @audreyt.
See you tomorrow, Mumbai! 🇮🇳
Show more
