Restaking Sybil-Proofness: An Impossibility Theorem Limits Slashing Mechanisms

A formal proof establishes that no single slashing mechanism can simultaneously deter both single and multi-identity Sybil attacks, revealing a foundational trade-off in economic security.