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.
