Hierarchical BFT with Aggregated Signatures Secures Resource-Constrained Edge Networks
A two-layer BFT architecture and aggregated signatures reduce consensus communication overhead from quadratic to linear, enabling secure, scalable edge computing.
Decoupling Coding and Commitment Strengthens Data Availability Sampling Assurance
A new Data Availability Sampling paradigm uses Random Linear Network Coding to generate coded samples on-the-fly, achieving significantly stronger security assurance for light clients.
Decoupling Commitment and Coding Secures Data Availability with Stronger Assurance
A new data availability sampling paradigm commits to uncoded data, using on-the-fly network coding to provide orders of magnitude stronger verification assurance.
Logarithmic Accumulators Enable Constant-Size Stateless Blockchain Verification
A new cryptographic accumulator compresses massive state into a constant-size proof, unlocking efficient stateless clients and scalable data availability.
Scalable Formal Verification Secures Zero-Knowledge Proof Constraint Systems
New modular verification technique CIVER formally guarantees zero-knowledge circuit integrity, eliminating subtle cryptographic vulnerabilities in rollups.
Leaderless Epidemic Consensus Protocol Achieves Extreme-Scale Blockchain Decentralization
A new leaderless consensus protocol, leveraging epidemic communication, dramatically improves throughput and latency for extreme-scale decentralized networks.
Libra Achieves Optimal Linear Prover Time for Succinct Zero-Knowledge Proofs
Libra is the first ZKP to achieve optimal linear prover time $O(C)$ and logarithmic succinctness, fundamentally enabling verifiable computation at scale.
Linear-Time BFT Achieves Optimal Communication Complexity with Aggregate Signatures
A novel aggregate signature scheme compresses BFT agreement from quadratic to linear complexity, enabling scalable, high-throughput decentralized consensus.
