Proof-Carrying Data Enables Scalable Verifiable Distributed Computation
Proof-Carrying Data is a cryptographic primitive enabling proofs to verify other proofs, compressing arbitrary computation history into a single, constant-size argument.
Sparse Network Byzantine Agreement Achieves Near-Linear Fault Tolerance
A new fully-distributed protocol utilizes Byzantine Random Walks to achieve near-linear fault tolerance in sparse networks, fundamentally securing real-world peer-to-peer architectures.
Formal Rewrites Safely Scale Byzantine Fault Tolerance Protocols Fivefold
A new formal model and rewrite methodology prove that decoupling and partitioning can safely achieve a fivefold throughput increase for BFT protocols.
Communication Lower Bounds Redefine Broadcast Efficiency in Dishonest-Majority Systems
New theoretical bounds and a sub-quadratic protocol fundamentally redefine the communication cost for Byzantine broadcast in dishonest-majority networks.
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.
Strong Byzantine Agreement Achieves Adaptive Word Complexity for Scalable Consensus
The STRONG protocol resolves the quadratic communication cost of Byzantine Agreement by achieving adaptive word complexity, making consensus practically viable for large-scale distributed systems.
Game-Theoretic Incentives Guarantee Provably Uniform Decentralized Randomness
A new Randomness Incentive Game (RIG) establishes a Nash Equilibrium where participants are compelled to submit provably uniform inputs, securing all decentralized randomness protocols.
Erasure Code Commitments Secure Data Availability Sampling Consistency
This new cryptographic primitive guarantees a commitment binds to a valid erasure codeword, solving data inconsistency in modular blockchain scaling.
Asynchronous Finality Gadget Secures Proof-of-Stake Safety
The $Phi$-Gadget introduces a two-phase threshold signature mechanism to decouple block ordering from finality, guaranteeing safety under asynchronous network conditions.
