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 粉丝
The Certora team will be in Mumbai this week for @summit_defi and @EFDevcon.
Come talk smart contract security, formal verification, and safer AI-generated code with our researchers and team.
See you there 🇮🇳
显示更多
