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 粉絲
Congrats to @MezzanineFi on the launch!
Great to see the protocol go live after our formal verification work with the team.
Looking forward to what's next 🫡
Mezzanine is finally live!
Our first vault is the @HastraFi Optimizer, with many more on the way.
Pick your side: higher yield or built-in buffer.
Every vault tracked live by @AccountableData
顯示更多
