feat(proof-aggregator): support zisk zkvm

[MarcosNicolau]

Description

Adds zisk in aggregation mode.

How to test

For proving

Setup:

0. Get a linux machine
1. Install proving keys for snark wrapping:

wget https://storage.googleapis.com/zisk-setup/zisk-0.15.0-plonk.tar.gz
tar -xvzf zisk-0.15.0-plonk.tar.gz

3. Clone zisk repo:

git clone https://github.com/0xPolygonHermez/zisk

6. Checkout to feature/bn128 branch:

git checkout feature/bn128

7. Install zisk toolchain following option 2: Building from source , see here.
8. Copy the installed provingkey and provingKeySnark into ~/.zisk/.

Running

1. Start ethereum package:

make ethereum_package_start

2. Start gateway:

make agg_mode_gateway_start_ethereum_package

3. Start payments poller:

make agg_mode_payments_poller_start_local

4. Send payment and zisk proof:

make agg_mode_gateway_send_payment
make agg_mode_gateway_send_zisk_proof

5. Start proof aggregator with zisk:

make proof_aggregator_start AGGREGATOR=zisk

6. Verify the proof has been aggregated

make verify_aggregated_proof_zisk

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

[github-actions]

Changes to gas cost

Generated at commit: dcc1bb2000763246793e539a38c2613c92dc736b, compared to commit: 3bb9c48ead67b86dc1d000433e4fc01558b7059b

🧾 Summary (10% most significant diffs)

Contract	Method	Avg (+/-)	%
AlignedLayerServiceManager	createNewTask	+429 ❌	+0.56%

---

Full diff report 👇

Contract	Deployment Cost (+/-)	Method	Min (+/-)	%	Avg (+/-)	%	Median (+/-)	%	Max (+/-)	%	# Calls (+/-)
AlignedLayerServiceManager	4,398,072 (0)	createNewTask receive	56,922 (+48) 23,301 (0)	+0.08% 0.00%	76,813 (+429) 46,742 (+465)	+0.56% +1.00%	77,074 (+72) 47,115 (0)	+0.09% 0.00%	77,812 (-24) 47,115 (0)	-0.03% 0.00%	256 (0) 256 (0)