Skip to main content

Getting Started

Set up your environment and run your first proof. Install the ZisK toolchain for your platform, then follow the quickstart to build and prove a program end to end.

Install on Linux

Install ZisK on Ubuntu using prebuilt binaries or build from source. Includes the full proving stack with ASM backend.

Install on macOS

Install ZisK on macOS 14 or higher. Supports Intel and Apple Silicon. Write and test guest programs using the emulator backend.

Build and prove a Hash program end to end. Covers the full CLI pipeline and the SDK path in one guided walkthrough.