build: update to rust toolchain 2025-11-16

[jns-ps]

Summary by CodeRabbit

• Chores
  • Updated Rust toolchain to nightly-2025-11-16 across project configurations and CI workflows.
  • Added a global compiler configuration affecting build targets to enable a new optimization flag.
  • Replaced verification key data with updated values used by the verification system.

_{✏️ Tip: You can customize this high-level summary in your review settings.}

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

1 Skipped Deployment

Project	Deployment	Preview	Comments	Updated (UTC)
prism	Ignored	Preview		Nov 21, 2025 10:24am

[coderabbitai]

Walkthrough

Rust toolchain versions updated from nightly-2025-08-18 to nightly-2025-11-16 across CI and repository toolchain files. A new [target.'cfg(all())'] block with rustflags = "-Zhigher-ranked-assumptions" was added to .cargo/config.toml. Two verification key hex values in verification_keys/keys.json were replaced.

Changes

Cohort / File(s)	Summary
Toolchain files rust-toolchain, crates/zk/sp1-script/rust-toolchain	Updated Rust channel from nightly-2025-08-18 to nightly-2025-11-16 (components unchanged).
CI workflow .github/workflows/ci.yml	Replaced all occurrences of nightly-2025-08-18 with nightly-2025-11-16 in workflow steps and cargo invocations.
Cargo config / rustflags .cargo/config.toml	Added [target.'cfg(all())'] block setting rustflags = "-Zhigher-ranked-assumptions"; preserved existing [dependencies-replacements].
Verification keys (data) verification_keys/keys.json	Replaced hex string values for base_vk and recursive_vk (data-only change).

Estimated code review effort

🎯 3 (Moderate) | ⏱️ ~20 minutes

• Pay attention to verification key value replacements for correctness and provenance.
• Verify CI and local toolchain consistency after the nightly bump.
• Confirm the intent and scope of the global -Zhigher-ranked-assumptions rustflag.

Possibly related PRs

• refactor: conform to rust 1.91.0 (nightly-2025-08-18) #412 — modifies verification_keys/keys.json with updated base_vk / recursive_vk entries.
• ci: adding coverage tools #329 — updates CI/toolchain versions and verification key values in related files.
• fix(ci): update lockfile, dependencies and wasm-test structure for CI compatibility #376 — replaces hex values in verification_keys/keys.json.

Suggested reviewers

• distractedm1nd
• sebasti810

Poem

🐰
A nightly hopped from August's shade to November's light,
With higher-ranked assumptions tucked in tight,
Keys refreshed, toolchains aligned, the build takes a cheer —
Hoppity fixes, small but clear! 🥕✨

Pre-merge checks and finishing touches

✅ Passed checks (3 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly and accurately summarizes the main change: updating the Rust toolchain to version 2025-11-16 across multiple configuration files.
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch update-rust-toolchain-2025-11-16

---

📜 Recent review details

Configuration used: CodeRabbit UI

Review profile: CHILL

Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 93c83df and 2b9c4ee.

📒 Files selected for processing (5)

• .cargo/config.toml (1 hunks)
• .github/workflows/ci.yml (6 hunks)
• crates/zk/sp1-script/rust-toolchain (1 hunks)
• rust-toolchain (1 hunks)
• verification_keys/keys.json (1 hunks)

🚧 Files skipped from review as they are similar to previous changes (3)

• .cargo/config.toml
• rust-toolchain
• .github/workflows/ci.yml

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (6)

• GitHub Check: build-and-push-image
• GitHub Check: clippy
• GitHub Check: wasm-test
• GitHub Check: unused dependencies
• GitHub Check: coverage
• GitHub Check: unit-test

🔇 Additional comments (2)

verification_keys/keys.json (1)

1-1: VK hex updates look fine; ensure they match the current circuits/prover.

This is a pure data change (two hex strings). As long as these values correspond to the vk artifacts used by your prover/verifier and any tests that rely on them have been regenerated or updated, this looks good.

crates/zk/sp1-script/rust-toolchain (1)

1-3: Toolchain bump verified and consistent.

Channel updated to nightly-2025-11-16 across both ./rust-toolchain and ./crates/zk/sp1-script/rust-toolchain files. The nightly-2025-11-16 is available and can be installed via rustup. No CI workflows found that require cross-verification. All checks passed.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!