Introduction

Welcome to the RISC Zero documentation!

RISC Zero is creating the infrastructure & tooling necessary for developers around the globe to build software that leverages ZK technology.

ZK technology is staged to re-shape the way we interact digitally. Historically, the only method for confirming the correct execution of a software application was through redundant computation. ZK introduces a new option: verifiable computation.

It's now possible to pair a program's output with a self-certifying receipt, allowing a skeptical third party to verify correct execution — and the verifier doesn't need to repeat the original computation or even see the inputs to the program!

Ready to start building?
Check out our Getting Started page.