Pinned Loading

1. zk-stream zk-stream Public

   Out-of-core STARK proving. Prove a STARK whose execution trace is far larger than RAM, in a fixed small memory budget, by streaming the transforms, commitment, and FRI through fast storage.

   Rust

2. snark-stream snark-stream Public

   Out-of-core SNARK proving. Compute the multi-scalar multiplications and KZG commitments a SNARK prover is built on against a base set far larger than RAM, in a fixed small memory budget, by streami…

   Rust

3. soliton soliton Public

   Native-PLONK shielded payments verified on Solana — no Groth16 wrap.

   Rust

4. zk-nalloc zk-nalloc Public

   A Linux memory allocator for zero-knowledge provers.

   Rust

5. zac-bn254 zac-bn254 Public

   The canonical wire format for snarkjs-compatible Groth16 BN254 proofs, without the JavaScript runtime.

   Rust 1

6. tickproof tickproof Public

   Verifiable game engine for Solana. Game logic compiles to SBF, runs off-chain at full speed in an embedded VM, and any disputed tick can be replayed by the chain itself - the L1 already executes SB…

   Rust