ZK DevKit for Stellar/Soroban.
We build the tooling layer for zero-knowledge proofs on Stellar. stellar-zk is a single CLI that takes a circuit through compilation, trusted setup, proof generation, on-chain deployment, and verification on Soroban, so ZK application teams stop hand-rolling the same pipeline for every project.
- Three backends, one workflow: Groth16 (Circom), UltraHonk (Noir), RISC Zero (Rust zkVM)
- Full lifecycle CLI:
init->build->prove->deploy->call->estimate - Built for Soroban's limits: enforces the 64 KB WASM cap and the 100M CPU instruction budget, with cost estimation before you deploy
- On-chain verifier templates: generated Soroban contracts with BN254 pairing checks and nullifier-based anti-replay
| Repo | Description |
|---|---|
| stellar-zk | Main CLI and workspace (Rust) |
Published as five crates on crates.io:
| Crate | Downloads |
|---|---|
stellar-zk |
 |
stellar-zk-core |
 |
stellar-zk-groth16 |
 |
stellar-zk-ultrahonk |
 |
stellar-zk-risc0 |
 |
Combined, updated hourly straight from the crates.io API:
| GitHub | |
|---|---|
| Sebastián Salazar | @salazarsebas |
| Fabian Sanchez | @FabianSanchezD |
- Roadmap: what's shipped and what's next
- Contributing: dev setup and how to open a PR
- Install:
cargo install stellar-zk, or see the main repo for other options
Licensed under MIT.
