Irrational Resilience Thresholds Characterize Optimal Latency for Sleepy Consensus
Researchers found that optimal consensus latency in dynamic systems is governed by irrational thresholds, like the Golden Ratio, redefining security limits.
Validated Strong Consensus Protocol Simplifies Asynchronous Blockchain Architecture
A new BFT model allows asynchronous leader-based coordination, achieving linear view changes and making large-scale asynchronous ledgers practical.
Verifiable Functions Forge Decentralized Consensus Eliminating Predictability and Centralization
PoVF introduces a novel consensus mechanism combining two verifiable functions to guarantee provably fair leader election and eliminate centralization risk.
Decentralized Verifiable Computation Mechanisms Limit Efficiency and Participation
Mechanism design for verifiable computation is constrained by a theoretical limit on decentralization, forcing a strategic trade-off between speed and participation.
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.
Recursive Proof Composition Achieves Logarithmic-Time Zero-Knowledge Verification
A novel folding scheme reduces the verification of long computations to a logarithmic function, fundamentally decoupling security from computational scale.
Committee-Based Byzantine Agreement Protocol Slashes Communication Complexity
A novel committee-based protocol achieves optimal asynchronous Byzantine agreement, drastically reducing cubic communication overhead.
Hybrid Ordering Multi-BFT Protocol Decouples Concurrency and Consistency
Orthrus introduces concurrent partial transaction ordering and a novel escrow mechanism to reduce consensus latency and maximize throughput in BFT systems.
Incremental Proofs Maintain Constant-Size Sequential Work for Continuous Verification
This new cryptographic primitive enables constant-size proofs for arbitrarily long sequential computations, fundamentally solving the accumulated overhead problem for VDFs.
