Sublinear-Space Zero-Knowledge Proofs: A Breakthrough

Researchers have developed SSZKP, a sublinear-space zero-knowledge proof system with a Rust implementation using KZG/BN254. It achieves O(√T) memory usage for a trace of length T, employing blocked IFFTs and streaming accumulators. SSZKP uses standard KZG commitments without buffering entire polynomials, offering a highly efficient approach for building scalable zk systems. The project includes complete prover and verifier CLI tools and end-to-end test scripts.