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.
Optimal Prover Time Succinct Zero-Knowledge Proofs Redefine Scalability
The Libra proof system achieves optimal linear prover time, solving the primary bottleneck of ZKPs to unlock practical, large-scale verifiable computation.
Plonky2-FRI Enables Scalable Zero-Knowledge Proof for Cryptographic Hashing Verification
This research integrates Plonky2 with FRI to generate succinct proofs for SHA-256 integrity, fundamentally decoupling computational work from verification cost.
Sealed-Bid Auction Formalizes Credible Neutrality, Preventing Proposer-Builder Collusion
The Sealed-Bid Commit-Reveal Auction cryptographically decouples proposer selection from payload content, establishing a new fairness primitive for decentralized transaction ordering.
Transparent Succinct Proofs Eliminate Trusted Setup and Large Proof Size
A novel Vector Hash Commitment achieves constant-size, transparent proofs, resolving the critical trade-off between ZK-SNARK succinctness and ZK-STARK setup-free security.
New Linear PCP Simplifies NIZK Arguments, Significantly Improving Prover Efficiency
Researchers unveil a linear PCP for Circuit-SAT, leveraging error-correcting codes to simplify argument construction and boost SNARK prover efficiency.
Optimal Resilience Asynchronous Secret Sharing with Linear Communication
Researchers introduce a new Asynchronous Verifiable Secret Sharing protocol, achieving linear communication complexity with optimal Byzantine resilience, foundational for scalable, trust-minimized computation.
Lightweight Asynchronous Verifiable Secret Sharing Achieves Optimal Resilience
New AVSS protocols use only hash functions to achieve optimal $t
Dual-Auction Mechanism Decouples ZK-Rollup Proving from Centralization Risk
A two-sided auction mechanism called Prooφ formally decentralizes ZK-Rollup proving, ensuring efficiency and resistance to prover collusion.
