Greyhound Achieves Post-Quantum Polynomial Commitments with Unprecedented Efficiency
A new lattice-based polynomial commitment scheme, Greyhound, delivers post-quantum security and 8000X smaller proofs, unlocking scalable verifiable computation.
Lantern Achieves Short, Post-Quantum Zero-Knowledge Proofs via Polynomial Product Systems
Lantern is a post-quantum ZKP protocol that uses polynomial product proofs to prove vector norms, making proofs 2-3X smaller for scalable, quantum-safe privacy.
Blaze Multi-Linear Commitment Scheme Accelerates SNARK Prover Time and Shrinks Proof Size
Blaze introduces a multi-linear polynomial commitment scheme using Repeat-Accumulate-Accumulate codes, dramatically speeding up ZK-SNARK provers and reducing proof size for scalable verifiable computation.
Equifficient Polynomial Commitments Enable Smaller Faster SNARKs
Equifficient polynomial commitments enforce consistent basis representation, enabling PARI to achieve the smallest 160-byte proof size and GARUDA to accelerate prover time with custom gates.
Optimal Linear-Time Prover Computation Unlocks Practical Zero-Knowledge Proof Scalability
New zero-knowledge protocols achieve optimal linear-time prover computation, transforming ZKP systems into a practical, scalable primitive for verifiable computation.
Logarithmic-Cost Data Availability Sampling Vector Commitments
Introducing a novel vector commitment scheme that reduces data availability proof size from linear to logarithmic, fundamentally unlocking scalable decentralized rollups.
Linear Prover Time ZK Proofs Unlock Universal Verifiable Computation
A new argument system achieves linear-time proof generation with succinct proof size, eliminating the primary computational bottleneck for ZK-rollups and verifiable computation.
Linear-Time Zero-Knowledge Provers Unlock Universal Verifiable Computation
A linear-time ZKP prover mechanism achieves optimal computational efficiency, fundamentally enabling scalable, trustless verification for all decentralized applications.
Buterin Proposes New ZK Proof Metric to Accelerate Scalability and Privacy
A new hardware-independent metric for ZK/FHE performance standardizes cryptographic evaluation, accelerating Layer 2 development and privacy primitives.
