Merged
Conversation
There was a problem hiding this comment.
Pull Request Overview
This PR upgrades the Risc0 dependency from v1.1.2 to v2.0.0 and updates related file names and documentation to reflect the new version.
- Update file paths to use the new naming convention with "2_0" suffix
- Update Cargo.toml and documentation references to use Risc0 v2.0.0
- Upgrade dependent libraries such as lazy_static where applicable
Reviewed Changes
Copilot reviewed 39 out of 43 changed files in this pull request and generated no comments.
Show a summary per file
| File | Description |
|---|---|
| scripts/test_files/risc_zero/fibonacci_proof_generator/host/src/main.rs | Updated constant file paths to reference new proof, public input, and image id file names |
| scripts/test_files/risc_zero/fibonacci_proof_generator/host/Cargo.toml | Upgraded risc0-zkvm dependency to v2.0.0 |
| operator/sp1/lib/Cargo.toml | Upgraded lazy_static to v1.5.0 |
| operator/risc_zero/risc_zero_test.go | Updated file paths for proof, image id, and public input |
| operator/risc_zero/lib/src/lib.rs | Updated include_bytes! paths to new file names |
| operator/risc_zero/lib/Cargo.toml | Updated risc0-zkvm and lazy_static versions |
| examples/validating-public-input/risc_zero/fibonacci_proof_generator/methods/guest/Cargo.toml | Upgraded risc0-zkvm to v2.0.0 |
| examples/validating-public-input/risc_zero/fibonacci_proof_generator/methods/Cargo.toml | Upgraded risc0-build to v2.0.0 |
| examples/validating-public-input/risc_zero/fibonacci_proof_generator/host/src/main.rs | Updated constant file paths to new file names |
| examples/validating-public-input/risc_zero/fibonacci_proof_generator/host/Cargo.toml | Upgraded risc0-zkvm to v2.0.0 and updated file paths |
| examples/validating-public-input/aligned-integration/src/main.rs | Updated file path constants for Risc0 proof, public input, and image id |
| docs/3_guides/9_aligned_cli.md | Updated CLI command examples to use new file names |
| docs/3_guides/4_generating_proofs.md | Updated documentation to reference Risc0 v2.0.0 |
| docs/3_guides/0_submitting_proofs.md | Updated documentation and CLI examples to reference Risc0 v2.0.0 |
| docs/2_architecture/0_supported_verifiers.md | Updated verifier list to reference Risc0 v2.0.0 |
| batcher/aligned-batcher/Cargo.toml | Upgraded risc0-zkvm to v2.0.0 |
Files not reviewed (4)
- Makefile: Language not supported
- scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id.bin: Language not supported
- scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_0.bin: Language not supported
- scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_old.bin: Language not supported
…ayer into upgrade_risc0_2_0
JuArce
approved these changes
Mar 27, 2025
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Upgrade risc0 2 0