Decoupling Work and Compensation Enables Resource Exhaustion Attacks on Blockchains
New attack vectors exploit Turing-complete transaction logic to decouple validator work from fee compensation, compromising blockchain liveness.
Formalizing Blockchain Liveness with Quantitative Security Analysis
A novel methodology quantifies blockchain liveness against attacks, ensuring robust decentralized system progress and informing future resilient architectures.
Formalizing Blockchain Liveness: A New Consensus Algorithm Security Methodology
This research introduces a novel methodology and taxonomy for formally analyzing blockchain consensus algorithm liveness against malicious attacks, ensuring robust system progress.
