June 12, 2026

DZdano

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. space-efficient-zero-knowledge-proofs.png

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.

DZdano September 24, 2025
A reference implementation of the sublinear-space ZKP prover/Verifier described in our whitepaper: “Zero-knowledge Proofs in Sublinear Space”...
Read More Read more about 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.

You may have missed

dr5-keyart-YzI66DkClTeJ5jBQ.jpg

Deltarune’s ARG Just Updated Again, And Exactly 1,229 People Can Solve It

DZdano June 11, 2026
XBOX-Wireless-Controller-X25-Special-Edition_1-d75d6cc00415223ed301.jpg

Can Xbox Be Fixed? New Exec Says Fans Need To Feel Rewarded

DZdano June 11, 2026
indie-of-the-weekkkk-1200x675.jpg

Sci-Fi Racer That’s Fun, But Hard

DZdano June 11, 2026
0e360c870e6b0950a14426b6a080997a.jpg

Pokémon Go Data Wasn’t Shared With Drone Company, Niantic Spatial Says

DZdano June 11, 2026