GitHub - logannye/space-efficient-zero-knowledge-proofs: Sublinear-space ZKP system in Rust: a st...

https://github.com/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...