Skip to main content

cargo-zisk

cargo-zisk is the ZisK command-line tool. It extends Cargo with subcommands for scaffolding projects, compiling guest programs, running them in the emulator, generating proofs, and verifying them.

Scaffold a new ZisK workspace from a template, with guest, host, common, and optional evm crates.

Compile the guest crate to a RISC-V ELF binary using the ZisK toolchain.

Run the guest in the emulator for fast logic and input checks. No proof generated.

Pre-generate the proving key for a compiled guest ELF. Required before proving.

Execute the guest natively through the same pipeline as prove. Validates inputs without generating a proof.

Generate a cryptographic proof for a guest program execution.

Offload setup, proving, execution, and wrapping to a remote coordinator, plus uploading the guest ELF.

Verify the cryptographic validity of a proof file without re-executing the guest.

Utility subcommands: clean the project cache and generate binary input files from a type description.