diff --git a/.github/tests/attach-second-cdk-pessimistic.yml b/.github/tests/attach-second-cdk-pessimistic.yml
new file mode 100644
index 00000000..e2fe5dab
--- /dev/null
+++ b/.github/tests/attach-second-cdk-pessimistic.yml
@@ -0,0 +1,39 @@
+deployment_stages:
+  deploy_l1: false
+  deploy_agglayer: false
+
+args:
+  deployment_suffix: "-002"
+  zkevm_rollup_chain_id: 20202
+  zkevm_rollup_id: 2
+
+  # The following accounts have been generated using the following command:
+  # polycli wallet inspect --mnemonic 'bless share truly shadow primary sun relief border van gallery stairs edit reflect gentle athlete main device smile response rescue mirror floor say people' --addresses 9 | tee keys.txt | jq -r '.Addresses[] | [.ETHAddress, .HexPrivateKey] | @tsv' | awk 'BEGIN{split("sequencer,aggregator,claimtxmanager,timelock,admin,loadtest,agglayer,dac,proofsigner",roles,",")} {print "zkevm_l2_" roles[NR] "_address: \"" $1 "\""; print "zkevm_l2_" roles[NR] "_private_key: \"0x" $2 "\"\n"}'
+  # Note that admin and agglayer accounts have been removed since we're using the default accounts.
+  zkevm_l2_sequencer_address: "0xA670342930242407b9984e467353044f8472055e"
+  zkevm_l2_sequencer_private_key: "0x902ed4ce26b536617a4f26da5e0cd0ef61b514a076b4bd766d6ab8b97efbb8c1"
+  zkevm_l2_aggregator_address: "0xfC419a9d9Fe0DfA4Cf9971AcD1Fbcd356DD768FD"
+  zkevm_l2_aggregator_private_key: "0xa70db9fb4b84a6ba18c03cd2266116dd110538d6c4c88e67ca35a29b910da25d"
+  zkevm_l2_claimtxmanager_address: "0x93F63c24735f45Cd0266E87353071B64dd86bc05"
+  zkevm_l2_claimtxmanager_private_key: "0x38718f22097afba13be48d818964326c9c5c48133f51e3c3bfd6faf05f813b34"
+  zkevm_l2_timelock_address: "0xDB22C6f61A82d6AA6d3607289fC93774AC09413a"
+  zkevm_l2_timelock_private_key: "0xae4a69010583a09709baa563fa66f9e6f2dacf9e9c84b89932406b9a0521b561"
+  zkevm_l2_loadtest_address: "0xD5278fC3Dc72A226d5C04c3d2C85fd397A46fA08"
+  zkevm_l2_loadtest_private_key: "0xef4db4f97684b8307adc332ed6c1bc82d66d160f08e7427d082d66a23889625e"
+  zkevm_l2_dac_address: "0xDa07AAD7226B136bc24157Dc4Ff5A813490E20D0"
+  zkevm_l2_dac_private_key: "0x992c9ab11d5eab6b6c2634b8bb0b85f3d8d1acf25024dc99c359cb2afd9b40a7"
+  zkevm_l2_proofsigner_address: "0xf1a661D7b601Ec46a040f57193cC99aB8c4132FA"
+  zkevm_l2_proofsigner_private_key: "0xc7fe3a006d75ba9326d9792523385abb49057c66aee0b8b4248821a89713f975"
+
+
+  cdk_node_image: ghcr.io/0xpolygon/cdk:0.5.0-beta10
+  cdk_erigon_node_image: hermeznetwork/cdk-erigon:v2.60.0
+  zkevm_contracts_image: leovct/zkevm-contracts:v9.0.0-rc.3-pp-fork.12-patch.1
+  additional_services: []
+  consensus_contract_type: pessimistic
+  sequencer_type: erigon
+  erigon_strict_mode: false
+  gas_token_enabled: true
+  zkevm_use_real_verifier: true
+  enable_normalcy: true
+
diff --git a/.github/tests/combinations/fork11-legacy-zkevm-stack-rollup.yml b/.github/tests/combinations/fork11-legacy-zkevm-stack-rollup.yml
index 72515dcf..8e2b824d 100644
--- a/.github/tests/combinations/fork11-legacy-zkevm-stack-rollup.yml
+++ b/.github/tests/combinations/fork11-legacy-zkevm-stack-rollup.yml
@@ -9,6 +9,7 @@ args:
   additional_services:
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: rollup
   sequencer_type: zkevm
 deployment_stages:
diff --git a/.github/tests/combinations/fork11-new-cdk-stack-cdk-validium.yml b/.github/tests/combinations/fork11-new-cdk-stack-cdk-validium.yml
index 622d6fa2..3f2b08b2 100644
--- a/.github/tests/combinations/fork11-new-cdk-stack-cdk-validium.yml
+++ b/.github/tests/combinations/fork11-new-cdk-stack-cdk-validium.yml
@@ -9,5 +9,6 @@ args:
   additional_services:
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: cdk-validium
   sequencer_type: erigon
diff --git a/.github/tests/combinations/fork11-new-cdk-stack-rollup.yml b/.github/tests/combinations/fork11-new-cdk-stack-rollup.yml
index 5af1190d..67dfc6b1 100644
--- a/.github/tests/combinations/fork11-new-cdk-stack-rollup.yml
+++ b/.github/tests/combinations/fork11-new-cdk-stack-rollup.yml
@@ -9,5 +9,6 @@ args:
   additional_services:
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: rollup
   sequencer_type: erigon
diff --git a/.github/tests/combinations/fork9-legacy-zkevm-stack-cdk-validium.yml b/.github/tests/combinations/fork9-legacy-zkevm-stack-cdk-validium.yml
index c2fb5760..b725d0d4 100644
--- a/.github/tests/combinations/fork9-legacy-zkevm-stack-cdk-validium.yml
+++ b/.github/tests/combinations/fork9-legacy-zkevm-stack-cdk-validium.yml
@@ -11,6 +11,7 @@ args:
     - pless_zkevm_node
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: cdk-validium
   sequencer_type: zkevm
 deployment_stages:
diff --git a/.github/tests/combinations/fork9-legacy-zkevm-stack-rollup.yml b/.github/tests/combinations/fork9-legacy-zkevm-stack-rollup.yml
index b071eaee..c6129ff2 100644
--- a/.github/tests/combinations/fork9-legacy-zkevm-stack-rollup.yml
+++ b/.github/tests/combinations/fork9-legacy-zkevm-stack-rollup.yml
@@ -11,6 +11,7 @@ args:
     - pless_zkevm_node
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: rollup
   sequencer_type: zkevm
 deployment_stages:
diff --git a/.github/tests/combinations/fork9-new-cdk-stack-cdk-validium.yml b/.github/tests/combinations/fork9-new-cdk-stack-cdk-validium.yml
index 5616ffd4..1cb92f19 100644
--- a/.github/tests/combinations/fork9-new-cdk-stack-cdk-validium.yml
+++ b/.github/tests/combinations/fork9-new-cdk-stack-cdk-validium.yml
@@ -11,5 +11,6 @@ args:
     - pless_zkevm_node
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: cdk-validium
   sequencer_type: erigon
diff --git a/.github/tests/combinations/fork9-new-cdk-stack-rollup.yml b/.github/tests/combinations/fork9-new-cdk-stack-rollup.yml
index de953d1a..243cd04b 100644
--- a/.github/tests/combinations/fork9-new-cdk-stack-rollup.yml
+++ b/.github/tests/combinations/fork9-new-cdk-stack-rollup.yml
@@ -11,5 +11,6 @@ args:
     - pless_zkevm_node
     - tx_spammer
   deploy_l2_contracts: true
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
   consensus_contract_type: rollup
   sequencer_type: erigon
diff --git a/.github/tests/fork12-pessimistic.yml b/.github/tests/fork12-pessimistic.yml
index aaf7f548..4c4e542f 100644
--- a/.github/tests/fork12-pessimistic.yml
+++ b/.github/tests/fork12-pessimistic.yml
@@ -1,12 +1,12 @@
 args:
-  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.11
   cdk_erigon_node_image: hermeznetwork/cdk-erigon:v2.60.0
-  zkevm_bridge_service_image: hermeznetwork/zkevm-bridge-service:v0.6.0-RC3
-  zkevm_bridge_ui_image: leovct/zkevm-bridge-ui:multi-network
   zkevm_contracts_image: leovct/zkevm-contracts:v9.0.0-rc.3-pp-fork.12-patch.1
   additional_services: []
   consensus_contract_type: pessimistic
   sequencer_type: erigon
   erigon_strict_mode: false
-  #agglayer_prover_sp1_key: 
+  gas_token_enabled: false
+  zkevm_use_real_verifier: true
   enable_normalcy: true
+  agglayer_prover_sp1_key: ""
+
diff --git a/.github/tests/forks/fork11.yml b/.github/tests/forks/fork11.yml
index ee57de6e..5ffdb01a 100644
--- a/.github/tests/forks/fork11.yml
+++ b/.github/tests/forks/fork11.yml
@@ -23,3 +23,6 @@ args:
     - tx_spammer
 
   deploy_l2_contracts: true
+
+  # https://github.com/agglayer/agglayer/tags
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
diff --git a/.github/tests/forks/fork9.yml b/.github/tests/forks/fork9.yml
index fbeee964..8a85bfc7 100644
--- a/.github/tests/forks/fork9.yml
+++ b/.github/tests/forks/fork9.yml
@@ -27,3 +27,6 @@ args:
     - tx_spammer
 
   deploy_l2_contracts: true
+
+  # https://github.com/agglayer/agglayer/tags
+  agglayer_image: ghcr.io/agglayer/agglayer:0.2.0-rc.19
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 8d37f164..0dd622b8 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -50,7 +50,7 @@ jobs:
         run: find . -type f -name '*.Dockerfile' | sort | xargs -I {} hadolint --config ${{ github.workspace }}/.hadolint.yml {}
 
       - name: Run shellcheck
-        run: find . -type f -name '*.sh' | sort | xargs -I {} shellcheck {}
+        run: find . -type f -name '*.sh' | grep -v "./docs" | sort | xargs -I {} shellcheck {}
 
   check-test-combinations-and-cdk-version-matrix:
     runs-on: ubuntu-latest
@@ -65,7 +65,7 @@ jobs:
       - name: Generate test combinations and cdk version matrix
         working-directory: .github/tests
         run: ./combine-ymls.sh
-      
+
       - name: Check if test combinations and cdk version matrix are up to date
         run: |
           if [[ -n $(git status --porcelain) ]]; then
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 4b00d8f1..1de16014 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -3,7 +3,7 @@
 # https://github.com/0xPolygon/cdk/blob/main/.github/workflows/test-e2e.yml
 name: Test
 
-on: 
+on:
   pull_request:
   push:
     branches: [main]
@@ -18,6 +18,7 @@ env:
 
 jobs:
   build-cdk-image:
+    if: false
     runs-on: ubuntu-latest
     timeout-minutes: 10
     steps:
@@ -38,10 +39,10 @@ jobs:
     - name: Build cdk docker image
       working-directory: cdk
       run: make build-docker
-    
+
     - name: Save cdk image to archive
       run: docker save --output /tmp/cdk.tar cdk
-    
+
     - name: Upload archive
       uses: actions/upload-artifact@v4
       with:
@@ -49,6 +50,7 @@ jobs:
         path: /tmp/cdk.tar
 
   cdk-e2e-tests:
+    if: false
     runs-on: ubuntu-latest
     timeout-minutes: 45
     needs: build-cdk-image
@@ -63,7 +65,7 @@ jobs:
           - "fork12-pessimistic"
     steps:
     - uses: actions/checkout@v4
-    
+
     - name: Login to Docker Hub
       uses: docker/login-action@v3
       with:
@@ -75,15 +77,15 @@ jobs:
       env:
         DOCKERHUB_USERNAME: ${{ secrets.DOCKERHUB_USERNAME }}
         DOCKERHUB_TOKEN: ${{ secrets.DOCKERHUB_TOKEN }}
-    
+
     - name: Install Kurtosis CDK tools
       uses: ./.github/actions/setup-kurtosis-cdk
-    
+
     - name: Install polycli
       run: |
-        tmp_dir=$(mktemp -d) 
-        curl -L "https://github.com/0xPolygon/polygon-cli/releases/download/${{ env.POLYCLI_VERSION }}/polycli_${{ env.POLYCLI_VERSION }}_linux_amd64.tar.gz" | tar -xz -C "$tmp_dir" 
-        mv "$tmp_dir"/* /usr/local/bin/polycli 
+        tmp_dir=$(mktemp -d)
+        curl -L "https://github.com/0xPolygon/polygon-cli/releases/download/${{ env.POLYCLI_VERSION }}/polycli_${{ env.POLYCLI_VERSION }}_linux_amd64.tar.gz" | tar -xz -C "$tmp_dir"
+        mv "$tmp_dir"/* /usr/local/bin/polycli
         rm -rf "$tmp_dir"
         sudo chmod +x /usr/local/bin/polycli
         /usr/local/bin/polycli version
@@ -97,13 +99,13 @@ jobs:
 
     - name: Setup bats
       uses: bats-core/bats-action@3.0.0
-    
+
     - name: Download cdk archive
       uses: actions/download-artifact@v4
       with:
         name: cdk
         path: /tmp
-    
+
     - name: Load cdk image
       run: |
         docker load --input /tmp/cdk.tar
@@ -120,11 +122,11 @@ jobs:
         KURTOSIS_FOLDER: ${{ github.workspace }}
         BATS_LIB_PATH: /usr/lib/
         agglayer_prover_sp1_key: ${{ secrets.SP1_PRIVATE_KEY }}
-    
+
     - name: Dump enclave
       if: failure()
       run: kurtosis enclave dump cdk ./dump
-    
+
     - name: Generate archive name
       if: failure()
       run: |
diff --git a/docs/multi-pp-testing/README b/docs/multi-pp-testing/README
new file mode 100755
index 00000000..3fcac4ef
--- /dev/null
+++ b/docs/multi-pp-testing/README
@@ -0,0 +1,438 @@
+#!/bin/bash
+echo "dont run this!"
+exit 1;
+
+# # Multi Chain PP Test
+#
+# ## Infra Setup
+#
+# This is an example of a system where there are two PP chains and one
+# FEP chain attached to the rollup manager. One chain uses a gas token
+# and the others do not. Between those three chains we're going to
+# attempt a bunch of bridge scenarios.
+#
+# To run this stuff you'll want to run most of these commands from
+# within the kurtosis-cdk repo root.
+#
+# First we're going to do a Kurtosis run to spin up the networks. If
+# you're going to run this you *need an SP1 key* in the `net1.yml`
+# file.
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net1.yml .
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net2.yml .
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net3.yml .
+
+# At this point we should be able to confirm that things look right
+# for both chains. Recently, it seems like the fork id isn't initially
+# detected by erigon which is causing the chain not to start up right
+# away.
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+
+# In order to proceed, we'll need to grab the combined files from both
+# chains. We'll specifically want the create rollup parameters file
+# from the second chain because we need to know the gas token address.
+kurtosis service exec pp contracts-001 "cat /opt/zkevm/combined-001.json"  | tail -n +2 | jq '.' > combined-001.json
+kurtosis service exec pp contracts-002 "cat /opt/zkevm/combined-002.json"  | tail -n +2 | jq '.' > combined-002.json
+kurtosis service exec pp contracts-002 "cat /opt/zkevm-contracts/deployment/v2/create_rollup_parameters.json" | tail -n +2 | jq -r '.gasTokenAddress' > gas-token-address.json
+kurtosis service exec pp contracts-003 "cat /opt/zkevm/combined-003.json"  | tail -n +2 | jq '.' > combined-003.json
+
+# This diagnosis isn't critical, but it's nice to confirm that we are
+# using a real verifier for the PP networks and mock for the FEP.
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.verifierAddress')
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-002.json | jq -r '.verifierAddress')
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-003.json | jq -r '.verifierAddress')
+
+# Check that the hash of the verifier is actually the sp1 verifier. It should be f33fc6bc90b5ea5e0272a7ab87d701bdd05ecd78b8111ca4f450eeff1e6df26a
+kurtosis service exec pp contracts-001 'cat /opt/zkevm-contracts/artifacts/contracts/verifiers/SP1Verifier.sol/SP1Verifier.json' | tail -n +2 | jq -r '.deployedBytecode' | sha256sum
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.verifierAddress') | sha256sum
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-002.json | jq -r '.verifierAddress') | sha256sum
+
+# The third network here should use a mock verifier and should be different
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-003.json | jq -r '.verifierAddress') | sha256sum
+
+# It's also worth while probably to confirm that the vkey matches!
+kurtosis service exec pp agglayer "agglayer vkey"
+
+# Let's make sure both rollups have the same vkey
+cast call --json --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.polygonRollupManagerAddress') 'rollupIDToRollupDataV2(uint32 rollupID)(address,uint64,address,uint64,bytes32,uint64,uint64,uint64,uint64,uint8,bytes32,bytes32)' 1 | jq '.[11]'
+cast call --json --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.polygonRollupManagerAddress') 'rollupIDToRollupDataV2(uint32 rollupID)(address,uint64,address,uint64,bytes32,uint64,uint64,uint64,uint64,uint8,bytes32,bytes32)' 2 | jq '.[11]'
+
+# At this point, the agglayer config needs to be manually updated for
+# rollup2. This will add a second entry to the agglayer config. If the
+# second chain is also pessimistic, this isn't strictly necessary, but
+# there's no harm in it.
+kurtosis service exec pp agglayer "sed -i 's/\[proof\-signers\]/2 = \"http:\/\/cdk-erigon-rpc-002:8123\"\n\[proof-signers\]/i' /etc/zkevm/agglayer-config.toml"
+kurtosis service exec pp agglayer "sed -i 's/\[proof\-signers\]/3 = \"http:\/\/cdk-erigon-rpc-003:8123\"\n\[proof-signers\]/i' /etc/zkevm/agglayer-config.toml"
+kurtosis service stop pp agglayer
+kurtosis service start pp agglayer
+
+# Let's create a clean EOA for receiving bridges so that we can see
+# things show up. This is a good way to make sure we don't mess things
+# up by trying to exit more than we've deposited
+cast wallet new
+target_address=0xbecE3a31343c6019CDE0D5a4dF2AF8Df17ebcB0f
+target_private_key=0x51caa196504216b1730280feb63ddd8c5ae194d13e57e58d559f1f1dc3eda7c9
+
+# Let's setup some variables for future use
+private_key="0x12d7de8621a77640c9241b2595ba78ce443d05e94090365ab3bb5e19df82c625"
+eth_address=$(cast wallet address --private-key $private_key)
+l1_rpc_url=http://$(kurtosis port print pp el-1-geth-lighthouse rpc)
+l2_pp1_url=$(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+l2_pp2_url=$(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+l2_fep_url=$(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+bridge_address=$(cat combined-001.json | jq -r .polygonZkEVMBridgeAddress)
+pol_address=$(cat combined-001.json | jq -r .polTokenAddress)
+gas_token_address=$(<gas-token-address.json)
+l2_pp1b_url=$(kurtosis port print pp zkevm-bridge-service-001 rpc)
+l2_pp2b_url=$(kurtosis port print pp zkevm-bridge-service-002 rpc)
+l2_fepb_url=$(kurtosis port print pp zkevm-bridge-service-003 rpc)
+
+# Now let's make sure we have balance everywhere
+cast balance --ether --rpc-url $l1_rpc_url $eth_address
+cast balance --ether --rpc-url $l2_pp1_url $eth_address
+cast balance --ether --rpc-url $l2_pp2_url $eth_address
+cast balance --ether --rpc-url $l2_fep_url $eth_address
+
+# ## Initial Funding
+# Let's fund the claim tx manager for both rollups. These address come
+# from the chain configurations (so either input_parser or the args
+# file). The claim tx manager will automatically perform claims on our
+# behalf for bridge assets
+cast send --legacy --value 100ether --rpc-url $l2_pp1_url --private-key $private_key 0x5f5dB0D4D58310F53713eF4Df80ba6717868A9f8
+cast send --legacy --value 100ether --rpc-url $l2_pp2_url --private-key $private_key 0x93F63c24735f45Cd0266E87353071B64dd86bc05
+cast send --legacy --value 100ether --rpc-url $l2_fep_url --private-key $private_key 0x8edC8CE0DB10137d513aB5767ffF13D1c51885a8
+
+# We should also fund the target address on L1 so that we can use this
+# key for L1 bridge transfers
+cast send --value 100ether --rpc-url $l1_rpc_url --private-key $private_key $target_address
+
+# Let's mint some POL token for testing purpsoes
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $pol_address \
+     'mint(address,uint256)' \
+     $eth_address 10000000000000000000000
+
+# We also need to approve the token so that the bridge can spend it.
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $pol_address \
+     'approve(address,uint256)' \
+     $bridge_address 10000000000000000000000
+
+# Let's also mint some of the gas token for our second network
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $gas_token_address \
+     'mint(address,uint256)' \
+     $eth_address 10000000000000000000000
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $gas_token_address \
+     'approve(address,uint256)' \
+     $bridge_address 10000000000000000000000
+
+# We're also going to mint POL and Gas Token from the target account
+# for additional test scenarios. The logic here is that we don't want
+# to send Ether to the target address on L2 because we might risk
+# withdrawing more than we deposit
+cast send --rpc-url $l1_rpc_url --private-key $private_key $pol_address 'mint(address,uint256)' $target_address 10000000000000000000000
+cast send --rpc-url $l1_rpc_url --private-key $private_key $pol_address 'approve(address,uint256)' $bridge_address 10000000000000000000000
+
+cast send --rpc-url $l1_rpc_url --private-key $private_key $gas_token_address 'mint(address,uint256)' $target_address 10000000000000000000000
+cast send --rpc-url $l1_rpc_url --private-key $private_key $gas_token_address 'approve(address,uint256)' $bridge_address 10000000000000000000000
+
+# We're going to do a little matrix of L1 to L2 bridges here. The idea
+# is to mix bridges across a few scenarios
+# - Native vs ERC20
+# - Bridge Message vs Bridge Asset
+# - GER Updating
+dry_run=false
+for token_addr in $(cast az) $pol_address $gas_token_address ; do
+    for destination_network in 1 2 3 ; do
+        for ger_update in "false" "true" ; do
+            permit_data="0x"
+            value="1000000000000000000"
+            if [[ $token_addr == $(cast az) ]]; then
+                permit_data="0x$(cat /dev/random | xxd -p | tr -d "\n" | head -c $((RANDOM & ~1)))"
+            fi
+            polycli ulxly bridge asset \
+                    --private-key $private_key \
+                    --value $value \
+                    --bridge-address $bridge_address \
+                    --destination-network $destination_network \
+                    --destination-address $target_address \
+                    --call-data $permit_data \
+                    --rpc-url $l1_rpc_url \
+                    --token-address $token_addr \
+                    --force-update-root=$ger_update \
+                    --dry-run=$dry_run
+            polycli ulxly bridge message \
+                    --private-key $private_key \
+                    --value $value \
+                    --bridge-address $bridge_address \
+                    --destination-network $destination_network \
+                    --destination-address $target_address \
+                    --call-data $permit_data \
+                    --rpc-url $l1_rpc_url \
+                    --force-update-root=$ger_update \
+                    --dry-run=$dry_run
+        done
+    done
+done
+
+# At this point, we should be able to see our bridges in the bridge
+# service for both chains. Recently, with this setup there has been an
+# issue with network id detection in the bridge service
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.'
+
+# Some of the bridges will be claimed already, but some will need to
+# be claimed manually. Most of the ones that need to be claimed
+# manually should be `leaf_type` of `1` i.e. a message rather than an
+# asset.
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+
+# We should be able to take these commands and then try to claim each
+# of the deposits. This will print out some errors right now because
+# it's going to try to claim some deposits that are already claimed
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_pp1_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_pp2_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_fep_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+
+# Hopefully at this point everything has been claimed on L2. These
+# calls should return empty.
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+
+# Let's see if our balances have grown (all should be non-zero)
+cast balance --ether --rpc-url $l2_pp1_url $target_address
+cast balance --ether --rpc-url $l2_pp2_url $target_address
+cast balance --ether --rpc-url $l2_fep_url $target_address
+
+# Let's check our L2 Pol token balance (all should be non-zero)
+token_hash=$(cast keccak $(cast abi-encode --packed 'f(uint32,address)' 0 $pol_address))
+l2_pol_address=$(cast call --rpc-url $l2_pp1_url  $bridge_address 'tokenInfoToWrappedToken(bytes32)(address)' $token_hash)
+cast call --rpc-url $l2_pp1_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_pp2_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_fep_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+
+# We should also check our gas token balance on all networks. The
+# first network should have a balance because it's treated as ordinary
+# token. The second network should have nothing because the bridge
+# would have been received as a native token.
+token_hash=$(cast keccak $(cast abi-encode --packed 'f(uint32,address)' 0 $gas_token_address))
+l2_gas_address=$(cast call --rpc-url $l2_pp1_url  $bridge_address 'tokenInfoToWrappedToken(bytes32)(address)' $token_hash)
+cast call --rpc-url $l2_pp1_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_pp2_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_fep_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+
+# Similarly, we should confirm that on the second network we have some
+# wrapped ETH.
+pp2_weth_address=$(cast call --rpc-url $l2_pp2_url $bridge_address 'WETHToken()(address)')
+cast call --rpc-url $l2_pp2_url  $pp2_weth_address 'balanceOf(address)(uint256)' $target_address
+
+
+# ## Test Bridges
+#
+# At this point we have enough funds on L2s to start doing some bridge
+# exits, i.e moving funds out of one rollup into another. It's
+# important for these tests to use the `target_private_key` to ensure
+# we don't accidentally try to bridge funds out of L2 that weren't
+# bridged there initially. This is a completely valid test case, but
+# it might cause an issue with the agglayer that blocks our tests.
+#
+# Let's try a native bridge from PP1 back to layer one
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 0 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+
+# Now let's try a native bridge from PP1 to PP2
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 2 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+
+# Now let's try a native bridge from PP1 to FEP
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 3 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+
+# None of these transactions will be claimed automatically. So
+# let's claim them and make sure that works fine.
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+deposit_cnt=0
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l1_rpc_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+# The details of this particular claim are probably a little weird
+# looking because it's an L2 to L2 claim. The deposit network is 1
+# because that's where the bridge originated. We're using the deposit
+# network's bridge service. And then we're making the claim against
+# the network 2 RPC. The tricky thing is, the claim tx hash will never
+# show up in the bridge service for this particular tx now.
+deposit_cnt=1
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l2_pp2_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=2
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l2_fep_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+
+# Let's try the same test now, but for PP2. Remember, PP2 is a gas
+# token network, so when we bridge to other networks it should be
+# turned into an ERC20 of some kind.
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 0 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp2_url
+
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 1 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp2_url
+
+polycli ulxly bridge weth \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 3 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --token-address $pp2_weth_address \
+        --rpc-url $l2_pp2_url
+
+
+# Now we should try to claim these transactions again on Layer one and PP1
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+
+deposit_cnt=0
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l1_rpc_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=1
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l2_pp1_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=2
+polycli ulxly claim message \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l2_fep_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+cast call --rpc-url $l1_rpc_url $bridge_address 'depositCount() external view returns (uint256)'
+
+# There are some more advanced test cases in the init.sh script and
+# run.sh script in this folder
+
+
+# ## State Capture Procedure
+pushd $(mktemp -d)
+mkdir agglayer-storage
+docker cp agglayer--f3cc4c8d0bad44be9c0ea8eccedd0da1:/etc/zkevm/storage agglayer-storage/
+mkdir cdk-001
+docker cp cdk-node-001--bd52b030071a4c438cf82b6c281219e6:/tmp cdk-001/
+mkdir cdk-002
+docker cp cdk-node-002--3c9a92d0e1aa4259a795d7a60156188c:/tmp cdk-002/
+mkdir cdk-003
+docker cp cdk-node-003--60ace3d2425e43df8f0da4f8058d97f9:/tmp cdk-003/
+kurtosis enclave dump pp
+
+popd
+tar caf agglayer-details.tar.xz /tmp/tmp.VKezDefjS6
+
+
+# drop table public.gorp_migrations;
+# drop schema sync cascade;
+# drop schema mt cascade;
+# delete from sync.claim where index = '14' and rollup_index = 0 and network_id = 2;
diff --git a/docs/multi-pp-testing/README.md b/docs/multi-pp-testing/README.md
new file mode 100644
index 00000000..9cd24c30
--- /dev/null
+++ b/docs/multi-pp-testing/README.md
@@ -0,0 +1,540 @@
+
+```
+#!/bin/bash
+echo "dont run this!"
+exit 1;
+```
+
+# Multi Chain PP Test
+
+## Infra Setup
+
+This is an example of a system where there are two PP chains and one
+FEP chain attached to the rollup manager. One chain uses a gas token
+and the others do not. Between those three chains we're going to
+attempt a bunch of bridge scenarios.
+
+To run this stuff you'll want to run most of these commands from
+within the kurtosis-cdk repo root.
+
+First we're going to do a Kurtosis run to spin up the networks. If
+you're going to run this you *need an SP1 key* in the `net1.yml`
+file.
+
+```
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net1.yml .
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net2.yml .
+kurtosis run --enclave pp --args-file docs/multi-pp-testing/net3.yml .
+```
+
+At this point we should be able to confirm that things look right
+for both chains. Recently, it seems like the fork id isn't initially
+detected by erigon which is causing the chain not to start up right
+away.
+
+```
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+polycli monitor --rpc-url $(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+```
+
+In order to proceed, we'll need to grab the combined files from both
+chains. We'll specifically want the create rollup parameters file
+from the second chain because we need to know the gas token address.
+
+```
+kurtosis service exec pp contracts-001 "cat /opt/zkevm/combined-001.json"  | tail -n +2 | jq '.' > combined-001.json
+kurtosis service exec pp contracts-002 "cat /opt/zkevm/combined-002.json"  | tail -n +2 | jq '.' > combined-002.json
+kurtosis service exec pp contracts-002 "cat /opt/zkevm-contracts/deployment/v2/create_rollup_parameters.json" | tail -n +2 | jq -r '.gasTokenAddress' > gas-token-address.json
+kurtosis service exec pp contracts-003 "cat /opt/zkevm/combined-003.json"  | tail -n +2 | jq '.' > combined-003.json
+```
+
+This diagnosis isn't critical, but it's nice to confirm that we are
+using a real verifier for the PP networks and mock for the FEP.
+
+```
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.verifierAddress')
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-002.json | jq -r '.verifierAddress')
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-003.json | jq -r '.verifierAddress')
+```
+
+Check that the hash of the verifier is actually the sp1 verifier. It should be f33fc6bc90b5ea5e0272a7ab87d701bdd05ecd78b8111ca4f450eeff1e6df26a
+
+```
+kurtosis service exec pp contracts-001 'cat /opt/zkevm-contracts/artifacts/contracts/verifiers/SP1Verifier.sol/SP1Verifier.json' | tail -n +2 | jq -r '.deployedBytecode' | sha256sum
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.verifierAddress') | sha256sum
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-002.json | jq -r '.verifierAddress') | sha256sum
+```
+
+The third network here should use a mock verifier and should be different
+
+```
+cast code --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-003.json | jq -r '.verifierAddress') | sha256sum
+```
+
+It's also worth while probably to confirm that the vkey matches!
+
+```
+kurtosis service exec pp agglayer "agglayer vkey"
+```
+
+Let's make sure both rollups have the same vkey
+
+```
+cast call --json --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.polygonRollupManagerAddress') 'rollupIDToRollupDataV2(uint32 rollupID)(address,uint64,address,uint64,bytes32,uint64,uint64,uint64,uint64,uint8,bytes32,bytes32)' 1 | jq '.[11]'
+cast call --json --rpc-url http://$(kurtosis port print pp el-1-geth-lighthouse rpc) $(cat combined-001.json | jq -r '.polygonRollupManagerAddress') 'rollupIDToRollupDataV2(uint32 rollupID)(address,uint64,address,uint64,bytes32,uint64,uint64,uint64,uint64,uint8,bytes32,bytes32)' 2 | jq '.[11]'
+```
+
+At this point, the agglayer config needs to be manually updated for
+rollup2. This will add a second entry to the agglayer config. If the
+second chain is also pessimistic, this isn't strictly necessary, but
+there's no harm in it.
+
+```
+kurtosis service exec pp agglayer "sed -i 's/\[proof\-signers\]/2 = \"http:\/\/cdk-erigon-rpc-002:8123\"\n\[proof-signers\]/i' /etc/zkevm/agglayer-config.toml"
+kurtosis service exec pp agglayer "sed -i 's/\[proof\-signers\]/3 = \"http:\/\/cdk-erigon-rpc-003:8123\"\n\[proof-signers\]/i' /etc/zkevm/agglayer-config.toml"
+kurtosis service stop pp agglayer
+kurtosis service start pp agglayer
+```
+
+Let's create a clean EOA for receiving bridges so that we can see
+things show up. This is a good way to make sure we don't mess things
+up by trying to exit more than we've deposited
+
+```
+cast wallet new
+target_address=0xbecE3a31343c6019CDE0D5a4dF2AF8Df17ebcB0f
+target_private_key=0x51caa196504216b1730280feb63ddd8c5ae194d13e57e58d559f1f1dc3eda7c9
+```
+
+Let's setup some variables for future use
+
+```
+private_key="0x12d7de8621a77640c9241b2595ba78ce443d05e94090365ab3bb5e19df82c625"
+eth_address=$(cast wallet address --private-key $private_key)
+l1_rpc_url=http://$(kurtosis port print pp el-1-geth-lighthouse rpc)
+l2_pp1_url=$(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+l2_pp2_url=$(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+l2_fep_url=$(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+bridge_address=$(cat combined-001.json | jq -r .polygonZkEVMBridgeAddress)
+pol_address=$(cat combined-001.json | jq -r .polTokenAddress)
+gas_token_address=$(<gas-token-address.json)
+l2_pp1b_url=$(kurtosis port print pp zkevm-bridge-service-001 rpc)
+l2_pp2b_url=$(kurtosis port print pp zkevm-bridge-service-002 rpc)
+l2_fepb_url=$(kurtosis port print pp zkevm-bridge-service-003 rpc)
+```
+
+Now let's make sure we have balance everywhere
+
+```
+cast balance --ether --rpc-url $l1_rpc_url $eth_address
+cast balance --ether --rpc-url $l2_pp1_url $eth_address
+cast balance --ether --rpc-url $l2_pp2_url $eth_address
+cast balance --ether --rpc-url $l2_fep_url $eth_address
+```
+
+## Initial Funding
+Let's fund the claim tx manager for both rollups. These address come
+from the chain configurations (so either input_parser or the args
+file). The claim tx manager will automatically perform claims on our
+behalf for bridge assets
+
+```
+cast send --legacy --value 100ether --rpc-url $l2_pp1_url --private-key $private_key 0x5f5dB0D4D58310F53713eF4Df80ba6717868A9f8
+cast send --legacy --value 100ether --rpc-url $l2_pp2_url --private-key $private_key 0x93F63c24735f45Cd0266E87353071B64dd86bc05
+cast send --legacy --value 100ether --rpc-url $l2_fep_url --private-key $private_key 0x8edC8CE0DB10137d513aB5767ffF13D1c51885a8
+```
+
+We should also fund the target address on L1 so that we can use this
+key for L1 bridge transfers
+
+```
+cast send --value 100ether --rpc-url $l1_rpc_url --private-key $private_key $target_address
+```
+
+Let's mint some POL token for testing purpsoes
+
+```
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $pol_address \
+     'mint(address,uint256)' \
+     $eth_address 10000000000000000000000
+```
+
+We also need to approve the token so that the bridge can spend it.
+
+```
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $pol_address \
+     'approve(address,uint256)' \
+     $bridge_address 10000000000000000000000
+```
+
+Let's also mint some of the gas token for our second network
+
+```
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $gas_token_address \
+     'mint(address,uint256)' \
+     $eth_address 10000000000000000000000
+cast send \
+     --rpc-url $l1_rpc_url \
+     --private-key $private_key \
+     $gas_token_address \
+     'approve(address,uint256)' \
+     $bridge_address 10000000000000000000000
+```
+
+We're also going to mint POL and Gas Token from the target account
+for additional test scenarios. The logic here is that we don't want
+to send Ether to the target address on L2 because we might risk
+withdrawing more than we deposit
+
+```
+cast send --rpc-url $l1_rpc_url --private-key $private_key $pol_address 'mint(address,uint256)' $target_address 10000000000000000000000
+cast send --rpc-url $l1_rpc_url --private-key $private_key $pol_address 'approve(address,uint256)' $bridge_address 10000000000000000000000
+
+cast send --rpc-url $l1_rpc_url --private-key $private_key $gas_token_address 'mint(address,uint256)' $target_address 10000000000000000000000
+cast send --rpc-url $l1_rpc_url --private-key $private_key $gas_token_address 'approve(address,uint256)' $bridge_address 10000000000000000000000
+```
+
+We're going to do a little matrix of L1 to L2 bridges here. The idea
+is to mix bridges across a few scenarios
+- Native vs ERC20
+- Bridge Message vs Bridge Asset
+- GER Updating
+
+```
+dry_run=false
+for token_addr in $(cast az) $pol_address $gas_token_address ; do
+    for destination_network in 1 2 3 ; do
+        for ger_update in "false" "true" ; do
+            permit_data="0x"
+            value="1000000000000000000"
+            if [[ $token_addr == $(cast az) ]]; then
+                permit_data="0x$(cat /dev/random | xxd -p | tr -d "\n" | head -c $((RANDOM & ~1)))"
+            fi
+            polycli ulxly bridge asset \
+                    --private-key $private_key \
+                    --value $value \
+                    --bridge-address $bridge_address \
+                    --destination-network $destination_network \
+                    --destination-address $target_address \
+                    --call-data $permit_data \
+                    --rpc-url $l1_rpc_url \
+                    --token-address $token_addr \
+                    --force-update-root=$ger_update \
+                    --dry-run=$dry_run
+            polycli ulxly bridge message \
+                    --private-key $private_key \
+                    --value $value \
+                    --bridge-address $bridge_address \
+                    --destination-network $destination_network \
+                    --destination-address $target_address \
+                    --call-data $permit_data \
+                    --rpc-url $l1_rpc_url \
+                    --force-update-root=$ger_update \
+                    --dry-run=$dry_run
+        done
+    done
+done
+```
+
+At this point, we should be able to see our bridges in the bridge
+service for both chains. Recently, with this setup there has been an
+issue with network id detection in the bridge service
+
+```
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.'
+```
+
+Some of the bridges will be claimed already, but some will need to
+be claimed manually. Most of the ones that need to be claimed
+manually should be `leaf_type` of `1` i.e. a message rather than an
+asset.
+
+```
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+```
+
+We should be able to take these commands and then try to claim each
+of the deposits. This will print out some errors right now because
+it's going to try to claim some deposits that are already claimed
+
+```
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_pp1_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_pp2_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map 1=$l2_pp1b_url \
+        --bridge-service-map 2=$l2_pp2b_url \
+        --bridge-service-map 3=$l2_fepb_url \
+        --rpc-url $l2_fep_url \
+        --destination-address $target_address \
+        --private-key $private_key \
+        --bridge-limit 100
+```
+
+Hopefully at this point everything has been claimed on L2. These
+calls should return empty.
+
+```
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+curl -s $l2_fepb_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+```
+
+Let's see if our balances have grown (all should be non-zero)
+
+```
+cast balance --ether --rpc-url $l2_pp1_url $target_address
+cast balance --ether --rpc-url $l2_pp2_url $target_address
+cast balance --ether --rpc-url $l2_fep_url $target_address
+```
+
+Let's check our L2 Pol token balance (all should be non-zero)
+
+```
+token_hash=$(cast keccak $(cast abi-encode --packed 'f(uint32,address)' 0 $pol_address))
+l2_pol_address=$(cast call --rpc-url $l2_pp1_url  $bridge_address 'tokenInfoToWrappedToken(bytes32)(address)' $token_hash)
+cast call --rpc-url $l2_pp1_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_pp2_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_fep_url $l2_pol_address 'balanceOf(address)(uint256)' $target_address
+```
+
+We should also check our gas token balance on all networks. The
+first network should have a balance because it's treated as ordinary
+token. The second network should have nothing because the bridge
+would have been received as a native token.
+
+```
+token_hash=$(cast keccak $(cast abi-encode --packed 'f(uint32,address)' 0 $gas_token_address))
+l2_gas_address=$(cast call --rpc-url $l2_pp1_url  $bridge_address 'tokenInfoToWrappedToken(bytes32)(address)' $token_hash)
+cast call --rpc-url $l2_pp1_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_pp2_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+cast call --rpc-url $l2_fep_url $l2_gas_address 'balanceOf(address)(uint256)' $target_address
+```
+
+Similarly, we should confirm that on the second network we have some
+wrapped ETH.
+
+```
+pp2_weth_address=$(cast call --rpc-url $l2_pp2_url $bridge_address 'WETHToken()(address)')
+cast call --rpc-url $l2_pp2_url  $pp2_weth_address 'balanceOf(address)(uint256)' $target_address
+```
+
+## Test Bridges
+
+At this point we have enough funds on L2s to start doing some bridge
+exits, i.e moving funds out of one rollup into another. It's
+important for these tests to use the `target_private_key` to ensure
+we don't accidentally try to bridge funds out of L2 that weren't
+bridged there initially. This is a completely valid test case, but
+it might cause an issue with the agglayer that blocks our tests.
+
+Let's try a native bridge from PP1 back to layer one
+
+```
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 0 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+```
+
+Now let's try a native bridge from PP1 to PP2
+
+```
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 2 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+```
+
+Now let's try a native bridge from PP1 to FEP
+
+```
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 3 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp1_url
+```
+
+None of these transactions will be claimed automatically. So
+let's claim them and make sure that works fine.
+
+```
+curl -s $l2_pp1b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+deposit_cnt=0
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l1_rpc_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+```
+
+The details of this particular claim are probably a little weird
+looking because it's an L2 to L2 claim. The deposit network is 1
+because that's where the bridge originated. We're using the deposit
+network's bridge service. And then we're making the claim against
+the network 2 RPC. The tricky thing is, the claim tx hash will never
+show up in the bridge service for this particular tx now.
+
+```
+deposit_cnt=1
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l2_pp2_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=2
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp1b_url \
+        --rpc-url $l2_fep_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 1 \
+        --destination-address $target_address \
+        --private-key $private_key
+```
+
+Let's try the same test now, but for PP2. Remember, PP2 is a gas
+token network, so when we bridge to other networks it should be
+turned into an ERC20 of some kind.
+
+```
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 0 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp2_url
+
+polycli ulxly bridge asset \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 1 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --rpc-url $l2_pp2_url
+
+polycli ulxly bridge weth \
+        --private-key $target_private_key \
+        --value $(date +%s) \
+        --bridge-address $bridge_address \
+        --destination-network 3 \
+        --destination-address $target_address \
+        --force-update-root=true \
+        --token-address $pp2_weth_address \
+        --rpc-url $l2_pp2_url
+```
+
+Now we should try to claim these transactions again on Layer one and PP1
+
+```
+curl -s $l2_pp2b_url/bridges/$target_address | jq '.deposits[] | select(.ready_for_claim) | select(.claim_tx_hash == "")'
+
+deposit_cnt=0
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l1_rpc_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=1
+polycli ulxly claim asset \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l2_pp1_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+deposit_cnt=2
+polycli ulxly claim message \
+        --bridge-address $bridge_address \
+        --bridge-service-url $l2_pp2b_url \
+        --rpc-url $l2_fep_url \
+        --deposit-count $deposit_cnt \
+        --deposit-network 2 \
+        --destination-address $target_address \
+        --private-key $private_key
+
+cast call --rpc-url $l1_rpc_url $bridge_address 'depositCount() external view returns (uint256)'
+```
+
+There are some more advanced test cases in the init.sh script and
+run.sh script in this folder
+## State Capture Procedure
+
+```
+pushd $(mktemp -d)
+mkdir agglayer-storage
+docker cp agglayer--f3cc4c8d0bad44be9c0ea8eccedd0da1:/etc/zkevm/storage agglayer-storage/
+mkdir cdk-001
+docker cp cdk-node-001--bd52b030071a4c438cf82b6c281219e6:/tmp cdk-001/
+mkdir cdk-002
+docker cp cdk-node-002--3c9a92d0e1aa4259a795d7a60156188c:/tmp cdk-002/
+mkdir cdk-003
+docker cp cdk-node-003--60ace3d2425e43df8f0da4f8058d97f9:/tmp cdk-003/
+kurtosis enclave dump pp
+
+popd
+tar caf agglayer-details.tar.xz /tmp/tmp.VKezDefjS6
+```
+
+drop table public.gorp_migrations;
+drop schema sync cascade;
+drop schema mt cascade;
+delete from sync.claim where index = '14' and rollup_index = 0 and network_id = 2;
diff --git a/docs/multi-pp-testing/init.sh b/docs/multi-pp-testing/init.sh
new file mode 100755
index 00000000..e2039dff
--- /dev/null
+++ b/docs/multi-pp-testing/init.sh
@@ -0,0 +1,196 @@
+#!/bin/bash
+
+if [[ ! -e gas-token-address.json ]]; then
+    echo "it looks like the gas-token-address.json file doesn't exist. Make sure you run this from the root directory"
+    exit 1
+fi
+
+if [[ ! -e combined-001.json ]]; then
+    echo "it looks like the combined-001.json file doesn't exist. Make sure you run this from the root directory"
+    exit 1
+fi
+
+l1_rpc_url=http://$(kurtosis port print pp el-1-geth-lighthouse rpc)
+l2_pp1_url=$(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+l2_pp2_url=$(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+l2_fep_url=$(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+
+l2_pp1b_url=$(kurtosis port print pp zkevm-bridge-service-001 rpc)
+l2_pp2b_url=$(kurtosis port print pp zkevm-bridge-service-002 rpc)
+l2_fepb_url=$(kurtosis port print pp zkevm-bridge-service-003 rpc)
+
+private_key="0x12d7de8621a77640c9241b2595ba78ce443d05e94090365ab3bb5e19df82c625"
+eth_address="$(cast wallet address --private-key $private_key)"
+
+rpc_list="$l1_rpc_url $l2_fep_url $l2_pp1_url $l2_pp2_url"
+
+network_id_l1=0
+network_id_pp1=1
+network_id_pp2=2
+network_id_fep=3
+
+bridge_address=$(cat combined-001.json | jq -r .polygonZkEVMBridgeAddress)
+pol_address=$(cat combined-001.json | jq -r .polTokenAddress)
+gas_token_address=$(<gas-token-address.json)
+
+salt="0x0000000000000000000000000000000000000000000000000000000000000000"
+deterministic_deployer_addr=0x4e59b44847b379578588920ca78fbf26c0b4956c
+
+fund_amount_in_wei=200000000000000000000
+
+erc_20_bytecode=60806040526040516200143a3803806200143a833981016040819052620000269162000201565b8383600362000036838262000322565b50600462000045828262000322565b5050506200005a82826200007160201b60201c565b505081516020909201919091206006555062000416565b6001600160a01b038216620000cc5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060026000828254620000e09190620003ee565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b505050565b634e487b7160e01b600052604160045260246000fd5b600082601f8301126200016457600080fd5b81516001600160401b03808211156200018157620001816200013c565b604051601f8301601f19908116603f01168101908282118183101715620001ac57620001ac6200013c565b81604052838152602092508683858801011115620001c957600080fd5b600091505b83821015620001ed5785820183015181830184015290820190620001ce565b600093810190920192909252949350505050565b600080600080608085870312156200021857600080fd5b84516001600160401b03808211156200023057600080fd5b6200023e8883890162000152565b955060208701519150808211156200025557600080fd5b50620002648782880162000152565b604087015190945090506001600160a01b03811681146200028457600080fd5b6060959095015193969295505050565b600181811c90821680620002a957607f821691505b602082108103620002ca57634e487b7160e01b600052602260045260246000fd5b50919050565b601f8211156200013757600081815260208120601f850160051c81016020861015620002f95750805b601f850160051c820191505b818110156200031a5782815560010162000305565b505050505050565b81516001600160401b038111156200033e576200033e6200013c565b62000356816200034f845462000294565b84620002d0565b602080601f8311600181146200038e5760008415620003755750858301515b600019600386901b1c1916600185901b1785556200031a565b600085815260208120601f198616915b82811015620003bf578886015182559484019460019091019084016200039e565b5085821015620003de5787850151600019600388901b60f8161c191681555b5050505050600190811b01905550565b808201808211156200041057634e487b7160e01b600052601160045260246000fd5b92915050565b61101480620004266000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c806340c10f19116100c35780639e4e73181161007c5780639e4e73181461033c578063a457c2d714610363578063a9059cbb14610376578063c473af3314610389578063d505accf146103b0578063dd62ed3e146103c357600080fd5b806340c10f19146102b257806342966c68146102c557806356189cb4146102d857806370a08231146102eb5780637ecebe001461031457806395d89b411461033457600080fd5b806323b872dd1161011557806323b872dd146101c357806330adf81f146101d6578063313ce567146101fd5780633408e4701461020c5780633644e51514610212578063395093511461029f57600080fd5b806304622c2e1461015257806306fdde031461016e578063095ea7b31461018357806318160ddd146101a6578063222f5be0146101ae575b600080fd5b61015b60065481565b6040519081526020015b60405180910390f35b6101766103d6565b6040516101659190610db1565b610196610191366004610e1b565b610468565b6040519015158152602001610165565b60025461015b565b6101c16101bc366004610e45565b610482565b005b6101966101d1366004610e45565b610492565b61015b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c981565b60405160128152602001610165565b4661015b565b61015b6006546000907f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f907fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646604080516020810195909552840192909252606083015260808201523060a082015260c00160405160208183030381529060405280519060200120905090565b6101966102ad366004610e1b565b6104b6565b6101c16102c0366004610e1b565b6104d8565b6101c16102d3366004610e81565b6104e6565b6101c16102e6366004610e45565b6104f3565b61015b6102f9366004610e9a565b6001600160a01b031660009081526020819052604090205490565b61015b610322366004610e9a565b60056020526000908152604090205481565b6101766104fe565b61015b7fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc681565b610196610371366004610e1b565b61050d565b610196610384366004610e1b565b61058d565b61015b7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f81565b6101c16103be366004610ebc565b61059b565b61015b6103d1366004610f2f565b6106ae565b6060600380546103e590610f62565b80601f016020809104026020016040519081016040528092919081815260200182805461041190610f62565b801561045e5780601f106104335761010080835404028352916020019161045e565b820191906000526020600020905b81548152906001019060200180831161044157829003601f168201915b5050505050905090565b6000336104768185856106d9565b60019150505b92915050565b61048d8383836107fd565b505050565b6000336104a08582856109a3565b6104ab8585856107fd565b506001949350505050565b6000336104768185856104c983836106ae565b6104d39190610fb2565b6106d9565b6104e28282610a17565b5050565b6104f03382610ad6565b50565b61048d8383836106d9565b6060600480546103e590610f62565b6000338161051b82866106ae565b9050838110156105805760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b60648201526084015b60405180910390fd5b6104ab82868684036106d9565b6000336104768185856107fd565b428410156105eb5760405162461bcd60e51b815260206004820152601960248201527f48455a3a3a7065726d69743a20415554485f45585049524544000000000000006044820152606401610577565b6001600160a01b038716600090815260056020526040812080547f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9918a918a918a91908661063883610fc5565b909155506040805160208101969096526001600160a01b0394851690860152929091166060840152608083015260a082015260c0810186905260e0016040516020818303038152906040528051906020012090506106998882868686610c08565b6106a48888886106d9565b5050505050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6001600160a01b03831661073b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610577565b6001600160a01b03821661079c5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610577565b6001600160a01b0383811660008181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166108615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610577565b6001600160a01b0382166108c35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610577565b6001600160a01b0383166000908152602081905260409020548181101561093b5760405162461bcd60e51b815260206004820152602660248201527f45524332303a207472616e7366657220616d6f756e7420657863656564732062604482015265616c616e636560d01b6064820152608401610577565b6001600160a01b03848116600081815260208181526040808320878703905593871680835291849020805487019055925185815290927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35b50505050565b60006109af84846106ae565b9050600019811461099d5781811015610a0a5760405162461bcd60e51b815260206004820152601d60248201527f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000006044820152606401610577565b61099d84848484036106d9565b6001600160a01b038216610a6d5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f2061646472657373006044820152606401610577565b8060026000828254610a7f9190610fb2565b90915550506001600160a01b038216600081815260208181526040808320805486019055518481527fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a35050565b6001600160a01b038216610b365760405162461bcd60e51b815260206004820152602160248201527f45524332303a206275726e2066726f6d20746865207a65726f206164647265736044820152607360f81b6064820152608401610577565b6001600160a01b03821660009081526020819052604090205481811015610baa5760405162461bcd60e51b815260206004820152602260248201527f45524332303a206275726e20616d6f756e7420657863656564732062616c616e604482015261636560f01b6064820152608401610577565b6001600160a01b0383166000818152602081815260408083208686039055600280548790039055518581529192917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3505050565b600654604080517f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f602080830191909152818301939093527fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc660608201524660808201523060a0808301919091528251808303909101815260c082019092528151919092012061190160f01b60e083015260e282018190526101028201869052906000906101220160408051601f198184030181528282528051602091820120600080855291840180845281905260ff89169284019290925260608301879052608083018690529092509060019060a0016020604051602081039080840390855afa158015610d1b573d6000803e3d6000fd5b5050604051601f1901519150506001600160a01b03811615801590610d515750876001600160a01b0316816001600160a01b0316145b6106a45760405162461bcd60e51b815260206004820152602b60248201527f48455a3a3a5f76616c69646174655369676e6564446174613a20494e56414c4960448201526a445f5349474e415455524560a81b6064820152608401610577565b600060208083528351808285015260005b81811015610dde57858101830151858201604001528201610dc2565b506000604082860101526040601f19601f8301168501019250505092915050565b80356001600160a01b0381168114610e1657600080fd5b919050565b60008060408385031215610e2e57600080fd5b610e3783610dff565b946020939093013593505050565b600080600060608486031215610e5a57600080fd5b610e6384610dff565b9250610e7160208501610dff565b9150604084013590509250925092565b600060208284031215610e9357600080fd5b5035919050565b600060208284031215610eac57600080fd5b610eb582610dff565b9392505050565b600080600080600080600060e0888a031215610ed757600080fd5b610ee088610dff565b9650610eee60208901610dff565b95506040880135945060608801359350608088013560ff81168114610f1257600080fd5b9699959850939692959460a0840135945060c09093013592915050565b60008060408385031215610f4257600080fd5b610f4b83610dff565b9150610f5960208401610dff565b90509250929050565b600181811c90821680610f7657607f821691505b602082108103610f9657634e487b7160e01b600052602260045260246000fd5b50919050565b634e487b7160e01b600052601160045260246000fd5b8082018082111561047c5761047c610f9c565b600060018201610fd757610fd7610f9c565b506001019056fea26469706673582212207bede9966bc8e8634cc0c3dc076626579b27dff7bbcac0b645c87d4cf1812b9864736f6c63430008140033
+erc20_buggy_bytecode=608060405234801561001057600080fd5b506040516109013803806109018339818101604052606081101561003357600080fd5b810190808051604051939291908464010000000082111561005357600080fd5b90830190602082018581111561006857600080fd5b825164010000000081118282018810171561008257600080fd5b82525081516020918201929091019080838360005b838110156100af578181015183820152602001610097565b50505050905090810190601f1680156100dc5780820380516001836020036101000a031916815260200191505b50604052602001805160405193929190846401000000008211156100ff57600080fd5b90830190602082018581111561011457600080fd5b825164010000000081118282018810171561012e57600080fd5b82525081516020918201929091019080838360005b8381101561015b578181015183820152602001610143565b50505050905090810190601f1680156101885780820380516001836020036101000a031916815260200191505b5060405260209081015185519093506101a792506003918601906101d8565b5081516101bb9060049060208501906101d8565b506005805460ff191660ff92909216919091179055506102799050565b828054600181600116156101000203166002900490600052602060002090601f01602090048101928261020e5760008555610254565b82601f1061022757805160ff1916838001178555610254565b82800160010185558215610254579182015b82811115610254578251825591602001919060010190610239565b50610260929150610264565b5090565b5b808211156102605760008155600101610265565b610679806102886000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806370a082311161007157806370a082311461021257806395d89b41146102385780639dc29fac14610240578063a9059cbb1461026c578063b46310f614610298578063dd62ed3e146102c4576100b4565b806306fdde03146100b9578063095ea7b31461013657806318160ddd1461017657806323b872dd14610190578063313ce567146101c657806340c10f19146101e4575b600080fd5b6100c16102f2565b6040805160208082528351818301528351919283929083019185019080838360005b838110156100fb5781810151838201526020016100e3565b50505050905090810190601f1680156101285780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101626004803603604081101561014c57600080fd5b506001600160a01b038135169060200135610380565b604080519115158252519081900360200190f35b61017e6103e6565b60408051918252519081900360200190f35b610162600480360360608110156101a657600080fd5b506001600160a01b038135811691602081013590911690604001356103ec565b6101ce610466565b6040805160ff9092168252519081900360200190f35b610210600480360360408110156101fa57600080fd5b506001600160a01b03813516906020013561046f565b005b61017e6004803603602081101561022857600080fd5b50356001600160a01b031661047d565b6100c161048f565b6102106004803603604081101561025657600080fd5b506001600160a01b0381351690602001356104ea565b6101626004803603604081101561028257600080fd5b506001600160a01b0381351690602001356104f4565b610210600480360360408110156102ae57600080fd5b506001600160a01b03813516906020013561054f565b61017e600480360360408110156102da57600080fd5b506001600160a01b038135811691602001351661056b565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103785780601f1061034d57610100808354040283529160200191610378565b820191906000526020600020905b81548152906001019060200180831161035b57829003601f168201915b505050505081565b3360008181526002602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b60005481565b6001600160a01b0380841660008181526002602090815260408083203384528252808320805487900390558383526001825280832080548790039055938616808352848320805487019055845186815294519294909392600080516020610624833981519152929181900390910190a35060019392505050565b60055460ff1681565b6104798282610588565b5050565b60016020526000908152604090205481565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156103785780601f1061034d57610100808354040283529160200191610378565b61047982826105d3565b336000818152600160209081526040808320805486900390556001600160a01b03861680845281842080548701905581518681529151939490939092600080516020610624833981519152928290030190a350600192915050565b6001600160a01b03909116600090815260016020526040902055565b600260209081526000928352604080842090915290825290205481565b6001600160a01b038216600081815260016020908152604080832080548601905582548501835580518581529051600080516020610624833981519152929181900390910190a35050565b6001600160a01b0382166000818152600160209081526040808320805486900390558254859003835580518581529051929392600080516020610624833981519152929181900390910190a3505056feddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa2646970667358221220364a383ccce0e270376267b8631412d1b7ddb1883c5379556b58cbefc1ca504564736f6c63430007060033
+lxly_proxy_bytecode=608060405234801561001057600080fd5b50604051610acb380380610acb83398101604081905261002f91610054565b600080546001600160a01b0319166001600160a01b0392909216919091179055610084565b60006020828403121561006657600080fd5b81516001600160a01b038116811461007d57600080fd5b9392505050565b610a38806100936000396000f3fe6080604052600436106100955760003560e01c8063b8b284d011610059578063b8b284d014610196578063ccaa2d11146101c9578063cd586579146101e9578063dd96eab7146101fc578063f5efcd79146101fc57610116565b80631c253d72146101965780631eb5f7aa146101b6578063240ff378146101b65780632c4422ca146101c95780635ea89907146101e957610116565b366101165760008054604051630481fe6f60e31b815263ffffffff34166004820152326024820152600160448201526080606482015260848101929092526001600160a01b03169063240ff3789060a401600060405180830381600087803b15801561010057600080fd5b505af1158015610114573d6000803e3d6000fd5b005b60008054604051630481fe6f60e31b815236916060916001600160a01b039091169063240ff37890610155903490329060019089908990600401610436565b600060405180830381600087803b15801561016f57600080fd5b505af1158015610183573d6000803e3d6000fd5b5050604080516020810190915260009052005b3480156101a257600080fd5b506101146101b136600461056f565b61021c565b6101146101c43660046105e8565b61028d565b3480156101d557600080fd5b506101146101e43660046106c5565b6102fb565b6101146101f7366004610799565b61037e565b34801561020857600080fd5b506101146102173660046106c5565b6103f2565b600054604051630b8b284d60e41b81526001600160a01b039091169063b8b284d0906102549088908890889088908890600401610867565b600060405180830381600087803b15801561026e57600080fd5b505af1158015610282573d6000803e3d6000fd5b505050505050505050565b600054604051630481fe6f60e31b81526001600160a01b039091169063240ff378906102c39087908790879087906004016108ad565b600060405180830381600087803b1580156102dd57600080fd5b505af11580156102f1573d6000803e3d6000fd5b5050505050505050565b60005460405163ccaa2d1160e01b81526001600160a01b039091169063ccaa2d119061033f908e908e908e908e908e908e908e908e908e908e908e9060040161091c565b600060405180830381600087803b15801561035957600080fd5b505af115801561036d573d6000803e3d6000fd5b505050505050505050505050505050565b60005460405163cd58657960e01b81526001600160a01b039091169063cd586579906103b8908990899089908990899089906004016109af565b600060405180830381600087803b1580156103d257600080fd5b505af11580156103e6573d6000803e3d6000fd5b50505050505050505050565b60005460405163f5efcd7960e01b81526001600160a01b039091169063f5efcd799061033f908e908e908e908e908e908e908e908e908e908e908e9060040161091c565b63ffffffff861681526001600160a01b038516602082015283151560408201526080606082018190528101829052818360a0830137600081830160a090810191909152601f909201601f19160101949350505050565b803563ffffffff811681146104a057600080fd5b919050565b80356001600160a01b03811681146104a057600080fd5b803580151581146104a057600080fd5b634e487b7160e01b600052604160045260246000fd5b600082601f8301126104f357600080fd5b813567ffffffffffffffff8082111561050e5761050e6104cc565b604051601f8301601f19908116603f01168101908282118183101715610536576105366104cc565b8160405283815286602085880101111561054f57600080fd5b836020870160208301376000602085830101528094505050505092915050565b600080600080600060a0868803121561058757600080fd5b6105908661048c565b945061059e602087016104a5565b9350604086013592506105b3606087016104bc565b9150608086013567ffffffffffffffff8111156105cf57600080fd5b6105db888289016104e2565b9150509295509295909350565b600080600080608085870312156105fe57600080fd5b6106078561048c565b9350610615602086016104a5565b9250610623604086016104bc565b9150606085013567ffffffffffffffff81111561063f57600080fd5b61064b878288016104e2565b91505092959194509250565b600082601f83011261066857600080fd5b60405161040080820182811067ffffffffffffffff8211171561068d5761068d6104cc565b604052830181858211156106a057600080fd5b845b828110156106ba5780358252602091820191016106a2565b509195945050505050565b60008060008060008060008060008060006109208c8e0312156106e757600080fd5b6106f18d8d610657565b9a506107018d6104008e01610657565b99506108008c013598506108208c013597506108408c013596506107286108608d0161048c565b95506107376108808d016104a5565b94506107466108a08d0161048c565b93506107556108c08d016104a5565b92506108e08c013591506109008c013567ffffffffffffffff81111561077a57600080fd5b6107868e828f016104e2565b9150509295989b509295989b9093969950565b60008060008060008060c087890312156107b257600080fd5b6107bb8761048c565b95506107c9602088016104a5565b9450604087013593506107de606088016104a5565b92506107ec608088016104bc565b915060a087013567ffffffffffffffff81111561080857600080fd5b61081489828a016104e2565b9150509295509295509295565b6000815180845260005b818110156108475760208185018101518683018201520161082b565b506000602082860101526020601f19601f83011685010191505092915050565b63ffffffff8616815260018060a01b0385166020820152836040820152821515606082015260a0608082015260006108a260a0830184610821565b979650505050505050565b63ffffffff851681526001600160a01b038416602082015282151560408201526080606082018190526000906108e590830184610821565b9695505050505050565b8060005b60208082106109025750610916565b8251855293840193909101906001016108f3565b50505050565b600061092061092b838f6108ef565b61093961040084018e6108ef565b61080083018c905261082083018b905261084083018a905263ffffffff8981166108608501526001600160a01b038981166108808601529088166108a085015286166108c08401526108e08301859052610900830181905261099d81840185610821565b9e9d5050505050505050505050505050565b63ffffffff871681526001600160a01b0386811660208301526040820186905284166060820152821515608082015260c060a082018190526000906109f690830184610821565b9897505050505050505056fea264697066735822122039bc970ca2f710f9cd459c16defc9d953d5144267b6adc04ad3c5020fc68003964736f6c63430008140033
+address_tester_bytecode=6300000dac63000000156000396300000dac6000F3366060811015610032577f6e6f7420656e6f7567682063616c6c6461746100000000000000000000000000805f5260205ffd5b5f356020356040356060840380606060c0375f845f528360205282604052600185612000116110008711161561006f576110008603915061100195505b85613000116120008711161561008c576120008603915061200195505b85600181146101a057600281146101b057600381146101c057600481146101cf57601181146101de57601281146101fe576013811461021e576014811461023e576021811461025e576022811461027e576023811461029e57602481146102be57603181146102de57603281146102fd576033811461031c576034811461033b576041811461035a5760428114610379576043811461039857604481146103b75761010181146103d657610201811461041a57610301811461045e5761040181146104a25761050181146104e657610601811461052a57610701811461056d5761080181146105b15761090181146105f557611001811461063857612001811461067f575f9150644641494c215f526106c3565b5f808560c0888a5af191506106c3565b5f808560c0888a5af291506106c3565b5f808560c0895af491506106c3565b5f808560c0895afa91506106c3565b6001606052856080528460a0525f8085606001606088305af191506106c3565b6002606052856080528460a0525f8085606001606088305af191506106c3565b6003606052856080528460a0525f8085606001606088305af191506106c3565b6004606052856080528460a0525f8085606001606088305af191506106c3565b6001606052856080528460a0525f8085606001606088305af291506106c3565b6002606052856080528460a0525f8085606001606088305af291506106c3565b6003606052856080528460a0525f8085606001606088305af291506106c3565b6004606052856080528460a0525f8085606001606088305af291506106c3565b6001606052856080528460a0525f80856060016060305af491506106c3565b6002606052856080528460a0525f80856060016060305af491506106c3565b6003606052856080528460a0525f80856060016060305af491506106c3565b6004606052856080528460a0525f80856060016060305af491506106c3565b6001606052856080528460a0525f80856060016060305afa91506106c3565b6002606052856080528460a0525f80856060016060305afa91506106c3565b6003606052856080528460a0525f80856060016060305afa91506106c3565b6004606052856080528460a0525f80856060016060305afa91506106c3565b7f600e600c600039600e6000f3600160015b8101906300000004560000000000005f5260205f80f05f805f805f8561c350f1505f808660c0898b5af19250506106c3565b7f6009600c60003960096000f3fe60005260206000f300000000000000000000005f5260205f80f05f805f805f8561c350f1505f808660c0898b5af19250506106c3565b7f6001600c60003960016000f350000000000000000000000000000000000000005f5260205f80f05f805f805f8561c350f1505f808660c0898b5af19250506106c3565b7f6007600c60003960076000f35b63ffffffff56000000000000000000000000005f5260205f80f05f805f805f8561c350f1505f808660c0898b5af19250506106c3565b7f6008600c60003960086000f35b5f6300000000560000000000000000000000005f5260205f80f05f805f805f8561c350f1505f808660c0898b5af19250506106c3565b7f6003600c60003960036000f35f5f5500000000000000000000000000000000005f5260205f80f05f805f808461c350fa505f808660c0898b5af19250506106c3565b7f6008600c60003960086000f360015f5560025f550000000000000000000000005f5260205f80f05f805f805f856156c2f1505f808660c0898b5af19250506106c3565b7f6002600c60003960026000f332ff0000000000000000000000000000000000005f5260205f80f05f805f805f856156c2f1505f808660c0898b5af19250506106c3565b7f6002600c60003960026000f332ff0000000000000000000000000000000000005f5260205f80f05f805f80846156c2fa505f808660c0898b5af19250506106c3565b82606052856080528460a0527f333b5f5f333c595ff300000000000000000000000000000000000000000000005f5260205f80f05f8086606001606089855af150506106c3565b82606052856080528460a0527f333b5f5f333c595ff300000000000000000000000000000000000000000000005f524460205f80f55f8086606001606089855af150505b50806106ce5760205ffd5b50505050505050
+
+
+for rpc_url in $rpc_list; do
+    printf "Network ID\t%d\tRPC URL\t%s\n" $(cast call --rpc-url $rpc_url $bridge_address 'networkID()(uint32)') $rpc_url
+done
+
+
+# ## Initial funding
+#
+# The next three commands will send 2 Native ETH to the 3 L2s that we're testing
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_fep \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei
+
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_pp1 \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei
+
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_pp2 \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei
+
+# We need to mint some test tokens for bridging
+cast send --rpc-url "$l1_rpc_url" --private-key "$private_key" "$gas_token_address" 'mint(address,uint256)' "$eth_address" "10000000000000000000"
+
+# The bridge also needs to be approved to move these tokens
+cast send \
+     --rpc-url "$l1_rpc_url" \
+     --private-key $private_key \
+     $gas_token_address \
+     'approve(address,uint256)' \
+     $bridge_address $(cast max-uint)
+
+# Now we'll bridge to those test tokens to each of the three networks. In one case, this test token is also the gas token
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_fep \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei \
+        --token-address "$gas_token_address"
+
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_pp1 \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei \
+        --token-address "$gas_token_address"
+
+polycli ulxly bridge asset \
+        --bridge-address $bridge_address \
+        --destination-address $eth_address \
+        --destination-network $network_id_pp2 \
+        --private-key $private_key \
+        --rpc-url "$l1_rpc_url" \
+        --value $fund_amount_in_wei \
+        --token-address "$gas_token_address"
+
+for rpc_url in $rpc_list; do
+    printf "We have %s ether on %s\n" $(cast balance --ether --rpc-url $rpc_url $eth_address) $rpc_url
+done
+
+# The loop above is checking the balance on each network. We probably shouldn't go further until we have value on every network
+
+# ## Test Contract Setup
+#
+# At this point we'll try to make sure that our test contracts are
+# deployed everywhere that we need
+
+for rpc_url in $rpc_list; do
+    if [[ $(cast code --rpc-url $rpc_url $deterministic_deployer_addr) != "0x" ]]; then
+        continue
+    fi
+    printf "The network on %s doesn't have the deterministic deployer deployed\n" $rpc_url
+    cast send --legacy --value 0.02ether --rpc-url $rpc_url --private-key $private_key 0x3fab184622dc19b6109349b94811493bf2a45362
+    cast publish --rpc-url $rpc_url 0xf8a58085174876e800830186a08080b853604580600e600039806000f350fe7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe03601600081602082378035828234f58015156039578182fd5b8082525050506014600cf31ba02222222222222222222222222222222222222222222222222222222222222222a02222222222222222222222222222222222222222222222222222222222222222
+done
+
+# Okay we should have the deterministic proxy everywhere. Let's start
+# deploying our test contracts. First, we'll deploy a test friendly
+# ERC 20 contract.
+constructor_args=$(cast abi-encode 'f(string,string,address,uint256)' 'Bridge Test' 'BT' "$eth_address" 100000000000000000000 | sed 's/0x//')
+test_erc20_addr=$(cast create2 --salt $salt --init-code $erc_20_bytecode$constructor_args)
+for rpc_url in $rpc_list; do
+    if [[ $(cast code --rpc-url $rpc_url $test_erc20_addr) != "0x" ]]; then
+        continue
+    fi
+    printf "The network on %s doesn't have the test ERC20 deployed\n" $rpc_url
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $deterministic_deployer_addr $salt$erc_20_bytecode$constructor_args
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $test_erc20_addr 'approve(address,uint256)' $bridge_address $(cast max-uint)
+done
+
+
+# This contract is a weird ERC20 that has a infinite money glitch and allows for some bizarre testing
+constructor_args=$(cast abi-encode 'f(string,string,uint8)' 'Buggy ERC20' 'BUG' "18" | sed 's/0x//')
+test_erc20_buggy_addr=$(cast create2 --salt $salt --init-code $erc20_buggy_bytecode$constructor_args)
+for rpc_url in $rpc_list; do
+    if [[ $(cast code --rpc-url $rpc_url $test_erc20_buggy_addr) != "0x" ]]; then
+        continue
+    fi
+    printf "The network on %s doesn't have the Buggy ERC20 deployed\n" $rpc_url
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $deterministic_deployer_addr $salt$erc20_buggy_bytecode$constructor_args
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $test_erc20_buggy_addr 'mint(address,uint256)' $eth_address $(cast max-uint)
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $test_erc20_buggy_addr 'approve(address,uint256)' $bridge_address $(cast max-uint)
+done
+
+# The LxLy Proxy contract is used to mess with the call data that's
+# used for sending bridges to make sure that the underlying infra can
+# determine bridge calldata properly
+constructor_args=$(cast abi-encode 'f(address)' $bridge_address | sed 's/0x//')
+test_lxly_proxy_addr=$(cast create2 --salt $salt --init-code $lxly_proxy_bytecode$constructor_args)
+for rpc_url in $rpc_list; do
+    if [[ $(cast code --rpc-url $rpc_url $test_lxly_proxy_addr) != "0x" ]]; then
+        continue
+    fi
+    printf "The network on %s doesn't have the LxLy Proxy deployed\n" $rpc_url
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $deterministic_deployer_addr $salt$lxly_proxy_bytecode$constructor_args
+done
+
+
+# This contract is for doing various odd scenarios before calling a network
+tester_contract_address=$(cast create2 --salt $salt --init-code $address_tester_bytecode)
+for rpc_url in $rpc_list; do
+    if [[ $(cast code --rpc-url $rpc_url $tester_contract_address) != "0x" ]]; then
+        continue
+    fi
+    printf "The network on %s doesn't have the Address Tester deployed\n" $rpc_url
+    cast send --legacy --rpc-url $rpc_url --private-key $private_key $deterministic_deployer_addr $salt$address_tester_bytecode
+done
+
+
+printf 'tester_contract_address=%s\n' $tester_contract_address
+printf 'test_erc20_buggy_addr=%s\n' $test_erc20_buggy_addr
+printf 'test_lxly_proxy_addr=%s\n' $test_lxly_proxy_addr
+printf 'tester_contract_address=%s\n' $tester_contract_address
+
+pict docs/multi-pp-testing/lxly.pict /f:json | jq -c '.[] | from_entries' | jq -s > docs/multi-pp-testing/test-scenarios.json
diff --git a/docs/multi-pp-testing/lxly.pict b/docs/multi-pp-testing/lxly.pict
new file mode 100644
index 00000000..0ec3a44f
--- /dev/null
+++ b/docs/multi-pp-testing/lxly.pict
@@ -0,0 +1,25 @@
+# pict lxly.pict /f:json | jq -c '.[] | from_entries'
+DepositChain       : L1, PP1, PP2, FEP
+DestinationChain   : L1, PP1, PP2, FEP
+DestinationAddress : EOA, Contract, Precompile
+BridgeType         : Asset, Message, Weth
+Token              : NativeEther, LocalERC20, Buggy, WETH, GasToken
+MetaData           : 0x, Random
+ForceUpdate        : True (4), False
+Amount             : 0, 1, Random, Max
+
+IF [DepositChain] = "L1" THEN [DestinationChain] <> "L1";
+IF [DepositChain] = "FEP" THEN [DestinationChain] <> "FEP";
+IF [DepositChain] = "PP1" THEN [DestinationChain] <> "PP1";
+IF [DepositChain] = "PP2" THEN [DestinationChain] <> "PP2";
+IF [DepositChain] = "PP2" AND [BridgeType] = "Message" THEN [Amount] = "0";
+
+IF [BridgeType] = "Message" THEN [Token] = "NativeEther";
+IF [BridgeType] = "Weth" THEN [Token] = "WETH";
+
+
+IF [Token] = "WETH" THEN [DepositChain] = "PP2";
+IF [Token] = "LocalERC20" OR [Token] = "WETH" OR [Token] = "GasToken" OR [Token] = "Buggy" THEN [MetaData] = "0x";
+
+IF [Amount] = "Max" THEN [Token] = "Buggy";
+
diff --git a/docs/multi-pp-testing/net1.yml b/docs/multi-pp-testing/net1.yml
new file mode 100644
index 00000000..a60f1d28
--- /dev/null
+++ b/docs/multi-pp-testing/net1.yml
@@ -0,0 +1,11 @@
+args:
+  zkevm_contracts_image: leovct/zkevm-contracts:v9.0.0-rc.3-pp-fork.12-patch.1
+  additional_services: []
+  consensus_contract_type: pessimistic
+  sequencer_type: erigon
+  erigon_strict_mode: false
+  gas_token_enabled: false
+  zkevm_use_real_verifier: true
+  enable_normalcy: true
+  agglayer_prover_sp1_key: 0xSOME_SP1_KEY
+
diff --git a/docs/multi-pp-testing/net2.yml b/docs/multi-pp-testing/net2.yml
new file mode 100644
index 00000000..a7a0acce
--- /dev/null
+++ b/docs/multi-pp-testing/net2.yml
@@ -0,0 +1,36 @@
+deployment_stages:
+  deploy_l1: false
+  deploy_agglayer: false
+
+args:
+  deployment_suffix: "-002"
+  zkevm_rollup_chain_id: 20202
+  zkevm_rollup_id: 2
+
+  # The following accounts have been generated using the following command:
+  # polycli wallet inspect --mnemonic 'bless share truly shadow primary sun relief border van gallery stairs edit reflect gentle athlete main device smile response rescue mirror floor say people' --addresses 9 | tee keys.txt | jq -r '.Addresses[] | [.ETHAddress, .HexPrivateKey] | @tsv' | awk 'BEGIN{split("sequencer,aggregator,claimtxmanager,timelock,admin,loadtest,agglayer,dac,proofsigner",roles,",")} {print "zkevm_l2_" roles[NR] "_address: \"" $1 "\""; print "zkevm_l2_" roles[NR] "_private_key: \"0x" $2 "\"\n"}'
+  # Note that admin and agglayer accounts have been removed since we're using the default accounts.
+  zkevm_l2_sequencer_address: "0xA670342930242407b9984e467353044f8472055e"
+  zkevm_l2_sequencer_private_key: "0x902ed4ce26b536617a4f26da5e0cd0ef61b514a076b4bd766d6ab8b97efbb8c1"
+  zkevm_l2_aggregator_address: "0xfC419a9d9Fe0DfA4Cf9971AcD1Fbcd356DD768FD"
+  zkevm_l2_aggregator_private_key: "0xa70db9fb4b84a6ba18c03cd2266116dd110538d6c4c88e67ca35a29b910da25d"
+  zkevm_l2_claimtxmanager_address: "0x93F63c24735f45Cd0266E87353071B64dd86bc05"
+  zkevm_l2_claimtxmanager_private_key: "0x38718f22097afba13be48d818964326c9c5c48133f51e3c3bfd6faf05f813b34"
+  zkevm_l2_timelock_address: "0xDB22C6f61A82d6AA6d3607289fC93774AC09413a"
+  zkevm_l2_timelock_private_key: "0xae4a69010583a09709baa563fa66f9e6f2dacf9e9c84b89932406b9a0521b561"
+  zkevm_l2_loadtest_address: "0xD5278fC3Dc72A226d5C04c3d2C85fd397A46fA08"
+  zkevm_l2_loadtest_private_key: "0xef4db4f97684b8307adc332ed6c1bc82d66d160f08e7427d082d66a23889625e"
+  zkevm_l2_dac_address: "0xDa07AAD7226B136bc24157Dc4Ff5A813490E20D0"
+  zkevm_l2_dac_private_key: "0x992c9ab11d5eab6b6c2634b8bb0b85f3d8d1acf25024dc99c359cb2afd9b40a7"
+  zkevm_l2_proofsigner_address: "0xf1a661D7b601Ec46a040f57193cC99aB8c4132FA"
+  zkevm_l2_proofsigner_private_key: "0xc7fe3a006d75ba9326d9792523385abb49057c66aee0b8b4248821a89713f975"
+
+  zkevm_contracts_image: leovct/zkevm-contracts:v9.0.0-rc.3-pp-fork.12-patch.1
+  additional_services: []
+  consensus_contract_type: pessimistic
+  sequencer_type: erigon
+  erigon_strict_mode: false
+  gas_token_enabled: true
+  zkevm_use_real_verifier: true
+  enable_normalcy: true
+
diff --git a/docs/multi-pp-testing/net3.yml b/docs/multi-pp-testing/net3.yml
new file mode 100644
index 00000000..4676051a
--- /dev/null
+++ b/docs/multi-pp-testing/net3.yml
@@ -0,0 +1,31 @@
+deployment_stages:
+  deploy_l1: false
+  deploy_agglayer: false
+
+args:
+  deployment_suffix: "-003"
+  zkevm_rollup_chain_id: 30303
+  zkevm_rollup_id: 3
+
+  # The following accounts have been generated using the following command:
+  # polycli wallet inspect --mnemonic 'true suggest umbrella mountain try enrich donate can inform tragic camp venue' --addresses 9 | jq -r '.Addresses[] | [.ETHAddress, .HexPrivateKey] | @tsv' | awk 'BEGIN{split("sequencer,aggregator,claimtxmanager,timelock,admin,loadtest,agglayer,dac,proofsigner",roles,",")} {print "zkevm_l2_" roles[NR] "_address: \"" $1 "\""; print "zkevm_l2_" roles[NR] "_private_key: \"0x" $2 "\"\n"}'
+  # Note that admin and agglayer accounts have been removed since we're using the default accounts.
+  zkevm_l2_sequencer_address: "0x1583bf88Dfee6B10a7c6D18FEA8c85584Bc8ae8E"
+  zkevm_l2_sequencer_private_key: "0x741830ef92d530ad0c8a83e2296f866e4078bacaac2ea1357e870afc384302f3"
+  zkevm_l2_aggregator_address: "0xCAEfA8401448f79dAE0935A0ca6aA8CD4d665E7B"
+  zkevm_l2_aggregator_private_key: "0x4a44c4dbbebff3d7537a6049a36110854e25b8bf14b81f29ed00ce5ef934e952"
+  zkevm_l2_claimtxmanager_address: "0x8edC8CE0DB10137d513aB5767ffF13D1c51885a8"
+  zkevm_l2_claimtxmanager_private_key: "0x46bf651fcd46161385147081efc5befa229ae5254de1dfc61b41a1b65a11caeb"
+  zkevm_l2_timelock_address: "0x7Bf6Ce527660cF839AB43b1ce1F889256BAa0724"
+  zkevm_l2_timelock_private_key: "0xc374eb5487cbbb5f13a02ef848379695e9e101a35860679c9d63c3530921f973"
+  zkevm_l2_loadtest_address: "0x5198F56c367Dbfe36FC768dbb6565663EEded55b"
+  zkevm_l2_loadtest_private_key: "0xa1c26dd89c0c6253d180525afd0e152e41c7deba5525f90df66c2f19288e21c4"
+  zkevm_l2_dac_address: "0x6f5E3D0b07Ed95F5c4c72168F3A85C42aEF3789e"
+  zkevm_l2_dac_private_key: "0x78eea556baadadf043e43b54ab440a89b32cb6f51d7c317cfa5ed5d1289e7157"
+  zkevm_l2_proofsigner_address: "0xDcd1d53324a9Ae5a50a55F62556A771376Fe434D"
+  zkevm_l2_proofsigner_private_key: "0xcb1f295abf6538023fcf96eaa8e81969a65ba70ab61590187b77e2c01aaba748"
+
+  zkevm_contracts_image: leovct/zkevm-contracts:v9.0.0-rc.3-pp-fork.12-patch.1
+  additional_services: []
+  sequencer_type: erigon
+
diff --git a/docs/multi-pp-testing/run.sh b/docs/multi-pp-testing/run.sh
new file mode 100755
index 00000000..9045f881
--- /dev/null
+++ b/docs/multi-pp-testing/run.sh
@@ -0,0 +1,226 @@
+#!/bin/bash
+
+if [[ ! -e docs/multi-pp-testing/test-scenarios.json ]]; then
+    echo "expected to find test scenarios in docs/multi-pp-testing/test-scenarios.json. Maybe we're not in the root of the repo?"
+    exit 1
+fi
+
+tester_contract_address=0xc54E34B55EF562FE82Ca858F70D1B73244e86388
+test_erc20_buggy_addr=0x22939b3A4dFD9Fc6211F99Cdc6bd9f6708ae2956
+test_lxly_proxy_addr=0x1786B94e55cA57b897aF0f59a1e5b31EA0469547
+tester_contract_address=0xc54E34B55EF562FE82Ca858F70D1B73244e86388
+
+l1_rpc_url=http://$(kurtosis port print pp el-1-geth-lighthouse rpc)
+l2_pp1_url=$(kurtosis port print pp cdk-erigon-rpc-001 rpc)
+l2_pp2_url=$(kurtosis port print pp cdk-erigon-rpc-002 rpc)
+l2_fep_url=$(kurtosis port print pp cdk-erigon-rpc-003 rpc)
+
+l2_pp1b_url=$(kurtosis port print pp zkevm-bridge-service-001 rpc)
+l2_pp2b_url=$(kurtosis port print pp zkevm-bridge-service-002 rpc)
+l2_fepb_url=$(kurtosis port print pp zkevm-bridge-service-003 rpc)
+
+private_key="0x12d7de8621a77640c9241b2595ba78ce443d05e94090365ab3bb5e19df82c625"
+eth_address="$(cast wallet address --private-key $private_key)"
+
+rpc_list="$l1_rpc_url $l2_fep_url $l2_pp1_url $l2_pp2_url"
+
+network_id_l1=0
+network_id_pp1=1
+network_id_pp2=2
+network_id_fep=3
+
+bridge_address=$(cat combined-001.json | jq -r .polygonZkEVMBridgeAddress)
+pol_address=$(cat combined-001.json | jq -r .polTokenAddress)
+gas_token_address=$(<gas-token-address.json)
+
+token_hash=$(cast keccak $(cast abi-encode --packed 'f(uint32,address)' 0 $gas_token_address))
+l2_gas_token_address=$(cast call --rpc-url $l2_pp1_url  $bridge_address 'tokenInfoToWrappedToken(bytes32)(address)' $token_hash)
+
+while read scenario ; do
+    echo $scenario | jq -c '.'
+
+    testBridgeType=$(echo $scenario | jq -r '.BridgeType')
+    testDepositChain=$(echo $scenario | jq -r '.DepositChain')
+    testDestinationChain=$(echo $scenario | jq -r '.DestinationChain')
+    testDestinationAddress=$(echo $scenario | jq -r '.DestinationAddress')
+    testToken=$(echo $scenario | jq -r '.Token')
+    testMetaData=$(echo $scenario | jq -r '.MetaData')
+    testForceUpdate=$(echo $scenario | jq -r '.ForceUpdate')
+    testAmount=$(echo $scenario | jq -r '.Amount')
+
+    testCommand="polycli ulxly bridge"
+
+    if [[ $testBridgeType == "Asset" ]]; then
+        testCommand="$testCommand asset"
+    elif [[ $testBridgeType == "Message" ]]; then
+        testCommand="$testCommand message"
+    elif [[ $testBridgeType == "Weth" ]]; then
+        testCommand="$testCommand weth"
+    else
+        printf "Unrecognized Bridge Type: $testBridgeType\n"
+        exit 1;
+    fi
+
+    temp_rpc_url=""
+    if [[ $testDepositChain == "L1" ]]; then
+        testCommand="$testCommand --rpc-url $l1_rpc_url"
+        temp_rpc_url="$l1_rpc_url"
+    elif [[ $testDepositChain == "PP1" ]]; then
+        testCommand="$testCommand --rpc-url $l2_pp1_url"
+        temp_rpc_url="$l2_pp1_url"
+    elif [[ $testDepositChain == "FEP" ]]; then
+        testCommand="$testCommand --rpc-url $l2_fep_url"
+        temp_rpc_url="$l2_fep_url"
+    elif [[ $testDepositChain == "PP2" ]]; then
+        testCommand="$testCommand --rpc-url $l2_pp2_url"
+        temp_rpc_url="$l2_pp2_url"
+    else
+        printf "Unrecognized Deposit Chain: $testDepositChain\n"
+        exit 1;
+    fi
+
+    if [[ $testDestinationChain == "L1" ]]; then
+        testCommand="$testCommand --destination-network $network_id_l1"
+    elif [[ $testDestinationChain == "PP1" ]]; then
+        testCommand="$testCommand --destination-network $network_id_pp1"
+    elif [[ $testDestinationChain == "FEP" ]]; then
+        testCommand="$testCommand --destination-network $network_id_fep"
+    elif [[ $testDestinationChain == "PP2" ]]; then
+        testCommand="$testCommand --destination-network $network_id_pp2"
+    else
+        printf "Unrecognized Destination Chain: $testDestinationChain\n"
+        exit 1;
+    fi
+
+    if [[ $testDestinationAddress == "Contract" ]]; then
+        testCommand="$testCommand --destination-address $bridge_address"
+    elif [[ $testDestinationAddress == "Precompile" ]]; then
+        testCommand="$testCommand --destination-address 0x0000000000000000000000000000000000000004"
+    elif [[ $testDestinationAddress == "EOA" ]]; then
+        testCommand="$testCommand --destination-address $eth_address"
+    else
+        printf "Unrecognized Destination Address: $testDestinationAddress\n"
+        exit 1;
+    fi
+
+    if [[ $testToken == "POL" ]]; then
+        testCommand="$testCommand --token-address $pol_address"
+    elif [[ $testToken == "LocalERC20" ]]; then
+        testCommand="$testCommand --token-address $test_erc20_addr"
+    elif [[ $testToken == "WETH" ]]; then
+        testCommand="$testCommand --token-address $pp2_weth_address"
+    elif [[ $testToken == "Buggy" ]]; then
+        testCommand="$testCommand --token-address $test_erc20_buggy_addr"
+    elif [[ $testToken == "GasToken" ]]; then
+        if [[ $testDepositChain == "L1" ]]; then
+            testCommand="$testCommand --token-address $gas_token_address"
+        elif [[  $testDepositChain == "PP2" ]]; then
+            testCommand="$testCommand --token-address 0x0000000000000000000000000000000000000000"
+        else
+            testCommand="$testCommand --token-address $l2_gas_token_address"
+        fi
+    elif [[ $testToken == "NativeEther" ]]; then
+        if [[  $testDepositChain == "PP2" ]]; then
+            testCommand="$testCommand --token-address $pp2_weth_address"
+        else
+            testCommand="$testCommand --token-address 0x0000000000000000000000000000000000000000"
+        fi
+    else
+        printf "Unrecognized Test Token: $testToken\n"
+        exit 1;
+    fi
+
+    if [[ $testMetaData == "Random" ]]; then
+        testCommand="$testCommand --call-data $(date +%s | xxd -p)"
+    elif [[ $testMetaData == "0x" ]]; then
+        testCommand="$testCommand --call-data 0x"
+    else
+        printf "Unrecognized Metadata: $testMetaData\n"
+        exit 1;
+    fi
+
+    if [[ $testForceUpdate == "True" ]]; then
+        testCommand="$testCommand --force-update-root=true"
+    elif [[ $testForceUpdate == "False" ]]; then
+        testCommand="$testCommand --force-update-root=false"
+    else
+        printf "Unrecognized Force Update: $testForceUpdate\n"
+        exit 1;
+    fi
+
+    if [[ $testAmount == "0" ]]; then
+        testCommand="$testCommand --value 0"
+    elif [[ $testAmount == "1" ]]; then
+        testCommand="$testCommand --value 1"
+    elif [[ $testAmount == "Max" ]]; then
+        cast send --legacy --rpc-url $temp_rpc_url --private-key $private_key $test_erc20_buggy_addr 'mint(address,uint256)' $eth_address $(cast max-uint)
+        cast send --legacy --rpc-url $temp_rpc_url --private-key $private_key $test_erc20_buggy_addr 'setBalanceOf(address,uint256)' $bridge_address 0
+        testCommand="$testCommand --value $(cast max-uint)"
+    elif [[ $testAmount == "Random" ]]; then
+        testCommand="$testCommand --value $(date +%s)"
+    else
+        printf "Unrecognized Amount: $testAmount\n"
+        exit 1;
+    fi
+
+    testCommand="$testCommand --bridge-address $bridge_address"
+    testCommand="$testCommand --private-key $private_key"
+
+    echo $testCommand
+    $testCommand
+
+    # In this particular case, we should zero the bridge out after the deposit is made
+    if [[ $testAmount == "Max" ]]; then
+        cast send --legacy --rpc-url $temp_rpc_url --private-key $private_key $test_erc20_buggy_addr 'setBalanceOf(address,uint256)' $bridge_address 0
+    fi
+done < <(jq -c '.[]' docs/multi-pp-testing/test-scenarios.json)
+
+address_tester_actions="001 011 021 031 101 201 301 401 501 601 701 801 901"
+for create_mode in 0 1 2; do
+    for action in $address_tester_actions ; do
+        printf "Running test: 0x$create_mode$action"
+        cast send --gas-limit 2500000 --legacy --value $network_id_fep --rpc-url $l1_rpc_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_fep)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp1 --rpc-url $l1_rpc_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp1)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp2 --rpc-url $l1_rpc_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp2)
+
+        cast send --gas-limit 2500000 --legacy --value $network_id_l1  --rpc-url $l2_pp1_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_l1)
+        cast send --gas-limit 2500000 --legacy --value $network_id_fep --rpc-url $l2_pp1_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_fep)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp2 --rpc-url $l2_pp1_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp2)
+
+        cast send --gas-limit 2500000 --legacy --value $network_id_l1  --rpc-url $l2_pp2_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_l1)
+        cast send --gas-limit 2500000 --legacy --value $network_id_fep --rpc-url $l2_pp2_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_fep)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp1 --rpc-url $l2_pp2_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp1)
+
+        cast send --gas-limit 2500000 --legacy --value $network_id_l1  --rpc-url $l2_fep_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_l1)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp1 --rpc-url $l2_fep_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp1)
+        cast send --gas-limit 2500000 --legacy --value $network_id_pp2 --rpc-url $l2_fep_url --private-key $private_key $tester_contract_address $(cast abi-encode 'f(uint32, address, uint256)' 0x"$create_mode$action" $test_lxly_proxy_addr $network_id_pp2)
+    done
+done
+
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map $network_id_fep=$l2_fepb_url \
+        --bridge-service-map $network_id_pp1=$l2_pp1b_url \
+        --bridge-service-map $network_id_pp2=$l2_pp2b_url \
+        --destination-address $eth_address \
+        --private-key $private_key \
+        --rpc-url $l2_fep_url \
+        --bridge-limit 1000
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map $network_id_fep=$l2_fepb_url \
+        --bridge-service-map $network_id_pp1=$l2_pp1b_url \
+        --bridge-service-map $network_id_pp2=$l2_pp2b_url \
+        --destination-address $eth_address \
+        --private-key $private_key \
+        --rpc-url $l2_pp1_url \
+        --bridge-limit 1000
+polycli ulxly claim-everything \
+        --bridge-address $bridge_address \
+        --bridge-service-map $network_id_fep=$l2_fepb_url \
+        --bridge-service-map $network_id_pp1=$l2_pp1b_url \
+        --bridge-service-map $network_id_pp2=$l2_pp2b_url \
+        --destination-address $eth_address \
+        --private-key $private_key \
+        --rpc-url $l2_pp2_url \
+        --bridge-limit 1000
diff --git a/docs/multi-pp-testing/test-scenarios.json b/docs/multi-pp-testing/test-scenarios.json
new file mode 100644
index 00000000..1ddb113a
--- /dev/null
+++ b/docs/multi-pp-testing/test-scenarios.json
@@ -0,0 +1,282 @@
+[
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Message",
+    "Token": "NativeEther",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "FEP",
+    "DestinationChain": "L1",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "FEP",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Message",
+    "Token": "NativeEther",
+    "MetaData": "Random",
+    "ForceUpdate": "False",
+    "Amount": "Random"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Max"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "PP2",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Asset",
+    "Token": "GasToken",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "GasToken",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Weth",
+    "Token": "WETH",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Random"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "L1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "GasToken",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Random"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "L1",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Message",
+    "Token": "NativeEther",
+    "MetaData": "Random",
+    "ForceUpdate": "False",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "LocalERC20",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "FEP",
+    "DestinationChain": "L1",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "LocalERC20",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "PP2",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Asset",
+    "Token": "LocalERC20",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Random"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "Max"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "PP2",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "FEP",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Asset",
+    "Token": "GasToken",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "Precompile",
+    "BridgeType": "Weth",
+    "Token": "WETH",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "L1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Weth",
+    "Token": "WETH",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "NativeEther",
+    "MetaData": "Random",
+    "ForceUpdate": "True",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "FEP",
+    "DestinationChain": "PP2",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Max"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "GasToken",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "L1",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Max"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "PP1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "LocalERC20",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "PP2",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Message",
+    "Token": "NativeEther",
+    "MetaData": "Random",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "L1",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "LocalERC20",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "1"
+  },
+  {
+    "DepositChain": "L1",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Max"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Message",
+    "Token": "NativeEther",
+    "MetaData": "Random",
+    "ForceUpdate": "True",
+    "Amount": "0"
+  },
+  {
+    "DepositChain": "PP1",
+    "DestinationChain": "L1",
+    "DestinationAddress": "Contract",
+    "BridgeType": "Asset",
+    "Token": "Buggy",
+    "MetaData": "0x",
+    "ForceUpdate": "True",
+    "Amount": "Random"
+  },
+  {
+    "DepositChain": "PP2",
+    "DestinationChain": "FEP",
+    "DestinationAddress": "EOA",
+    "BridgeType": "Asset",
+    "Token": "WETH",
+    "MetaData": "0x",
+    "ForceUpdate": "False",
+    "Amount": "1"
+  }
+]
diff --git a/docs/network-ops.org b/docs/network-ops.org
index 3c4dbc7f..bb45b502 100644
--- a/docs/network-ops.org
+++ b/docs/network-ops.org
@@ -85,3 +85,20 @@ Now I have the interface name ~br-edd588fc6880~ and I can use that for
 
 https://github.com/torvalds/linux/blob/55027e689933ba2e64f3d245fb1ff185b3e7fc81/Documentation/ABI/testing/sysfs-class-net#L188-L207
 
+* MITM
+
+#+begin_src bash
+# start mitmproxy
+docker run --name mitmproxy --rm -it -v ~/.mitmproxy:/home/mitmproxy/.mitmproxy --network kt-pp mitmproxy/mitmproxy mitmproxy -p 443 --mode reverse:https://target.whatever
+
+# copy to the ca to the container you want to intercept
+docker cp ~/.mitmproxy/mitmproxy-ca.pem agglayer-prover--0072a38be52544f190d6e7addd236ca8:/usr/local/share/ca-certificates/mitm.crt
+
+# update the certs (assuming this is all installed)
+docker exec agglayer-prover--0072a38be52544f190d6e7addd236ca8 update-ca-certificates
+
+# add an entry in the /etc/hosts file
+# mitmip target.wahter
+1.2.3.4 target.whatever
+#+end_src
+
diff --git a/input_parser.star b/input_parser.star
index 317e8484..264e31d9 100644
--- a/input_parser.star
+++ b/input_parser.star
@@ -33,12 +33,12 @@ DEFAULT_DEPLOYMENT_STAGES = {
 }
 
 DEFAULT_IMAGES = {
-    "agglayer_image": "ghcr.io/agglayer/agglayer:0.2.0-rc.17",  # https://github.com/agglayer/agglayer/tags
+    "agglayer_image": "ghcr.io/agglayer/agglayer:0.2.0-rc.23",  # https://github.com/agglayer/agglayer/tags
     "cdk_erigon_node_image": "hermeznetwork/cdk-erigon:v2.60.0",  # https://hub.docker.com/r/hermeznetwork/cdk-erigon/tags
     "cdk_node_image": "ghcr.io/0xpolygon/cdk:0.5.0-beta10",  # https://github.com/0xpolygon/cdk/pkgs/container/cdk
     "cdk_validium_node_image": "0xpolygon/cdk-validium-node:0.7.0-cdk",  # https://hub.docker.com/r/0xpolygon/cdk-validium-node/tags
     "zkevm_bridge_proxy_image": "haproxy:3.1-bookworm",  # https://hub.docker.com/_/haproxy/tags
-    "zkevm_bridge_service_image": "hermeznetwork/zkevm-bridge-service:v0.6.0-RC3",  # https://hub.docker.com/r/hermeznetwork/zkevm-bridge-service/tags
+    "zkevm_bridge_service_image": "hermeznetwork/zkevm-bridge-service:v0.6.0-RC5",  # https://hub.docker.com/r/hermeznetwork/zkevm-bridge-service/tags
     "zkevm_bridge_ui_image": "leovct/zkevm-bridge-ui:multi-network",  # https://hub.docker.com/r/leovct/zkevm-bridge-ui/tags
     "zkevm_contracts_image": "leovct/zkevm-contracts:v8.0.0-fork.12-patch.1",  # https://hub.docker.com/repository/docker/leovct/zkevm-contracts/tags
     "zkevm_da_image": "0xpolygon/cdk-data-availability:0.0.11",  # https://hub.docker.com/r/0xpolygon/cdk-data-availability/tags
@@ -66,6 +66,7 @@ DEFAULT_PORTS = {
     "zkevm_pprof_port": 6060,
     "zkevm_rpc_http_port": 8123,
     "zkevm_rpc_ws_port": 8133,
+    "zkevm_cdk_node_port": 5576,
 }
 
 DEFAULT_STATIC_PORTS = {
@@ -237,6 +238,10 @@ DEFAULT_ROLLUP_ARGS = {
     # Change to true to deploy a real verifier which will require a real prover.
     # Note: This will require a lot of memory to run!
     "zkevm_use_real_verifier": False,
+    # If we're using pessimistic consensus and a real verifier, we'll
+    # need to know which vkey to use. This value is tightly coupled to
+    # the agglayer version that's being used
+    "verifier_program_vkey": "0x002d324867c82b5b5e0c66a822b004694cb73166d74c0713add59a282b8ce3e0",
     # This flag will enable a stateless executor to verify the execution of the batches.
     # Set to true to run erigon as the sequencer.
     "erigon_strict_mode": True,
diff --git a/lib/cdk_node.star b/lib/cdk_node.star
index 4b3cc803..0d8b2660 100644
--- a/lib/cdk_node.star
+++ b/lib/cdk_node.star
@@ -39,7 +39,17 @@ def create_cdk_node_service_config(
 def get_cdk_node_ports(args):
     # We won't have an aggregator if we're in PP mode
     if args["consensus_contract_type"] == "pessimistic":
-        return (dict(), dict())
+        ports = {
+            "rpc": PortSpec(
+                args["zkevm_cdk_node_port"],
+                application_protocol="http",
+                wait=None,
+            ),
+        }
+        public_ports = ports_package.get_public_ports(
+            ports, "cdk_node_start_port", args
+        )
+        return (ports, public_ports)
 
     # In the case where we have pre deployed contract, the cdk node
     # can go through a syncing process that takes a long time and
@@ -58,6 +68,11 @@ def get_cdk_node_ports(args):
             application_protocol="grpc",
             wait=aggregator_wait,
         ),
+        "rpc": PortSpec(
+            args["zkevm_cdk_node_port"],
+            application_protocol="http",
+            wait=None,
+        ),
     }
 
     public_ports = ports_package.get_public_ports(ports, "cdk_node_start_port", args)
diff --git a/templates/bridge-infra/agglayer-config.toml b/templates/bridge-infra/agglayer-config.toml
index 5f686c54..51da9b10 100644
--- a/templates/bridge-infra/agglayer-config.toml
+++ b/templates/bridge-infra/agglayer-config.toml
@@ -1,4 +1,5 @@
 prover-entrypoint = "{{.agglayer_prover_entrypoint}}"
+debug-mode = true
 
 [full-node-rpcs]
 # TODO switch this to permissionless
@@ -11,6 +12,16 @@ prover-entrypoint = "{{.agglayer_prover_entrypoint}}"
 port = {{.agglayer_port}}
 host = "0.0.0.0"
 request-timeout = 180
+# size is define in bytes e.g. 100 * 1024 * 1024
+# same for `max_response_body_size`
+# default value is equal to 10MB
+max-request-body-size = 104857600
+
+[prover.grpc]
+# size is define in bytes e.g. 100 * 1024 * 1024
+# same for `max-encoding-message-size`
+# default value is equal to 4MB
+max-decoding-message-size = 104857600
 
 [outbound.rpc.settle]
 max-retries = 3
@@ -44,8 +55,13 @@ rpc-timeout = 45
 [telemetry]
 prometheus-addr = "0.0.0.0:{{.prometheus_port}}"
 
+# https://github.com/orgs/agglayer/discussions/213
+
 [rate-limiting]
 send-tx = "unlimited"
+# [rate-limiting.send-tx]
+# max-per-interval = 1
+# time-interval = "15m"
 
 [rate-limiting.network]
 
@@ -63,3 +79,4 @@ input-backpressure-buffer-size = 1000
 
 [storage]
 db-path = "/etc/zkevm/storage"
+
diff --git a/templates/bridge-infra/agglayer-prover-config.toml b/templates/bridge-infra/agglayer-prover-config.toml
index 9b95de65..d54bf695 100644
--- a/templates/bridge-infra/agglayer-prover-config.toml
+++ b/templates/bridge-infra/agglayer-prover-config.toml
@@ -21,3 +21,10 @@ proving-timeout = 900
 [network-prover]
 enabled = {{.is_network_prover_enabled}}
 proving-timeout = 900
+
+[grpc]
+# size is define in bytes e.g. 100 * 1024 * 1024
+# same for `max-encoding-message-size`
+# default value is equal to 4MB
+max-decoding-message-size = 104857600
+
diff --git a/templates/bridge-infra/bridge-config.toml b/templates/bridge-infra/bridge-config.toml
index d4ae1f1c..7acf1c02 100644
--- a/templates/bridge-infra/bridge-config.toml
+++ b/templates/bridge-infra/bridge-config.toml
@@ -28,7 +28,7 @@ Height = 32
 GRPCPort = "{{.zkevm_bridge_grpc_port}}"
 HTTPPort = "{{.zkevm_bridge_rpc_port}}"
 DefaultPageLimit = 25
-MaxPageLimit = 100
+MaxPageLimit = 1000
 BridgeVersion = "v1"
     # Read only
     [BridgeServer.DB]
diff --git a/templates/cdk-erigon/config.yml b/templates/cdk-erigon/config.yml
index cc2adeb5..81a9ad3a 100644
--- a/templates/cdk-erigon/config.yml
+++ b/templates/cdk-erigon/config.yml
@@ -267,14 +267,19 @@ zkevm.data-stream-inactivity-check-interval: 5m
 # A shorter time increases block creation frequency but may lead to higher network load.
 # Consider network capacity and desired transaction confirmation speed when adjusting.
 # Default: 6s
-zkevm.sequencer-block-seal-time: 6s
+zkevm.sequencer-block-seal-time: 3s
 
 # The batch seal time.
 # Determine how frequently the sequencer groups blocks into a batch and seals it.
 # Longer times allow more blocks (and more txs) per batch, potentially improving efficiency,
 # but may increase overall transaction confirmation time.
 # Default: 12s
-zkevm.sequencer-batch-seal-time: 12s
+zkevm.sequencer-batch-seal-time: 15s
+
+# Seal the batch immediately when detecting a counter overflow
+# This setting can be helpful to close batches faster while testing with a single account.
+# Default: false
+zkevm.seal-batch-immediately-on-overflow: true
 
 # Specify the maximum duration allowed for batch verification, including retry attempts.
 # This effectively limits how long the sequencer can operate without an executor.
diff --git a/templates/contract-deploy/create_rollup_parameters.json b/templates/contract-deploy/create_rollup_parameters.json
index 6258c7c7..784197bc 100644
--- a/templates/contract-deploy/create_rollup_parameters.json
+++ b/templates/contract-deploy/create_rollup_parameters.json
@@ -14,5 +14,6 @@
     "realVerifier": {{.zkevm_use_real_verifier}},
     "trustedSequencer": "{{.zkevm_l2_sequencer_address}}",
     "trustedSequencerURL": "http://{{.sequencer_name}}{{.deployment_suffix}}:{{.zkevm_rpc_http_port}}",
-    "trustedAggregator":"{{.zkevm_l2_aggregator_address}}"
+    "trustedAggregator":"{{.zkevm_l2_aggregator_address}}",
+    "programVKey": "{{.verifier_program_vkey}}"
 }
diff --git a/templates/contract-deploy/run-contract-setup.sh b/templates/contract-deploy/run-contract-setup.sh
index 5b316731..9373640e 100755
--- a/templates/contract-deploy/run-contract-setup.sh
+++ b/templates/contract-deploy/run-contract-setup.sh
@@ -27,20 +27,6 @@ wait_for_rpc_to_be_available() {
     done
 }
 
-wait_for_finalized_block() {
-    counter=0
-    max_retries=100
-    until cast block --rpc-url "{{.l1_rpc_url}}" finalized &> /dev/null; do
-        ((counter++))
-        echo_ts "No finalized block yet... Retrying ($counter)..."
-        if [[ $counter -ge $max_retries ]]; then
-            echo_ts "Exceeded maximum retry attempts. Exiting."
-            exit 1
-        fi
-        sleep 5
-    done
-}
-
 fund_account_on_l1() {
     name="$1"
     address="$2"
@@ -334,9 +320,18 @@ fi
 # finalized block
 l1_preset="{{.l1_preset}}"
 if [[ $l1_preset == "minimal" ]]; then
-    wait_for_finalized_block
+    # This might not be required, but it seems like the downstream
+    # processes are more reliable if we wait for all of the deployments to
+    # finalize before moving on
+    current_block_number="$(cast block-number --rpc-url '{{.l1_rpc_url}}')"
+    finalized_block_number=0
+    until [[ $finalized_block_number -gt $current_block_number ]]; do
+        sleep 5
+        finalized_block_number="$(cast block-number --rpc-url '{{.l1_rpc_url}}' finalized)"
+    done
 fi
 
 # The contract setup is done!
 touch "/opt/zkevm/.init-complete{{.deployment_suffix}}.lock"
 
+
diff --git a/templates/trusted-node/cdk-node-config.toml b/templates/trusted-node/cdk-node-config.toml
index 8ce7946c..5d17412f 100644
--- a/templates/trusted-node/cdk-node-config.toml
+++ b/templates/trusted-node/cdk-node-config.toml
@@ -45,10 +45,14 @@ Outputs = ["stderr"]
         VerifyProofInterval = "10s"
         GasOffset = 150000
         SettlementBackend = "agglayer"
+[RPC]
+        Port = {{.zkevm_cdk_node_port}}
 
 [AggSender]
 CertificateSendInterval = "1m"
 CheckSettledInterval = "5s"
+MaxCertSize = 102760448
+SaveCertificatesToFilesPath="/tmp"
 
 [L1InfoTreeSync]
 # The initial block number from which to start syncing.