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.
