Skip to content

fix(contracts): make program ids a map to support various programs at the same time in Agg Mode - #2171

Closed
maximopalopoli wants to merge 38 commits into
stagingfrom
fix/turn-program-ids-mapping
Closed

fix(contracts): make program ids a map to support various programs at the same time in Agg Mode#2171
maximopalopoli wants to merge 38 commits into
stagingfrom
fix/turn-program-ids-mapping

Conversation

@maximopalopoli

@maximopalopolimaximopalopoli commented Nov 13, 2025

Copy link
Copy Markdown
Contributor

Description

This PR turns the fixed program IDs for Risc0 and SP1 to be part of a map (program ID -> proving system ID), to make the system more scalable (because it's easier to add new program IDs) and retrocompatible (because this program ID - proving system is not unique anymore, and when we update the program ID now we can also handle the previous programs).

Note: I started this PR from the staging branch and then merged the fusaka-blobs one. This should not be a problem, as it's like updating the fusaka blobs branch with the last staging commits.

How it works

Follow the steps in the l2 example README.

Type of change

Please delete options that are not relevant.

  • New feature
  • Bug fix
  • Optimization
  • Refactor

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

@maximopalopolimaximopalopoli self-assigned this Nov 13, 2025
Comment threadaggregation_mode/src/backend/mod.rs Outdated
Comment threadaggregation_mode/src/backend/mod.rs Outdated
Comment threadcontracts/src/core/AlignedProofAggregationService.sol Outdated
Comment threadcontracts/src/core/AlignedProofAggregationService.sol Outdated
Comment threadcontracts/src/core/IAlignedProofAggregationService.sol
Comment threadcontracts/src/core/IAlignedProofAggregationService.sol
Comment threadcontracts/src/core/IAlignedProofAggregationService.sol Outdated
@MarcosNicolauMarcosNicolau changed the title fix(aggregation): turn program ids mappingfix(contracts): make program ids a map to support various programs at the same time in Agg ModeNov 14, 2025
@maximopalopoli
maximopalopoli changed the base branch from fix/fusaka-blobs to stagingNovember 14, 2025 20:01
@maximopalopoli
maximopalopoli marked this pull request as ready for review November 19, 2025 17:26
@maximopalopoli
maximopalopoli changed the base branch from staging to fix/fusaka-blocks-with-alloyNovember 20, 2025 14:46
@maximopalopoli
maximopalopoli changed the base branch from fix/fusaka-blocks-with-alloy to fix/fusaka-blobsNovember 25, 2025 13:05
@maximopalopoli
maximopalopoli changed the base branch from fix/fusaka-blobs to stagingNovember 25, 2025 13:06
@maximopalopoli

Copy link
Copy Markdown
ContributorAuthor

Rebased to #2175

@JuArce
JuArce deleted the fix/turn-program-ids-mapping branch November 25, 2025 19:09
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@maximopalopoli@MarcosNicolau