Fair Consensus Factory Mitigates MEV through Order Neutrality
Research introduces the Fair Consensus Factory, a systemic framework to integrate order-fairness primitives into Byzantine consensus, directly addressing the foundational MEV problem.
Balancer V2 Pools Drained by Faulty Smart Contract Access Control
V2 vault access control logic failed to validate message senders, enabling unauthorized internal withdrawals and a $110 million multi-chain asset drain.
Balancer Protocol Smart Contract Flaw Drains over $116 Million
Faulty access control in Composable Stable Pools enabled unauthorized withdrawals, resulting in a systemic $116M liquidity drain.
Formal MEV Certification Secures DeFi Protocols against Optimal Attacks
Mechanized formalization of MEV using the Lean theorem prover provides machine-checked proofs of extraction bounds, fundamentally securing DeFi protocol logic.
Balancer V2 Exploit Triggers $128 Million Loss Exposing Systemic DeFi Risk
The multi-chain access control exploit underscores the critical need for a hardened, multi-layered security architecture beyond traditional smart contract audits to secure composable DeFi primitives.
Oracle Failure and Access Flaws Trigger $129 Million Multi-Chain DeFi Loss
The $129M loss from oracle and access control exploits exposes critical systemic infrastructure risks, demanding a re-evaluation of multi-chain security primitives.
Oracle Failures and Access Flaws Trigger $129 Million Multi-Chain DeFi Loss
The cascading $129M loss from oracle manipulation and faulty access controls re-centers the DeFi industry on infrastructure risk and security rigor.
Balancer V2 Exploit Exposes Systemic Risk in Composable DeFi Liquidity Pools
The $116.6M exploit confirms that complex, composable AMM architectures require a security model that matches their systemic risk profile.
Mechanized Formal Verification Proves Absolute Bounds on Extractable Value
Formalizing MEV strategies within the Lean theorem prover provides machine-checked proofs of adversarial extraction limits, enabling provably secure DeFi.
