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. 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

4. 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

5. CausalHG CausalHG Public

   A first-class calculus for mechanism-level causal intervention. Strictly extends Pearl's SCM framework with hypergraph mechanisms as primary causal objects.

   Python

6. cryptarch cryptarch Public

   Three-layer asymmetric crypto trading system: funding-rate arbitrage + liquidation cascade capture + tail-volatility hedge

   Python