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.
加入 February 2019
341 正在關注 12.1K 粉絲
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! 🇮🇳
顯示更多
