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. - zehkae's shaarli

212 shaares

212 shaares

Filtres

Liens par page

20 50 100

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.

zero-knowledge · rust

January 6, 2026 at 11:42:14 PM GMT * · permalien

https://github.com/logannye/space-efficient-zero-knowledge-proofs

Filtres

Liens par page

20 50 100