Skip to content

docs: fix release-3.0 Metal proving notes#3764

Open
peter941221 wants to merge 2 commits into
risc0:release-3.0from
peter941221:fix-3753-release-3-0-metal-docs
Open

docs: fix release-3.0 Metal proving notes#3764
peter941221 wants to merge 2 commits into
risc0:release-3.0from
peter941221:fix-3753-release-3-0-metal-docs

Conversation

@peter941221

Copy link
Copy Markdown

This updates the release-3.0 documentation to match the prover selection code on that branch.

Failure mechanism:
The release docs still say Metal proving is enabled by default on Apple Silicon, but both prover selection paths on release-3.0 fall back to CPU unless CUDA is enabled:

  • risc0/circuit/rv32im/src/prove/mod.rs
  • risc0/circuit/recursion/src/prove/mod.rs

Semantic change:

  • replace the deprecated feature-table wording in the top-level README and zkVM docs
  • update the local proving docs to state that release-3.0 does not enable Metal proving by default on Apple Silicon and falls back to CPU in this release line

Files changed:

  • README.md
  • risc0/zkvm/src/lib.rs
  • risc0/zkvm/README.md
  • website/api/generating-proofs/local-proving.md

Testing:

  • inspected the release-3.0 diff for scope and wording only
  • did not run a docs build

@vercel

vercel Bot commented May 27, 2026

Copy link
Copy Markdown

@peter941221 is attempting to deploy a commit to the Boundless Team on Vercel.

A member of the Team first needs to authorize it.

@peter941221 peter941221 marked this pull request as ready for review May 27, 2026 00:29
@peter941221 peter941221 requested a review from a team as a code owner May 27, 2026 00:29
@peter941221 peter941221 marked this pull request as draft May 27, 2026 00:30
@peter941221

Copy link
Copy Markdown
Author

The current failing status here is Vercel, with Authorization required to deploy. That looks like preview-deploy authorization rather than a code failure in the patch. If Vercel is expected for this PR, could someone with access authorize or rerun it? If not, please let me know whether this check can be ignored for fork PRs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant