Balancer team identifies issue with v2 meta-stable pools and performs white hat recovery of $4.1M in coordination with Certora and Seal
𝕏/@Balancer •
Revision history
6 recorded changes
Want your article here?
Promote with Leviathan NewsAdd that to this. "Approximately $33 million has been recovered by "ethical hacker" teams. The StakeWise protocol recovered approximately $20 million through its own operations. Berachain validators performed an emergency hard fork to recover $12.8 million in assets on BEX. " "The total amount lost in the November 2025 Balancer hack was approximately $128.6 million across several blockchains"
Top comment by @Spencer420
More on Certora
Certora wins 2.01M Canton Coin grant to build Daml package analyzer for institutional apps
Certora ·
Certora details Aave V4’s multi-layered security stack, blending formal methods, manual audits, and competitive testing to ensure protocol resilience at scale
𝕏/@Certora ·
$128M exploit on Balancer V2 reveals how a rounding error slipped past 11 audits from firms like OpenZeppelin, Certora and many more
𝕏/@TenaliaAudits ·
Pendle users explore Apyx yield opportunities as apxUSD introduces a basket-backed unstablecoin model with audits from Certora and Quantstamp
𝕏/@phtevenstrong ·
Certora has launched AI Composer, an open-source platform combining AI generation with formal verification to ensure smart contracts are safe before execution. The tool aims to make autonomous coding secure by default as it rolls out on Dec. 4.
Cryptopotato ·
OpenZeppelin, Trail of Bits, Certora, and ABKD listed as auditors of Balancer v2 decline to comment on the biggest hack of the quarter in crypto world
DL News ·
Certora wins 2.01M Canton Coin grant to build Daml package analyzer for institutional apps
Certora ·
Certora details Aave V4’s multi-layered security stack, blending formal methods, manual audits, and competitive testing to ensure protocol resilience at scale
𝕏/@Certora ·
$128M exploit on Balancer V2 reveals how a rounding error slipped past 11 audits from firms like OpenZeppelin, Certora and many more
𝕏/@TenaliaAudits ·
Pendle users explore Apyx yield opportunities as apxUSD introduces a basket-backed unstablecoin model with audits from Certora and Quantstamp
𝕏/@phtevenstrong ·
Certora has launched AI Composer, an open-source platform combining AI generation with formal verification to ensure smart contracts are safe before execution. The tool aims to make autonomous coding secure by default as it rolls out on Dec. 4.
Cryptopotato ·
OpenZeppelin, Trail of Bits, Certora, and ABKD listed as auditors of Balancer v2 decline to comment on the biggest hack of the quarter in crypto world
DL News ·