Get the latest tech news
Quadratic memory reductions for Zero-knowledge Proofs
Sublinear-space ZKP system in Rust: a streaming prover that uses only O(√T) memory to commit wires/Z/Q via KZG (BN254) with blocked IFFT and aggregate-only Fiat–Shamir. Supports eval/coeff bases, d...
If you’re building scalable zk systems, this repo shows how to restructure your pipeline around streaming and aggregate-only FS without giving up familiar cryptographic backends. Phase C: Permutation accumulator Z — stream locals, update Z on the fly and emit the Z column in time order, then commit via the same blocked IFFT path. This codebase follows the aggregate-only Fiat–Shamir and streaming discipline described in the whitepaper and demonstrates that production-style commitments and sublinear space can coexist in a practical Rust implementation.
Or read this on Hacker News
