Search 11 packages
| Packages1–11 of 11 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| miden-block-prover cargo | 0.17.1 | clean | Miden blockchain block executor and prover | 113K | 1d ago |
| miden-remote-prover cargo | 0.17.2 | clean | Miden remote prover | 14K | 13h ago |
| hekate-prover-sys cargo | not built 0.37.0 did not build | Open-source shim that links the closed-source Hekate prover cdylib over a stable C ABI. | 516 | 16h ago | |
| miden-mobile-prover cargo | 0.17.1 | clean | Native Miden transaction prover exposed as a C ABI for embedding in iOS/Android Capacitor plugins. | 459 | 1d ago |
| miden-tx cargo | 0.17.1 | clean | Miden blockchain transaction executor and prover | 194K | 1d ago |
| miden-tx-batch cargo | 0.17.1 | clean | Miden blockchain transaction batch executor, prover, and verifier | 31K | 1d ago |
| hekate-sdk cargo | 0.37.0 | clean | Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. | 791 | 16h ago |
| wickra-zk-methods cargo | 0.2.0 | clean | 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 | 1d ago |
| wickra-zk-host cargo | not built 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 | 1d ago | |
| wickra-proof-cli cargo | 0.2.0 | clean | 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 | 1d ago |
| wickra-zk cargo | not built 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 | 1d ago |