Adaptive Byzantine Agreement Achieves Optimal Fault-Parameterized Communication
Foundational consensus theory bypasses the quadratic communication lower bound, proving scalability can be proportional to actual network faults.
Hybrid BFT Model Achieves Low-Latency Synchronous Consensus
AlterBFT introduces a hybrid synchronous model, leveraging empirical message size latency to dramatically reduce consensus delay in distributed systems.
Formalizing Liveness Accountability Requires Honest Majority and Majority Synchrony
New theoretical framework precisely defines when and how consensus protocols can cryptographically blame nodes for stalling transaction finality.
Formalizing Proof-of-Stake Security Limits under Dynamic Availability and Reconfiguration
This research formalizes the Dynamic Availability and Reconfiguration (DAR) model, proving the minimum security assumptions required for scalable, decentralized Proof-of-Stake consensus.
Zero-Knowledge Proof of Training Secures Decentralized AI Consensus
A new Zero-Knowledge Proof of Training (ZKPoT) consensus mechanism leverages zk-SNARKs to cryptographically verify model performance, eliminating Proof-of-Stake centralization and preserving data privacy in decentralized machine learning.
Compositional Formal Verification Secures Complex DAG Consensus Protocols
This framework modularizes DAG consensus proofs into reusable components, dramatically reducing verification effort and ensuring robust protocol safety.
Proof-of-Data: A Novel Consensus for Decentralized, Byzantine-Resilient Federated Learning
Proof-of-Data introduces a two-layer consensus, merging asynchronous learning with BFT finality and ZKPs, enabling scalable, private decentralized AI.
Decentralized Randomness Beacons Enhance Blockchain Security and Fairness
This work introduces an efficient distributed randomness beacon using threshold cryptography, enabling verifiable, unbiased randomness for decentralized systems.
Uncertified DAGs Achieve Optimal Latency in Byzantine Consensus
A novel commit rule for uncertified Directed Acyclic Graphs revolutionizes consensus, ensuring immediate transaction finality and optimal latency in distributed systems.