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
337 正在關注 12.1K 粉絲
Miami week has begun strong, covering the topics of the moment: consumer crypto, AI, and security.
