Formalizing Economic Security with Expensive to Attack in Absence of Collapse
A new EAAC property formally quantifies the economic security of consensus, proving that targeted slashing is only possible under strong synchronous network assumptions.
Formalizing Permissionless Consensus Economic Security with Attack Cost Metrics
This research introduces a novel economic security framework, the EAAC property, to rigorously quantify attack costs in permissionless blockchains, ensuring protocol resilience.
Formally Defining Economic Security for Permissionless Consensus
This research establishes a foundational framework for analyzing the economic security of blockchain consensus protocols, quantifying attack costs to enable more robust designs.
