# Polygon zkEVM

Markdown version of https://ethbeat.org/layer2s/projects/polygonzkevm

## Summary

**Warning:** Why is the project listed in others? There is no data availability bridge. Consequence: projects without a data availability bridge fully rely on single entities (the sequencer) to honestly rely available data roots on Ethereum. A malicious sequencer can collude with the proposer to finalize an unavailable state, which can cause loss of funds. The proof system isn't fully functional. Consequence: projects without a proper proof system fully rely on single entities to safely update the state. A malicious proposer can finalize an invalid state, which can cause loss of funds. Learn more about the [recategorisation](https://medium.com/l2beat/framework-update-l2-projects-recategorisation-5d43b0d1fe50).

- Total Value Secured: $9.37 M (+1.60% compared to seven days ago; canonically bridged $7.63 M, natively minted $0.00, externally bridged $1.74 M; 18.5% with additional trust assumptions compared to the tokens involved and the Stage assigned to the project's canonical messaging bridge)
- TVS by asset: ETH & derivatives $5.43 M (57.9%), Stablecoins $2.68 M (28.6%), BTC & derivatives $739.85 K (7.89%), Other $505.76 K (5.39%), Public RWAs $11.45 K (0.12%)
- Associated tokens: POL, MATIC: $158.04 K (1.68% of TVS)
- Past day UOPS: No data
- Gas token: ETH
- Type: Other
- Purpose: Universal
- Host chain: Ethereum
- Chain ID: 1101

### Risks

- Sequencer failure: No mechanism (sentiment: bad)
- State validation: None (sentiment: bad)
- Data availability: External (sentiment: bad)
- Exit window: None (sentiment: bad)
- Proposer failure: Cannot withdraw (sentiment: bad)

### About

Polygon zkEVM is an EVM-compatible L2 built by Polygon Labs.

### Links

- Website: https://polygon.technology/polygon-zkevm
- Bridge: https://portal.polygon.technology/bridge
- Docs: https://docs.polygon.technology/zkEVM/
- Explorer: https://zkevm.polygonscan.com/
- Repository: https://github.com/0xPolygon/zkevm-node, https://github.com/0xPolygon/
- Social: https://x.com/0xPolygon, https://t.me/polygonofficial, https://reddit.com/r/0xPolygon/, https://discord.com/invite/0xPolygonCommunity, https://discord.com/invite/0xpolygonRnD, https://polygon.technology/blog
- Other: https://rollup.codes/polygon-zkevm, https://growthepie.com/chains/polygon-zkevm
- Contracts explorer (Disco): https://disco.ethbeat.org/ui/p/polygonzkevm

### Badges

- Custom DA solution: This project is using a custom DA solution
- Part of the Agglayer: The project is part of the Agglayer, meaning that it uses the shared Agglayer contracts

## Value Secured

The interactive TVS charts are shown on [the HTML page](https://ethbeat.org/layer2s/projects/polygonzkevm#tvs).

Token by token: [TVS breakdown](https://ethbeat.org/layer2s/projects/polygonzkevm/tvs-breakdown).

- [TVS chart (JSON)](https://ethbeat.org/api/scaling/tvs/polygonzkevm)
- [TVS breakdown by token (JSON)](https://ethbeat.org/api/scaling/tvs/polygonzkevm/breakdown)

## Activity

The interactive activity chart is shown on [the HTML page](https://ethbeat.org/layer2s/projects/polygonzkevm#activity).

- [Activity chart (JSON)](https://ethbeat.org/api/scaling/activity/polygonzkevm)

## Onchain costs

The section shows the operating costs that L2s pay to Ethereum.

The interactive costs chart is shown on [the HTML page](https://ethbeat.org/layer2s/projects/polygonzkevm#onchain-costs).

### Tracked transactions

#### Batch submissions

- functionCall: 2025-01-15 12:16 UTC - 2025-12-03 09:13 UTC; historical; address: [0x519E42c24163192Dca44CD3fBDCEBF6be9130987](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987); selector: 0xb910e0f9; signature: `function sequenceBatches(tuple(bytes transactions, bytes32 forcedGlobalExitRoot, uint64 forcedTimestamp, bytes32 forcedBlockHashL1)[] batches, uint32 l1InfoTreeLeafCount, uint64 maxSequenceTimestamp, bytes32 expectedFinalAccInputHash, address l2Coinbase)`

#### State updates

- functionCall: 2024-02-13 11:00 UTC - 2025-12-03 09:13 UTC; historical; address: [0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2](https://etherscan.io/address/0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2); selector: 0x1489ed10; signature: `function verifyBatchesTrustedAggregator(uint32,uint64,uint64,uint64,bytes32,bytes32,address,bytes32[24])`

## Milestones & Incidents

- 2025-12-03: [Migration to Pessimistic Proofs](https://etherscan.io/tx/0xd8eb9f7bf7594d047e0c8b254b3893eb05daf692b1688adaacd21af144efe2a5#eventlog). Polygon zkEVM stops validating the full L2 state and moves to bridge accounting proofs.
- 2024-02-13: [Polygon zkEVM Etrog upgrade](https://docs.polygon.technology/tools/zkevm/architecture/protocol/etrog-upgrade). Polygon zkEVM is upgraded to the Polygon Etrog version.
- 2023-03-27: [Polygon zkEVM Mainnet Beta is Live](https://polygon.technology/blog/polygon-zkevm-mainnet-beta-is-live?utm_source=twitter&utm_medium=social&utm_campaign=zkevm-launch&utm_term=mainnet-beta-live&utm_content=blog). Polygon zkEVM public beta launched.

## Risk summary

### Funds can be stolen if

1. the operator manipulates the L2 state, which is not validated on Ethereum (CRITICAL),
2. a contract receives a malicious code upgrade. There is no delay on code upgrades (CRITICAL).

### Funds can be lost if

3. the accounting proof system for the bridge (pessimistic proofs, SP1) is implemented incorrectly.

### Users can be censored if

4. the operator refuses to include their transactions.

## Risk analysis

### Sequencer failure

No mechanism (sentiment: bad)

There is no mechanism to have transactions be included if the sequencer is down or censoring. Although the functionality exists in the code, it is currently disabled.

### State validation

None (sentiment: bad)

Currently the system permits invalid state roots. 'Pessimistic' proofs only validate the bridge accounting.

### Data availability

External (sentiment: bad)

Proof construction and state derivation rely fully on data that is NOT published onchain.

### Exit window

None (sentiment: bad)

There is no window for users to exit in case of an unwanted upgrade since contracts are instantly upgradable.

### Proposer failure

Cannot withdraw (sentiment: bad)

Only the whitelisted proposers can publish state roots on L1, so in the event of failure the withdrawals are frozen.

## Data availability

### Data is not stored on chain

Transaction data is kept off-chain. Bridge accounting is protected by pessimistic proofs while L2 state transitions are not proven on Ethereum.

## Upgrades & Governance

![A diagram of the upgrades and governance](https://ethbeat.org/static/images/upgrades-and-governance/agglayer.ae370aa3.png)

The regular upgrade process for shared system contracts and L2-specific validium contracts starts at the PolygonAdminMultisig. For the shared contracts, they schedule a transaction that targets the ProxyAdmin via the Timelock, wait for 3d and then execute the upgrade. An upgrade of the Layer 2 specific validium contract requires first adding a new rollupType through the Timelock and the AgglayerManager (defining the new implementation and verifier contracts). Now that the rollupType is created, either the local admin or the PolygonAdminMultisig can immediately upgrade the local system contracts to it. Chains using pessimistic proofs often have completely sovereign upgrade paths from the ones described here, but the shared contracts still remain relevant to them because they use them as escrow.

The PolygonSecurityCouncil can expedite the upgrade process by declaring an emergency state. This state pauses both the shared bridge and the AgglayerManager and allows for instant upgrades through the timelock. Accordingly, instant upgrades for all system contracts are possible with the cooperation of the SecurityCouncil. The emergency state has been activated 1 time(s) since inception.

Furthermore, the PolygonAdminMultisig is permissioned to manage the shared trusted aggregator (proposer and prover) for all participating Layer 2s, deactivate the emergency state, obsolete rollupTypes and manage operational parameters and fees in the AgglayerManager directly. The local admin of a specific Aggchain can manage their chain by choosing the trusted sequencer, manage forced batches and set the data availability config. For sovereign chains using pessimistic proofs they can manage any proof logic that might be used on top of the minimal pessimistic one. Creating new Layer 2s (of existing rollupType) is outsourced to the PolygonCreateRollupMultisig but can also be done by the PolygonAdminMultisig. Custom non-shared bridge escrows have their custom upgrade admins listed in the permissions section.

### Past upgrades

The metrics include upgrades on the currently used proxy contracts. Historical proxy contracts and changes of such are not included.

- Count of upgrades: 13
- Last upgrade: 11mo 6d ago
- Avg upgrade interval: 8mo 4d

- 2025-12-03 09:13 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0xd8eb9f7bf7594d047e0c8b254b3893eb05daf692b1688adaacd21af144efe2a5](https://etherscan.io/tx/0xd8eb9f7bf7594d047e0c8b254b3893eb05daf692b1688adaacd21af144efe2a5), implementations: [0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21](https://etherscan.io/address/0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21#code) ([diff](https://disco.ethbeat.org/diff/eth:0x7253F329302b1b5E774Ac641EA3743E9E3244f2E/eth:0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21))
- 2025-10-29 14:11 UTC, upgrade of [AgglayerGateway](https://etherscan.io/address/0x046Bb8bb98Db4ceCbB2929542686B74b516274b3#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49](https://etherscan.io/address/0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49#code) ([diff](https://disco.ethbeat.org/diff/eth:0x7bB0e8f1950722694929dB392abA805AAc6e9346/eth:0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49))
- 2025-10-29 14:11 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0x66E0120e3c965552a89AcC37b03f762624baC5Ad](https://etherscan.io/address/0x66E0120e3c965552a89AcC37b03f762624baC5Ad#code) ([diff](https://disco.ethbeat.org/diff/eth:0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b/eth:0x66E0120e3c965552a89AcC37b03f762624baC5Ad))
- 2025-10-29 14:11 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5](https://etherscan.io/address/0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5#code) ([diff](https://disco.ethbeat.org/diff/eth:0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48/eth:0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5))
- 2025-06-23 14:46 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3](https://etherscan.io/tx/0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3), implementations: [0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b](https://etherscan.io/address/0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b#code) ([diff](https://disco.ethbeat.org/diff/eth:0x0FeB850B183C57534b56b7d56520133C8f9BDB65/eth:0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b))
- 2025-06-23 14:46 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3](https://etherscan.io/tx/0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3), implementations: [0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48](https://etherscan.io/address/0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48#code) ([diff](https://disco.ethbeat.org/diff/eth:0x9Bdda421219900454E94e01d641fE64c60D8f4C8/eth:0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48))
- 2025-06-16 15:27 UTC, deployment of [AgglayerGateway](https://etherscan.io/address/0x046Bb8bb98Db4ceCbB2929542686B74b516274b3#code): transaction [0xe7c64d567589723d0920e6104296a434fb24193d2ccd33814d0b3fd753be5db2](https://etherscan.io/tx/0xe7c64d567589723d0920e6104296a434fb24193d2ccd33814d0b3fd753be5db2), implementations: [0x7bB0e8f1950722694929dB392abA805AAc6e9346](https://etherscan.io/address/0x7bB0e8f1950722694929dB392abA805AAc6e9346#code)
- 2025-01-15 12:16 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x9328cfd3d2833dca2d0ea16fbb34f8fc096c26ca8334476c5bf7107f32436029](https://etherscan.io/tx/0x9328cfd3d2833dca2d0ea16fbb34f8fc096c26ca8334476c5bf7107f32436029), implementations: [0x7253F329302b1b5E774Ac641EA3743E9E3244f2E](https://etherscan.io/address/0x7253F329302b1b5E774Ac641EA3743E9E3244f2E#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x7253F329302b1b5E774Ac641EA3743E9E3244f2E))
- 2024-10-30 11:11 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x8c1be5b5d844d6e04b2c224cd810cda091d70e6d5c2e5e0464993f7df1ab8403](https://etherscan.io/tx/0x8c1be5b5d844d6e04b2c224cd810cda091d70e6d5c2e5e0464993f7df1ab8403), implementations: [0x9Bdda421219900454E94e01d641fE64c60D8f4C8](https://etherscan.io/address/0x9Bdda421219900454E94e01d641fE64c60D8f4C8#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2E38cD55163137483E30580Cb468C2dFf1d85077/eth:0x9Bdda421219900454E94e01d641fE64c60D8f4C8))
- 2024-10-01 14:22 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x069690e412d29d96bc94d6bf5c816e43bb401cbf948f3e3cad261e073e2d2afe](https://etherscan.io/tx/0x069690e412d29d96bc94d6bf5c816e43bb401cbf948f3e3cad261e073e2d2afe), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-03-24 23:36 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x67e892c44b9d14709693e74dd5e17fb40d98c8c2cc1c5330265e758e8958a01b](https://etherscan.io/tx/0x67e892c44b9d14709693e74dd5e17fb40d98c8c2cc1c5330265e758e8958a01b), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-03-14 12:25 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0xeba0bc3b2674c961c5a998f22f789ea610a7c3e57e622a4dd951cca2702b8be3](https://etherscan.io/tx/0xeba0bc3b2674c961c5a998f22f789ea610a7c3e57e622a4dd951cca2702b8be3), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-02-13 11:00 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24](https://etherscan.io/tx/0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24), implementations: [0x0FeB850B183C57534b56b7d56520133C8f9BDB65](https://etherscan.io/address/0x0FeB850B183C57534b56b7d56520133C8f9BDB65#code) ([diff](https://disco.ethbeat.org/diff/eth:0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C/eth:0x0FeB850B183C57534b56b7d56520133C8f9BDB65))
- 2024-02-13 11:00 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24](https://etherscan.io/tx/0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24), implementations: [0x2E38cD55163137483E30580Cb468C2dFf1d85077](https://etherscan.io/address/0x2E38cD55163137483E30580Cb468C2dFf1d85077#code) ([diff](https://disco.ethbeat.org/diff/eth:0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3/eth:0x2E38cD55163137483E30580Cb468C2dFf1d85077))
- 2024-01-27 14:16 UTC, deployment of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x4e3fc80071c2d0852584cb59bfcd784519bfb3582aa3334098a4b32b5f6aaef4](https://etherscan.io/tx/0x4e3fc80071c2d0852584cb59bfcd784519bfb3582aa3334098a4b32b5f6aaef4), implementations: [0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0](https://etherscan.io/address/0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0#code)
- 2023-12-30 14:05 UTC, deployment of [wstETHBridge](https://etherscan.io/address/0xf0CDE1E7F0FAD79771cd526b1Eb0A12F69582C01#code): transaction [0x12c54f4243dc8e3b41be87984b78248eecbf98b92e30ff10b487be2599d7e3a1](https://etherscan.io/tx/0x12c54f4243dc8e3b41be87984b78248eecbf98b92e30ff10b487be2599d7e3a1), implementations: [0x18FED1E19dC564DC917D203be9d40790472D22e9](https://etherscan.io/address/0x18FED1E19dC564DC917D203be9d40790472D22e9#code)
- 2023-11-16 09:12 UTC, deployment of [usdcBridge](https://etherscan.io/address/0x70E70e58ed7B1Cec0D8ef7464072ED8A52d755eB#code): transaction [0x6402dc60bb9c4f704f126f4b11e40b33c287b4ac7f73ea60c50d7452d52ce735](https://etherscan.io/tx/0x6402dc60bb9c4f704f126f4b11e40b33c287b4ac7f73ea60c50d7452d52ce735), implementations: [0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6](https://etherscan.io/address/0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6#code)
- 2023-09-20 08:44 UTC, deployment of [daiBridge](https://etherscan.io/address/0x4A27aC91c5cD3768F140ECabDe3FC2B2d92eDb98#code): transaction [0x2c7c12aeaf738701352017fc49f5268db9632b84bdc6f76474e6776371f53b7e](https://etherscan.io/tx/0x2c7c12aeaf738701352017fc49f5268db9632b84bdc6f76474e6776371f53b7e), implementations: [0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b](https://etherscan.io/address/0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b#code)
- 2023-03-24 10:19 UTC, deployment of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x9946be78d6c6d19dd1c6c7134a8fac27e76d32cad36dae2398d28fe6ff838f10](https://etherscan.io/tx/0x9946be78d6c6d19dd1c6c7134a8fac27e76d32cad36dae2398d28fe6ff838f10), implementations: [0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3](https://etherscan.io/address/0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3#code)
- 2023-03-24 10:18 UTC, deployment of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0x28f93532243dd8a8cc92ce630ef1920f40de15af7db2903efbf42f21fdf8152c](https://etherscan.io/tx/0x28f93532243dd8a8cc92ce630ef1920f40de15af7db2903efbf42f21fdf8152c), implementations: [0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C](https://etherscan.io/address/0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C#code)

## Updates

Each date links the update on the HTML page, which also shows its contract diffs.

### [2025-12-05 14:20 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=e8f1a658) (high severity, 52 changes)

removal of the rollup proof system, leaving only the pessimistic proofs for the agglayer shared bridge.

### [2025-12-02 09:49 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=8c4fe102) (1 change)

Rotated trusted sequencer.

### [2025-07-22 13:48 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=9b0f98a1) (1 change)

Updated Fflonk verifier in the initial addresses to the correct one.

### [2025-07-14 12:45 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=e0fdaad6) (6 changes)

Discovery rerun on the same block number with only config-related changes.

### [2025-01-15 13:18 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=82551d54) (high severity, 4 changes)

Polygon zkEVM upgraded to rollupTypeID 6 (prev 5), this is called [the servicing update](https://polygon.technology/blog/polygon-zkevm-servicing-update-coming-to-mainnet-beta), and was deployed onchain in oct 2024. It adds minor changes like `rollbackBatches()` for batches that are not yet verified and allows local chain admins to upgrade to already-deployed new versions for their chain.

### [2024-10-01 15:37 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=e03da2a7) (2 changes)

PolygonZkEVMEtrog upgrades to RollupType 5. The consensus implementation is identical but the verifier was upgraded for the [Eggfruit upgrade](https://polygon.technology/blog/eggfruit-upgrade-incoming-polygon-zkevm-mainnet-beta-will-see-the-cdk-erigon-sequencer-go-live). TLDR: New Sequencer algo, double zkCounters for proofs. New verifier added to ZKCatalog

### [2024-04-02 11:20 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=48cee77f) (13 changes)

Provide description of changes. This section will be preserved.

### [2024-03-25 09:16 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=e974f531) (high severity, 8 changes)

A bug stalled the chain for 13 hours and the emergency state was activated in response. A new rollup type was added to update the Polygon zkEVM verifier. The emergency state was then deactivated. We are waiting for the post-mortem.

### [2024-03-15 14:22 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=f49e8a37) (high severity, 8 changes)

- Relatively small changes to `PolygonZkEVMExistentEtrog` which now is called `PolygonZkEVMEtrog`
- New FFlonkVerifier (`0x4AaBBA26EA9E7A7fbD052d17a167e6aE3F8eC7Be`) for PolygonzkEVM. The previous FFlonkVerifier is still used by Astar Validium. Because of the change there are now two RollupTypes.

#### PolygonZkEVMExistentEtrog

Contract name has changed to `PolygonZkEVMEtrog`. The method `seqenceBatches` now takes to additional parameters: `maxSequenceTimestamp` and `initSequencedBatch`. It is an additional safety measure, the `maxSequenceTimestamp` must be inside a safety range (actual + 36 seconds). This timestamp should be equal or higher of the last block inside the sequence, otherwise this batch will be invalidated by circuit.

### [2024-03-14 11:46 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=d529ebdc) (9 changes)

Added a Validium - AstarZKEVM.
The validium is owned by AstarValidiumAdmin that itself is owned by AstarValidiumMultisig.

A trusted aggregator has been added that is an [EOA](https://etherscan.io/address/0x20A53dCb196cD2bcc14Ece01F358f1C849aA51dE).
On 2024-02-29 [willbutton.eth](https://etherscan.io/tx/0x760fd86f9453477e23df16def04777fb6282dda9f8546e93b2f7b866467b2e49) sent some eth to that address.
A day later it was given 5ETH by a [multisig](https://etherscan.io/address/0xc984295ad7a950fb5031154bcfc0b6267b948706) and 20ETH a week later by the same multisig.
The account has been calling `verifyBatchesTrustedAggregator()` starting from 2024-03-04 and does so around once an hour.
We don't have that multisig in any discovery.
The trusted aggregator can call `verifyBatchesTrustedAggregator()`, `overridePendingState()` as well as `consolidatePendingState()` skipping all timeout restrictions.

### [2024-02-22 11:24 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=ee97814d) (3 changes)

Added way to discover rollups added to the RollupManager. Currently we do not support ignoring nested values.

### [2024-02-14 14:38 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=c73a2551) (high severity, 65 changes)

It is now possible to attach many rollups to the same system. Polygon zkEVM is the first one of those. The rollup manager manages roots proposal and the single rollups manage tx data sequencing and forced transactions. Most of the params and roles are now shared. The rest is mostly similar.

### [2024-01-11 15:48 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=33bb4c1f) (1 change)

The EscrowsAdmin multisig threshold is updated - now 5/10. Nonce is ignored.

### [2023-11-10 10:41 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=2f6320dc) (high severity, 9 changes)

PolygonZkEVM has changed its implementation because PolygonZkEVMUpgraded - the
contract at the implementation address - needed to be redeployed. This is
because PolygonZkEVMUpgraded has FflonkVerifier hardcoded and because it was
also redeployed to change two circuit parameters (C_0x and C0y) to update to the
new address the whole contract needed to be redeployed. We can't peer into the
actual change that took place because it's around the zk circuit.

### [2023-10-02 13:55 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=b247ec0c) (1 change)

### [2023-09-26 13:22 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=10356f23) (2 changes)

### [2023-09-22 11:25 UTC](https://ethbeat.org/layer2s/projects/polygonzkevm?update=d1f3dc56) (high severity, 9 changes)

## Operator

### Users can't force any transaction

There is no general mechanism to force the sequencer to include the transaction.

**Risks**

- Users can be censored if the operator refuses to include their transactions.

## Withdrawals

### Regular messaging

The user initiates L2->L1 messages by submitting a regular transaction on this chain. When the block containing that transaction is settled, the message becomes available for processing on L1. ZK proofs are required to settle blocks.

**References**

- [AgglayerBridge.sol - source code, claimAsset function](https://etherscan.io/address/0x66E0120e3c965552a89AcC37b03f762624baC5Ad#code)

## Other considerations

### Shared bridge and Pessimistic Proofs

Polygon Agglayer uses a shared bridge escrow for Rollups, Validiums and external chains that opt in to participate in interoperability. Each participating chain needs to provide zk proofs to access any assets in the shared bridge. In addition to the full execution proofs that are used for the state validation of Rollups and Validiums, accounting proofs over the bridges state (Polygon calls them 'Pessimistic Proofs') are used by external chains (cdk-erigon-sovereign and cdk-opgeth-sovereign variants). Using the SP1 zkVM by Succinct, even projects without a full proof system on Ethereum are able to share the bridge with any other Aggchain without adding additional trust assumptions.

**Risks**

- Funds can be lost if the accounting proof system for the bridge (pessimistic proofs, SP1) is implemented incorrectly.
- Funds can be stolen if the operator manipulates the L2 state, which is not validated on Ethereum (CRITICAL).

**References**

- [Pessimistic Proof - Polygon Knowledge Layer](https://docs.polygon.technology/cdk/concepts/pessimistic-proofs)
- [Etherscan: AgglayerManager.sol - verifyPessimisticTrustedAggregator() function](https://etherscan.io/address/0x15cAF18dEd768e3620E0f656221Bf6B400ad2618#code#F1#L1300)

## Permissions

Explore these contracts and permissions in Disco, ETHBEAT's contract explorer: https://disco.ethbeat.org/ui/p/polygonzkevm

### Ethereum

#### Actors

##### PolygonAdminMultisig

Addresses: [0x242daE44F5d8fb54B198D03a94dA45B5a4413e21](https://etherscan.io/address/0x242daE44F5d8fb54B198D03a94dA45B5a4413e21)

A Multisig with 5/9 threshold.
- Can upgrade **with 3d delay**
  - AgglayerGateway [via: Timelock with 3d delay (no delay if in emergency state) → SharedProxyAdmin]
  - AgglayerBridge [via: Timelock with 3d delay (no delay if in emergency state) → SharedProxyAdmin]
  - AgglayerManager [via: Timelock with 3d delay (no delay if in emergency state) → SharedProxyAdmin]
  - AgglayerGER [via: Timelock with 3d delay (no delay if in emergency state) → SharedProxyAdmin]
- Can interact with AgglayerGateway
  - add new routes from proof selector to verifier / pessimisticVkey for pessimistic proofs **with 3d delay** [via: Timelock with 3d delay (no delay if in emergency state)]
  - add or update default aggchain verification keys (aggchainVkey) for any given selectors
  - change the aggchainSigners and threshold (a multisig used for permissioned state transitions)
  - freeze routes from proof selector to verifier / pessimisticVkey for pessimistic proofs
- Can interact with AgglayerBridge
  - upgrade the implementation of wrapped tokens deployed by the bridge **with 3d delay** [via: Timelock with 3d delay (no delay if in emergency state)]
- Can interact with AgglayerManager
  - deploy new projects that use predefined rollup types (implementations) and connect them or other Agglayer chains to the PolygonRollupManager
  - manage all access control roles, add new rollup types (which are implementation contracts that can then be upgraded to by connected projects), update any connected projects to new rollup types, migrate to pessimistic proofs and rollback batches, connect existing rollups to the PolygonRollupManager **with 3d delay** [via: Timelock with 3d delay (no delay if in emergency state)]
  - manage parameters like fees for all connected projects, set the trusted aggregator, stop the emergency state, update projects and obsolete rollup types
- Can interact with AggchainECDSAMultisig
  - replace the aggchainSigners and the signature threshold (which sign the state transitions of this aggchain), switch to the default signers of the AgglayerGateway, upgrade the aggchain to a newer rollup type of the same aggchain type registered in the AgglayerManager, set the aggchain metadata manager and transfer the aggchainManager role
  - set the trusted sequencer address
  - sole address that can force batches
- Can interact with Timelock
  - propose, cancel and execute transactions in the timelock, manage all access control roles and change the minimum delay **with 6d delay or with 3d delay** [via: Timelock with 3d delay (no delay if in emergency state) with 3d delay (no delay if in emergency state) - or - acting directly with 3d delay (no delay if in emergency state)]

Participants (9): [0xEB5EeE1F1650b821E0d3a87C1341d85b3a16EA72](https://etherscan.io/address/0xEB5EeE1F1650b821E0d3a87C1341d85b3a16EA72), [0xAb3506507449bF1880f3337825efd19ac89E235E](https://etherscan.io/address/0xAb3506507449bF1880f3337825efd19ac89E235E), [0xf02BE0dA37dB50BEFA5a525158aa94b50F81D4B2](https://etherscan.io/address/0xf02BE0dA37dB50BEFA5a525158aa94b50F81D4B2), [0xdFEd8373695a7b3DaF268CF91e71f6a7024A56Da](https://etherscan.io/address/0xdFEd8373695a7b3DaF268CF91e71f6a7024A56Da), [0xffbfc0c8331C5fc912DDA3C6D4A86eEB80203238](https://etherscan.io/address/0xffbfc0c8331C5fc912DDA3C6D4A86eEB80203238), [0xeD44D1CFfB91e163CB7126bdEeA83959f175dB37](https://etherscan.io/address/0xeD44D1CFfB91e163CB7126bdEeA83959f175dB37), [0x516eEcfb38aA308c5f1878497108c7d054fd46B7](https://etherscan.io/address/0x516eEcfb38aA308c5f1878497108c7d054fd46B7), [0x21618593F7147235aC8D511d68A547C935F9d417](https://etherscan.io/address/0x21618593F7147235aC8D511d68A547C935F9d417), [0x8B9F18bcDD5838bB1bd4B3d6410e45DF813b782B](https://etherscan.io/address/0x8B9F18bcDD5838bB1bd4B3d6410e45DF813b782B)

Used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#PolygonAdminMultisig), [Katana](https://ethbeat.org/layer2s/projects/katana#PolygonAdminMultisig), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#PolygonAdminMultisig), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#PolygonAdminMultisig), [Silicon](https://ethbeat.org/layer2s/projects/silicon#PolygonAdminMultisig), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#PolygonAdminMultisig)

##### AgglayerManager

Addresses: [0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2](https://etherscan.io/address/0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2)

The central shared managing contract for Polygon Agglayer chains. This contract coordinates chain deployments and proof validation. All connected Layer 2s can be globally paused by activating the 'Emergency State'. This can be done by the PolygonSecurityCouncil or by anyone after 1 week of inactive verifiers.
- Can upgrade **with no delay**
  - AggchainECDSAMultisig

Used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#AgglayerManager), [Katana](https://ethbeat.org/layer2s/projects/katana#AgglayerManager), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#AgglayerManager), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#AgglayerManager), [Silicon](https://ethbeat.org/layer2s/projects/silicon#AgglayerManager), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#AgglayerManager)

##### PolygonSecurityCouncil

Addresses: [0x37c58Dfa7BF0A165C5AAEdDf3e2EdB475ac6Dcb6](https://etherscan.io/address/0x37c58Dfa7BF0A165C5AAEdDf3e2EdB475ac6Dcb6)

A Multisig with 6/8 threshold.
- Can interact with AgglayerManager
  - activate the emergency state in the PolygonRollupManager and in the shared bridge immediately, effectively pausing all projects connected to them and making system contracts instantly upgradable

Participants (8): [0xFe45baf0F18c207152A807c1b05926583CFE2e4b](https://etherscan.io/address/0xFe45baf0F18c207152A807c1b05926583CFE2e4b), [0xaF46a0ddf80DFFB49C87656625E65A37499B261D](https://etherscan.io/address/0xaF46a0ddf80DFFB49C87656625E65A37499B261D), [0xBDc235cC9d6Baa641c5ae306bc83962475A5FEFf](https://etherscan.io/address/0xBDc235cC9d6Baa641c5ae306bc83962475A5FEFf), [0x4c1665d6651ecEfa59B9B3041951608468b18891](https://etherscan.io/address/0x4c1665d6651ecEfa59B9B3041951608468b18891), [0x3ab9f4b964eE665F7CDf1d65f1cEEc6196B0D622](https://etherscan.io/address/0x3ab9f4b964eE665F7CDf1d65f1cEEc6196B0D622), [0x49c15936864690bCd6af0ecaca8E874adFF30E86](https://etherscan.io/address/0x49c15936864690bCd6af0ecaca8E874adFF30E86), [0x9F7dfAb2222A473284205cdDF08a677726d786A0](https://etherscan.io/address/0x9F7dfAb2222A473284205cdDF08a677726d786A0), [0x21887c89368bf918346c62460e0c339113801C28](https://etherscan.io/address/0x21887c89368bf918346c62460e0c339113801C28)

Used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#PolygonSecurityCouncil), [Katana](https://ethbeat.org/layer2s/projects/katana#PolygonSecurityCouncil), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#PolygonSecurityCouncil), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#PolygonSecurityCouncil), [Silicon](https://ethbeat.org/layer2s/projects/silicon#PolygonSecurityCouncil), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#PolygonSecurityCouncil)

##### PolygonCreateRollupMultisig

Addresses: [0xC74eFc7fdb3BeC9c6930E91FFDF761b160dF79dB](https://etherscan.io/address/0xC74eFc7fdb3BeC9c6930E91FFDF761b160dF79dB)

A Multisig with 3/5 threshold.
- Can interact with AgglayerManager
  - deploy new projects that use predefined rollup types (implementations) and connect them or other Agglayer chains to the PolygonRollupManager

Participants (5): [0x516eEcfb38aA308c5f1878497108c7d054fd46B7](https://etherscan.io/address/0x516eEcfb38aA308c5f1878497108c7d054fd46B7), [0x3038B4DBf022E80169b2A068290d4a3A8b87D3b5](https://etherscan.io/address/0x3038B4DBf022E80169b2A068290d4a3A8b87D3b5), [0xD9478f759a13Bfa1d9dAB3cDF5ff0C099d5EfCFC](https://etherscan.io/address/0xD9478f759a13Bfa1d9dAB3cDF5ff0C099d5EfCFC), [0xEB5EeE1F1650b821E0d3a87C1341d85b3a16EA72](https://etherscan.io/address/0xEB5EeE1F1650b821E0d3a87C1341d85b3a16EA72), [0xFd6F4310817fCa819Fc59671DEFFad218136d56A](https://etherscan.io/address/0xFd6F4310817fCa819Fc59671DEFFad218136d56A)

Used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#PolygonCreateRollupMultisig), [Katana](https://ethbeat.org/layer2s/projects/katana#PolygonCreateRollupMultisig), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#PolygonCreateRollupMultisig), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#PolygonCreateRollupMultisig), [Silicon](https://ethbeat.org/layer2s/projects/silicon#PolygonCreateRollupMultisig), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#PolygonCreateRollupMultisig)

##### Polygon zkEVM Multisig

Addresses: [0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904](https://etherscan.io/address/0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904)

A Multisig with 5/10 threshold.
- Can upgrade **with no delay**
  - daiBridge
  - usdcBridge
  - wstETHBridge

Participants (10): [0x099198353446A9E3a20672eDC1Bd461E978842c3](https://etherscan.io/address/0x099198353446A9E3a20672eDC1Bd461E978842c3), [0xb771380f912E4b5F6beDdf81314C383c13F16ab5](https://etherscan.io/address/0xb771380f912E4b5F6beDdf81314C383c13F16ab5), [0xD09971D8ed6C6a5e57581e90d593ee5B94e348D4](https://etherscan.io/address/0xD09971D8ed6C6a5e57581e90d593ee5B94e348D4), [0xc4591c41e01a7a654B5427f39Bbd1dEe5bD45D1D](https://etherscan.io/address/0xc4591c41e01a7a654B5427f39Bbd1dEe5bD45D1D), [0xE6Ee0F8D81170160d50ed77b9C91E6219473d43a](https://etherscan.io/address/0xE6Ee0F8D81170160d50ed77b9C91E6219473d43a), [0xd1B856ee12Bd00922cae8DD86ab068f8c0F95224](https://etherscan.io/address/0xd1B856ee12Bd00922cae8DD86ab068f8c0F95224), [0xF53D1fB2EeD22Cf1E8f7E90Da7f1CAe88344065F](https://etherscan.io/address/0xF53D1fB2EeD22Cf1E8f7E90Da7f1CAe88344065F), [0xf56AE6520776934127AB68438d1b4652BCe07F8f](https://etherscan.io/address/0xf56AE6520776934127AB68438d1b4652BCe07F8f), [0x4DE44Aa0Ef9DB64DF3eB3465d35D73d0409d44ed](https://etherscan.io/address/0x4DE44Aa0Ef9DB64DF3eB3465d35D73d0409d44ed), [0x4E83124eD15b13265240B61EC9627797CCE1032E](https://etherscan.io/address/0x4E83124eD15b13265240B61EC9627797CCE1032E)

##### EOA 1

Addresses: [0xD6f0FEEaAB8EAc205b182D51AE05B588a132Be5A](https://etherscan.io/address/0xD6f0FEEaAB8EAc205b182D51AE05B588a132Be5A)

- Can interact with AggchainECDSAMultisig
  - sign state transitions (replaces state validation for this aggchain)

##### EOA 2

Addresses: [0x20A53dCb196cD2bcc14Ece01F358f1C849aA51dE](https://etherscan.io/address/0x20A53dCb196cD2bcc14Ece01F358f1C849aA51dE)

- Can interact with AgglayerManager
  - Permissioned to post new state roots and global exit roots accompanied by ZK proofs

Used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#EOA%203), [Katana](https://ethbeat.org/layer2s/projects/katana#EOA%204), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#EOA%203), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#EOA%203), [Silicon](https://ethbeat.org/layer2s/projects/silicon#EOA%204), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#EOA%206)

## Smart contracts

![A diagram of the smart contract architecture](https://ethbeat.org/static/images/architecture/agglayer-pessimistic.8e7450d4.png)

Explore these contracts and permissions in Disco, ETHBEAT's contract explorer: https://disco.ethbeat.org/ui/p/polygonzkevm

### Ethereum

#### AggchainECDSAMultisig

Addresses: [0x519E42c24163192Dca44CD3fBDCEBF6be9130987](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code), [0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21](https://etherscan.io/address/0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21#code) (Implementation (Upgradable)), [0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2](https://etherscan.io/address/0x5132A183E9F3CB7C848b0AAC5Ae0c4f0491B7aB2#code) (Admin)

**Past upgrades** (Count of upgrades: 5, Last upgrade: 11mo 6d ago, Avg upgrade interval: 5mo 18d)

- 2025-12-03 09:13 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0xd8eb9f7bf7594d047e0c8b254b3893eb05daf692b1688adaacd21af144efe2a5](https://etherscan.io/tx/0xd8eb9f7bf7594d047e0c8b254b3893eb05daf692b1688adaacd21af144efe2a5), implementations: [0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21](https://etherscan.io/address/0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21#code) ([diff](https://disco.ethbeat.org/diff/eth:0x7253F329302b1b5E774Ac641EA3743E9E3244f2E/eth:0x0D49fD0d79723e4D24AaC83f604ED2D3d5fC0f21))
- 2025-01-15 12:16 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x9328cfd3d2833dca2d0ea16fbb34f8fc096c26ca8334476c5bf7107f32436029](https://etherscan.io/tx/0x9328cfd3d2833dca2d0ea16fbb34f8fc096c26ca8334476c5bf7107f32436029), implementations: [0x7253F329302b1b5E774Ac641EA3743E9E3244f2E](https://etherscan.io/address/0x7253F329302b1b5E774Ac641EA3743E9E3244f2E#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x7253F329302b1b5E774Ac641EA3743E9E3244f2E))
- 2024-10-01 14:22 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x069690e412d29d96bc94d6bf5c816e43bb401cbf948f3e3cad261e073e2d2afe](https://etherscan.io/tx/0x069690e412d29d96bc94d6bf5c816e43bb401cbf948f3e3cad261e073e2d2afe), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-03-24 23:36 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x67e892c44b9d14709693e74dd5e17fb40d98c8c2cc1c5330265e758e8958a01b](https://etherscan.io/tx/0x67e892c44b9d14709693e74dd5e17fb40d98c8c2cc1c5330265e758e8958a01b), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-03-14 12:25 UTC, upgrade of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0xeba0bc3b2674c961c5a998f22f789ea610a7c3e57e622a4dd951cca2702b8be3](https://etherscan.io/tx/0xeba0bc3b2674c961c5a998f22f789ea610a7c3e57e622a4dd951cca2702b8be3), implementations: [0x2650a9a4fC64f63F573EF0F405064EF54BC46f71](https://etherscan.io/address/0x2650a9a4fC64f63F573EF0F405064EF54BC46f71#code) ([diff](https://disco.ethbeat.org/diff/eth:0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0/eth:0x2650a9a4fC64f63F573EF0F405064EF54BC46f71))
- 2024-01-27 14:16 UTC, deployment of [AggchainECDSAMultisig](https://etherscan.io/address/0x519E42c24163192Dca44CD3fBDCEBF6be9130987#code): transaction [0x4e3fc80071c2d0852584cb59bfcd784519bfb3582aa3334098a4b32b5f6aaef4](https://etherscan.io/tx/0x4e3fc80071c2d0852584cb59bfcd784519bfb3582aa3334098a4b32b5f6aaef4), implementations: [0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0](https://etherscan.io/address/0x79BCB82B35A335cD8A8Ec433b304a0c91f67CDE0#code)

System contract defining the polygon zkEVM Aggchain logic. It only enforces bridge accounting (pessimistic) proofs to protect the shared bridge while the Aggchain state transitions are not proven. They must instead be signed by 1 aggchainSigner(s).
- Roles:
  - **admin**: AgglayerManager, PolygonAdminMultisig
  - **aggchainManager**: PolygonAdminMultisig
  - **aggchainSigners**: EOA 1
  - **forceBatchAddress**: PolygonAdminMultisig

Can be upgraded by: AgglayerManager with no delay

Implementation used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#AggchainECDSAMultisig), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#AggchainECDSAMultisig), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#AggchainECDSAMultisig), [Silicon](https://ethbeat.org/layer2s/projects/silicon#AggchainECDSAMultisig), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#AggchainECDSAMultisig)

#### AgglayerGateway

Addresses: [0x046Bb8bb98Db4ceCbB2929542686B74b516274b3](https://etherscan.io/address/0x046Bb8bb98Db4ceCbB2929542686B74b516274b3#code), [0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49](https://etherscan.io/address/0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49#code) (Implementation (Upgradable)), [0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A](https://etherscan.io/address/0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A#code) (Admin)

**Past upgrades** (Count of upgrades: 1, Last upgrade: 1y ago, Avg upgrade interval: 8mo 13d)

- 2025-10-29 14:11 UTC, upgrade of [AgglayerGateway](https://etherscan.io/address/0x046Bb8bb98Db4ceCbB2929542686B74b516274b3#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49](https://etherscan.io/address/0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49#code) ([diff](https://disco.ethbeat.org/diff/eth:0x7bB0e8f1950722694929dB392abA805AAc6e9346/eth:0xD062B7f9fbB89bdA59262E77015C34a27Dc9aB49))
- 2025-06-16 15:27 UTC, deployment of [AgglayerGateway](https://etherscan.io/address/0x046Bb8bb98Db4ceCbB2929542686B74b516274b3#code): transaction [0xe7c64d567589723d0920e6104296a434fb24193d2ccd33814d0b3fd753be5db2](https://etherscan.io/tx/0xe7c64d567589723d0920e6104296a434fb24193d2ccd33814d0b3fd753be5db2), implementations: [0x7bB0e8f1950722694929dB392abA805AAc6e9346](https://etherscan.io/address/0x7bB0e8f1950722694929dB392abA805AAc6e9346#code)

A verifier gateway for pessimistic proofs. Manages a map of chains and their verifier keys and is used to route proofs based on the first 4 bytes of proofBytes data in a proof submission. The SP1 verifier is used for all proofs.
- Roles:
  - **addPpRoute**: Timelock; ultimately PolygonAdminMultisig
  - **admin**: SharedProxyAdmin; ultimately PolygonAdminMultisig
  - **aggchainDefaultVKey**: PolygonAdminMultisig
  - **alMultisig**: PolygonAdminMultisig
  - **freezePpRoute**: PolygonAdminMultisig

Can be upgraded by: PolygonAdminMultisig with 3d delay

Proxy used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#AgglayerGateway), [Katana](https://ethbeat.org/layer2s/projects/katana#AgglayerGateway), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#AgglayerGateway), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#AgglayerGateway), [Silicon](https://ethbeat.org/layer2s/projects/silicon#AgglayerGateway), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#AgglayerGateway)

#### AgglayerBridge (escrow)

Addresses: [0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code), [0x66E0120e3c965552a89AcC37b03f762624baC5Ad](https://etherscan.io/address/0x66E0120e3c965552a89AcC37b03f762624baC5Ad#code) (Implementation (Upgradable)), [0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A](https://etherscan.io/address/0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A#code) (Admin)

**Past upgrades** (Count of upgrades: 3, Last upgrade: 1y ago, Avg upgrade interval: 11mo)

- 2025-10-29 14:11 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0x66E0120e3c965552a89AcC37b03f762624baC5Ad](https://etherscan.io/address/0x66E0120e3c965552a89AcC37b03f762624baC5Ad#code) ([diff](https://disco.ethbeat.org/diff/eth:0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b/eth:0x66E0120e3c965552a89AcC37b03f762624baC5Ad))
- 2025-06-23 14:46 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3](https://etherscan.io/tx/0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3), implementations: [0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b](https://etherscan.io/address/0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b#code) ([diff](https://disco.ethbeat.org/diff/eth:0x0FeB850B183C57534b56b7d56520133C8f9BDB65/eth:0x75D28BfDfF93B3e4f20184b442d2634DC01cA48b))
- 2024-02-13 11:00 UTC, upgrade of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24](https://etherscan.io/tx/0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24), implementations: [0x0FeB850B183C57534b56b7d56520133C8f9BDB65](https://etherscan.io/address/0x0FeB850B183C57534b56b7d56520133C8f9BDB65#code) ([diff](https://disco.ethbeat.org/diff/eth:0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C/eth:0x0FeB850B183C57534b56b7d56520133C8f9BDB65))
- 2023-03-24 10:18 UTC, deployment of [AgglayerBridge](https://etherscan.io/address/0x2a3DD3EB832aF982ec71669E178424b10Dca2EDe#code): transaction [0x28f93532243dd8a8cc92ce630ef1920f40de15af7db2903efbf42f21fdf8152c](https://etherscan.io/tx/0x28f93532243dd8a8cc92ce630ef1920f40de15af7db2903efbf42f21fdf8152c), implementations: [0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C](https://etherscan.io/address/0x5ac4182A1dd41AeEf465E40B82fd326BF66AB82C#code)

The shared bridge contract, escrowing user funds sent to Agglayer chains. It is usually mirrored on each chain and can be used to transfer both ERC20 assets and arbitrary messages.
- Roles:
  - **admin**: SharedProxyAdmin; ultimately PolygonAdminMultisig
  - **proxiedTokensManager**: Timelock; ultimately PolygonAdminMultisig

All supported tokens in this escrow are included in the value secured calculation.

Can be upgraded by: PolygonAdminMultisig with 3d delay

Proxy used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#AgglayerBridge), [Katana](https://ethbeat.org/layer2s/projects/katana#AgglayerBridge), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#AgglayerBridge), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#AgglayerBridge), [Silicon](https://ethbeat.org/layer2s/projects/silicon#AgglayerBridge), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#AgglayerBridge)

#### AgglayerGER

Addresses: [0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code), [0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5](https://etherscan.io/address/0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5#code) (Implementation (Upgradable)), [0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A](https://etherscan.io/address/0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A#code) (Admin)

**Past upgrades** (Count of upgrades: 4, Last upgrade: 1y ago, Avg upgrade interval: 8mo 24d)

- 2025-10-29 14:11 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939](https://etherscan.io/tx/0x7be3301b763f904f5076e22914b0ea13e101ed3cff6480b23a7757e7b9875939), implementations: [0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5](https://etherscan.io/address/0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5#code) ([diff](https://disco.ethbeat.org/diff/eth:0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48/eth:0x7F1655d9d570167B2a3FfD1Ef809D3Fdd74427C5))
- 2025-06-23 14:46 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3](https://etherscan.io/tx/0xcdd772d0b4764da67b80a72af2da7230f4f70f8c810cb8c4fe3882b8c4506ff3), implementations: [0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48](https://etherscan.io/address/0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48#code) ([diff](https://disco.ethbeat.org/diff/eth:0x9Bdda421219900454E94e01d641fE64c60D8f4C8/eth:0xc38C76aE3C8A7dee99d07f1A39246ABe18919a48))
- 2024-10-30 11:11 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x8c1be5b5d844d6e04b2c224cd810cda091d70e6d5c2e5e0464993f7df1ab8403](https://etherscan.io/tx/0x8c1be5b5d844d6e04b2c224cd810cda091d70e6d5c2e5e0464993f7df1ab8403), implementations: [0x9Bdda421219900454E94e01d641fE64c60D8f4C8](https://etherscan.io/address/0x9Bdda421219900454E94e01d641fE64c60D8f4C8#code) ([diff](https://disco.ethbeat.org/diff/eth:0x2E38cD55163137483E30580Cb468C2dFf1d85077/eth:0x9Bdda421219900454E94e01d641fE64c60D8f4C8))
- 2024-02-13 11:00 UTC, upgrade of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24](https://etherscan.io/tx/0xb83824c7eb1e87bd12222d98cf1cbff317b0853ba1e5beda1e3e3d8a4cfd1b24), implementations: [0x2E38cD55163137483E30580Cb468C2dFf1d85077](https://etherscan.io/address/0x2E38cD55163137483E30580Cb468C2dFf1d85077#code) ([diff](https://disco.ethbeat.org/diff/eth:0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3/eth:0x2E38cD55163137483E30580Cb468C2dFf1d85077))
- 2023-03-24 10:19 UTC, deployment of [AgglayerGER](https://etherscan.io/address/0x580bda1e7A0CFAe92Fa7F6c20A3794F169CE3CFb#code): transaction [0x9946be78d6c6d19dd1c6c7134a8fac27e76d32cad36dae2398d28fe6ff838f10](https://etherscan.io/tx/0x9946be78d6c6d19dd1c6c7134a8fac27e76d32cad36dae2398d28fe6ff838f10), implementations: [0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3](https://etherscan.io/address/0xbc1ea504fC54D078514eFCCA1F6860B5219B6BC3#code)

A merkle tree storage contract aggregating state roots of each participating Layer 2, thus creating a single global merkle root representing the global state of the Agglayer, the 'global exit root'. The global exit root is synchronized to all connected Layer 2s to help with their interoperability.
- Roles:
  - **admin**: SharedProxyAdmin; ultimately PolygonAdminMultisig

Can be upgraded by: PolygonAdminMultisig with 3d delay

Proxy used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#AgglayerGER), [Katana](https://ethbeat.org/layer2s/projects/katana#AgglayerGER), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#AgglayerGER), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#AgglayerGER), [Silicon](https://ethbeat.org/layer2s/projects/silicon#AgglayerGER), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#AgglayerGER)

#### Timelock

Addresses: [0xEf1462451C30Ea7aD8555386226059Fe837CA4EF](https://etherscan.io/address/0xEf1462451C30Ea7aD8555386226059Fe837CA4EF#code)

A timelock with access control. In the case of an activated emergency state in the AgglayerManager, all transactions through this timelock are immediately executable. The current minimum delay is 3d.
- Roles:
  - **timelockAdmin**: PolygonAdminMultisig (no delay if in emergency state), Timelock (no delay if in emergency state); ultimately PolygonAdminMultisig (no delay if in emergency state)

Implementation used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#Timelock), [Katana](https://ethbeat.org/layer2s/projects/katana#Timelock), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#Timelock), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#Timelock), [Silicon](https://ethbeat.org/layer2s/projects/silicon#Timelock), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#Timelock)

#### daiBridge (escrow)

Addresses: [0x4A27aC91c5cD3768F140ECabDe3FC2B2d92eDb98](https://etherscan.io/address/0x4A27aC91c5cD3768F140ECabDe3FC2B2d92eDb98#code), [0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b](https://etherscan.io/address/0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b#code) (Implementation (Upgradable)), [0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904](https://etherscan.io/address/0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904#code) (Admin)

**Past upgrades** (Count of upgrades: No upgrades, Last upgrade: N/A, Avg upgrade interval: N/A)

- 2023-09-20 08:44 UTC, deployment of [daiBridge](https://etherscan.io/address/0x4A27aC91c5cD3768F140ECabDe3FC2B2d92eDb98#code): transaction [0x2c7c12aeaf738701352017fc49f5268db9632b84bdc6f76474e6776371f53b7e](https://etherscan.io/tx/0x2c7c12aeaf738701352017fc49f5268db9632b84bdc6f76474e6776371f53b7e), implementations: [0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b](https://etherscan.io/address/0xF684f2CB299cCDaAB483ffc1573B82f40C6b775b#code)

Custom Bridge escrow for DAI bridged to PolygonZkEVM allowing for a custom L2 tokens contract.
- Roles:
  - **admin**: Polygon zkEVM Multisig

The following tokens are included in the value secured calculation: DAI, sDAI

Can be upgraded by: Polygon zkEVM Multisig with no delay

#### usdcBridge (escrow)

Addresses: [0x70E70e58ed7B1Cec0D8ef7464072ED8A52d755eB](https://etherscan.io/address/0x70E70e58ed7B1Cec0D8ef7464072ED8A52d755eB#code), [0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6](https://etherscan.io/address/0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6#code) (Implementation (Upgradable)), [0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904](https://etherscan.io/address/0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904#code) (Admin)

**Past upgrades** (Count of upgrades: No upgrades, Last upgrade: N/A, Avg upgrade interval: N/A)

- 2023-11-16 09:12 UTC, deployment of [usdcBridge](https://etherscan.io/address/0x70E70e58ed7B1Cec0D8ef7464072ED8A52d755eB#code): transaction [0x6402dc60bb9c4f704f126f4b11e40b33c287b4ac7f73ea60c50d7452d52ce735](https://etherscan.io/tx/0x6402dc60bb9c4f704f126f4b11e40b33c287b4ac7f73ea60c50d7452d52ce735), implementations: [0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6](https://etherscan.io/address/0xA4e6762eAAf259DA74696F46fAAF79bA9DdE14E6#code)

Custom Bridge escrow for USDC bridged to PolygonZkEVM allowing for a custom L2 tokens contract.
- Roles:
  - **admin**: Polygon zkEVM Multisig

The following tokens are included in the value secured calculation: USDC

Can be upgraded by: Polygon zkEVM Multisig with no delay

#### wstETHBridge (escrow)

Addresses: [0xf0CDE1E7F0FAD79771cd526b1Eb0A12F69582C01](https://etherscan.io/address/0xf0CDE1E7F0FAD79771cd526b1Eb0A12F69582C01#code), [0x18FED1E19dC564DC917D203be9d40790472D22e9](https://etherscan.io/address/0x18FED1E19dC564DC917D203be9d40790472D22e9#code) (Implementation (Upgradable)), [0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904](https://etherscan.io/address/0xf694C9e3a34f5Fa48b6f3a0Ff186C1c6c4FcE904#code) (Admin)

**Past upgrades** (Count of upgrades: No upgrades, Last upgrade: N/A, Avg upgrade interval: N/A)

- 2023-12-30 14:05 UTC, deployment of [wstETHBridge](https://etherscan.io/address/0xf0CDE1E7F0FAD79771cd526b1Eb0A12F69582C01#code): transaction [0x12c54f4243dc8e3b41be87984b78248eecbf98b92e30ff10b487be2599d7e3a1](https://etherscan.io/tx/0x12c54f4243dc8e3b41be87984b78248eecbf98b92e30ff10b487be2599d7e3a1), implementations: [0x18FED1E19dC564DC917D203be9d40790472D22e9](https://etherscan.io/address/0x18FED1E19dC564DC917D203be9d40790472D22e9#code)

Custom Bridge escrow for wstETH bridged to PolygonZkEVM allowing for a custom L2 tokens contract.
- Roles:
  - **admin**: Polygon zkEVM Multisig

The following tokens are included in the value secured calculation: wstETH

Can be upgraded by: Polygon zkEVM Multisig with no delay

#### SP1Verifier (0x0459…C459)

Addresses: [0x0459d576A6223fEeA177Fb3DF53C9c77BF84C459](https://etherscan.io/address/0x0459d576A6223fEeA177Fb3DF53C9c77BF84C459#code)

Verifier contract for SP1 proofs (v5.0.0).

Implementation used in: [Ethscriptions](https://ethbeat.org/layer2s/projects/ethscriptions#SP1Verifier), [Facet](https://ethbeat.org/layer2s/projects/facet#SP1Verifier), [Haust Network](https://ethbeat.org/layer2s/projects/haust#SP1Verifier), [Katana](https://ethbeat.org/layer2s/projects/katana#SP1Verifier), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#SP1Verifier), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#SP1Verifier), [Silicon](https://ethbeat.org/layer2s/projects/silicon#SP1Verifier), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#SP1Verifier)

#### SharedProxyAdmin

Addresses: [0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A](https://etherscan.io/address/0x0F99738B2Fc14D77308337f3e2596b63aE7BCC4A#code)

- Roles:
  - **owner**: Timelock

Implementation used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#SharedProxyAdmin), [Katana](https://ethbeat.org/layer2s/projects/katana#SharedProxyAdmin), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#SharedProxyAdmin), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#SharedProxyAdmin), [Silicon](https://ethbeat.org/layer2s/projects/silicon#SharedProxyAdmin), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#SharedProxyAdmin)

#### BridgeLib

Addresses: [0x3622Fcf450ca40a340b7492Ae5F60E7c7Ea68aB3](https://etherscan.io/address/0x3622Fcf450ca40a340b7492Ae5F60E7c7Ea68aB3#code)

Extension contract of the AgglayerBridge for asset metadata..

Implementation used in: [Haust Network](https://ethbeat.org/layer2s/projects/haust#BridgeLib), [Katana](https://ethbeat.org/layer2s/projects/katana#BridgeLib), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#BridgeLib), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#BridgeLib), [Silicon](https://ethbeat.org/layer2s/projects/silicon#BridgeLib), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#BridgeLib)

#### SP1Verifier (0xc3c6…AF2A)

Addresses: [0xc3c6dDDAc8829b233Dc6536Ec024775a57b0AF2A](https://etherscan.io/address/0xc3c6dDDAc8829b233Dc6536Ec024775a57b0AF2A#code)

Verifier contract for SP1 proofs (v6.1.0).

Implementation used in: [Base Chain](https://ethbeat.org/layer2s/projects/base#SP1Verifier), [Celo](https://ethbeat.org/layer2s/projects/celo#SP1Verifier), [Haust Network](https://ethbeat.org/layer2s/projects/haust#SP1Verifier), [Katana](https://ethbeat.org/layer2s/projects/katana#SP1Verifier), [Lens](https://ethbeat.org/layer2s/projects/lens#SP1Verifier), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia#SP1Verifier), [Mantle](https://ethbeat.org/layer2s/projects/mantle#SP1Verifier), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain#SP1Verifier), [RISE](https://ethbeat.org/layer2s/projects/rise#SP1Verifier), [Silicon](https://ethbeat.org/layer2s/projects/silicon#SP1Verifier), [Sophon](https://ethbeat.org/layer2s/projects/sophon#SP1Verifier), [Taiko Alethia](https://ethbeat.org/layer2s/projects/taiko#SP1Verifier), [X Layer](https://ethbeat.org/layer2s/projects/xlayer#SP1Verifier)

The current deployment carries some associated risks:

- Funds can be stolen if a contract receives a malicious code upgrade. There is no delay on code upgrades (CRITICAL).

### Program Hashes

#### Pessimistic program of agglayer 0.3.3-post4

Verifies that a chain connected to Polygon Agglayer does not bridge out more tokens that were bridged in, thus preventing stealing tokens from other Agglayer chains. Also verifies aggchain proof for this chain.

- Hash: `0x00eff0b6998df46ec388bb305618089ae3dc74e513e7676b2e1909694f49cc30`
- Repository: https://github.com/agglayer/agglayer/tree/v0.3.3-post.4/crates/pessimistic-proof-program
- Verification: successful
- Used in: [X Layer](https://ethbeat.org/layer2s/projects/xlayer), [Katana](https://ethbeat.org/layer2s/projects/katana), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia), [Haust Network](https://ethbeat.org/layer2s/projects/haust), [Polygon zkEVM](https://ethbeat.org/layer2s/projects/polygonzkevm), [Silicon](https://ethbeat.org/layer2s/projects/silicon), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain), [Forknet](https://ethbeat.org/layer2s/projects/forknet)

##### Verification steps

Prepare:

1. Install cargo make: `cargo install --debug --locked cargo-make`
2. Install sp1 toolchain: `curl -L https://sp1up.succinct.xyz/ | bash`, then `sp1up`
3. Install docker [https://docs.docker.com/get-started/get-docker/](https://docs.docker.com/get-started/get-docker/)

Verify:

1. Checkout the correct branch in [agglayer repo](https://github.com/agglayer/agglayer/tree/main): `git checkout v0.3.3-post.4`. Commit hash should be `df072abc86fa89e12b17204246325983272a1141`
2. Make sure docker is running by running `docker ps`
3. From the root dir: `cargo make install-cargo-prove` to install the correct version of sp1 toolchain
4. From the root dir: `cargo make pp-elf` to generate pessimistic program elf from sources
5. From the pessimistic-proof/elf dir: `cargo prove vkey --elf riscv32im-succinct-zkvm-elf` to check the verification key of this elf

#### Pessimistic program of agglayer v0.4.4

Verifies that a chain connected to Polygon Agglayer does not bridge out more tokens that were bridged in, thus preventing stealing tokens from other Agglayer chains. Also verifies aggchain proof for this chain.

- Hash: `0x000055f14384bdb5bb092fd7e5152ec31856321c5a30306ab95836bdf5cdb639`
- Repository: https://github.com/agglayer/agglayer/tree/v0.4.4/crates/pessimistic-proof
- Verification: successful
- Used in: [X Layer](https://ethbeat.org/layer2s/projects/xlayer), [Katana](https://ethbeat.org/layer2s/projects/katana), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia), [Haust Network](https://ethbeat.org/layer2s/projects/haust), [Polygon zkEVM](https://ethbeat.org/layer2s/projects/polygonzkevm), [Silicon](https://ethbeat.org/layer2s/projects/silicon), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain), [Forknet](https://ethbeat.org/layer2s/projects/forknet)

##### Verification steps

Prepare:

1. Install cargo make: `cargo install --debug --locked cargo-make`
2. Install sp1 toolchain: `curl -L https://sp1up.succinct.xyz/ | bash`, then `sp1up`
3. Install docker [https://docs.docker.com/get-started/get-docker/](https://docs.docker.com/get-started/get-docker/)

Verify:

1. Checkout the correct tag in [agglayer repo](https://github.com/agglayer/agglayer/tree/main): `git checkout v0.4.4`. Commit hash should be `caac9f06bc7cb1cf89912dbb4dffa4d594a00bd5`.
2. Make sure docker is running by running `docker ps`.
3. From the root dir: `cargo make pp-elf` to generate pessimistic program elf from sources.
4. From the pessimistic-proof/elf dir: `cargo prove vkey --elf riscv32im-succinct-zkvm-elf` to check the verification key of this elf.

#### Pessimistic program of agglayer v0.5.1

Verifies that a chain connected to Polygon Agglayer does not bridge out more tokens that were bridged in, thus preventing stealing tokens from other Agglayer chains. Also verifies aggchain proof for this chain.

- Hash: `0x00d14f977a6ec393014f300ad78d0761dc29435d3fa1e2626fa466bd3343578e`
- Repository: https://github.com/agglayer/agglayer/tree/v0.5.1/crates/pessimistic-proof
- Verification: successful
- Used in: [X Layer](https://ethbeat.org/layer2s/projects/xlayer), [Katana](https://ethbeat.org/layer2s/projects/katana), [Lumia Prism](https://ethbeat.org/layer2s/projects/lumia), [Haust Network](https://ethbeat.org/layer2s/projects/haust), [Polygon zkEVM](https://ethbeat.org/layer2s/projects/polygonzkevm), [Silicon](https://ethbeat.org/layer2s/projects/silicon), [Pentagon Chain](https://ethbeat.org/layer2s/projects/penchain), [Forknet](https://ethbeat.org/layer2s/projects/forknet)

##### Verification steps

Prepare:

1. Install cargo make: `cargo install --debug --locked cargo-make`
2. Install sp1 toolchain: `curl -L https://sp1up.succinct.xyz/ | bash`, then `sp1up`
3. Install docker [https://docs.docker.com/get-started/get-docker/](https://docs.docker.com/get-started/get-docker/)

Verify:

1. Checkout the correct tag in [agglayer repo](https://github.com/agglayer/agglayer/tree/main): `git checkout v0.5.1`. Commit hash should be `f7bb86695b03d363c3d0d15ff7f2d8b386e58c91`.
2. Make sure docker is running by running `docker ps`.
3. From the root dir: `cargo make pp-elf` to generate pessimistic program elf from sources.
4. From the pessimistic-proof/elf dir: `cargo prove vkey --elf riscv64im-succinct-zkvm-elf` to check the verification key of this elf.