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 粉絲
The Ethereum Security QF is one of the most important initiatives strengthening the ecosystem, and we're proud to be part of it as donors 🫡
Big news for the Ethereum Security QF round 🔥
@Certora is contributing $10K through their 4 ETHSecurity badgeholders, giving each one $2,500 to donate to projects in the round.
And because badgeholder donations count 4x in the QF calculation, this support goes even further in directing matching funds to Ethereum security projects.
Huge thank you to Certora 💙💚
顯示更多
