@arbitrum/nitro-contracts 2.1.0 → 3.0.0-alpha.0

package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUser.json

@@ -8,9 +8,9 @@
       "inputs": [
         {
           "indexed": true,
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         },
         {
           "indexed": false,
@@ -25,38 +25,75 @@
           "type": "bytes32"
         }
       ],
-      "name": "NodeConfirmed",
+      "name": "AssertionConfirmed",
       "type": "event"
     },
     {
       "anonymous": false,
       "inputs": [
-        {
-          "indexed": true,
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
-        },
         {
           "indexed": true,
           "internalType": "bytes32",
-          "name": "parentNodeHash",
+          "name": "assertionHash",
           "type": "bytes32"
         },
         {
           "indexed": true,
           "internalType": "bytes32",
-          "name": "nodeHash",
-          "type": "bytes32"
-        },
-        {
-          "indexed": false,
-          "internalType": "bytes32",
-          "name": "executionHash",
+          "name": "parentAssertionHash",
           "type": "bytes32"
         },
         {
           "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32",
+                  "name": "prevPrevAssertionHash",
+                  "type": "bytes32"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "sequencerBatchAcc",
+                  "type": "bytes32"
+                },
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32",
+                      "name": "wasmModuleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint256",
+                      "name": "requiredStake",
+                      "type": "uint256"
+                    },
+                    {
+                      "internalType": "address",
+                      "name": "challengeManager",
+                      "type": "address"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "confirmPeriodBlocks",
+                      "type": "uint64"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "nextInboxPosition",
+                      "type": "uint64"
+                    }
+                  ],
+                  "internalType": "struct ConfigData",
+                  "name": "configData",
+                  "type": "tuple"
+                }
+              ],
+              "internalType": "struct BeforeStateData",
+              "name": "beforeStateData",
+              "type": "tuple"
+            },
             {
               "components": [
                 {
@@ -80,9 +117,14 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "beforeState",
               "type": "tuple"
             },
@@ -109,20 +151,20 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "afterState",
               "type": "tuple"
-            },
-            {
-              "internalType": "uint64",
-              "name": "numBlocks",
-              "type": "uint64"
             }
           ],
           "indexed": false,
-          "internalType": "struct Assertion",
+          "internalType": "struct AssertionInputs",
           "name": "assertion",
           "type": "tuple"
         },
@@ -132,6 +174,12 @@
           "name": "afterInboxBatchAcc",
           "type": "bytes32"
         },
+        {
+          "indexed": false,
+          "internalType": "uint256",
+          "name": "inboxMaxCount",
+          "type": "uint256"
+        },
         {
           "indexed": false,
           "internalType": "bytes32",
@@ -141,24 +189,23 @@
         {
           "indexed": false,
           "internalType": "uint256",
-          "name": "inboxMaxCount",
+          "name": "requiredStake",
           "type": "uint256"
-        }
-      ],
-      "name": "NodeCreated",
-      "type": "event"
-    },
-    {
-      "anonymous": false,
-      "inputs": [
+        },
         {
-          "indexed": true,
+          "indexed": false,
+          "internalType": "address",
+          "name": "challengeManager",
+          "type": "address"
+        },
+        {
+          "indexed": false,
           "internalType": "uint64",
-          "name": "nodeNum",
+          "name": "confirmPeriodBlocks",
           "type": "uint64"
         }
       ],
-      "name": "NodeRejected",
+      "name": "AssertionCreated",
       "type": "event"
     },
     {
@@ -185,7 +232,7 @@
         {
           "indexed": false,
           "internalType": "uint64",
-          "name": "challengedNode",
+          "name": "challengedAssertion",
           "type": "uint64"
         }
       ],
@@ -220,6 +267,12 @@
           "name": "user",
           "type": "address"
         },
+        {
+          "indexed": true,
+          "internalType": "address",
+          "name": "withdrawalAddress",
+          "type": "address"
+        },
         {
           "indexed": false,
           "internalType": "uint256",
@@ -267,11 +320,21 @@
           "internalType": "address",
           "name": "stakerAddress",
           "type": "address"
+        },
+        {
+          "internalType": "address",
+          "name": "expectedWithdrawalAddress",
+          "type": "address"
+        },
+        {
+          "internalType": "uint256",
+          "name": "tokenAmount",
+          "type": "uint256"
         }
       ],
       "name": "addToDeposit",
       "outputs": [],
-      "stateMutability": "payable",
+      "stateMutability": "nonpayable",
       "type": "function"
     },
     {
@@ -337,7 +400,7 @@
       "name": "challengeManager",
       "outputs": [
         {
-          "internalType": "contract IChallengeManager",
+          "internalType": "contract IEdgeChallengeManager",
           "name": "",
           "type": "address"
         }
@@ -349,16 +412,92 @@
       "inputs": [
         {
           "internalType": "bytes32",
-          "name": "blockHash",
+          "name": "assertionHash",
           "type": "bytes32"
         },
         {
           "internalType": "bytes32",
-          "name": "sendRoot",
+          "name": "prevAssertionHash",
+          "type": "bytes32"
+        },
+        {
+          "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32[2]",
+                  "name": "bytes32Vals",
+                  "type": "bytes32[2]"
+                },
+                {
+                  "internalType": "uint64[2]",
+                  "name": "u64Vals",
+                  "type": "uint64[2]"
+                }
+              ],
+              "internalType": "struct GlobalState",
+              "name": "globalState",
+              "type": "tuple"
+            },
+            {
+              "internalType": "enum MachineStatus",
+              "name": "machineStatus",
+              "type": "uint8"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "endHistoryRoot",
+              "type": "bytes32"
+            }
+          ],
+          "internalType": "struct AssertionState",
+          "name": "confirmState",
+          "type": "tuple"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "winningEdgeId",
+          "type": "bytes32"
+        },
+        {
+          "components": [
+            {
+              "internalType": "bytes32",
+              "name": "wasmModuleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint256",
+              "name": "requiredStake",
+              "type": "uint256"
+            },
+            {
+              "internalType": "address",
+              "name": "challengeManager",
+              "type": "address"
+            },
+            {
+              "internalType": "uint64",
+              "name": "confirmPeriodBlocks",
+              "type": "uint64"
+            },
+            {
+              "internalType": "uint64",
+              "name": "nextInboxPosition",
+              "type": "uint64"
+            }
+          ],
+          "internalType": "struct ConfigData",
+          "name": "prevConfig",
+          "type": "tuple"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "inboxAcc",
           "type": "bytes32"
         }
       ],
-      "name": "confirmNextNode",
+      "name": "confirmAssertion",
       "outputs": [],
       "stateMutability": "nonpayable",
       "type": "function"
@@ -377,138 +516,97 @@
       "type": "function"
     },
     {
-      "inputs": [
-        {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
-        }
-      ],
-      "name": "countStakedZombies",
+      "inputs": [],
+      "name": "genesisAssertionHash",
       "outputs": [
         {
-          "internalType": "uint256",
+          "internalType": "bytes32",
           "name": "",
-          "type": "uint256"
+          "type": "bytes32"
         }
       ],
-      "stateMutability": "view",
+      "stateMutability": "pure",
       "type": "function"
     },
     {
       "inputs": [
         {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         }
       ],
-      "name": "countZombiesStakedOnChildren",
+      "name": "getAssertion",
       "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address[2]",
-          "name": "stakers",
-          "type": "address[2]"
-        },
-        {
-          "internalType": "uint64[2]",
-          "name": "nodeNums",
-          "type": "uint64[2]"
-        },
-        {
-          "internalType": "enum MachineStatus[2]",
-          "name": "machineStatuses",
-          "type": "uint8[2]"
-        },
         {
           "components": [
             {
-              "internalType": "bytes32[2]",
-              "name": "bytes32Vals",
-              "type": "bytes32[2]"
+              "internalType": "uint64",
+              "name": "firstChildBlock",
+              "type": "uint64"
+            },
+            {
+              "internalType": "uint64",
+              "name": "secondChildBlock",
+              "type": "uint64"
+            },
+            {
+              "internalType": "uint64",
+              "name": "createdAtBlock",
+              "type": "uint64"
+            },
+            {
+              "internalType": "bool",
+              "name": "isFirstChild",
+              "type": "bool"
+            },
+            {
+              "internalType": "enum AssertionStatus",
+              "name": "status",
+              "type": "uint8"
             },
             {
-              "internalType": "uint64[2]",
-              "name": "u64Vals",
-              "type": "uint64[2]"
+              "internalType": "bytes32",
+              "name": "configHash",
+              "type": "bytes32"
             }
           ],
-          "internalType": "struct GlobalState[2]",
-          "name": "globalStates",
-          "type": "tuple[2]"
-        },
-        {
-          "internalType": "uint64",
-          "name": "numBlocks",
-          "type": "uint64"
-        },
-        {
-          "internalType": "bytes32",
-          "name": "secondExecutionHash",
-          "type": "bytes32"
-        },
-        {
-          "internalType": "uint256[2]",
-          "name": "proposedTimes",
-          "type": "uint256[2]"
-        },
-        {
-          "internalType": "bytes32[2]",
-          "name": "wasmModuleRoots",
-          "type": "bytes32[2]"
+          "internalType": "struct AssertionNode",
+          "name": "",
+          "type": "tuple"
         }
       ],
-      "name": "createChallenge",
-      "outputs": [],
-      "stateMutability": "nonpayable",
+      "stateMutability": "view",
       "type": "function"
     },
     {
       "inputs": [
         {
-          "internalType": "address",
-          "name": "staker",
-          "type": "address"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         }
       ],
-      "name": "currentChallenge",
+      "name": "getAssertionCreationBlockForLogLookup",
       "outputs": [
         {
-          "internalType": "uint64",
+          "internalType": "uint256",
           "name": "",
-          "type": "uint64"
+          "type": "uint256"
         }
       ],
       "stateMutability": "view",
       "type": "function"
     },
     {
-      "inputs": [],
-      "name": "currentRequiredStake",
-      "outputs": [
+      "inputs": [
         {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         }
       ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "extraChallengeTimeBlocks",
+      "name": "getFirstChildCreationBlock",
       "outputs": [
         {
           "internalType": "uint64",
@@ -523,28 +621,11 @@
       "inputs": [
         {
           "internalType": "bytes32",
-          "name": "blockHash",
-          "type": "bytes32"
-        },
-        {
-          "internalType": "bytes32",
-          "name": "sendRoot",
-          "type": "bytes32"
-        },
-        {
-          "internalType": "bytes32",
-          "name": "nodeHash",
+          "name": "assertionHash",
           "type": "bytes32"
         }
       ],
-      "name": "fastConfirmNextNode",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "firstUnresolvedNode",
+      "name": "getSecondChildCreationBlock",
       "outputs": [
         {
           "internalType": "uint64",
@@ -558,77 +639,42 @@
     {
       "inputs": [
         {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
+          "internalType": "address",
+          "name": "staker",
+          "type": "address"
         }
       ],
-      "name": "getNode",
+      "name": "getStaker",
       "outputs": [
         {
           "components": [
             {
-              "internalType": "bytes32",
-              "name": "stateHash",
-              "type": "bytes32"
+              "internalType": "uint256",
+              "name": "amountStaked",
+              "type": "uint256"
             },
             {
               "internalType": "bytes32",
-              "name": "challengeHash",
+              "name": "latestStakedAssertion",
               "type": "bytes32"
             },
-            {
-              "internalType": "bytes32",
-              "name": "confirmData",
-              "type": "bytes32"
-            },
-            {
-              "internalType": "uint64",
-              "name": "prevNum",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "deadlineBlock",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "noChildConfirmedBeforeBlock",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "stakerCount",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "childStakerCount",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "firstChildBlock",
-              "type": "uint64"
-            },
             {
               "internalType": "uint64",
-              "name": "latestChildNumber",
+              "name": "index",
               "type": "uint64"
             },
             {
-              "internalType": "uint64",
-              "name": "createdAtBlock",
-              "type": "uint64"
+              "internalType": "bool",
+              "name": "isStaked",
+              "type": "bool"
             },
             {
-              "internalType": "bytes32",
-              "name": "nodeHash",
-              "type": "bytes32"
+              "internalType": "address",
+              "name": "withdrawalAddress",
+              "type": "address"
             }
           ],
-          "internalType": "struct Node",
+          "internalType": "struct IRollupCore.Staker",
           "name": "",
           "type": "tuple"
         }
@@ -640,81 +686,29 @@
       "inputs": [
         {
           "internalType": "uint64",
-          "name": "nodeNum",
+          "name": "stakerNum",
           "type": "uint64"
         }
       ],
-      "name": "getNodeCreationBlockForLogLookup",
+      "name": "getStakerAddress",
       "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
         {
           "internalType": "address",
-          "name": "staker",
-          "type": "address"
-        }
-      ],
-      "name": "getStaker",
-      "outputs": [
-        {
-          "components": [
-            {
-              "internalType": "uint256",
-              "name": "amountStaked",
-              "type": "uint256"
-            },
-            {
-              "internalType": "uint64",
-              "name": "index",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "latestStakedNode",
-              "type": "uint64"
-            },
-            {
-              "internalType": "uint64",
-              "name": "currentChallenge",
-              "type": "uint64"
-            },
-            {
-              "internalType": "bool",
-              "name": "isStaked",
-              "type": "bool"
-            }
-          ],
-          "internalType": "struct IRollupCore.Staker",
           "name": "",
-          "type": "tuple"
+          "type": "address"
         }
       ],
       "stateMutability": "view",
       "type": "function"
     },
     {
-      "inputs": [
-        {
-          "internalType": "uint64",
-          "name": "stakerNum",
-          "type": "uint64"
-        }
-      ],
-      "name": "getStakerAddress",
+      "inputs": [],
+      "name": "getValidators",
       "outputs": [
         {
-          "internalType": "address",
+          "internalType": "address[]",
           "name": "",
-          "type": "address"
+          "type": "address[]"
         }
       ],
       "stateMutability": "view",
@@ -733,28 +727,15 @@
       "stateMutability": "view",
       "type": "function"
     },
-    {
-      "inputs": [],
-      "name": "isERC20Enabled",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
     {
       "inputs": [
         {
-          "internalType": "address",
-          "name": "staker",
-          "type": "address"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         }
       ],
-      "name": "isStaked",
+      "name": "isFirstChild",
       "outputs": [
         {
           "internalType": "bool",
@@ -768,12 +749,12 @@
     {
       "inputs": [
         {
-          "internalType": "address",
-          "name": "",
-          "type": "address"
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
         }
       ],
-      "name": "isValidator",
+      "name": "isPending",
       "outputs": [
         {
           "internalType": "bool",
@@ -792,7 +773,7 @@
           "type": "address"
         }
       ],
-      "name": "isZombie",
+      "name": "isStaked",
       "outputs": [
         {
           "internalType": "bool",
@@ -804,26 +785,19 @@
       "type": "function"
     },
     {
-      "inputs": [],
-      "name": "lastStakeBlock",
-      "outputs": [
+      "inputs": [
         {
-          "internalType": "uint64",
+          "internalType": "address",
           "name": "",
-          "type": "uint64"
+          "type": "address"
         }
       ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "latestConfirmed",
+      "name": "isValidator",
       "outputs": [
         {
-          "internalType": "uint64",
+          "internalType": "bool",
           "name": "",
-          "type": "uint64"
+          "type": "bool"
         }
       ],
       "stateMutability": "view",
@@ -831,12 +805,12 @@
     },
     {
       "inputs": [],
-      "name": "latestNodeCreated",
+      "name": "latestConfirmed",
       "outputs": [
         {
-          "internalType": "uint64",
+          "internalType": "bytes32",
           "name": "",
-          "type": "uint64"
+          "type": "bytes32"
         }
       ],
       "stateMutability": "view",
@@ -850,12 +824,12 @@
           "type": "address"
         }
       ],
-      "name": "latestStakedNode",
+      "name": "latestStakedAssertion",
       "outputs": [
         {
-          "internalType": "uint64",
+          "internalType": "bytes32",
           "name": "",
-          "type": "uint64"
+          "type": "bytes32"
         }
       ],
       "stateMutability": "view",
@@ -890,25 +864,79 @@
     {
       "inputs": [
         {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
+          "internalType": "uint256",
+          "name": "tokenAmount",
+          "type": "uint256"
         },
         {
-          "internalType": "bytes32",
-          "name": "nodeHash",
-          "type": "bytes32"
+          "internalType": "address",
+          "name": "withdrawalAddress",
+          "type": "address"
         }
       ],
-      "name": "newStakeOnExistingNode",
+      "name": "newStake",
       "outputs": [],
-      "stateMutability": "payable",
+      "stateMutability": "nonpayable",
       "type": "function"
     },
     {
       "inputs": [
+        {
+          "internalType": "uint256",
+          "name": "tokenAmount",
+          "type": "uint256"
+        },
         {
           "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32",
+                  "name": "prevPrevAssertionHash",
+                  "type": "bytes32"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "sequencerBatchAcc",
+                  "type": "bytes32"
+                },
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32",
+                      "name": "wasmModuleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint256",
+                      "name": "requiredStake",
+                      "type": "uint256"
+                    },
+                    {
+                      "internalType": "address",
+                      "name": "challengeManager",
+                      "type": "address"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "confirmPeriodBlocks",
+                      "type": "uint64"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "nextInboxPosition",
+                      "type": "uint64"
+                    }
+                  ],
+                  "internalType": "struct ConfigData",
+                  "name": "configData",
+                  "type": "tuple"
+                }
+              ],
+              "internalType": "struct BeforeStateData",
+              "name": "beforeStateData",
+              "type": "tuple"
+            },
             {
               "components": [
                 {
@@ -932,9 +960,14 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "beforeState",
               "type": "tuple"
             },
@@ -961,60 +994,178 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "afterState",
               "type": "tuple"
-            },
-            {
-              "internalType": "uint64",
-              "name": "numBlocks",
-              "type": "uint64"
             }
           ],
-          "internalType": "struct Assertion",
+          "internalType": "struct AssertionInputs",
           "name": "assertion",
           "type": "tuple"
         },
         {
           "internalType": "bytes32",
-          "name": "expectedNodeHash",
+          "name": "expectedAssertionHash",
           "type": "bytes32"
         },
         {
-          "internalType": "uint256",
-          "name": "prevNodeInboxMaxCount",
-          "type": "uint256"
+          "internalType": "address",
+          "name": "withdrawalAddress",
+          "type": "address"
         }
       ],
-      "name": "newStakeOnNewNode",
+      "name": "newStakeOnNewAssertion",
       "outputs": [],
-      "stateMutability": "payable",
+      "stateMutability": "nonpayable",
       "type": "function"
     },
     {
       "inputs": [
         {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
+          "internalType": "uint256",
+          "name": "tokenAmount",
+          "type": "uint256"
         },
         {
-          "internalType": "address",
-          "name": "staker",
-          "type": "address"
-        }
-      ],
-      "name": "nodeHasStaker",
-      "outputs": [
+          "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32",
+                  "name": "prevPrevAssertionHash",
+                  "type": "bytes32"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "sequencerBatchAcc",
+                  "type": "bytes32"
+                },
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32",
+                      "name": "wasmModuleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint256",
+                      "name": "requiredStake",
+                      "type": "uint256"
+                    },
+                    {
+                      "internalType": "address",
+                      "name": "challengeManager",
+                      "type": "address"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "confirmPeriodBlocks",
+                      "type": "uint64"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "nextInboxPosition",
+                      "type": "uint64"
+                    }
+                  ],
+                  "internalType": "struct ConfigData",
+                  "name": "configData",
+                  "type": "tuple"
+                }
+              ],
+              "internalType": "struct BeforeStateData",
+              "name": "beforeStateData",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32[2]",
+                      "name": "bytes32Vals",
+                      "type": "bytes32[2]"
+                    },
+                    {
+                      "internalType": "uint64[2]",
+                      "name": "u64Vals",
+                      "type": "uint64[2]"
+                    }
+                  ],
+                  "internalType": "struct GlobalState",
+                  "name": "globalState",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "enum MachineStatus",
+                  "name": "machineStatus",
+                  "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct AssertionState",
+              "name": "beforeState",
+              "type": "tuple"
+            },
+            {
+              "components": [
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32[2]",
+                      "name": "bytes32Vals",
+                      "type": "bytes32[2]"
+                    },
+                    {
+                      "internalType": "uint64[2]",
+                      "name": "u64Vals",
+                      "type": "uint64[2]"
+                    }
+                  ],
+                  "internalType": "struct GlobalState",
+                  "name": "globalState",
+                  "type": "tuple"
+                },
+                {
+                  "internalType": "enum MachineStatus",
+                  "name": "machineStatus",
+                  "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
+                }
+              ],
+              "internalType": "struct AssertionState",
+              "name": "afterState",
+              "type": "tuple"
+            }
+          ],
+          "internalType": "struct AssertionInputs",
+          "name": "assertion",
+          "type": "tuple"
+        },
         {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
+          "internalType": "bytes32",
+          "name": "expectedAssertionHash",
+          "type": "bytes32"
         }
       ],
-      "stateMutability": "view",
+      "name": "newStakeOnNewAssertion",
+      "outputs": [],
+      "stateMutability": "nonpayable",
       "type": "function"
     },
     {
@@ -1056,32 +1207,6 @@
       "stateMutability": "nonpayable",
       "type": "function"
     },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "stakerAddress",
-          "type": "address"
-        }
-      ],
-      "name": "rejectNextNode",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "startIndex",
-          "type": "uint256"
-        }
-      ],
-      "name": "removeOldZombies",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
     {
       "inputs": [],
       "name": "removeWhitelistAfterFork",
@@ -1096,71 +1221,11 @@
       "stateMutability": "nonpayable",
       "type": "function"
     },
-    {
-      "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "zombieNum",
-          "type": "uint256"
-        },
-        {
-          "internalType": "uint256",
-          "name": "maxNodes",
-          "type": "uint256"
-        }
-      ],
-      "name": "removeZombie",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "nodeNum",
-          "type": "uint256"
-        }
-      ],
-      "name": "requireUnresolved",
-      "outputs": [],
-      "stateMutability": "view",
-      "type": "function"
-    },
     {
       "inputs": [],
-      "name": "requireUnresolvedExists",
+      "name": "returnOldDeposit",
       "outputs": [],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "blockNumber",
-          "type": "uint256"
-        },
-        {
-          "internalType": "uint64",
-          "name": "firstUnresolvedNodeNum",
-          "type": "uint64"
-        },
-        {
-          "internalType": "uint64",
-          "name": "latestCreatedNode",
-          "type": "uint64"
-        }
-      ],
-      "name": "requiredStake",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
+      "stateMutability": "nonpayable",
       "type": "function"
     },
     {
@@ -1171,7 +1236,7 @@
           "type": "address"
         }
       ],
-      "name": "returnOldDeposit",
+      "name": "returnOldDepositFor",
       "outputs": [],
       "stateMutability": "nonpayable",
       "type": "function"
@@ -1202,28 +1267,59 @@
       "stateMutability": "view",
       "type": "function"
     },
-    {
-      "inputs": [
-        {
-          "internalType": "uint64",
-          "name": "nodeNum",
-          "type": "uint64"
-        },
-        {
-          "internalType": "bytes32",
-          "name": "nodeHash",
-          "type": "bytes32"
-        }
-      ],
-      "name": "stakeOnExistingNode",
-      "outputs": [],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
     {
       "inputs": [
         {
           "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32",
+                  "name": "prevPrevAssertionHash",
+                  "type": "bytes32"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "sequencerBatchAcc",
+                  "type": "bytes32"
+                },
+                {
+                  "components": [
+                    {
+                      "internalType": "bytes32",
+                      "name": "wasmModuleRoot",
+                      "type": "bytes32"
+                    },
+                    {
+                      "internalType": "uint256",
+                      "name": "requiredStake",
+                      "type": "uint256"
+                    },
+                    {
+                      "internalType": "address",
+                      "name": "challengeManager",
+                      "type": "address"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "confirmPeriodBlocks",
+                      "type": "uint64"
+                    },
+                    {
+                      "internalType": "uint64",
+                      "name": "nextInboxPosition",
+                      "type": "uint64"
+                    }
+                  ],
+                  "internalType": "struct ConfigData",
+                  "name": "configData",
+                  "type": "tuple"
+                }
+              ],
+              "internalType": "struct BeforeStateData",
+              "name": "beforeStateData",
+              "type": "tuple"
+            },
             {
               "components": [
                 {
@@ -1247,9 +1343,14 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "beforeState",
               "type": "tuple"
             },
@@ -1276,34 +1377,29 @@
                   "internalType": "enum MachineStatus",
                   "name": "machineStatus",
                   "type": "uint8"
+                },
+                {
+                  "internalType": "bytes32",
+                  "name": "endHistoryRoot",
+                  "type": "bytes32"
                 }
               ],
-              "internalType": "struct ExecutionState",
+              "internalType": "struct AssertionState",
               "name": "afterState",
               "type": "tuple"
-            },
-            {
-              "internalType": "uint64",
-              "name": "numBlocks",
-              "type": "uint64"
             }
           ],
-          "internalType": "struct Assertion",
+          "internalType": "struct AssertionInputs",
           "name": "assertion",
           "type": "tuple"
         },
         {
           "internalType": "bytes32",
-          "name": "expectedNodeHash",
+          "name": "expectedAssertionHash",
           "type": "bytes32"
-        },
-        {
-          "internalType": "uint256",
-          "name": "prevNodeInboxMaxCount",
-          "type": "uint256"
         }
       ],
-      "name": "stakeOnNewNode",
+      "name": "stakeOnNewAssertion",
       "outputs": [],
       "stateMutability": "nonpayable",
       "type": "function"
@@ -1334,6 +1430,121 @@
       "stateMutability": "view",
       "type": "function"
     },
+    {
+      "inputs": [
+        {
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
+        },
+        {
+          "components": [
+            {
+              "components": [
+                {
+                  "internalType": "bytes32[2]",
+                  "name": "bytes32Vals",
+                  "type": "bytes32[2]"
+                },
+                {
+                  "internalType": "uint64[2]",
+                  "name": "u64Vals",
+                  "type": "uint64[2]"
+                }
+              ],
+              "internalType": "struct GlobalState",
+              "name": "globalState",
+              "type": "tuple"
+            },
+            {
+              "internalType": "enum MachineStatus",
+              "name": "machineStatus",
+              "type": "uint8"
+            },
+            {
+              "internalType": "bytes32",
+              "name": "endHistoryRoot",
+              "type": "bytes32"
+            }
+          ],
+          "internalType": "struct AssertionState",
+          "name": "state",
+          "type": "tuple"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "prevAssertionHash",
+          "type": "bytes32"
+        },
+        {
+          "internalType": "bytes32",
+          "name": "inboxAcc",
+          "type": "bytes32"
+        }
+      ],
+      "name": "validateAssertionHash",
+      "outputs": [],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [
+        {
+          "internalType": "bytes32",
+          "name": "assertionHash",
+          "type": "bytes32"
+        },
+        {
+          "components": [
+            {
+              "internalType": "bytes32",
+              "name": "wasmModuleRoot",
+              "type": "bytes32"
+            },
+            {
+              "internalType": "uint256",
+              "name": "requiredStake",
+              "type": "uint256"
+            },
+            {
+              "internalType": "address",
+              "name": "challengeManager",
+              "type": "address"
+            },
+            {
+              "internalType": "uint64",
+              "name": "confirmPeriodBlocks",
+              "type": "uint64"
+            },
+            {
+              "internalType": "uint64",
+              "name": "nextInboxPosition",
+              "type": "uint64"
+            }
+          ],
+          "internalType": "struct ConfigData",
+          "name": "configData",
+          "type": "tuple"
+        }
+      ],
+      "name": "validateConfig",
+      "outputs": [],
+      "stateMutability": "view",
+      "type": "function"
+    },
+    {
+      "inputs": [],
+      "name": "validatorAfkBlocks",
+      "outputs": [
+        {
+          "internalType": "uint64",
+          "name": "",
+          "type": "uint64"
+        }
+      ],
+      "stateMutability": "view",
+      "type": "function"
+    },
     {
       "inputs": [],
       "name": "validatorWhitelistDisabled",
@@ -1394,50 +1605,18 @@
     },
     {
       "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "zombieNum",
-          "type": "uint256"
-        }
-      ],
-      "name": "zombieAddress",
-      "outputs": [
         {
           "internalType": "address",
-          "name": "",
+          "name": "staker",
           "type": "address"
         }
       ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "zombieCount",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "uint256",
-          "name": "zombieNum",
-          "type": "uint256"
-        }
-      ],
-      "name": "zombieLatestStakedNode",
+      "name": "withdrawalAddress",
       "outputs": [
         {
-          "internalType": "uint64",
+          "internalType": "address",
           "name": "",
-          "type": "uint64"
+          "type": "address"
         }
       ],
       "stateMutability": "view",