Erasure Codes Achieve Near-Optimal Communication in Adversarial Reliable Broadcast
New MBRB algorithm uses erasure coding and vector commitments to slash broadcast communication cost, enabling scalable data availability layers.
Vector Commitments Enable Statelessness with Compact Verkle Trees
Vector commitments replace hash-based state structures, fundamentally enabling stateless clients by generating constant-sized cryptographic proofs.
Benchmarking Verkle Trees and SNARKs for Stateless Client Viability
Comparing Verkle Trees and SNARK-enabled Merkle proofs reveals a path to weak statelessness, drastically lowering validator hardware costs to secure decentralization.
Formalizing Data Availability Sampling as a New Cryptographic Commitment Primitive
Researchers formalize Data Availability Sampling as a cryptographic primitive, introducing a new commitment scheme that rigorously secures light client verification.
Erasure Code Commitments Cryptographically Enforce Data Availability Consistency
This new cryptographic primitive, defined by position- and code-binding, solves the data availability problem by guaranteeing that committed data is a valid erasure codeword, securing modular blockchain scaling.
Near-Optimal Communication Byzantine Broadcast under Message Adversary Model
A new Byzantine Reliable Broadcast algorithm leverages erasure codes to achieve near-optimal $O(|m| + nkappa)$ communication complexity, securing asynchronous systems against message-dropping adversaries.
FRIDA: FRI-based Data Availability Sampling without Trusted Setup
Leverages a novel property of the FRI proof system to construct a trustless, efficient data availability sampling scheme for modular blockchains.
Batching Accumulators Enable Constant-Storage Stateless Blockchain Verification
New batching techniques for cryptographic accumulators allow nodes to verify the entire blockchain state with constant storage, solving state bloat.
Sharding Consensus Achieves Optimal Cross-Shard Overhead and Security Atomicity
A new sharding consensus pattern achieves provable cross-shard atomicity and optimal intra-shard communication overhead using a jointly managed buffer.