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 팬
Bitget lost ~$387.5M in one of the largest crypto hacks of 2026.
Attackers exploited a zero-day in a third-party security product, gained access to Bitget’s wallet infrastructure, and fed it forged withdrawal requests that bypassed normal risk controls.
We break down what happened and what formal verification can establish about withdrawal signing.
➡️
더 보기
