logannye/space-efficient-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, deterministic dev SRS, and pairing checks. Includes CLI prover/verifier and tests.

76 best points · 23 comments · 1 Hacker News post · 49 GitHub stars · View on GitHub

Hacker News discussions

• Quadratic memory reductions for Zero-knowledge Proofs (76 points, 23 comments, by logannyeMD, 2025-09-24)