Fusaka Prestate Update Unichain Sepolia Task

src/tasks/sep/034-op-ink-sep-fusaka-prestate/.env

@@ -0,0 +1 @@
+TENDERLY_GAS=30000000

src/tasks/sep/034-op-ink-sep-fusaka-prestate/README.md

@@ -0,0 +1,21 @@
+# 034-op-ink-sep-fusaka-prestate
+
+Status: [DRAFT, NOT READY TO SIGN]
+
+## Objective
+
+This task uses `op-contract/v4.1.0` OPContractsManager to update the prestate of OP Sepolia and Ink Sepolia to the Fusaka compatible prestate.
+
+## Simulation & Signing
+
+Simulation commands for each safe:
+```bash
+cd src/tasks/sep/034-op-ink-sep-fusaka-prestate
+SIMULATE_WITHOUT_LEDGER=1 just --dotenv-path $(pwd)/.env simulate <council|foundation>
+```
+
+Signing commands for each safe:
+```bash
+cd src/tasks/sep/034-op-ink-sep-fusaka-prestate
+just --dotenv-path $(pwd)/.env sign <council|foundation>
+```

src/tasks/sep/034-op-ink-sep-fusaka-prestate/VALIDATION.md

@@ -0,0 +1,42 @@
+# Validation
+
+This document can be used to validate the inputs and result of the execution of the upgrade transaction which you are
+signing.
+
+The steps are:
+
+1. [Validate the Domain and Message Hashes](#expected-domain-and-message-hashes)
+2. [Verifying the state changes via the normalized state diff hash](#normalized-state-diff-hash-attestation)
+3. [Verifying the transaction input](#understanding-task-calldata)
+4. [Verifying the state changes](#task-state-changes)
+
+## Expected Domain and Message Hashes
+
+First, we need to validate the domain and message hashes. These values should match both the values on your ledger and
+the values printed to the terminal when you run the task.
+
+> [!CAUTION]
+>
+> Before signing, ensure the below hashes match what is on your ledger.
+>
+> ### Security Council Safe (`0xf64bc17485f0B4Ea5F06A96514182FC4cB561977`)
+>
+> - Domain Hash:  `0xbe081970e9fc104bd1ea27e375cd21ec7bb1eec56bfe43347c3e36c5d27b8533`
+> - Message Hash: `0xe3d326b436776a38346334167728463eb49927b3da6cc982f6e023f396142b59`
+>
+> ### Foundation Safe (`0xDEe57160aAfCF04c34C887B5962D0a69676d3C8B`)
+>
+> - Domain Hash:  `0x37e1f5dd3b92a004a23589b741196c8a214629d4ea3a690ec8e41ae45c689cbb`
+> - Message Hash: `0x1856af5483515a38457e9b80f2601ef06277ecff9445dace6681f87329321870`
+## Normalized State Diff Hash Attestation
+
+The normalized state diff hash **MUST** match the hash produced by the state changes attested to in the state diff audit report. As a signer, you are responsible for verifying that this hash is correct. Please compare the hash below with the one in the audit report. If no audit report is available for this task, you must still ensure that the normalized state diff hash matches the output in your terminal.
+
+**Normalized hash:** `0x8a34a5ffb93039f259afaac494bde0a5b7f5cecc05a92629d9c03563d76baeb1`
+
+## Task Calldata
+
+Calldata:
+```
+0x82ad56cb0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000200000000000000000000000003bb6437aba031afbf9cb3538fa064161e2bf2d780000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000001049a72745b00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000002000000000000000000000000034edd2a225f7f429a63e0f1d2084b9e0a93b538000000000000000000000000189abaaaa82dfc015a588a7dbad6f13b1d3485bc03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc900000000000000000000000005c993e60179f28bf649a2bb5b00b5f4283bd525000000000000000000000000d7db319a49362b2328cf417a934300cccb442c8d03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc900000000000000000000000000000000000000000000000000000000
+```

src/tasks/sep/034-op-ink-sep-fusaka-prestate/config.toml

@@ -0,0 +1,37 @@
+templateName = "OPCMUpdatePrestateV410"
+
+[[l2chains]]
+chainId = 11155420
+name = "OP Sepolia Testnet"
+
+[[l2chains]]
+chainId = 763373
+name = "Ink Sepolia Testnet"
+
+[[opcmUpgrades]]
+chainId = 11155420
+absolutePrestate = "0x03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc9"  # op-program/v1.6.1 - https://github.com/ethereum-optimism/superchain-registry/blob/47f21fb1291999cb9a46653dd92d7cd55b6e3821/validation/standard/standard-prestates.toml#L6C9-L6C75
+# The above prestate needs to be updated with the correct Fusaka Absolute Prestate
+expectedValidationErrors = ""
+
+[[opcmUpgrades]]
+chainId = 763373
+absolutePrestate = "0x03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc9"  # op-program/v1.6.1 - https://github.com/ethereum-optimism/superchain-registry/blob/47f21fb1291999cb9a46653dd92d7cd55b6e3821/validation/standard/standard-prestates.toml#L6C9-L6C75
+# The above prestate needs to be updated with the correct Fusaka Absolute Prestate
+expectedValidationErrors = ""
+
+
+[addresses]
+OPCM = "0x3bb6437aba031afbf9cb3538fa064161e2bf2d78" # version 3.2.0 https://github.com/ethereum-optimism/superchain-registry/blob/40526b1288534f6b84b7aae21d13c0b5f5b12f47/validation/standard/standard-versions-sepolia.toml#L23
+StandardValidatorV410 = "0x7b4d2a02d5fa6c7c98d835d819956ebb876ff439" # Sepolia https://github.com/ethereum-optimism/optimism/blob/f79ed8b9c9cbdbf8bb492074f3f98da7f072e21a/op-validator/pkg/validations/addresses.go#L30
+
+[stateOverrides]
+0x1Eb2fFc903729a0F03966B917003800b145F56E2 = [ # L1PAO
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 37}
+]
+0xf64bc17485f0B4Ea5F06A96514182FC4cB561977 = [ # SC
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 48}
+]
+0xDEe57160aAfCF04c34C887B5962D0a69676d3C8B = [ # FUS
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 51}
+]

src/tasks/sep/035-base-sep-fusaka-prestate/.env

@@ -0,0 +1 @@
+TENDERLY_GAS=16000000

src/tasks/sep/035-base-sep-fusaka-prestate/README.md

@@ -0,0 +1,21 @@
+# 035-base-sep-fusaka-prestate
+
+Status: [DRAFT, NOT READY TO SIGN]
+
+## Objective
+
+This task uses `op-contract/v4.1.0` OPContractsManager to update the prestate of Base Sepolia to the Fusaka compatible prestate.
+
+## Simulation & Signing
+
+Simulation commands for each safe:
+```bash
+cd src/tasks/sep/035-base-sep-fusaka-prestate
+SIMULATE_WITHOUT_LEDGER=1 just --dotenv-path $(pwd)/.env simulate <NestedSafe1|NestedSafe2>
+```
+
+Signing commands for each safe:
+```bash
+cd src/tasks/sep/035-base-sep-fusaka-prestate
+just --dotenv-path $(pwd)/.env sign <NestedSafe1|NestedSafe2>
+```

src/tasks/sep/035-base-sep-fusaka-prestate/VALIDATION.md

@@ -0,0 +1,42 @@
+# Validation
+
+This document can be used to validate the inputs and result of the execution of the upgrade transaction which you are
+signing.
+
+The steps are:
+
+1. [Validate the Domain and Message Hashes](#expected-domain-and-message-hashes)
+2. [Verifying the state changes via the normalized state diff hash](#normalized-state-diff-hash-attestation)
+3. [Verifying the transaction input](#understanding-task-calldata)
+4. [Verifying the state changes](#task-state-changes)
+
+## Expected Domain and Message Hashes
+
+First, we need to validate the domain and message hashes. These values should match both the values on your ledger and
+the values printed to the terminal when you run the task.
+
+> [!CAUTION]
+>
+> Before signing, ensure the below hashes match what is on your ledger.
+>
+> ### Nested Safe 1: `0x6AF0674791925f767060Dd52f7fB20984E8639d8`
+>
+> - Domain Hash: `0x6f25427e79742a1eb82c103e2bf43c85fc59509274ec258ad6ed841c4a0048aa`
+> - Message Hash: `0xbfe875db0a37f17f803411612e3ac6b31a3f63bc004bd0a0368b9828f47a1e74`
+>
+> ### Nested Safe 2: `0x646132A1667ca7aD00d36616AFBA1A28116C770A`
+>
+> - Domain Hash: `0x1d3f2566fd7b1bf017258b03d4d4d435d326d9cb051d5b7993d7c65e7ec78d0e`
+> - Message Hash: `0x2c48ce5aa78dfc5ee61a1ea60365593ca11700aaf455a7029874d26e9640087c`
+## Normalized State Diff Hash Attestation
+
+The normalized state diff hash **MUST** match the hash produced by the state changes attested to in the state diff audit report. As a signer, you are responsible for verifying that this hash is correct. Please compare the hash below with the one in the audit report. If no audit report is available for this task, you must still ensure that the normalized state diff hash matches the output in your terminal.
+
+**Normalized hash:** `0xde9e5a405b63f8d2857326b95e14fccb158300a607decafd30d8f74e761d53fa`
+
+## Task Calldata
+
+Calldata:
+```
+0x82ad56cb0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000200000000000000000000000003bb6437aba031afbf9cb3538fa064161e2bf2d780000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a49a72745b00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000001000000000000000000000000f272670eb55e895584501d564afeb048bed261940000000000000000000000000389e59aa0a41e4a413ae70f0008e76caa34b1f303eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc900000000000000000000000000000000000000000000000000000000
+```

src/tasks/sep/035-base-sep-fusaka-prestate/config.toml

@@ -0,0 +1,33 @@
+templateName = "OPCMUpdatePrestateV410"
+
+[[l2chains]]
+chainId = 84532
+name = "Base Sepolia Testnet"
+
+[[opcmUpgrades]]
+chainId = 84532
+absolutePrestate = "0x03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc9"  # op-program/v1.6.1 - https://github.com/ethereum-optimism/superchain-registry/blob/47f21fb1291999cb9a46653dd92d7cd55b6e3821/validation/standard/standard-prestates.toml#L6C9-L6C75
+# The above prestate needs to be updated with the correct Fusaka Absolute Prestate
+expectedValidationErrors = "PROXYA-10,DF-30,PDDG-DWETH-30,PDDG-130,PLDG-DWETH-30"
+
+[addresses]
+# Base Sepolia ProxyAdminOwner: 0x0fe884546476dDd290eC46318785046ef68a0BA9
+# The get-safe.sh script will extract these addresses when signing for each owner fo the safe.
+NestedSafe1 = "0x6AF0674791925f767060Dd52f7fB20984E8639d8" # First owner on the proxy admin owner 
+NestedSafe2 = "0x646132A1667ca7aD00d36616AFBA1A28116C770A" # Second owner on the proxy admin owner
+OPCM = "0x3bb6437aba031afbf9cb3538fa064161e2bf2d78" # version 3.2.0 https://github.com/ethereum-optimism/superchain-registry/blob/40526b1288534f6b84b7aae21d13c0b5f5b12f47/validation/standard/standard-versions-sepolia.toml#L23
+StandardValidatorV410 = "0x7b4d2a02d5fa6c7c98d835d819956ebb876ff439" # Sepolia https://github.com/ethereum-optimism/optimism/blob/f79ed8b9c9cbdbf8bb492074f3f98da7f072e21a/op-validator/pkg/validations/addresses.go#L30
+
+[stateOverrides]
+# Base Sepolia ProxyAdminOwner: https://github.com/ethereum-optimism/superchain-registry/blob/fb900358ab5016de86f37a23265bd94ce927c9c0/superchain/configs/sepolia/base.toml#L46
+0x0fe884546476dDd290eC46318785046ef68a0BA9 = [ # L1PAO
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 25}
+]
+# First owner on the proxy admin owner (i.e. child-safe-1)
+0x6AF0674791925f767060Dd52f7fB20984E8639d8 = [ # Child Safe 1
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 12}
+]
+# Second owner on the proxy admin owner (i.e. child-safe-2)
+0x646132A1667ca7aD00d36616AFBA1A28116C770A = [ # Child Safe 2
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 8}
+]

src/tasks/sep/036-uni-sep-fusaka-prestate/.env

@@ -0,0 +1 @@
+TENDERLY_GAS=15000000

src/tasks/sep/036-uni-sep-fusaka-prestate/README.md

@@ -0,0 +1,21 @@
+# 036-uni-sep-fusaka-prestate
+
+Status: [DRAFT, NOT READY TO SIGN]
+
+## Objective
+
+This task uses `op-contract/v4.1.0` OPContractsManager to update the prestate of Unichain Sepolia to the Fusaka compatible prestate.
+
+## Simulation & Signing
+
+Simulation commands for each safe:
+```bash
+cd src/tasks/sep/036-uni-sep-fusaka-prestate
+SIMULATE_WITHOUT_LEDGER=1 just --dotenv-path $(pwd)/.env simulate
+```
+
+Signing commands for each safe:
+```bash
+cd src/tasks/sep/036-uni-sep-fusaka-prestate
+just --dotenv-path $(pwd)/.env sign
+```

src/tasks/sep/036-uni-sep-fusaka-prestate/VALIDATION.md

@@ -0,0 +1,37 @@
+# Validation
+
+This document can be used to validate the inputs and result of the execution of the upgrade transaction which you are
+signing.
+
+The steps are:
+
+1. [Validate the Domain and Message Hashes](#expected-domain-and-message-hashes)
+2. [Verifying the state changes via the normalized state diff hash](#normalized-state-diff-hash-attestation)
+3. [Verifying the transaction input](#understanding-task-calldata)
+4. [Verifying the state changes](#task-state-changes)
+
+## Expected Domain and Message Hashes
+
+First, we need to validate the domain and message hashes. These values should match both the values on your ledger and
+the values printed to the terminal when you run the task.
+
+> [!CAUTION]
+>
+> Before signing, ensure the below hashes match what is on your ledger.
+>
+> ### L1PAO: `@0xd363339eE47775888Df411A163c586a8BdEA9dbf`
+>
+> - Domain Hash: `0x2fedecce87979400ff00d5cec4c77da942d43ab3b9db4a5ffc51bb2ef498f30b`
+> - Message Hash: `0x6a17c3910e1a5d058620d17e9189d59357c849f9f05a53e9b12f0326ada05414`
+## Normalized State Diff Hash Attestation
+
+The normalized state diff hash **MUST** match the hash produced by the state changes attested to in the state diff audit report. As a signer, you are responsible for verifying that this hash is correct. Please compare the hash below with the one in the audit report. If no audit report is available for this task, you must still ensure that the normalized state diff hash matches the output in your terminal.
+
+**Normalized hash:** `0x1ee1e966e1e8f3e654539cc1acf3fc5109f3cb9dcd91a0b5ab2818f4b751a757`
+
+## Task Calldata
+
+Calldata:
+```
+0x82ad56cb0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000200000000000000000000000003bb6437aba031afbf9cb3538fa064161e2bf2d780000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a49a72745b00000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000001000000000000000000000000aee94b9ab7752d3f7704bde212c0c6a0b701571d0000000000000000000000002bf403e5353a7a082ef6bb3ae2be3b866d8d3ea403eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc900000000000000000000000000000000000000000000000000000000
+```

src/tasks/sep/036-uni-sep-fusaka-prestate/config.toml

@@ -0,0 +1,21 @@
+templateName = "OPCMUpdatePrestateV410"
+
+[[l2chains]]
+chainId = 1301
+name = "Unichain Sepolia Testnet"
+
+[[opcmUpgrades]]
+chainId = 1301
+absolutePrestate = "0x03eb07101fbdeaf3f04d9fb76526362c1eea2824e4c6e970bdb19675b72e4fc9"  # op-program/v1.6.1 - https://github.com/ethereum-optimism/superchain-registry/blob/47f21fb1291999cb9a46653dd92d7cd55b6e3821/validation/standard/standard-prestates.toml#L6C9-L6C75
+# The above prestate needs to be updated with the correct Fusaka Absolute Prestate
+expectedValidationErrors = "PROXYA-10,DF-30,PDDG-DWETH-30,PDDG-130,PLDG-DWETH-30"
+
+[addresses]
+OPCM = "0x3bb6437aba031afbf9cb3538fa064161e2bf2d78" # version 3.2.0 https://github.com/ethereum-optimism/superchain-registry/blob/40526b1288534f6b84b7aae21d13c0b5f5b12f47/validation/standard/standard-versions-sepolia.toml#L23
+StandardValidatorV410 = "0x7b4d2a02d5fa6c7c98d835d819956ebb876ff439" # Sepolia https://github.com/ethereum-optimism/optimism/blob/f79ed8b9c9cbdbf8bb492074f3f98da7f072e21a/op-validator/pkg/validations/addresses.go#L30
+
+[stateOverrides]
+# Unichain Sepolia ProxyAdminOwner:
+0xd363339eE47775888Df411A163c586a8BdEA9dbf = [ # L1PAO
+     {key = "0x0000000000000000000000000000000000000000000000000000000000000005", value = 38}
+]