risc-zero-company-primary-sources-2026-08-09

RISC Zero company primary-source snapshot

Fetched: 2026-08-09 UTC

1) RISC Zero homepage

Source: https://risczero.com/

Selected excerpt from the site:

With verifiable computation, you can be cryptographically certain that the output of a computation is correct, regardless of who computes it. And you can verify results in a fraction of the time required to compute them.

Additional signals from the site:

• The homepage frames RISC Zero as a company and product shell around verifiable computation, not just as a narrow code repository
• The emphasis is on deployment-grade trust and performance claims rather than on one isolated cryptography paper or research artifact
• This is useful for taxonomy because the official company-facing entry point packages the whole stack under one brand

2) Current remote-proving docs

Source: https://dev.risczero.com/api/generating-proofs/remote-proving

Selected excerpt from the docs:

Boundless is a decentralized proving marketplace which lets users generate proofs for their R0VM applications, without using their own hardware for proof generation.

users request proofs to the Boundless protocol and permissionless provers generate proofs on behalf of the user.

Additional signals from the docs:

• The official RISC Zero docs now point developers to Boundless for remote proving rather than to a simple first-party hosted API
• This is evidence that the company still shapes the default proving path through its docs and developer guidance even when the newer architecture is marketed as decentralized
• The company boundary matters because docs authority can steer how developers reach production proving

3) Boundless migration guide: Migrating from Bonsai

Source: https://docs.boundless.network/developers/tutorials/bonsai

Selected excerpts from the docs:

Bonsai was RISC Zero’s centralized proving service, delivering proofs via an API.

As of December 2025, Bonsai is no longer available. Boundless is intended to be a replacement for all your proving needs.

Boundless is the blockchain native way to work with ZK proofs

Additional signals from the docs:

• The migration guide explicitly states that Bonsai was centralized and that RISC Zero retired it in favor of Boundless
• The same page makes the workflow shift concrete: simple API-keyed service usage became wallet-funded, storage-backed, asynchronous market interaction
• This is strong evidence that the named organization changed the practical control surface developers inherit for remote proving

4) risc0 repository README

Source: https://raw.githubusercontent.com/risc0/risc0/main/README.md

Selected excerpts from the repository:

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Documentation for the zkVM SDK and other Rust crates can be found at docs.rs/risc0-zkvm. All other documentation can be found at dev.risczero.com.

Additional signals from the repository:

• The main public repo is part of the company-shaped implementation boundary, not an unaffiliated ecosystem mirror
• The README routes developers back to the official docs and tooling flow, reinforcing that implementation stewardship and documentation authority live in one place
• The repo confirms that the useful entity boundary is broader than a marketing site: it includes the live code, installation path, and developer-facing release workflow

Notes

• This pass did not try to map RISC Zero’s legal incorporation details; the useful primary-source result is the operational company boundary visible in the official site, docs, migration guide, and repository
• The strongest company-level insight is the stack transition from local proving and Bonsai’s centralized API model toward Boundless’ market-based remote proving path, all framed through official RISC Zero-controlled materials
• That makes companies/risc-zero.md a useful addition beside the existing project notes for risc-zero, bonsai, and boundless