Formalizing Maximal Extractable Value for Provable Security against Economic Attacks
This research formalizes MEV using an abstract blockchain model, establishing a rigorous theoretical basis for provable security against transaction-ordering attacks.
Formal Framework Exposes Restaking Protocol Sybil Attack Vulnerabilities
A new formal framework proves restaking's Sybil resistance is compromised by partial slashing rules, necessitating refined economic security models.