Formalizing Restaking Security Reveals Fundamental Sybil Attack Impossibility
Restaking's Sybil vulnerability is formalized, proving no single slashing rule can universally deter all attack types, necessitating mechanism design trade-offs.
