| slop-basefold-prover cargo | 6.9.0 | none | none | BaseFold prover implementation with FRI integration | 582K | 8d ago |
| snarkrs-lib cargo | 0.1.0 | none | none | Groth16 prover and verifier for BN254, byte-compatible with snarkjs, with CPU, Metal, CUDA and WebGPU backends | 11 | 8d ago |
| snarkrs-wgpu cargo | 0.1.0 | none | none | WebGPU backend for the snarkrs Groth16 prover, native and in the browser | 13 | 8d ago |
| snarkrs-metal cargo | 0.1.0 | none | none | Apple Metal backend for the snarkrs Groth16 prover | 12 | 8d ago |
| snarkrs-cuda cargo | 0.1.0 | none | none | NVIDIA CUDA backend for the snarkrs Groth16 prover | 12 | 8d ago |
| zisk-prover-backend cargo | | – 1.3.2-alpha did not build | – | Proving backend for the ZisK zkVM | 2.7K | 9d ago |
| pil2-stark-setup cargo | | – 1.3.2-alpha did not build | – | Setup and proving/verifying-key generation for the pil2-stark prover | 7.0K | 9d ago |
| pil2-stark-recurser cargo | | – 1.3.2-alpha did not build | – | STARK recursion setup tooling for the pil2-stark prover | 7.0K | 9d ago |
| proofman-starks-src cargo | 1.3.2-alpha | none | none | Vendored pil2-stark prover sources (C/C++/CUDA), compiled by proofman-starks-lib-c | 15K | 9d ago |
| hekate-prover-sys cargo | | – 0.37.0 did not build | – | Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI. | 516 | 11d ago |
| miden-tx-batch cargo | 0.17.1 | none | none | Miden blockchain transaction batch executor, prover, and verifier | 31K | 12d ago |
| miden-block-prover cargo | 0.17.1 | none | none | Miden blockchain block executor and prover | 113K | 12d ago |
| miden-tx cargo | 0.17.1 | none | none | Miden blockchain transaction executor and prover | 194K | 12d ago |
| wickra-zk cargo | | – 0.2.0 did not build | – | Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. | 58 | 12d ago |
| wickra-zk-host cargo | | – 0.2.0 did not build | – | Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of… | 151 | 12d ago |
| wickra-zk-methods cargo | 0.2.0 | none | none | The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them. | 170 | 12d ago |
| oxideav-icer cargo | 0.0.6 | none | none | Pure-Rust ICER (JPL wavelet image compressor, Mars rover heritage) — clean-room from Kiely & Klimesh IPN PR 42-155 (2003) | 575 | 12d ago |
| wickra-proof-cli cargo | 0.2.0 | none | none | Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a… | 66 | 12d ago |
| apollo-federation-types cargo | 0.18.0-rc.1 | none | none | apollo-federation-types contains types used by plugins for the Rover CLI | 168K | 13d ago |
