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.
Sublinear Zero-Knowledge Proofs Democratize Verifiable Computation Scaling
A novel space-efficient tree algorithm reduces ZKP memory requirements from linear to square-root, unlocking verifiable computation on resource-constrained devices globally.
Sublinear Memory ZKPs Democratize Verifiable Computation and Privacy
A new proof system reduces ZKP memory from linear to square-root complexity, unlocking verifiable computation on resource-constrained edge devices.