Two pages to get you started: a conceptual introduction to the distributed prover (coordinator, workers, job lifecycle), and a ziskup-based Quickstart that runs a real cluster on your machine in ~15 minutes.

Concepts

Introduction

What the distributed prover is, the components that make it up, and how a job moves through the cluster from request to final proof.

Read more →

Tutorial

Quickstart

Install via ziskup, run one coordinator and one worker on your own machine, submit a smoke-test proving job.

Read more →