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 ファン
Rounding errors in Solidity cost protocols millions.
Help us fix that.
