Pinned Loading

1. space-efficient-zero-knowledge-proofs space-efficient-zero-knowledge-proofs Public

   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, d…

   Rust 49 2

2. rosalind rosalind Public

   A deterministic genomics engine with a compact memory footprint. Run whole-genome workloads in as little as 100 MB RAM. Built in Rust.

   Rust 16 1

3. emsqrt emsqrt Public

   Process any data size with a fixed, small memory footprint. EM-√ is an external-memory ETL/log processing engine with hard peak-RAM guarantees. Unlike traditional systems that "try" to stay within …

   Rust 3

4. hc-stark hc-stark Public

   A height-compressed, sublinear-space STARK prover. Designed to make very long zero-knowledge proofs practical on fixed-memory hardware (CPUs, GPUs, and edge devices). Built in Rust.

   Rust

5. ankithis ankithis Public

   Extract core principles from PDFs and generate high-quality Anki cloze flashcard decks

   Python