Vector Commitments Enable Sublinear State Verification for Stateless Clients
A new polynomial vector commitment scheme transforms light clients into secure, stateless verifiers, dramatically improving blockchain decentralization and user security.
Distributed Zero-Knowledge Proofs Scale Zkrollups with Constant Communication
A distributed Plonk protocol minimizes inter-prover communication to a constant factor, eliminating the zkRollup prover bottleneck and unlocking massive Layer 2 scalability.
Opening-Consistent IOPs Enable Trustless Erasure Code Commitments
This research introduces Erasure Code Commitments, a new primitive constructed via a novel IOP compiler, solving data availability without a trusted setup or high overhead.
Lattice-Based Polynomial Commitments Achieve Post-Quantum Succinctness and Efficiency
Greyhound is the first concretely efficient polynomial commitment scheme from standard lattice assumptions, securing ZK-proof systems against future quantum threats.
Logarithmic-Depth Commitments Enable Truly Stateless Blockchain Verification
A new Logarithmic-Depth Merkle-Trie Commitment scheme achieves constant-time verification, enabling light clients to securely validate state without storing it.
Hyper-Efficient Prover Unlocks Universal Transparent Zero-Knowledge Scaling
This new HyperPlonk scheme achieves linear prover time for universal transparent SNARKs, fundamentally accelerating verifiable computation for all decentralized applications.
Zero-Knowledge Proof of Training Secures Private Decentralized Federated Learning Consensus
ZKPoT introduces a zk-SNARK-based consensus mechanism that proves model accuracy without revealing private data, resolving the critical privacy-accuracy trade-off in decentralized AI.
Lattice-Based Polynomial Commitments Achieve Post-Quantum Succinctness and Sublinear Verification
Greyhound is the first concretely efficient lattice-based polynomial commitment scheme, enabling post-quantum secure zero-knowledge proofs with sublinear verifier time.
New Lookup Argument Achieves Optimal Commitment Size for Universal ZK Circuits
Lasso introduces a sparse multilinear polynomial commitment scheme to make non-arithmetic ZK operations linear, unlocking the lookup singularity.
