Description

This PR updates the RISC0 dependency on Rust crates to v2.1.0.

How to Test

Verification Layer

1. Start Ethereum Package

make ethereum_package_start

2. Start batcher

make batcher_start_ethereum_package

3. Start aggregator

make aggregator_start_ethereum_package ENVIRONMENT=devnet

4. 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

5. Start explorer

make explorer_clean_db
make explorer_start

7. Send proofs

make aligned_install_compiling
make batcher_send_risc0_task
make batcher_send_risc0_task_no_pub_input

8. 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

9. Run aggregation mode. Note: This step only will run on a linux server

make proof_aggregator_start AGGREGATOR=risc0

Type of change

• 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
  • Link to the open issue addressing it
• If your PR changes the Operator compatibility (Ex: Upgrade prover versions)
  • This PR adds compatibility for operator for both versions and do not change batcher/docs/examples
  • This PR updates batcher and docs/examples to the newer version. This requires the operator are already updated to be compatible