Skip to content

For Developers For Provers

Introduction

What is Boundless?Why use Boundless?Proof Lifecycle Terminology

Build on Boundless

Core Concepts

Build a Program Request a Proof Pricing a Request Use a Proof Troubleshooting

Tutorials

Callbacks Smart Contract Requestors Proof Types Proof Composition

Dev Tooling

Boundless SDK Boundless CLI

Smart Contracts

Boundless Contracts Verifier Contracts Chains & Deployments

ZK Coprocessing with Steel

Quick Start What is Steel?How does Steel work?Commitments History Events Crate Docs

Hybrid Rollups with OP Kailua

Introducing OP Kailua Quick Start OP Kailua Book

Boundless Explorer

Boundless Explorer

FulfillmentLibrary

© 2025 RISC Zero — All rights reserved