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 ⬇️
顯示更多
