Skip to content

feat: update risc0 to v2.2.0/2.3.0 #2020

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
JuArce merged 8 commits into from
Jul 18, 2025
Merged

feat: update risc0 to v2.2.0/2.3.0 #2020

JuArce merged 8 commits into from
Jul 18, 2025

Conversation

@JuArce
Copy link
Collaborator

@JuArce JuArce commented Jul 15, 2025 •
edited
Loading

feat: update risc0 to v2.2.0/2.3.0

Description

Versions v2.2.0 and v2.3.0 are compatible

closes #2019

How to Test

Verification Layer

  1. Start Ethereum Package
make ethereum_package_start
  1. Start batcher
make batcher_start_ethereum_package
  1. Start aggregator
make aggregator_start_ethereum_package ENVIRONMENT=devnet
  1. Start operator

Note: You need to rebuild ffis

make build_all_ffi
make operator_full_registration CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet
make operator_start CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet
  1. Start explorer
make explorer_clean_db
make explorer_start
  1. Send proofs
make aligned_install_compiling
make batcher_send_risc0_task
make batcher_send_risc0_burst
make batcher_send_risc0_task_no_pub_input
  1. Check the proofs are verified in the explorer (http://localhost:4000/)

Note: Examples in docs won't work in Holesky until the deploy is done.

Aggregation Mode

You need to test it in a Linux server

  1. Start Ethereum Package
make ethereum_package_start
  1. Start batcher
make batcher_start_ethereum_package
  1. Start aggregator
make aggregator_start_ethereum_package ENVIRONMENT=devnet
  1. Start operator

Note: You need to rebuild ffis

make build_all_ffi
make operator_full_registration CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet
make operator_start CONFIG_FILE=config-files/config-operator-1-ethereum-package.yaml ENVIRONMENT=devnet
  1. Send proofs
make aligned_install_compiling
make batcher_send_risc0_task
make batcher_send_risc0_burst
make batcher_send_risc0_task_no_pub_input
  1. Run Aggregation Mode
make proof_aggregator_start_gpu_ethereum_package AGGREGATOR=risc0

Examples

  1. Start Anvil
make anvil_start
  1. Start batcher
make batcher_start_local
  1. Start aggregator
make aggregator_start ENVIRONMENT=devnet
  1. Start operator

Note: You need to rebuild ffis

make build_all_ffi
make operator_full_registration CONFIG_FILE=config-files/config-operator-1.yaml ENVIRONMENT=devnet
make operator_start CONFIG_FILE=config-files/config-operator-1.yaml ENVIRONMENT=devnet
  1. Start explorer
make explorer_clean_db
make explorer_start
  1. cd to validating-public-input directory
cd examples/validating-public-input
  1. Generate and send the proof to Aligned
make generate_risc0_fibonacci_proof
make submit_fibonacci_risc0_proof_devnet
  1. Deploy verifier contract
make deploy_fibonacci_validator_devnet

You will get a new address,

##### anvil-hardhat
✅  [Success] Hash: 0xcf749df7ebe63fa09d09048d920827cb52d67beee40a60eb4175e95f563db1cd
Contract Address: 0x5081a39b8A5f0E35a8D959395a630b68B74Dd30f
Block: 43
Paid: 0.001482217042964522 ETH (1194859 gas * 1.240495358 gwei)
  1. Verify the batch inclusion on chain
make verify_risc0_batch_inclusion_devnet FIBONACCI_VALIDATOR_ADDRESS=<FIBONACCI_VALIDATOR_ADDRESS> DATA_FILE_NAME=<DATA_FILE_NAME>
  • FIBONACCI_VALIDATOR_ADDRESS: The address you got on step 8
  • DATA_FILE_NAME: Available in aligned-integration/batch_inclusion_data

For example:

make verify_risc0_batch_inclusion_devnet FIBONACCI_VALIDATOR_ADDRESS=0x5081a39b8A5f0E35a8D959395a630b68B74Dd30f DATA_FILE_NAME=4012b9c8_0.json

Type of change

Please delete options that are not relevant.

  • New feature

Checklist

  • “Hotfix” to testnet, everything else to staging
  • Linked to Github Issue
  • This change depends on code or research by an external entity
    • Acknowledgements were updated to give credit
  • Unit tests added
  • This change requires new documentation.
    • Documentation has been added/updated.
  • This change is an Optimization
    • Benchmarks added/run
  • Has a known issue
  • If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
    • This PR adds compatibility for operator for both versions and do not change crates/docs/examples
    • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible

@JuArce JuArce self-assigned this Jul 15, 2025
@JuArce JuArce linked an issue Jul 15, 2025 that may be closed by this pull request
feat: update Risc0 to v2.2.0 #2019
Closed
8 tasks
@JuArce JuArce marked this pull request as ready for review July 16, 2025 14:26
MarcosNicolau
MarcosNicolau reviewed Jul 16, 2025
View reviewed changes
@JuArce JuArce changed the title feat: update risc0 to v2.2.0 feat: update risc0 to v2.2.0/2.3.0 Jul 17, 2025
@JuArce JuArce added this pull request to the merge queue Jul 18, 2025
Merged via the queue into staging with commit a54750c Jul 18, 2025
8 checks passed
@JuArce JuArce deleted the 2019-feat-update-risc0-to-v220 branch July 18, 2025 14:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@MauroToscano MauroToscano MauroToscano approved these changes

@MarcosNicolau MarcosNicolau MarcosNicolau approved these changes

Assignees

@JuArce JuArce

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

feat: update Risc0 to v2.2.0

4 participants

@JuArce @MauroToscano @MarcosNicolau