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
338 正在关注 12.1K 粉丝
Proud to support @veda_labs' commitment to rigorous security 🤝
We’re partnering with @Certora as part of our continued commitment to security.
This means:
→ formal verification
→ bug testing
→ fuzzing
→ and more
