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 ファン
On September 24, forged zero-knowledge proofs took ~$1.92M in USDC from Payy's bridge.
The fix for the Barretenberg verifier bug Payy blames had been in a public release for 73 days.
Find out why Payy was still exposed ⬇️
もっと見る
