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
๋ ๋ณด๊ธฐ
