Merge pull request #744 from 0xPolygon/jhilliard/aggsender-validator-committee

feat: aggsender-validator-committee + aggoracle-committee

Author: xavier-romero

.github/tests/cdk-erigon/aggchain-ecdsa-multisig.yml

@@ -0,0 +1,30 @@
+deployment_stages:
+  deploy_l2_contracts: true
+  deploy_op_succinct: false
+  deploy_cdk_bridge_infra: true
+  deploy_optimism_rollup: false
+args:
+  consensus_contract_type: ecdsa_multisig
+
+  # Aggsender-validator related params
+  use_agg_sender_validator: false
+  agg_sender_multisig_threshold: 1
+  agg_sender_validator_total_number: 0
+
+  # Aggkit related params
+  binary_name: aggkit
+  aggkit_components: aggsender
+  aggkit_image: ghcr.io/agglayer/aggkit:0.7.0-beta6
+
+  # Agglayer related params
+  agglayer_contracts_image: jhkimqd/agglayer-contracts:v0.0.0-rc.0.fix.1.create.genesis-fork.12
+  agglayer_prover_primary_prover: mock-prover
+  zkevm_use_real_verifier: false
+  sp1_prover_key: ""
+
+  # CDK-Erigon related params
+  sequencer_type: erigon
+  cdk_erigon_node_image: hermeznetwork/cdk-erigon:v2.63.0-rc4
+  enable_normalcy: true
+  erigon_strict_mode: false
+  gas_token_enabled: false

.github/tests/cdk-erigon/sovereign.yml

@@ -7,6 +7,7 @@ args:
   sequencer_type: erigon
   consensus_contract_type: pessimistic
 
+  aggkit_image: ghcr.io/agglayer/aggkit:0.5.0-beta4
   agglayer_contracts_image: europe-west2-docker.pkg.dev/prj-polygonlabs-devtools-dev/public/agglayer-contracts:v11.0.0-rc.2-fork.12
   zkevm_prover_image: hermeznetwork/zkevm-prover:v8.0.0-RC16-fork.12
   cdk_erigon_node_image: hermeznetwork/cdk-erigon:v2.63.0-rc4

.github/tests/op-geth/aggchain-ecdsa-multisig.yml

@@ -0,0 +1,31 @@
+# This args-file deploys the OP Succinct chain.
+deployment_stages:
+  deploy_op_succinct: false
+
+args:
+  aggkit_image: "ghcr.io/agglayer/aggkit:0.7.0-beta6"  # https://github.com/agglayer/aggkit/tree/v0.7.0-beta6
+  
+  # Agghcain ecdsa_multisig consensus.
+  consensus_contract_type: ecdsa_multisig
+  use_agg_sender_validator: True
+  # The below parameter will be used for aggsender multisig to have "agg_sender_validator_total_number" aggsender validators.
+  agg_sender_validator_total_number: 1
+  agg_sender_multisig_threshold: 1
+
+  # OP Networks rely on L1 blocks to have finalization on L2. This means if the L1 blocktime is very fast, OP Succinct proof requests will have to bundle many L1 blocks into a single proof.
+  # This will significantly increase cycles even if the L2 network is empty. Instead of having 2s, for OP Succinct deployments, we recommend 12s.
+  # Note this will noticeably increase the deployment time because of the increased L1 finality.
+  l1_seconds_per_slot: 2 # TEMPORARY - DO NOT MERGE
+
+optimism_package:
+  chains:
+    - proposer_params:
+        enabled: false
+      challenger_params:
+        enabled: false
+      network_params:
+        name: "001"
+        network_id: "2151908"
+        seconds_per_slot: 1
+  observability:
+    enabled: false

.github/tests/op-geth/ecdsa.yml.norun

@@ -2,6 +2,8 @@ deployment_stages:
   deploy_optimism_rollup: true
 
 args:
+  aggkit_image: ghcr.io/agglayer/aggkit:0.5.0-beta4
+  agglayer_contracts_image: europe-west2-docker.pkg.dev/prj-polygonlabs-devtools-dev/public/agglayer-contracts:v11.0.0-rc.2-fork.12
   consensus_contract_type: pessimistic
 
 optimism_package:

.github/tests/op-geth/sovereign.yml

@@ -1,39 +1,40 @@
 # This args-file deploys the OP Succinct chain.
 deployment_stages:
-  deploy_op_succinct: true
+    deploy_op_succinct: true
 
 args:
-  consensus_contract_type: fep
-  # Using the network provers will use the real SP1 verifier contract which is also deployed together in the Kurtosis devnet.
-  # A mock verifier is used otherwise.
-  op_succinct_mock: true
-  # Enable the integration with the Agglayer
-  op_succinct_agglayer: true
-  # Proof type. Must match the verifier gateway contract type. Options: "plonk", "groth16", "compressed", "core"
-  op_succinct_agg_proof_mode: "compressed"
-  # The minimum interval in L2 blocks at which checkpoints must be submitted. An aggregation proof can be posted for any range larger than this interval.
-  op_succinct_submission_interval: "1"
-  # The maximum number of concurrent proof requests to send to the `op-succinct-server`
-  op_succinct_max_concurrent_proof_requests: "1"
-  # The maximum number of concurrent witness generation processes to run on the `op-succinct-server`
-  op_succinct_max_concurrent_witness_gen: "1"
-  # Size of the range proof.
-  op_succinct_range_proof_interval: "60"
+    consensus_contract_type: fep
+    # Using the network provers will use the real SP1 verifier contract which is also deployed together in the Kurtosis devnet.
+    # A mock verifier is used otherwise.
+    op_succinct_mock: true
+    # Enable the integration with the Agglayer
+    op_succinct_agglayer: true
+    # Proof type. Must match the verifier gateway contract type. Options: "plonk", "groth16", "compressed", "core"
+    op_succinct_agg_proof_mode: "compressed"
+    # The minimum interval in L2 blocks at which checkpoints must be submitted. An aggregation proof can be posted for any range larger than this interval.
+    op_succinct_submission_interval: "1"
+    # The maximum number of concurrent proof requests to send to the `op-succinct-server`
+    op_succinct_max_concurrent_proof_requests: "1"
+    # The maximum number of concurrent witness generation processes to run on the `op-succinct-server`
+    op_succinct_max_concurrent_witness_gen: "1"
+    # Size of the range proof.
+    op_succinct_range_proof_interval: "60"
 
-  # OP Networks rely on L1 blocks to have finalization on L2. This means if the L1 blocktime is very fast, OP Succinct proof requests will have to bundle many L1 blocks into a single proof.
-  # This will significantly increase cycles even if the L2 network is empty. Instead of having 2s, for OP Succinct deployments, we recommend 12s.
-  # Note this will noticeably increase the deployment time because of the increased L1 finality.
-  l1_seconds_per_slot: 2 # TEMPORARY - DO NOT MERGE
+    aggkit_image: "ghcr.io/agglayer/aggkit:0.7.0-beta6"  # https://github.com/agglayer/aggkit/tree/v0.7.0-beta6
+    # OP Networks rely on L1 blocks to have finalization on L2. This means if the L1 blocktime is very fast, OP Succinct proof requests will have to bundle many L1 blocks into a single proof.
+    # This will significantly increase cycles even if the L2 network is empty. Instead of having 2s, for OP Succinct deployments, we recommend 12s.
+    # Note this will noticeably increase the deployment time because of the increased L1 finality.
+    l1_seconds_per_slot: 2 # TEMPORARY - DO NOT MERGE
 
 optimism_package:
-  chains:
-    - proposer_params:
+    chains:
+        - proposer_params:
+              enabled: false
+          challenger_params:
+              enabled: false
+          network_params:
+              name: "001"
+              network_id: "2151908"
+              seconds_per_slot: 1
+    observability:
         enabled: false
-      challenger_params:
-        enabled: false
-      network_params:
-        name: "001"
-        network_id: "2151908"
-        seconds_per_slot: 1
-  observability:
-    enabled: false

.github/tests/op-succinct/mock-prover.yml

@@ -37,6 +37,7 @@ args:
   zkevm_rollup_id: 1
   # Size of the range proof.
   op_succinct_range_proof_interval: "1800"
+  aggkit_image: "ghcr.io/agglayer/aggkit:0.7.0-beta6"  # https://github.com/agglayer/aggkit/tree/v0.7.0-beta6
   # OP Networks rely on L1 blocks to have finalization on L2. This means if the L1 blocktime is very fast, OP Succinct proof requests will have to bundle many L1 blocks into a single proof.
   # This will significantly increase cycles even if the L2 network is empty. Instead of having 2s, for OP Succinct deployments, we recommend 12s.
   # Note this will noticeably increase the deployment time because of the increased L1 finality.
@@ -45,7 +46,7 @@ args:
 optimism_package:
   # We need this for pre-deployed allocs https://github.com/ethpandaops/optimism-package/compare/main...xavier-romero:optimism-package:main#diff-c479a5b20e37b19a976045939f01e8a6deb6a062a147e08b81049469d512d00cR235
   #         "github.com/ethpandaops/optimism-package/main.star@884f4eb813884c4c8e5deead6ca4e0c54b85da90",
-  source: "github.com/agglayer/optimism-package/main.star@cc37713aff9c4955dd6975cdbc34072a1286754e"
+  source: "github.com/agglayer/optimism-package/main.star@a70f83d31c746139d8b6155bdec6a26fdd4afda0"
   predeployed_contracts: true
   chains:
     - participants:

.github/tests/op-succinct/real-prover.yml

@@ -239,7 +239,7 @@ jobs:
       - name: Monitor pessimistic chain virtual batches (Central RPC)
         run: |
           result=$(yq --raw-output '.args.consensus_contract_type' ${{ matrix.file.path }})
-          if [[ "$result" == "pessimistic" ]]; then
+          if [[ "$result" == "pessimistic" ]] || [[ "$result" == "ecdsa_multisig" ]]; then
             echo "Skipping block verification as consensus is pessimistic."
           else
             sequencer_type=$(yq --raw-output '.args.sequencer_type' ${{ matrix.file.path }})
@@ -263,8 +263,8 @@ jobs:
       - name: Monitor CDK chain verified batches (zkEVM Permissionless RPC)
         run: |
           result=$(yq --raw-output '.args.consensus_contract_type' ${{ matrix.file.path }})
-          if [[ "$result" == "pessimistic" ]]; then
-            echo "Skipping block verification as consensus is pessimistic."
+          if [[ "$result" == "pessimistic" ]] || [[ "$result" == "ecdsa_multisig" ]]; then
+            echo "Skipping block verification as consensus is pessimistic or ecdsa_multisig."
           else
             result=$(yq --raw-output '.args.additional_services // [] | contains(["pless_zkevm_node"])' ${{ matrix.file.path }})
             if [[ "$result" == "true" ]]; then
@@ -306,6 +306,17 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
+      - name: Free up disk space
+        uses: jlumbroso/free-disk-space@54081f138730dfa15788a46383842cd2f914a1be
+        with:
+          tool-cache: false
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: false
+          docker-images: true
+          swap-storage: true
+
       - name: Pre kurtosis run
         uses: ./.github/actions/kurtosis-pre-run
         with:
@@ -340,7 +351,7 @@ jobs:
         with:
           repository: agglayer/e2e
           path: agglayer-e2e
-          ref: 4763c63cb11c5e605bff749823bf514abcdac7b6 # 2028-07-10
+          ref: bcbff97a600e090dd5cd912a5838c9514f8724e5
 
       - name: Run bridge tests and op optimistic mode tests
         run: |