Everything you need to build, prove, and verify programs with ZisK, from first install to on-chain verification.

Start here

Getting Started

Install ZisK on Linux or macOS, configure system dependencies, and verify your environment is ready to prove.

Read more →

Guide

Writing Programs

Write ZisK guest programs in standard Rust. Covers I/O, profiling, precompiles, and patches using a Hash Accumulator as the example.

Read more →

Guide

Proving Programs

Generate STARK and PLONK proofs, verify them on the host or on-chain, and read committed public values using SHA-256 and a Merkle Tree as examples.

Read more →