Skip to main content

Proof System Overview

When a the RISC Zero zkVM executes, it produces a computational receipt that consists of:

  • a journal, which contains the public outputs of the computation, and
  • a seal, which is a zk-STARK.

Given a receipt and an ImageID, a skeptical third party can verify the purported output of the computation.

Learn More

About the zkVM

About the Proof System

Helpful Background

RISC Zero Study Club is intended to help make the technology underpinning RISC Zero more accessible. Past sessions include: