Probabilistic Byzantine Fault Tolerance Enhances Distributed Consensus Scalability
A new probabilistic Byzantine Fault Tolerance protocol significantly improves consensus scalability by adopting realistic adversary assumptions, reducing message complexity.
Erasure Code Commitments Enhance Data Availability Sampling
A new cryptographic primitive, erasure code commitments, fundamentally secures data availability sampling by ensuring committed data integrity.
Formalizing Slashing to Mitigate Byzantine Exploits in Proof-of-Stake
This research reveals critical vulnerabilities in existing Proof-of-Stake penalty mechanisms, proposing a formal framework to design provably robust slashing conditions.
Epidemic Consensus Protocol Enables Scalable, Decentralized Blockchain Networks
A novel epidemic consensus protocol, BECP, leverages decentralized information dissemination to achieve high throughput and low latency across large-scale blockchain networks.
Pulsar: Composable Density-Based Proof of Stake for Sidechain Integration
Pulsar introduces a novel density-based chain selection rule, enhancing Proof of Stake security and enabling robust sidechain interoperability with Proof of Work systems.
Asymmetric Trust Redefines Distributed Fault Tolerance
This research introduces asymmetric Byzantine quorum systems, enabling subjective trust models to secure distributed protocols and consensus mechanisms.
Consensus Learning Integrates Distributed Machine Intelligence with Robust Peer-To-Peer Agreement
This paradigm fuses ensemble learning with decentralized consensus, enabling private, scalable machine intelligence resilient to adversarial threats.
Formalizing Economic Security for Permissionless Consensus Protocols with Slashing
This research formalizes economic security for permissionless consensus, demonstrating how slashing mechanisms in Proof-of-Stake can enhance network resilience.
Formal Methods Advance Blockchain Reliability and Security
This survey consolidates formal methods, providing a robust framework for verifying blockchain correctness, reliability, and security.
