ZISKVM

Cryptographically prove any program.

ZisK is a high-performance, open-source zero-knowledge virtual machine. Write your program in Rust, generate a succinct proof that it ran correctly, and let anyone verify it without re-running the code or seeing its inputs.

Get started →What is ZisK?GitHub ↗

hash-guestmain.rs

#![no_main]
ziskos::entrypoint!(main);
use sha2::{Sha256, Digest};

fn main() {
    // Read the input data from the host
    let input: String = ziskos::io::read();

    // Compute the hash
    let hash = Sha256::digest(input);

    // Commit the output to the proof
    ziskos::io::commit_slice(&hash);
}

GUESTmain.rsRust · UTF-8 · Ln 14

Non-negotiable security

128-bit, provably secure and quantum resistant. Auditing and formal verification in progress.

Fully open source

Apache 2.0 and MIT licensed, built in house. No black boxes, no lock-in.

Scalable & performant

A rich set of precompiles, distributed proof computation, and GPU acceleration.

Where do you want to start?

Whether you're learning the concepts, building programs, or running provers, there's a track for you.

Concepts

ZiskVM

What ZisK is, why it exists, and how the proving pipeline turns a Rust program into a verifiable proof.

Read the docs →

Build

Developers

Install ZisK, write guest programs in Rust, then generate and verify proofs, from your first install to on-chain verification.

Read the docs →

Operate

Provers

Run a distributed prover: a coordinator and worker fleet, from a single laptop to a Kubernetes cluster.

Read the docs →

Reference

References

Every public interface: zisk-os, zisk-lib, the SDK, cargo-zisk, ziskemu, and the remote proving API.

Read the docs →

Ready to build?

Install the ZisK toolchain and prove your first program in minutes.

$ziskup

Quickstart →