Universal Vector Commitments Achieve Constant-Time Data Availability Sampling
A novel Universal Vector Commitment scheme achieves constant-time data availability sampling, fundamentally solving the verifier's dilemma and enabling infinite L2 scalability.
Post-Quantum Lattice Commitments Secure Zero-Knowledge Proofs and Future Blockchain Scalability
Greyhound introduces the first concretely efficient lattice-based polynomial commitment, securing verifiable computation against 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.
Log-Space Commitments Enable Hyper-Efficient Recursive Proofs for Scalable State
A novel Log-Space Verifiable Commitment scheme achieves logarithmic verification complexity for continuous state updates, unlocking truly scalable verifiable systems.
Decoupled Vector Commitments Enable Sublinear Stateless Client Verification
A new Decoupled Vector Commitment primitive fundamentally lowers client verification cost from linear to sublinear time, enabling true stateless decentralization.
Optimal Linear-Time ZK Proofs Unlock Mass Verifiable Computation
Achieving optimal linear prover time for zero-knowledge proofs fundamentally solves the scalability bottleneck for verifiable computation and ZK-Rollups.
Lattice-Based Polynomial Commitments Enhance Succinct Argument Efficiency
A novel lattice-based polynomial commitment scheme significantly reduces proof sizes and eliminates preprocessing, advancing efficient post-quantum succinct arguments.