Succinct Proximity Arguments Enable Sublinear Verification of Massive Data
A new cryptographic primitive, Succinct Non-interactive Arguments of Proximity (SNAPs), allows verifiers to validate massive datasets by reading only a sublinear number of bits.
Sublinear MPC-in-the-Head Achieves Post-Quantum Zero-Knowledge Proof Efficiency
A novel MPC-in-the-Head construction leverages linear coding to achieve post-quantum security with sublinear proof verification, enabling fast, future-proof computation integrity.
Efficient Post-Quantum Polynomial Commitments Unlock Scalable Zero-Knowledge Cryptography
Greyhound, a lattice-based polynomial commitment scheme, delivers post-quantum security and vastly smaller proof sizes, enabling practical, future-proof zk-SNARKs.
Lattice Polynomial Commitments Unlock Concretely Efficient Post-Quantum Zero-Knowledge Arguments
A new lattice-based polynomial commitment scheme drastically shrinks proof size, providing the essential, quantum-safe primitive for future scalable blockchain privacy.
Constant-Size Zero-Knowledge Set Membership via OR-aggregation Secures IoT
This new OR-aggregation primitive achieves constant-size zero-knowledge set membership proofs, radically securing resource-constrained decentralized systems.
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.
Lattice-Based SNARKs Achieve Practical Post-Quantum Proof Size Reduction
A new lattice-based zkSNARK construction reduces post-quantum proof size by $10.3times$, collapsing the massive overhead that hindered quantum-secure verifiable computation.
Efficient Post-Quantum Polynomial Commitments Fortify Zero-Knowledge Scalability
Greyhound introduces the first concretely efficient lattice-based polynomial commitment scheme, unlocking post-quantum security for zk-SNARKs and blockchain scaling primitives.
Lattice-Based Polynomial Commitments Achieve Post-Quantum Succinct Zero-Knowledge Proofs
A new lattice-based Polynomial Commitment Scheme secures zero-knowledge proofs against quantum threats while achieving sublinear verification and minimal proof size.
