fix(aggregation_mode): hardcode image_id and vk_hash from solidity contract

[MarcosNicolau]

Description

1. The verifySp1 and verifyRisc0 functions no longer require image_id and vk_hash as input parameters. Instead, these values are now stored in the contract’s storage and can only be modified by the contract owner.
2. This change ensures that only trusted and verified programs can be used for verification.

Also, a new CLI binary was added to export the image_id and vk_hash to a JSON file to simplify the process of managing and registering valid programs.

How to test

Run the proof aggregator with proving and verify that it works:

1. make start_proof_aggregator AGGREGATOR=sp1
2. make start_proof_aggregator AGGREGATOR=risc0

Type of change

• Bug fix

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

[github-actions]

Changes to gas cost

Generated at commit: a06d4e2a6611d91ab17cb248e114455041114aef, compared to commit: 837b4fbe4715d1b848b001bf77ce517608ae7d02

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	+127 ❌	+0.16%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	8,469,871 (+150,663)	createNewTask receive	57,806 (-36) 23,496 (0)	-0.06% 0.00%	77,924 (+127) 47,378 (+187)	+0.16% +0.40%	77,916 (-6) 47,472 (0)	-0.01% 0.00%	78,681 (-111) 47,472 (0)	-0.14% 0.00%	256 (0) 256 (0)

[MarcosNicolau]

I also considered printing it to the console instead of writing it to a file, as this is only available in the contracts deployment configs.

[JuArce]

Lgtm
I tested it changing the expected ELF and it works as expected rejecting the proof

If we merge first #1916 and #1918, we should regenerate program_ids.json to use the deterministic ones

[MauroToscano]

We should re review the hashes after deterministic compiling gets added on this PR for Risc0 (SP1 is already merged)

#1918

[MarcosNicolau]

We should re review the hashes after deterministic compiling gets added on this PR for Risc0 (SP1 is already merged)

The program ids with the new builds have been updated: cdf6342.

[JuArce]

Lgtm
I added to the anvil_deploy_aligned_contracts the step to update the program_ids and fixed the install_aggregation_mode target