zisk-sdk

zisk-sdk is the host-side Rust crate for driving the ZisK proving pipeline programmatically. It mirrors the full capability of cargo-zisk: loading guest binaries, preparing inputs, running the emulator, generating execution traces, proving, and verifying.

Reference

GuestProgram

Load and manage compiled guest ELF binaries via load_program! or from_uri.

Read more →

Reference

ZiskStdin

Host-side in-memory input buffer. Constructors, write/read primitives, file persistence.

Read more →

Reference

ZiskStream

Live transport for streaming inputs (or hints) to the prover at runtime over Unix socket, QUIC, or gRPC.

Read more →

Reference

ZiskHints

Precompile hints carrier. Accelerates witness generation for SHA-256, Keccak-256, secp256k1, and other precompiles.

Read more →

Reference

Client builders

EmbeddedClientBuilder and RemoteClientBuilder. Configure executor, device, keys, and timeouts before .build().

Read more →

Reference

ProverClient

Run setup, execute, prove, upload, and wrap_proof on a configured EmbeddedClient or RemoteClient.

Read more →

Reference

Proof

The result of a proving run. Loading, saving, verifying, and reading public values.

Read more →