feat(aggregation-mode): integrate proof aggregator with db

[MarcosNicolau]

Description

Integrates proof aggregator with Batcherdb. Now the ProofFetcher instead of fetching the proofs from the verification layer (a.k.a fast mode) queries them from the DB managed by the AggMode Batcher. This process is as follows:

1. Select proofs from a proving system (SP1 or Risc0 depending on how the program was started) up to a limit and mark them as processing so concurrent aggregators won't try to aggregate the same proofs
2. Aggregate them
3. Submit it to Ethereum
4. Store the merkle path for each proof and mark them as verified

This is an initial version to integrate everything and have something to iterate upon:

• If there is an error, set the proofs back to pending state to make sure they are aggregated by another proof aggregator
• Improve queries: I didn't quite review the performance of the queries and how they might impact when we are aggregating a higher number of proofs
• Maybe add intermediate states for the proofs (verified, submitted, etc).

Notes:

• The elf field for the SP1ProofWithPubValuesAndElf has been removed and renamed to SP1ProofWithPubValuesAndVk. This is because we don't need the elf anymore since now we can get the VerifyingKey from the request saving us from the overhead of having to setup the client. I was doubtful when implementing this but it seems that sp1 does the same in the prover network see here.

How to test
0. Start ethereum package:

make ethereum_package_start

2. Start aggregation mode batcher:

make agg_mode_batcher_start_local

3. Send SP1 proof:

make agg_mode_batcher_send_payment
make agg_mode_batcher_send_sp1_proof

4. After that, aggregate them

make proof_aggregator_start_ethereum_package

5. Verify their status is processing in adminer or psql
6. After aggregation, query their respective merkle proofs:

curl -X GET 'http://127.0.0.1:8089/receipts?address=0x70997970C51812dc3A010C7d01b50e0d17dc79C8&nonce=<NONCE>'

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
  • 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 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]

It reverts with the following error

2025-12-10T16:32:35.786255Z ERROR proof_aggregator::backend: Error while aggregating and submitting proofs: SendVerifyAggregatedProofTransaction("server returned an error response: error code 3: execution reverted, data: \"0x5a08a53700ba19eed0aaeb0151f07b8d3ee7c659bcd29f3021e48fb42766882f55b8450900000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000\"")

[MarcosNicolau]

It reverts with the following error

Solved in d4c454a.

[JuArce]

It fails with the following error

Error while aggregating and submitting proofs: FetchingProofs(Query(Query("error occurred while decoding column \"proving_system_id\": mismatched types; Rust type `i64` (as SQL type `INT8`) is not compatible with SQL type `INT4`")))

[github-actions]

Changes to gas cost

Generated at commit: 92da2bb510d364b37bc79a9514e1a05c7a1bad2f, compared to commit: f4a4d2653cb6c3fd44cafab4fef489992105199b

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	+169 ❌	+0.22%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	4,398,072 (0)	createNewTask receive	56,874 (0) 23,301 (0)	0.00% 0.00%	76,702 (+169) 46,649 (+186)	+0.22% +0.40%	77,026 (+18) 47,115 (0)	+0.02% 0.00%	77,740 (-96) 47,115 (0)	-0.12% 0.00%	256 (0) 256 (0)

[MarcosNicolau]

It fails with the following error Error while aggregating and submitting proofs: FetchingProofs(Query(Query("error occurred while decoding column "proving_system_id": mismatched types; Rust type i64 (as SQL type INT8) is not compatible with SQL type INT4")))

Yes the bug was introduced here dd500f5. Fixed in 349c2d1.