Random Asynchronous Model Overcomes Classical BFT Impossibility Results
Removing adversarial message scheduling from the asynchronous model enables probabilistic consensus guarantees previously deemed impossible, fundamentally advancing BFT theory.
Asynchronous BFT Scalability via Validated Strong Consensus Model
This new BFT consensus model maintains asynchronous security while achieving the linear view change efficiency of partially synchronous protocols.
Onion Routing Secures Proof-of-Stake Leader Election against Denial-Of-Service
Integrating native onion routing into PoS leader election cryptographically conceals the block proposer's identity, ensuring network liveness against DoS attacks.
Neuromorphic Consensus Leverages Neural Dynamics for Energy-Efficient, Scalable Blockchain Finality
Proof-of-Spiking-Neurons introduces a new consensus class, modeling block proposal as competitive neural firing to achieve BFT security with minimal overhead.
Formalizing Subjective Trust Assumptions for Resilient Decentralized Consensus
Introducing asymmetric Byzantine quorum systems, this work formally proves safety and liveness in networks where nodes choose their own trust sets.
Protocol Design Dictates Validator Location and Geographic Centralization
A latency-calibrated agent model proves block-building paradigms fundamentally alter validator geographical clustering incentives, accelerating centralization.
Strongly BPIC Mechanism Secures Leaderless DAG Consensus Fee Allocation
A new game-theoretic model and First-Price Auction with Equal Sharing (FPA-EQ) mechanism solves transaction fee alignment in leaderless DAG protocols.
Asymmetric Trust DAG Consensus Achieves Constant-Time Finality
The new common core primitive enables asynchronous DAG consensus to achieve constant-time finality under heterogeneous, asymmetric trust assumptions.
Proof of Useful Intelligence Blends Security with Practical AI Utility
PoUI is a hybrid consensus mechanism that secures the network by staking coins earned from verifiable AI tasks, resolving the PoW energy crisis and PoS centralization risk.
Leaderless BFT Consensus Secures against Adaptive Adversaries and Centralization
Egalitarian BFT eliminates the predictable single leader, using a cryptographic lottery for simultaneous block proposal to achieve strong security against adaptive adversaries.
Optimal Byzantine Agreement Protocol Minimizes Communication Complexity Adaptively
New authenticated Byzantine agreement protocol achieves optimal O(ft+t) communication complexity by adapting to the actual number of failures, significantly boosting SMR efficiency.
Prioritized Byzantine Agreement Achieves Optimal Asynchronous Consensus Complexity
Prioritized MVBA introduces a committee selection primitive to slash communication complexity from cubic to quadratic, enabling truly scalable asynchronous consensus.
Systematic Framework Optimizes Byzantine Fair Transaction Ordering and MEV Mitigation
A new systematic design guideline formalizes requirements for fair message ordering in Byzantine systems, enabling a critical latency optimization for FIFO protocols.
Proof-of-Useful-Work Embeds Zero-Knowledge Proof Generation into Consensus
A new Proof-of-Useful-Work consensus protocol secures the chain by making general-purpose ZK-SNARK computation the core mining puzzle, democratizing verifiable computation.
Wakeness Vectors Secure Proof-of-Stake against Fully-Fluctuating Node Participation
Wakeness vectors enable Proof-of-Stake protocols to securely handle arbitrary node participation fluctuations, rivaling Proof-of-Work robustness.
Cryptanalysis Exposes Verifiable Delay Function Flaws Threatening Consensus Security
Cryptographers proved a Verifiable Delay Function's fixed sequential time can be bypassed, challenging its use for secure, fair randomness in Proof-of-Stake.
