| aleo-rust-sdk cargo | 0.7.0 | none | none | Rust SDK for the Aleo blockchain — accounts, programs, local/remote execution, ZK proving, on-chain verification | 77 | 10d ago |
| snarkrs-groth16 cargo | 0.1.0 | none | none | Groth16 proving and verification, and the backend contract, for snarkrs | 17 | 10d ago |
| zisk-prover-backend cargo | | – 1.3.2-alpha did not build | – | Proving backend for the ZisK zkVM | 2.7K | 10d ago |
| zisk-sm-rom cargo | | – 1.3.2-alpha did not build | – | ROM state machine for the ZisK proving pipeline | 2.8K | 10d ago |
| zisk-cluster-common cargo | | – 1.3.2-alpha did not build | – | Shared types and utilities for the ZisK distributed proving cluster | 2.8K | 10d ago |
| zisk-core cargo | | – 1.3.2-alpha did not build | – | Core types and proving primitives for the ZisK zkVM | 3.3K | 10d ago |
| zisk-setup cargo | 1.3.2-alpha | none | none | Version of the ZisK proving key (setup) a build proves against | 68 | 10d 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 | 10d ago |
| proofman cargo | | – 1.3.2-alpha did not build | – | PIL2 proof manager: orchestrates witness generation, STARK proving, recursion, and SNARK wrapping | 7.7K | 10d ago |
| proofman-starks-lib-c cargo | | – 1.3.2-alpha did not build | – | Rust FFI bindings to the pil2-stark C/CUDA proving library | 14K | 10d ago |
| aleo-cli cargo | 0.3.0 | none | 2 | CLI tool for Aleo blockchain — balance, transfer, deploy, execute, local proving, ZK verification | 29 | 2026-10-06 |
