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 46 1

2. rosalind rosalind Public

   A deterministic genomics engine with O(√t) memory. Run whole-genome workloads in <100 MB RAM. Built in Rust.

   Rust 17 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. hcp-dp hcp-dp Public

   Height-Compressed Dynamic Programming (HCP-DP) in Rust. Run massive dynamic programs with exact answers and dramatically reduced memory.

   Rust

5. succinct-mcmc succinct-mcmc Public

   A library for running very long Markov chain Monte Carlo (MCMC) simulations while storing only a √T-sized representation of the full trajectory.

   Python

6. tiny-backprop tiny-backprop Public

   Python library that automatically generates memory-optimal backpropagation schedules for arbitrary neural network computation graphs.

   Python