Back to search
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.
Stars
49
Forks
2
Watchers
49
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
4
commits