14 projects
zk-dtypes
zk_dtypes is a stand-alone implementation of several NumPy dtype extensions used in Zero Knowledge.
hash-frx
hash-frx — FRX-native hash primitives (Poseidon, Poseidon2, SHA-256, sponge and compression constructions), each lowering to a single fused kernel.
frxlib
XLA library for JAX
frx
Differentiate, compile, and transform Numpy code.
pyzorch
zorch — scheme- and zkVM-agnostic JAX-native ZK proving blocks (hashing, Merkle commitment, sumcheck, PCS, LogUp-GKR).
zisk-zorch
zisk-zorch — a lean ZisK (pil2-stark eSTARK) prover built on zorch's scheme-agnostic blocks.
zkbench
Benchmark library for zero-knowledge proof implementations
flock-zorch
flock-zorch — a GPU prover for flock's binary-field R1CS PIOP, built on zorch's scheme-agnostic blocks.
openvm-zorch
openvm-zorch — a lean OpenVM (SWIRL) prover built on zorch's scheme-agnostic blocks.
sp1-zorch
sp1-zorch — a lean SP1 prover built on zorch's scheme-agnostic blocks.
groth16-zorch
Groth16 prover in Python using FRX (circom/snarkjs compatible)
rw-constraints
Constraint loader/evaluator and reference traces for RISC-V Witness zkVMs.
frx-cuda12-plugin
Name reservation for the frx (Fractal JAX) CUDA 12 plugin. Real release wheels are published from github.com/fractalyze/jax.
frx-cuda12-pjrt
Name reservation for the frx (Fractal JAX) CUDA 12 plugin. Real release wheels are published from github.com/fractalyze/jax.
