Linear-Time Accumulation Enables Post-Quantum Recursive Proof Systems
WARP is the first accumulation scheme to achieve linear prover and logarithmic verifier complexity, enabling practical, post-quantum secure recursive proofs.
Folding Schemes Enable Constant-Overhead Recursive Zero-Knowledge Arguments for Scalable Computation
Folding Schemes Enable Constant-Overhead Recursive Zero-Knowledge Arguments for Scalable Computation
Folding schemes are a new cryptographic primitive that drastically reduces recursive proof overhead, unlocking truly scalable verifiable computation.
Lattice-Based Folding Achieves Post-Quantum, Incremental Succinct Proof Systems
Lattice-based folding schemes construct the first post-quantum recursive proof system, enabling quantum-secure, incrementally verifiable computation for massive data streams.
