GitHub - 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.
SSZKP — Sublinear-Space Zero-Knowledge Proofs (Rust, KZG/BN254)
A reference implementation of the sublinear-space ZKP prover/Verifier described in our whitepaper: "Zero-knowledge Proofs in Sublinear Space" (https://arxiv.org/abs/2509.05326).
It realizes a streaming prover that uses only O(√T) memory over a trace of length T, while producing standard KZG commitments (BN254) for wires, the permutation accumulator Z, and the quotient Q. The design keeps aggregate-only Fiat–Shamir and never material...
Read more at github.com
© News Score score the news, sort the news, rewrite the headlines