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

Sign up to get free protection for your applications and to get access to all the features.
Files changed (503) hide show
  1. package/build/contracts/@openzeppelin/contracts/access/Ownable.sol/Ownable.dbg.json +1 -1
  2. package/build/contracts/@openzeppelin/contracts/interfaces/draft-IERC1822.sol/IERC1822Proxiable.dbg.json +1 -1
  3. package/build/contracts/@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol/ERC1967Proxy.dbg.json +1 -1
  4. package/build/contracts/@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol/ERC1967Proxy.json +2 -2
  5. package/build/contracts/@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol/ERC1967Upgrade.dbg.json +1 -1
  6. package/build/contracts/@openzeppelin/contracts/proxy/Proxy.sol/Proxy.dbg.json +1 -1
  7. package/build/contracts/@openzeppelin/contracts/proxy/beacon/IBeacon.sol/IBeacon.dbg.json +1 -1
  8. package/build/contracts/@openzeppelin/contracts/proxy/beacon/UpgradeableBeacon.sol/UpgradeableBeacon.dbg.json +1 -1
  9. package/build/contracts/@openzeppelin/contracts/proxy/beacon/UpgradeableBeacon.sol/UpgradeableBeacon.json +2 -2
  10. package/build/contracts/@openzeppelin/contracts/proxy/transparent/ProxyAdmin.sol/ProxyAdmin.dbg.json +1 -1
  11. package/build/contracts/@openzeppelin/contracts/proxy/transparent/ProxyAdmin.sol/ProxyAdmin.json +2 -2
  12. package/build/contracts/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/TransparentUpgradeableProxy.dbg.json +1 -1
  13. package/build/contracts/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/TransparentUpgradeableProxy.json +2 -2
  14. package/build/contracts/@openzeppelin/contracts/proxy/utils/UUPSUpgradeable.sol/UUPSUpgradeable.dbg.json +1 -1
  15. package/build/contracts/@openzeppelin/contracts/security/ReentrancyGuard.sol/ReentrancyGuard.dbg.json +1 -1
  16. package/build/contracts/@openzeppelin/contracts/token/ERC20/ERC20.sol/ERC20.dbg.json +1 -1
  17. package/build/contracts/@openzeppelin/contracts/token/ERC20/ERC20.sol/ERC20.json +2 -2
  18. package/build/contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol/IERC20.dbg.json +1 -1
  19. package/build/contracts/@openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol/IERC20Metadata.dbg.json +1 -1
  20. package/build/contracts/@openzeppelin/contracts/token/ERC20/extensions/draft-IERC20Permit.sol/IERC20Permit.dbg.json +4 -0
  21. package/build/contracts/@openzeppelin/contracts/token/ERC20/extensions/draft-IERC20Permit.sol/IERC20Permit.json +86 -0
  22. package/build/contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol/SafeERC20.dbg.json +1 -1
  23. package/build/contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol/SafeERC20.json +2 -2
  24. package/build/contracts/@openzeppelin/contracts/utils/Address.sol/Address.dbg.json +1 -1
  25. package/build/contracts/@openzeppelin/contracts/utils/Address.sol/Address.json +2 -2
  26. package/build/contracts/@openzeppelin/contracts/utils/Context.sol/Context.dbg.json +1 -1
  27. package/build/contracts/@openzeppelin/contracts/utils/Create2.sol/Create2.dbg.json +4 -0
  28. package/build/contracts/@openzeppelin/contracts/utils/Create2.sol/Create2.json +10 -0
  29. package/build/contracts/@openzeppelin/contracts/utils/StorageSlot.sol/StorageSlot.dbg.json +1 -1
  30. package/build/contracts/@openzeppelin/contracts/utils/StorageSlot.sol/StorageSlot.json +2 -2
  31. package/build/contracts/@openzeppelin/contracts/utils/Strings.sol/Strings.dbg.json +1 -1
  32. package/build/contracts/@openzeppelin/contracts/utils/Strings.sol/Strings.json +2 -2
  33. package/build/contracts/@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol/AccessControlUpgradeable.dbg.json +1 -1
  34. package/build/contracts/@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol/AccessControlUpgradeable.json +13 -0
  35. package/build/contracts/@openzeppelin/contracts-upgradeable/access/IAccessControlUpgradeable.sol/IAccessControlUpgradeable.dbg.json +1 -1
  36. package/build/contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol/OwnableUpgradeable.dbg.json +1 -1
  37. package/build/contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol/OwnableUpgradeable.json +13 -0
  38. package/build/contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol/Initializable.dbg.json +1 -1
  39. package/build/contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol/Initializable.json +15 -1
  40. package/build/contracts/@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol/PausableUpgradeable.dbg.json +1 -1
  41. package/build/contracts/@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol/PausableUpgradeable.json +13 -0
  42. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol/AddressUpgradeable.dbg.json +1 -1
  43. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol/AddressUpgradeable.json +2 -2
  44. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol/ContextUpgradeable.dbg.json +1 -1
  45. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol/ContextUpgradeable.json +15 -1
  46. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/Create2Upgradeable.sol/Create2Upgradeable.dbg.json +4 -0
  47. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/Create2Upgradeable.sol/Create2Upgradeable.json +10 -0
  48. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/StorageSlotUpgradeable.sol/StorageSlotUpgradeable.dbg.json +1 -1
  49. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/StorageSlotUpgradeable.sol/StorageSlotUpgradeable.json +2 -2
  50. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/StringsUpgradeable.sol/StringsUpgradeable.dbg.json +1 -1
  51. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/StringsUpgradeable.sol/StringsUpgradeable.json +2 -2
  52. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/introspection/ERC165Upgradeable.sol/ERC165Upgradeable.dbg.json +1 -1
  53. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/introspection/ERC165Upgradeable.sol/ERC165Upgradeable.json +13 -0
  54. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/introspection/IERC165Upgradeable.sol/IERC165Upgradeable.dbg.json +1 -1
  55. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/structs/EnumerableSetUpgradeable.sol/EnumerableSetUpgradeable.dbg.json +4 -0
  56. package/build/contracts/@openzeppelin/contracts-upgradeable/utils/structs/EnumerableSetUpgradeable.sol/EnumerableSetUpgradeable.json +10 -0
  57. package/build/contracts/src/assertionStakingPool/AbsBoldStakingPool.sol/AbsBoldStakingPool.dbg.json +4 -0
  58. package/build/contracts/{@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol/IERC20Upgradeable.json → src/assertionStakingPool/AbsBoldStakingPool.sol/AbsBoldStakingPool.json} +41 -95
  59. package/build/contracts/src/assertionStakingPool/AssertionStakingPool.sol/AssertionStakingPool.dbg.json +4 -0
  60. package/build/contracts/src/assertionStakingPool/AssertionStakingPool.sol/AssertionStakingPool.json +340 -0
  61. package/build/contracts/src/assertionStakingPool/AssertionStakingPoolCreator.sol/AssertionStakingPoolCreator.dbg.json +4 -0
  62. package/build/contracts/src/assertionStakingPool/AssertionStakingPoolCreator.sol/AssertionStakingPoolCreator.json +89 -0
  63. package/build/contracts/src/assertionStakingPool/EdgeStakingPool.sol/EdgeStakingPool.dbg.json +4 -0
  64. package/build/contracts/src/assertionStakingPool/EdgeStakingPool.sol/EdgeStakingPool.json +248 -0
  65. package/build/contracts/src/assertionStakingPool/EdgeStakingPoolCreator.sol/EdgeStakingPoolCreator.dbg.json +4 -0
  66. package/build/contracts/src/assertionStakingPool/EdgeStakingPoolCreator.sol/EdgeStakingPoolCreator.json +83 -0
  67. package/build/contracts/src/assertionStakingPool/StakingPoolCreatorUtils.sol/StakingPoolCreatorUtils.dbg.json +4 -0
  68. package/build/contracts/src/assertionStakingPool/StakingPoolCreatorUtils.sol/StakingPoolCreatorUtils.json +16 -0
  69. package/build/contracts/src/assertionStakingPool/interfaces/IAbsBoldStakingPool.sol/IAbsBoldStakingPool.dbg.json +4 -0
  70. package/build/contracts/src/assertionStakingPool/interfaces/IAbsBoldStakingPool.sol/IAbsBoldStakingPool.json +140 -0
  71. package/build/contracts/src/assertionStakingPool/interfaces/IAssertionStakingPool.sol/IAssertionStakingPool.dbg.json +4 -0
  72. package/build/contracts/src/assertionStakingPool/interfaces/IAssertionStakingPool.sol/IAssertionStakingPool.json +324 -0
  73. package/build/contracts/src/assertionStakingPool/interfaces/IAssertionStakingPoolCreator.sol/IAssertionStakingPoolCreator.dbg.json +4 -0
  74. package/build/contracts/src/assertionStakingPool/interfaces/IAssertionStakingPoolCreator.sol/IAssertionStakingPoolCreator.json +84 -0
  75. package/build/contracts/src/assertionStakingPool/interfaces/IEdgeStakingPool.sol/IEdgeStakingPool.dbg.json +4 -0
  76. package/build/contracts/src/assertionStakingPool/interfaces/IEdgeStakingPool.sol/IEdgeStakingPool.json +232 -0
  77. package/build/contracts/src/assertionStakingPool/interfaces/IEdgeStakingPoolCreator.sol/IEdgeStakingPoolCreator.dbg.json +4 -0
  78. package/build/contracts/src/assertionStakingPool/interfaces/IEdgeStakingPoolCreator.sol/IEdgeStakingPoolCreator.json +78 -0
  79. package/build/contracts/src/bridge/AbsBridge.sol/AbsBridge.dbg.json +1 -1
  80. package/build/contracts/src/bridge/AbsBridge.sol/AbsBridge.json +13 -0
  81. package/build/contracts/src/bridge/AbsInbox.sol/AbsInbox.dbg.json +1 -1
  82. package/build/contracts/src/bridge/AbsInbox.sol/AbsInbox.json +20 -7
  83. package/build/contracts/src/bridge/AbsOutbox.sol/AbsOutbox.dbg.json +1 -1
  84. package/build/contracts/src/bridge/Bridge.sol/Bridge.dbg.json +1 -1
  85. package/build/contracts/src/bridge/Bridge.sol/Bridge.json +15 -2
  86. package/build/contracts/src/bridge/DelayBuffer.sol/DelayBuffer.dbg.json +4 -0
  87. package/build/contracts/src/bridge/DelayBuffer.sol/DelayBuffer.json +24 -0
  88. package/build/contracts/src/bridge/ERC20Bridge.sol/ERC20Bridge.dbg.json +1 -1
  89. package/build/contracts/src/bridge/ERC20Bridge.sol/ERC20Bridge.json +15 -2
  90. package/build/contracts/src/bridge/ERC20Inbox.sol/ERC20Inbox.dbg.json +1 -1
  91. package/build/contracts/src/bridge/ERC20Inbox.sol/ERC20Inbox.json +22 -9
  92. package/build/contracts/src/bridge/ERC20Outbox.sol/ERC20Outbox.dbg.json +1 -1
  93. package/build/contracts/src/bridge/ERC20Outbox.sol/ERC20Outbox.json +2 -2
  94. package/build/contracts/src/bridge/GasRefunder.sol/GasRefunder.dbg.json +1 -1
  95. package/build/contracts/src/bridge/GasRefunder.sol/GasRefunder.json +2 -2
  96. package/build/contracts/src/bridge/IBridge.sol/IBridge.dbg.json +1 -1
  97. package/build/contracts/src/bridge/IDelayedMessageProvider.sol/IDelayedMessageProvider.dbg.json +1 -1
  98. package/build/contracts/src/bridge/IERC20Bridge.sol/IERC20Bridge.dbg.json +1 -1
  99. package/build/contracts/src/bridge/IERC20Inbox.sol/IERC20Inbox.dbg.json +1 -1
  100. package/build/contracts/src/bridge/IERC20Inbox.sol/IERC20Inbox.json +1 -1
  101. package/build/contracts/src/bridge/IEthBridge.sol/IEthBridge.dbg.json +1 -1
  102. package/build/contracts/src/bridge/IInbox.sol/IInbox.dbg.json +1 -1
  103. package/build/contracts/src/bridge/IInbox.sol/IInbox.json +1 -1
  104. package/build/contracts/src/bridge/IInboxBase.sol/IInboxBase.dbg.json +1 -1
  105. package/build/contracts/src/bridge/IInboxBase.sol/IInboxBase.json +1 -1
  106. package/build/contracts/src/bridge/IOutbox.sol/IOutbox.dbg.json +1 -1
  107. package/build/contracts/src/bridge/IOwnable.sol/IOwnable.dbg.json +1 -1
  108. package/build/contracts/src/bridge/ISequencerInbox.sol/ISequencerInbox.dbg.json +1 -1
  109. package/build/contracts/src/bridge/ISequencerInbox.sol/ISequencerInbox.json +441 -0
  110. package/build/contracts/src/bridge/Inbox.sol/Inbox.dbg.json +1 -1
  111. package/build/contracts/src/bridge/Inbox.sol/Inbox.json +22 -4
  112. package/build/contracts/src/bridge/Messages.sol/Messages.dbg.json +1 -1
  113. package/build/contracts/src/bridge/Messages.sol/Messages.json +2 -2
  114. package/build/contracts/src/bridge/Outbox.sol/Outbox.dbg.json +1 -1
  115. package/build/contracts/src/bridge/Outbox.sol/Outbox.json +2 -2
  116. package/build/contracts/src/bridge/SequencerInbox.sol/SequencerInbox.dbg.json +1 -1
  117. package/build/contracts/src/bridge/SequencerInbox.sol/SequencerInbox.json +564 -7
  118. package/build/contracts/src/chain/CacheManager.sol/CacheManager.dbg.json +1 -1
  119. package/build/contracts/src/chain/CacheManager.sol/CacheManager.json +15 -2
  120. package/build/contracts/src/challengeV2/EdgeChallengeManager.sol/EdgeChallengeManager.dbg.json +4 -0
  121. package/build/contracts/src/challengeV2/EdgeChallengeManager.sol/EdgeChallengeManager.json +1631 -0
  122. package/build/contracts/src/challengeV2/EdgeChallengeManager.sol/IEdgeChallengeManager.dbg.json +4 -0
  123. package/build/contracts/src/challengeV2/EdgeChallengeManager.sol/IEdgeChallengeManager.json +762 -0
  124. package/build/contracts/src/challengeV2/IAssertionChain.sol/IAssertionChain.dbg.json +4 -0
  125. package/build/contracts/src/challengeV2/IAssertionChain.sol/IAssertionChain.json +247 -0
  126. package/build/contracts/src/challengeV2/libraries/ArrayUtilsLib.sol/ArrayUtilsLib.dbg.json +4 -0
  127. package/build/contracts/src/challengeV2/libraries/ArrayUtilsLib.sol/ArrayUtilsLib.json +10 -0
  128. package/build/contracts/src/challengeV2/libraries/ChallengeEdgeLib.sol/ChallengeEdgeLib.dbg.json +4 -0
  129. package/build/contracts/src/challengeV2/libraries/ChallengeEdgeLib.sol/ChallengeEdgeLib.json +10 -0
  130. package/build/contracts/src/challengeV2/libraries/EdgeChallengeManagerLib.sol/EdgeChallengeManagerLib.dbg.json +4 -0
  131. package/build/contracts/src/challengeV2/libraries/EdgeChallengeManagerLib.sol/EdgeChallengeManagerLib.json +24 -0
  132. package/build/contracts/src/challengeV2/libraries/MerkleTreeAccumulatorLib.sol/MerkleTreeAccumulatorLib.dbg.json +4 -0
  133. package/build/contracts/src/challengeV2/libraries/MerkleTreeAccumulatorLib.sol/MerkleTreeAccumulatorLib.json +24 -0
  134. package/build/contracts/src/challengeV2/libraries/UintUtilsLib.sol/UintUtilsLib.dbg.json +4 -0
  135. package/build/contracts/src/challengeV2/libraries/UintUtilsLib.sol/UintUtilsLib.json +10 -0
  136. package/build/contracts/src/libraries/AddressAliasHelper.sol/AddressAliasHelper.dbg.json +1 -1
  137. package/build/contracts/src/libraries/AddressAliasHelper.sol/AddressAliasHelper.json +2 -2
  138. package/build/contracts/src/libraries/AdminFallbackProxy.sol/AdminFallbackProxy.dbg.json +1 -1
  139. package/build/contracts/src/libraries/AdminFallbackProxy.sol/AdminFallbackProxy.json +2 -2
  140. package/build/contracts/src/libraries/AdminFallbackProxy.sol/DoubleLogicERC1967Upgrade.dbg.json +1 -1
  141. package/build/contracts/src/libraries/ArbitrumChecker.sol/ArbitrumChecker.dbg.json +1 -1
  142. package/build/contracts/src/libraries/ArbitrumChecker.sol/ArbitrumChecker.json +2 -2
  143. package/build/contracts/src/libraries/CryptographyPrimitives.sol/CryptographyPrimitives.dbg.json +1 -1
  144. package/build/contracts/src/libraries/CryptographyPrimitives.sol/CryptographyPrimitives.json +2 -2
  145. package/build/contracts/src/libraries/DecimalsConverterHelper.sol/DecimalsConverterHelper.dbg.json +1 -1
  146. package/build/contracts/src/libraries/DecimalsConverterHelper.sol/DecimalsConverterHelper.json +2 -2
  147. package/build/contracts/src/libraries/DelegateCallAware.sol/DelegateCallAware.dbg.json +1 -1
  148. package/build/contracts/src/libraries/DoubleLogicUUPSUpgradeable.sol/DoubleLogicUUPSUpgradeable.dbg.json +1 -1
  149. package/build/contracts/src/libraries/GasRefundEnabled.sol/GasRefundEnabled.dbg.json +1 -1
  150. package/build/contracts/src/libraries/IGasRefunder.sol/IGasRefunder.dbg.json +1 -1
  151. package/build/contracts/src/libraries/IReader4844.sol/IReader4844.dbg.json +1 -1
  152. package/build/contracts/src/libraries/MerkleLib.sol/MerkleLib.dbg.json +1 -1
  153. package/build/contracts/src/libraries/MerkleLib.sol/MerkleLib.json +2 -2
  154. package/build/contracts/src/libraries/UUPSNotUpgradeable.sol/UUPSNotUpgradeable.dbg.json +1 -1
  155. package/build/contracts/src/mocks/Benchmarks.sol/Benchmarks.dbg.json +1 -1
  156. package/build/contracts/src/mocks/Benchmarks.sol/Benchmarks.json +2 -2
  157. package/build/contracts/src/mocks/BridgeStub.sol/BridgeStub.dbg.json +1 -1
  158. package/build/contracts/src/mocks/BridgeStub.sol/BridgeStub.json +8 -8
  159. package/build/contracts/src/mocks/BridgeUnproxied.sol/BridgeUnproxied.dbg.json +1 -1
  160. package/build/contracts/src/mocks/BridgeUnproxied.sol/BridgeUnproxied.json +28 -2
  161. package/build/contracts/src/mocks/InboxStub.sol/InboxStub.dbg.json +1 -1
  162. package/build/contracts/src/mocks/InboxStub.sol/InboxStub.json +2 -2
  163. package/build/contracts/src/mocks/MerkleTreeAccess.sol/MerkleTreeAccess.dbg.json +4 -0
  164. package/build/contracts/src/mocks/MerkleTreeAccess.sol/MerkleTreeAccess.json +227 -0
  165. package/build/contracts/src/mocks/MockRollupEventInbox.sol/MockRollupEventInbox.dbg.json +4 -0
  166. package/build/contracts/src/mocks/MockRollupEventInbox.sol/MockRollupEventInbox.json +133 -0
  167. package/build/contracts/src/mocks/MultiCallTest.sol/MultiCallTest.dbg.json +1 -1
  168. package/build/contracts/src/mocks/MultiCallTest.sol/MultiCallTest.json +2 -2
  169. package/build/contracts/src/mocks/PendingBlkTimeAndNrAdvanceCheck.sol/PendingBlkTimeAndNrAdvanceCheck.dbg.json +1 -1
  170. package/build/contracts/src/mocks/PendingBlkTimeAndNrAdvanceCheck.sol/PendingBlkTimeAndNrAdvanceCheck.json +2 -2
  171. package/build/contracts/src/mocks/Program.sol/ProgramTest.dbg.json +1 -1
  172. package/build/contracts/src/mocks/Program.sol/ProgramTest.json +2 -2
  173. package/build/contracts/src/mocks/ProxyAdminForBinding.sol/ProxyAdminForBinding.dbg.json +1 -1
  174. package/build/contracts/src/mocks/ProxyAdminForBinding.sol/ProxyAdminForBinding.json +2 -2
  175. package/build/contracts/src/mocks/SdkStorage.sol/SdkStorage.dbg.json +1 -1
  176. package/build/contracts/src/mocks/SdkStorage.sol/SdkStorage.json +2 -2
  177. package/build/contracts/src/mocks/SequencerInboxBlobMock.sol/SequencerInboxBlobMock.dbg.json +4 -0
  178. package/build/contracts/src/mocks/SequencerInboxBlobMock.sol/SequencerInboxBlobMock.json +1632 -0
  179. package/build/contracts/src/mocks/SequencerInboxStub.sol/SequencerInboxStub.dbg.json +1 -1
  180. package/build/contracts/src/mocks/SequencerInboxStub.sol/SequencerInboxStub.json +564 -7
  181. package/build/contracts/src/mocks/Simple.sol/Simple.dbg.json +1 -1
  182. package/build/contracts/src/mocks/Simple.sol/Simple.json +2 -2
  183. package/build/contracts/src/mocks/SimpleCacheManager.sol/SimpleCacheManager.dbg.json +1 -1
  184. package/build/contracts/src/mocks/SimpleCacheManager.sol/SimpleCacheManager.json +2 -2
  185. package/build/contracts/src/mocks/SimpleOneStepProofEntry.sol/SimpleOneStepProofEntry.dbg.json +4 -0
  186. package/build/contracts/src/mocks/SimpleOneStepProofEntry.sol/SimpleOneStepProofEntry.json +142 -0
  187. package/build/contracts/src/mocks/SimpleProxy.sol/SimpleProxy.dbg.json +1 -1
  188. package/build/contracts/src/mocks/SimpleProxy.sol/SimpleProxy.json +2 -2
  189. package/build/contracts/src/mocks/TestWETH9.sol/IWETH9.dbg.json +4 -0
  190. package/build/contracts/src/mocks/TestWETH9.sol/IWETH9.json +31 -0
  191. package/build/contracts/src/mocks/TestWETH9.sol/TestWETH9.dbg.json +4 -0
  192. package/build/contracts/src/mocks/TestWETH9.sol/TestWETH9.json +317 -0
  193. package/build/contracts/src/mocks/UpgradeExecutorMock.sol/UpgradeExecutorMock.dbg.json +1 -1
  194. package/build/contracts/src/mocks/UpgradeExecutorMock.sol/UpgradeExecutorMock.json +15 -2
  195. package/build/contracts/src/node-interface/NodeInterface.sol/NodeInterface.dbg.json +1 -1
  196. package/build/contracts/src/node-interface/NodeInterfaceDebug.sol/NodeInterfaceDebug.dbg.json +1 -1
  197. package/build/contracts/src/osp/HashProofHelper.sol/HashProofHelper.dbg.json +1 -1
  198. package/build/contracts/src/osp/HashProofHelper.sol/HashProofHelper.json +2 -2
  199. package/build/contracts/src/osp/IOneStepProofEntry.sol/IOneStepProofEntry.dbg.json +1 -1
  200. package/build/contracts/src/osp/IOneStepProofEntry.sol/IOneStepProofEntry.json +33 -9
  201. package/build/contracts/src/osp/IOneStepProofEntry.sol/OneStepProofEntryLib.dbg.json +1 -1
  202. package/build/contracts/src/osp/IOneStepProofEntry.sol/OneStepProofEntryLib.json +2 -2
  203. package/build/contracts/src/osp/IOneStepProver.sol/IOneStepProver.dbg.json +1 -1
  204. package/build/contracts/src/osp/IOneStepProver.sol/IOneStepProver.json +5 -0
  205. package/build/contracts/src/osp/OneStepProofEntry.sol/OneStepProofEntry.dbg.json +1 -1
  206. package/build/contracts/src/osp/OneStepProofEntry.sol/OneStepProofEntry.json +35 -11
  207. package/build/contracts/src/osp/OneStepProver0.sol/OneStepProver0.dbg.json +1 -1
  208. package/build/contracts/src/osp/OneStepProver0.sol/OneStepProver0.json +7 -2
  209. package/build/contracts/src/osp/OneStepProverHostIo.sol/OneStepProverHostIo.dbg.json +1 -1
  210. package/build/contracts/src/osp/OneStepProverHostIo.sol/OneStepProverHostIo.json +7 -2
  211. package/build/contracts/src/osp/OneStepProverMath.sol/OneStepProverMath.dbg.json +1 -1
  212. package/build/contracts/src/osp/OneStepProverMath.sol/OneStepProverMath.json +7 -2
  213. package/build/contracts/src/osp/OneStepProverMemory.sol/OneStepProverMemory.dbg.json +1 -1
  214. package/build/contracts/src/osp/OneStepProverMemory.sol/OneStepProverMemory.json +7 -2
  215. package/build/contracts/src/precompiles/ArbAddressTable.sol/ArbAddressTable.dbg.json +1 -1
  216. package/build/contracts/src/precompiles/ArbAggregator.sol/ArbAggregator.dbg.json +1 -1
  217. package/build/contracts/src/precompiles/ArbBLS.sol/ArbBLS.dbg.json +1 -1
  218. package/build/contracts/src/precompiles/ArbDebug.sol/ArbDebug.dbg.json +1 -1
  219. package/build/contracts/src/precompiles/ArbFunctionTable.sol/ArbFunctionTable.dbg.json +1 -1
  220. package/build/contracts/src/precompiles/ArbGasInfo.sol/ArbGasInfo.dbg.json +1 -1
  221. package/build/contracts/src/precompiles/ArbInfo.sol/ArbInfo.dbg.json +1 -1
  222. package/build/contracts/src/precompiles/ArbOwner.sol/ArbOwner.dbg.json +1 -1
  223. package/build/contracts/src/precompiles/ArbOwnerPublic.sol/ArbOwnerPublic.dbg.json +1 -1
  224. package/build/contracts/src/precompiles/ArbRetryableTx.sol/ArbRetryableTx.dbg.json +1 -1
  225. package/build/contracts/src/precompiles/ArbStatistics.sol/ArbStatistics.dbg.json +1 -1
  226. package/build/contracts/src/precompiles/ArbSys.sol/ArbSys.dbg.json +1 -1
  227. package/build/contracts/src/precompiles/ArbWasm.sol/ArbWasm.dbg.json +1 -1
  228. package/build/contracts/src/precompiles/ArbWasmCache.sol/ArbWasmCache.dbg.json +1 -1
  229. package/build/contracts/src/precompiles/ArbosActs.sol/ArbosActs.dbg.json +1 -1
  230. package/build/contracts/src/precompiles/ArbosTest.sol/ArbosTest.dbg.json +1 -1
  231. package/build/contracts/src/rollup/AbsRollupEventInbox.sol/AbsRollupEventInbox.dbg.json +1 -1
  232. package/build/contracts/src/rollup/Assertion.sol/AssertionNodeLib.dbg.json +4 -0
  233. package/build/contracts/src/rollup/{Node.sol/NodeLib.json → Assertion.sol/AssertionNodeLib.json} +4 -4
  234. package/build/contracts/src/rollup/AssertionState.sol/AssertionStateLib.dbg.json +4 -0
  235. package/build/contracts/src/{challenge/ChallengeLib.sol/ChallengeLib.json → rollup/AssertionState.sol/AssertionStateLib.json} +4 -4
  236. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/BOLDUpgradeAction.dbg.json +4 -0
  237. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/BOLDUpgradeAction.json +807 -0
  238. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/ConstantArrayStorage.dbg.json +4 -0
  239. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/ConstantArrayStorage.json +35 -0
  240. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/IOldRollup.dbg.json +4 -0
  241. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/IOldRollup.json +361 -0
  242. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/IOldRollupAdmin.dbg.json +4 -0
  243. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/IOldRollupAdmin.json +38 -0
  244. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/ISeqInboxPostUpgradeInit.dbg.json +4 -0
  245. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/ISeqInboxPostUpgradeInit.json +41 -0
  246. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/RollupReader.dbg.json +4 -0
  247. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/RollupReader.json +385 -0
  248. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/StateHashPreImageLookup.dbg.json +4 -0
  249. package/build/contracts/src/rollup/BOLDUpgradeAction.sol/StateHashPreImageLookup.json +203 -0
  250. package/build/contracts/src/rollup/BridgeCreator.sol/BridgeCreator.dbg.json +1 -1
  251. package/build/contracts/src/rollup/BridgeCreator.sol/BridgeCreator.json +62 -10
  252. package/build/contracts/src/rollup/DeployHelper.sol/DeployHelper.dbg.json +1 -1
  253. package/build/contracts/src/rollup/DeployHelper.sol/DeployHelper.json +2 -2
  254. package/build/contracts/src/rollup/ERC20RollupEventInbox.sol/ERC20RollupEventInbox.dbg.json +1 -1
  255. package/build/contracts/src/rollup/ERC20RollupEventInbox.sol/ERC20RollupEventInbox.json +2 -2
  256. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/FactoryDeployerHelper.dbg.json +1 -1
  257. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/FactoryDeployerHelper.json +2 -2
  258. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/IDeployHelper.dbg.json +1 -1
  259. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/IERC20.dbg.json +1 -1
  260. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/IERC20Bridge.dbg.json +1 -1
  261. package/build/contracts/src/rollup/FactoryDeployerHelper.sol/IInboxBase.dbg.json +1 -1
  262. package/build/contracts/src/rollup/IRollupAdmin.sol/IRollupAdmin.dbg.json +1 -1
  263. package/build/contracts/src/rollup/IRollupAdmin.sol/IRollupAdmin.json +473 -99
  264. package/build/contracts/src/rollup/IRollupCore.sol/IRollupCore.dbg.json +1 -1
  265. package/build/contracts/src/rollup/IRollupCore.sol/IRollupCore.json +315 -221
  266. package/build/contracts/src/rollup/IRollupEventInbox.sol/IRollupEventInbox.dbg.json +1 -1
  267. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUser.dbg.json +1 -1
  268. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUser.json +678 -499
  269. package/build/contracts/src/rollup/RollupAdminLogic.sol/RollupAdminLogic.dbg.json +1 -1
  270. package/build/contracts/src/rollup/RollupAdminLogic.sol/RollupAdminLogic.json +806 -435
  271. package/build/contracts/src/rollup/RollupCore.sol/RollupCore.dbg.json +1 -1
  272. package/build/contracts/src/rollup/RollupCore.sol/RollupCore.json +323 -235
  273. package/build/contracts/src/rollup/RollupCreator.sol/RollupCreator.dbg.json +1 -1
  274. package/build/contracts/src/rollup/RollupCreator.sol/RollupCreator.json +98 -36
  275. package/build/contracts/src/rollup/RollupEventInbox.sol/RollupEventInbox.dbg.json +1 -1
  276. package/build/contracts/src/rollup/RollupEventInbox.sol/RollupEventInbox.json +2 -2
  277. package/build/contracts/src/rollup/RollupLib.sol/RollupLib.dbg.json +1 -1
  278. package/build/contracts/src/rollup/RollupLib.sol/RollupLib.json +2 -2
  279. package/build/contracts/src/rollup/RollupProxy.sol/RollupProxy.dbg.json +1 -1
  280. package/build/contracts/src/rollup/RollupProxy.sol/RollupProxy.json +97 -16
  281. package/build/contracts/src/rollup/RollupUserLogic.sol/RollupUserLogic.dbg.json +1 -1
  282. package/build/contracts/src/rollup/RollupUserLogic.sol/RollupUserLogic.json +924 -535
  283. package/build/contracts/src/rollup/ValidatorWallet.sol/ValidatorWallet.dbg.json +1 -1
  284. package/build/contracts/src/rollup/ValidatorWallet.sol/ValidatorWallet.json +15 -43
  285. package/build/contracts/src/rollup/ValidatorWalletCreator.sol/ValidatorWalletCreator.dbg.json +1 -1
  286. package/build/contracts/src/rollup/ValidatorWalletCreator.sol/ValidatorWalletCreator.json +2 -2
  287. package/build/contracts/src/state/Deserialize.sol/Deserialize.dbg.json +1 -1
  288. package/build/contracts/src/state/Deserialize.sol/Deserialize.json +2 -2
  289. package/build/contracts/src/state/GlobalState.sol/GlobalStateLib.dbg.json +1 -1
  290. package/build/contracts/src/state/GlobalState.sol/GlobalStateLib.json +2 -2
  291. package/build/contracts/src/state/Instructions.sol/Instructions.dbg.json +1 -1
  292. package/build/contracts/src/state/Instructions.sol/Instructions.json +2 -2
  293. package/build/contracts/src/state/Machine.sol/MachineLib.dbg.json +1 -1
  294. package/build/contracts/src/state/Machine.sol/MachineLib.json +2 -2
  295. package/build/contracts/src/state/MerkleProof.sol/MerkleProofLib.dbg.json +1 -1
  296. package/build/contracts/src/state/MerkleProof.sol/MerkleProofLib.json +2 -2
  297. package/build/contracts/src/state/Module.sol/ModuleLib.dbg.json +1 -1
  298. package/build/contracts/src/state/Module.sol/ModuleLib.json +2 -2
  299. package/build/contracts/src/state/ModuleMemory.sol/ModuleMemoryLib.dbg.json +1 -1
  300. package/build/contracts/src/state/ModuleMemory.sol/ModuleMemoryLib.json +2 -2
  301. package/build/contracts/src/state/ModuleMemoryCompact.sol/ModuleMemoryCompactLib.dbg.json +1 -1
  302. package/build/contracts/src/state/ModuleMemoryCompact.sol/ModuleMemoryCompactLib.json +2 -2
  303. package/build/contracts/src/state/MultiStack.sol/MultiStackLib.dbg.json +1 -1
  304. package/build/contracts/src/state/MultiStack.sol/MultiStackLib.json +2 -2
  305. package/build/contracts/src/state/PcArray.sol/PcArrayLib.dbg.json +1 -1
  306. package/build/contracts/src/state/PcArray.sol/PcArrayLib.json +2 -2
  307. package/build/contracts/src/state/StackFrame.sol/StackFrameLib.dbg.json +1 -1
  308. package/build/contracts/src/state/StackFrame.sol/StackFrameLib.json +2 -2
  309. package/build/contracts/src/state/Value.sol/ValueLib.dbg.json +1 -1
  310. package/build/contracts/src/state/Value.sol/ValueLib.json +2 -2
  311. package/build/contracts/src/state/ValueArray.sol/ValueArrayLib.dbg.json +1 -1
  312. package/build/contracts/src/state/ValueArray.sol/ValueArrayLib.json +2 -2
  313. package/build/contracts/src/state/ValueStack.sol/ValueStackLib.dbg.json +1 -1
  314. package/build/contracts/src/state/ValueStack.sol/ValueStackLib.json +2 -2
  315. package/build/contracts/src/test-helpers/BridgeTester.sol/BridgeTester.dbg.json +1 -1
  316. package/build/contracts/src/test-helpers/BridgeTester.sol/BridgeTester.json +15 -2
  317. package/build/contracts/src/test-helpers/CryptographyPrimitivesTester.sol/CryptographyPrimitivesTester.dbg.json +1 -1
  318. package/build/contracts/src/test-helpers/CryptographyPrimitivesTester.sol/CryptographyPrimitivesTester.json +2 -2
  319. package/build/contracts/src/test-helpers/EthVault.sol/EthVault.dbg.json +1 -1
  320. package/build/contracts/src/test-helpers/EthVault.sol/EthVault.json +2 -2
  321. package/build/contracts/src/test-helpers/MessageTester.sol/MessageTester.dbg.json +1 -1
  322. package/build/contracts/src/test-helpers/MessageTester.sol/MessageTester.json +2 -2
  323. package/build/contracts/src/test-helpers/OutboxWithoutOptTester.sol/OutboxWithoutOptTester.dbg.json +1 -1
  324. package/build/contracts/src/test-helpers/OutboxWithoutOptTester.sol/OutboxWithoutOptTester.json +2 -2
  325. package/build/contracts/src/test-helpers/RollupMock.sol/RollupMock.dbg.json +1 -1
  326. package/build/contracts/src/test-helpers/RollupMock.sol/RollupMock.json +2 -15
  327. package/build/contracts/src/test-helpers/TestToken.sol/TestToken.dbg.json +1 -1
  328. package/build/contracts/src/test-helpers/TestToken.sol/TestToken.json +2 -2
  329. package/build/contracts/src/test-helpers/ValueArrayTester.sol/ValueArrayTester.dbg.json +1 -1
  330. package/build/contracts/src/test-helpers/ValueArrayTester.sol/ValueArrayTester.json +2 -2
  331. package/out/yul/Reader4844.yul/Reader4844.json +1 -1
  332. package/package.json +15 -5
  333. package/src/assertionStakingPool/AbsBoldStakingPool.sol +66 -0
  334. package/src/assertionStakingPool/AssertionStakingPool.sol +70 -0
  335. package/src/assertionStakingPool/AssertionStakingPoolCreator.sol +35 -0
  336. package/src/assertionStakingPool/EdgeStakingPool.sol +57 -0
  337. package/src/assertionStakingPool/EdgeStakingPoolCreator.sol +34 -0
  338. package/src/assertionStakingPool/StakingPoolCreatorUtils.sol +25 -0
  339. package/src/assertionStakingPool/interfaces/IAbsBoldStakingPool.sol +41 -0
  340. package/src/assertionStakingPool/interfaces/IAssertionStakingPool.sol +36 -0
  341. package/src/assertionStakingPool/interfaces/IAssertionStakingPoolCreator.sol +31 -0
  342. package/src/assertionStakingPool/interfaces/IEdgeStakingPool.sol +27 -0
  343. package/src/assertionStakingPool/interfaces/IEdgeStakingPoolCreator.sol +28 -0
  344. package/src/bridge/AbsBridge.sol +38 -48
  345. package/src/bridge/AbsInbox.sol +88 -97
  346. package/src/bridge/AbsOutbox.sol +23 -37
  347. package/src/bridge/Bridge.sol +6 -4
  348. package/src/bridge/DelayBuffer.sol +123 -0
  349. package/src/bridge/DelayBufferTypes.sol +38 -0
  350. package/src/bridge/ERC20Bridge.sol +8 -4
  351. package/src/bridge/ERC20Inbox.sol +46 -53
  352. package/src/bridge/ERC20Outbox.sol +7 -3
  353. package/src/bridge/GasRefunder.sol +38 -24
  354. package/src/bridge/IBridge.sol +30 -21
  355. package/src/bridge/IERC20Bridge.sol +1 -1
  356. package/src/bridge/IERC20Inbox.sol +4 -2
  357. package/src/bridge/IEthBridge.sol +4 -2
  358. package/src/bridge/IInbox.sol +4 -2
  359. package/src/bridge/IInboxBase.sol +17 -13
  360. package/src/bridge/IOutbox.sol +13 -8
  361. package/src/bridge/ISequencerInbox.sol +118 -13
  362. package/src/bridge/Inbox.sol +131 -151
  363. package/src/bridge/Messages.sol +48 -18
  364. package/src/bridge/Outbox.sol +6 -2
  365. package/src/bridge/SequencerInbox.sol +339 -274
  366. package/src/chain/CacheManager.sol +49 -18
  367. package/src/challengeV2/EdgeChallengeManager.sol +783 -0
  368. package/src/challengeV2/IAssertionChain.sol +39 -0
  369. package/src/challengeV2/libraries/ArrayUtilsLib.sol +61 -0
  370. package/src/challengeV2/libraries/ChallengeEdgeLib.sol +333 -0
  371. package/src/challengeV2/libraries/ChallengeErrors.sol +108 -0
  372. package/src/challengeV2/libraries/EdgeChallengeManagerLib.sol +930 -0
  373. package/src/challengeV2/libraries/Enums.sol +26 -0
  374. package/src/challengeV2/libraries/MerkleTreeAccumulatorLib.sol +390 -0
  375. package/src/challengeV2/libraries/UintUtilsLib.sol +74 -0
  376. package/src/libraries/AddressAliasHelper.sol +6 -2
  377. package/src/libraries/AdminFallbackProxy.sol +8 -4
  378. package/src/libraries/ArbitrumChecker.sol +3 -4
  379. package/src/libraries/CryptographyPrimitives.sol +39 -46
  380. package/src/libraries/DecimalsConverterHelper.sol +2 -4
  381. package/src/libraries/DoubleLogicUUPSUpgradeable.sol +10 -7
  382. package/src/libraries/Error.sol +18 -3
  383. package/src/libraries/GasRefundEnabled.sol +3 -4
  384. package/src/libraries/MerkleLib.sol +6 -5
  385. package/src/libraries/UUPSNotUpgradeable.sol +2 -4
  386. package/src/mocks/BridgeStub.sol +50 -48
  387. package/src/mocks/BridgeUnproxied.sol +2 -0
  388. package/src/mocks/InboxStub.sol +22 -17
  389. package/src/mocks/MerkleTreeAccess.sol +72 -0
  390. package/src/mocks/MockRollupEventInbox.sol +59 -0
  391. package/src/mocks/MultiCallTest.sol +3 -1
  392. package/src/mocks/PendingBlkTimeAndNrAdvanceCheck.sol +3 -1
  393. package/src/mocks/Program.sol +9 -7
  394. package/src/mocks/SequencerInboxBlobMock.sol +38 -0
  395. package/src/mocks/SequencerInboxStub.sol +9 -12
  396. package/src/mocks/Simple.sol +13 -25
  397. package/src/mocks/SimpleCacheManager.sol +10 -3
  398. package/src/mocks/SimpleOneStepProofEntry.sol +60 -0
  399. package/src/mocks/SimpleProxy.sol +3 -1
  400. package/src/mocks/TestWETH9.sol +30 -0
  401. package/src/mocks/UpgradeExecutorMock.sol +10 -17
  402. package/src/node-interface/NodeInterface.sol +23 -22
  403. package/src/node-interface/NodeInterfaceDebug.sol +5 -3
  404. package/src/osp/HashProofHelper.sol +9 -10
  405. package/src/osp/IOneStepProofEntry.sol +14 -9
  406. package/src/osp/IOneStepProver.sol +1 -0
  407. package/src/osp/OneStepProofEntry.sol +63 -54
  408. package/src/osp/OneStepProver0.sol +14 -27
  409. package/src/osp/OneStepProverHostIo.sol +31 -58
  410. package/src/osp/OneStepProverMath.sol +15 -23
  411. package/src/osp/OneStepProverMemory.sol +9 -23
  412. package/src/precompiles/ArbAddressTable.sol +19 -9
  413. package/src/precompiles/ArbAggregator.sol +12 -4
  414. package/src/precompiles/ArbBLS.sol +1 -3
  415. package/src/precompiles/ArbDebug.sol +5 -11
  416. package/src/precompiles/ArbFunctionTable.sol +7 -10
  417. package/src/precompiles/ArbGasInfo.sol +9 -43
  418. package/src/precompiles/ArbInfo.sol +6 -2
  419. package/src/precompiles/ArbOwner.sol +101 -34
  420. package/src/precompiles/ArbOwnerPublic.sol +6 -2
  421. package/src/precompiles/ArbRetryableTx.sol +15 -5
  422. package/src/precompiles/ArbStatistics.sol +1 -8
  423. package/src/precompiles/ArbSys.sol +16 -18
  424. package/src/precompiles/ArbWasm.sol +24 -14
  425. package/src/precompiles/ArbWasmCache.sol +15 -5
  426. package/src/precompiles/ArbosTest.sol +3 -1
  427. package/src/rollup/AbsRollupEventInbox.sol +15 -16
  428. package/src/rollup/Assertion.sol +100 -0
  429. package/src/rollup/AssertionState.sol +29 -0
  430. package/src/rollup/BOLDUpgradeAction.sol +631 -0
  431. package/src/rollup/BridgeCreator.sol +42 -15
  432. package/src/rollup/Config.sol +15 -7
  433. package/src/rollup/DeployHelper.sol +12 -31
  434. package/src/rollup/ERC20RollupEventInbox.sol +8 -9
  435. package/src/rollup/FactoryDeployerHelper.sol +8 -10
  436. package/src/rollup/IRollupAdmin.sol +127 -45
  437. package/src/rollup/IRollupCore.sol +64 -84
  438. package/src/rollup/IRollupEventInbox.sol +3 -1
  439. package/src/rollup/IRollupLogic.sol +35 -72
  440. package/src/rollup/RollupAdminLogic.sol +224 -203
  441. package/src/rollup/RollupCore.sol +407 -428
  442. package/src/rollup/RollupCreator.sol +88 -75
  443. package/src/rollup/RollupEventInbox.sol +7 -7
  444. package/src/rollup/RollupLib.sol +50 -86
  445. package/src/rollup/RollupProxy.sol +8 -12
  446. package/src/rollup/RollupUserLogic.sol +279 -644
  447. package/src/rollup/ValidatorUtils.sol +0 -242
  448. package/src/rollup/ValidatorWallet.sol +22 -38
  449. package/src/rollup/ValidatorWalletCreator.sol +8 -8
  450. package/src/state/Deserialize.sol +74 -96
  451. package/src/state/GlobalState.sol +74 -20
  452. package/src/state/Instructions.sol +4 -3
  453. package/src/state/Machine.sol +18 -19
  454. package/src/state/Module.sol +14 -13
  455. package/src/state/ModuleMemory.sol +6 -25
  456. package/src/state/ModuleMemoryCompact.sol +3 -1
  457. package/src/state/MultiStack.sol +16 -20
  458. package/src/state/PcArray.sol +7 -7
  459. package/src/state/StackFrame.sol +21 -14
  460. package/src/state/Value.sol +18 -6
  461. package/src/state/ValueArray.sol +7 -7
  462. package/src/state/ValueStack.sol +9 -3
  463. package/src/test-helpers/BridgeTester.sol +32 -42
  464. package/src/test-helpers/CryptographyPrimitivesTester.sol +12 -13
  465. package/src/test-helpers/EthVault.sol +4 -2
  466. package/src/test-helpers/InterfaceCompatibilityTester.sol +1 -1
  467. package/src/test-helpers/MessageTester.sol +3 -10
  468. package/src/test-helpers/OutboxWithoutOptTester.sol +12 -19
  469. package/src/test-helpers/RollupMock.sol +3 -7
  470. package/src/test-helpers/TestToken.sol +4 -2
  471. package/build/contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol/IERC20Upgradeable.dbg.json +0 -4
  472. package/build/contracts/src/challenge/ChallengeLib.sol/ChallengeLib.dbg.json +0 -4
  473. package/build/contracts/src/challenge/ChallengeManager.sol/ChallengeManager.dbg.json +0 -4
  474. package/build/contracts/src/challenge/ChallengeManager.sol/ChallengeManager.json +0 -746
  475. package/build/contracts/src/challenge/IChallengeManager.sol/IChallengeManager.dbg.json +0 -4
  476. package/build/contracts/src/challenge/IChallengeManager.sol/IChallengeManager.json +0 -441
  477. package/build/contracts/src/challenge/IChallengeResultReceiver.sol/IChallengeResultReceiver.dbg.json +0 -4
  478. package/build/contracts/src/challenge/IChallengeResultReceiver.sol/IChallengeResultReceiver.json +0 -34
  479. package/build/contracts/src/mocks/MockResultReceiver.sol/MockResultReceiver.dbg.json +0 -4
  480. package/build/contracts/src/mocks/MockResultReceiver.sol/MockResultReceiver.json +0 -188
  481. package/build/contracts/src/mocks/SingleExecutionChallenge.sol/SingleExecutionChallenge.dbg.json +0 -4
  482. package/build/contracts/src/mocks/SingleExecutionChallenge.sol/SingleExecutionChallenge.json +0 -797
  483. package/build/contracts/src/mocks/TimedOutChallengeManager.sol/TimedOutChallengeManager.dbg.json +0 -4
  484. package/build/contracts/src/mocks/TimedOutChallengeManager.sol/TimedOutChallengeManager.json +0 -746
  485. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUserAbs.dbg.json +0 -4
  486. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUserAbs.json +0 -1332
  487. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUserERC20.dbg.json +0 -4
  488. package/build/contracts/src/rollup/IRollupLogic.sol/IRollupUserERC20.json +0 -1466
  489. package/build/contracts/src/rollup/Node.sol/NodeLib.dbg.json +0 -4
  490. package/build/contracts/src/rollup/RollupUserLogic.sol/AbsRollupUserLogic.dbg.json +0 -4
  491. package/build/contracts/src/rollup/RollupUserLogic.sol/AbsRollupUserLogic.json +0 -1614
  492. package/build/contracts/src/rollup/RollupUserLogic.sol/ERC20RollupUserLogic.dbg.json +0 -4
  493. package/build/contracts/src/rollup/RollupUserLogic.sol/ERC20RollupUserLogic.json +0 -1748
  494. package/build/contracts/src/rollup/ValidatorUtils.sol/ValidatorUtils.dbg.json +0 -4
  495. package/build/contracts/src/rollup/ValidatorUtils.sol/ValidatorUtils.json +0 -379
  496. package/src/challenge/ChallengeLib.sol +0 -88
  497. package/src/challenge/ChallengeManager.sol +0 -375
  498. package/src/challenge/IChallengeManager.sol +0 -86
  499. package/src/challenge/IChallengeResultReceiver.sol +0 -13
  500. package/src/mocks/MockResultReceiver.sol +0 -59
  501. package/src/mocks/SingleExecutionChallenge.sol +0 -41
  502. package/src/mocks/TimedOutChallengeManager.sol +0 -13
  503. package/src/rollup/Node.sol +0 -113
@@ -8,9 +8,9 @@
8
8
  "inputs": [
9
9
  {
10
10
  "indexed": true,
11
- "internalType": "uint64",
12
- "name": "nodeNum",
13
- "type": "uint64"
11
+ "internalType": "bytes32",
12
+ "name": "assertionHash",
13
+ "type": "bytes32"
14
14
  },
15
15
  {
16
16
  "indexed": false,
@@ -25,38 +25,75 @@
25
25
  "type": "bytes32"
26
26
  }
27
27
  ],
28
- "name": "NodeConfirmed",
28
+ "name": "AssertionConfirmed",
29
29
  "type": "event"
30
30
  },
31
31
  {
32
32
  "anonymous": false,
33
33
  "inputs": [
34
- {
35
- "indexed": true,
36
- "internalType": "uint64",
37
- "name": "nodeNum",
38
- "type": "uint64"
39
- },
40
34
  {
41
35
  "indexed": true,
42
36
  "internalType": "bytes32",
43
- "name": "parentNodeHash",
37
+ "name": "assertionHash",
44
38
  "type": "bytes32"
45
39
  },
46
40
  {
47
41
  "indexed": true,
48
42
  "internalType": "bytes32",
49
- "name": "nodeHash",
50
- "type": "bytes32"
51
- },
52
- {
53
- "indexed": false,
54
- "internalType": "bytes32",
55
- "name": "executionHash",
43
+ "name": "parentAssertionHash",
56
44
  "type": "bytes32"
57
45
  },
58
46
  {
59
47
  "components": [
48
+ {
49
+ "components": [
50
+ {
51
+ "internalType": "bytes32",
52
+ "name": "prevPrevAssertionHash",
53
+ "type": "bytes32"
54
+ },
55
+ {
56
+ "internalType": "bytes32",
57
+ "name": "sequencerBatchAcc",
58
+ "type": "bytes32"
59
+ },
60
+ {
61
+ "components": [
62
+ {
63
+ "internalType": "bytes32",
64
+ "name": "wasmModuleRoot",
65
+ "type": "bytes32"
66
+ },
67
+ {
68
+ "internalType": "uint256",
69
+ "name": "requiredStake",
70
+ "type": "uint256"
71
+ },
72
+ {
73
+ "internalType": "address",
74
+ "name": "challengeManager",
75
+ "type": "address"
76
+ },
77
+ {
78
+ "internalType": "uint64",
79
+ "name": "confirmPeriodBlocks",
80
+ "type": "uint64"
81
+ },
82
+ {
83
+ "internalType": "uint64",
84
+ "name": "nextInboxPosition",
85
+ "type": "uint64"
86
+ }
87
+ ],
88
+ "internalType": "struct ConfigData",
89
+ "name": "configData",
90
+ "type": "tuple"
91
+ }
92
+ ],
93
+ "internalType": "struct BeforeStateData",
94
+ "name": "beforeStateData",
95
+ "type": "tuple"
96
+ },
60
97
  {
61
98
  "components": [
62
99
  {
@@ -80,9 +117,14 @@
80
117
  "internalType": "enum MachineStatus",
81
118
  "name": "machineStatus",
82
119
  "type": "uint8"
120
+ },
121
+ {
122
+ "internalType": "bytes32",
123
+ "name": "endHistoryRoot",
124
+ "type": "bytes32"
83
125
  }
84
126
  ],
85
- "internalType": "struct ExecutionState",
127
+ "internalType": "struct AssertionState",
86
128
  "name": "beforeState",
87
129
  "type": "tuple"
88
130
  },
@@ -109,20 +151,20 @@
109
151
  "internalType": "enum MachineStatus",
110
152
  "name": "machineStatus",
111
153
  "type": "uint8"
154
+ },
155
+ {
156
+ "internalType": "bytes32",
157
+ "name": "endHistoryRoot",
158
+ "type": "bytes32"
112
159
  }
113
160
  ],
114
- "internalType": "struct ExecutionState",
161
+ "internalType": "struct AssertionState",
115
162
  "name": "afterState",
116
163
  "type": "tuple"
117
- },
118
- {
119
- "internalType": "uint64",
120
- "name": "numBlocks",
121
- "type": "uint64"
122
164
  }
123
165
  ],
124
166
  "indexed": false,
125
- "internalType": "struct Assertion",
167
+ "internalType": "struct AssertionInputs",
126
168
  "name": "assertion",
127
169
  "type": "tuple"
128
170
  },
@@ -132,6 +174,12 @@
132
174
  "name": "afterInboxBatchAcc",
133
175
  "type": "bytes32"
134
176
  },
177
+ {
178
+ "indexed": false,
179
+ "internalType": "uint256",
180
+ "name": "inboxMaxCount",
181
+ "type": "uint256"
182
+ },
135
183
  {
136
184
  "indexed": false,
137
185
  "internalType": "bytes32",
@@ -141,24 +189,36 @@
141
189
  {
142
190
  "indexed": false,
143
191
  "internalType": "uint256",
144
- "name": "inboxMaxCount",
192
+ "name": "requiredStake",
145
193
  "type": "uint256"
194
+ },
195
+ {
196
+ "indexed": false,
197
+ "internalType": "address",
198
+ "name": "challengeManager",
199
+ "type": "address"
200
+ },
201
+ {
202
+ "indexed": false,
203
+ "internalType": "uint64",
204
+ "name": "confirmPeriodBlocks",
205
+ "type": "uint64"
146
206
  }
147
207
  ],
148
- "name": "NodeCreated",
208
+ "name": "AssertionCreated",
149
209
  "type": "event"
150
210
  },
151
211
  {
152
212
  "anonymous": false,
153
213
  "inputs": [
154
214
  {
155
- "indexed": true,
156
- "internalType": "uint64",
157
- "name": "nodeNum",
158
- "type": "uint64"
215
+ "indexed": false,
216
+ "internalType": "uint8",
217
+ "name": "version",
218
+ "type": "uint8"
159
219
  }
160
220
  ],
161
- "name": "NodeRejected",
221
+ "name": "Initialized",
162
222
  "type": "event"
163
223
  },
164
224
  {
@@ -198,7 +258,7 @@
198
258
  {
199
259
  "indexed": false,
200
260
  "internalType": "uint64",
201
- "name": "challengedNode",
261
+ "name": "challengedAssertion",
202
262
  "type": "uint64"
203
263
  }
204
264
  ],
@@ -246,6 +306,12 @@
246
306
  "name": "user",
247
307
  "type": "address"
248
308
  },
309
+ {
310
+ "indexed": true,
311
+ "internalType": "address",
312
+ "name": "withdrawalAddress",
313
+ "type": "address"
314
+ },
249
315
  {
250
316
  "indexed": false,
251
317
  "internalType": "uint256",
@@ -303,24 +369,24 @@
303
369
  "type": "uint256"
304
370
  },
305
371
  {
306
- "internalType": "uint64",
307
- "name": "index",
308
- "type": "uint64"
309
- },
310
- {
311
- "internalType": "uint64",
312
- "name": "latestStakedNode",
313
- "type": "uint64"
372
+ "internalType": "bytes32",
373
+ "name": "latestStakedAssertion",
374
+ "type": "bytes32"
314
375
  },
315
376
  {
316
377
  "internalType": "uint64",
317
- "name": "currentChallenge",
378
+ "name": "index",
318
379
  "type": "uint64"
319
380
  },
320
381
  {
321
382
  "internalType": "bool",
322
383
  "name": "isStaked",
323
384
  "type": "bool"
385
+ },
386
+ {
387
+ "internalType": "address",
388
+ "name": "withdrawalAddress",
389
+ "type": "address"
324
390
  }
325
391
  ],
326
392
  "stateMutability": "view",
@@ -399,20 +465,7 @@
399
465
  },
400
466
  {
401
467
  "inputs": [],
402
- "name": "challengeManager",
403
- "outputs": [
404
- {
405
- "internalType": "contract IChallengeManager",
406
- "name": "",
407
- "type": "address"
408
- }
409
- ],
410
- "stateMutability": "view",
411
- "type": "function"
412
- },
413
- {
414
- "inputs": [],
415
- "name": "confirmPeriodBlocks",
468
+ "name": "challengeGracePeriodBlocks",
416
469
  "outputs": [
417
470
  {
418
471
  "internalType": "uint64",
@@ -424,19 +477,13 @@
424
477
  "type": "function"
425
478
  },
426
479
  {
427
- "inputs": [
428
- {
429
- "internalType": "address",
430
- "name": "staker",
431
- "type": "address"
432
- }
433
- ],
434
- "name": "currentChallenge",
480
+ "inputs": [],
481
+ "name": "challengeManager",
435
482
  "outputs": [
436
483
  {
437
- "internalType": "uint64",
484
+ "internalType": "contract IEdgeChallengeManager",
438
485
  "name": "",
439
- "type": "uint64"
486
+ "type": "address"
440
487
  }
441
488
  ],
442
489
  "stateMutability": "view",
@@ -444,7 +491,7 @@
444
491
  },
445
492
  {
446
493
  "inputs": [],
447
- "name": "extraChallengeTimeBlocks",
494
+ "name": "confirmPeriodBlocks",
448
495
  "outputs": [
449
496
  {
450
497
  "internalType": "uint64",
@@ -457,91 +504,61 @@
457
504
  },
458
505
  {
459
506
  "inputs": [],
460
- "name": "firstUnresolvedNode",
507
+ "name": "genesisAssertionHash",
461
508
  "outputs": [
462
509
  {
463
- "internalType": "uint64",
510
+ "internalType": "bytes32",
464
511
  "name": "",
465
- "type": "uint64"
512
+ "type": "bytes32"
466
513
  }
467
514
  ],
468
- "stateMutability": "view",
515
+ "stateMutability": "pure",
469
516
  "type": "function"
470
517
  },
471
518
  {
472
519
  "inputs": [
473
520
  {
474
- "internalType": "uint64",
475
- "name": "nodeNum",
476
- "type": "uint64"
521
+ "internalType": "bytes32",
522
+ "name": "assertionHash",
523
+ "type": "bytes32"
477
524
  }
478
525
  ],
479
- "name": "getNode",
526
+ "name": "getAssertion",
480
527
  "outputs": [
481
528
  {
482
529
  "components": [
483
- {
484
- "internalType": "bytes32",
485
- "name": "stateHash",
486
- "type": "bytes32"
487
- },
488
- {
489
- "internalType": "bytes32",
490
- "name": "challengeHash",
491
- "type": "bytes32"
492
- },
493
- {
494
- "internalType": "bytes32",
495
- "name": "confirmData",
496
- "type": "bytes32"
497
- },
498
- {
499
- "internalType": "uint64",
500
- "name": "prevNum",
501
- "type": "uint64"
502
- },
503
- {
504
- "internalType": "uint64",
505
- "name": "deadlineBlock",
506
- "type": "uint64"
507
- },
508
530
  {
509
531
  "internalType": "uint64",
510
- "name": "noChildConfirmedBeforeBlock",
511
- "type": "uint64"
512
- },
513
- {
514
- "internalType": "uint64",
515
- "name": "stakerCount",
532
+ "name": "firstChildBlock",
516
533
  "type": "uint64"
517
534
  },
518
535
  {
519
536
  "internalType": "uint64",
520
- "name": "childStakerCount",
537
+ "name": "secondChildBlock",
521
538
  "type": "uint64"
522
539
  },
523
540
  {
524
541
  "internalType": "uint64",
525
- "name": "firstChildBlock",
542
+ "name": "createdAtBlock",
526
543
  "type": "uint64"
527
544
  },
528
545
  {
529
- "internalType": "uint64",
530
- "name": "latestChildNumber",
531
- "type": "uint64"
546
+ "internalType": "bool",
547
+ "name": "isFirstChild",
548
+ "type": "bool"
532
549
  },
533
550
  {
534
- "internalType": "uint64",
535
- "name": "createdAtBlock",
536
- "type": "uint64"
551
+ "internalType": "enum AssertionStatus",
552
+ "name": "status",
553
+ "type": "uint8"
537
554
  },
538
555
  {
539
556
  "internalType": "bytes32",
540
- "name": "nodeHash",
557
+ "name": "configHash",
541
558
  "type": "bytes32"
542
559
  }
543
560
  ],
544
- "internalType": "struct Node",
561
+ "internalType": "struct AssertionNode",
545
562
  "name": "",
546
563
  "type": "tuple"
547
564
  }
@@ -552,12 +569,12 @@
552
569
  {
553
570
  "inputs": [
554
571
  {
555
- "internalType": "uint64",
556
- "name": "nodeNum",
557
- "type": "uint64"
572
+ "internalType": "bytes32",
573
+ "name": "assertionHash",
574
+ "type": "bytes32"
558
575
  }
559
576
  ],
560
- "name": "getNodeCreationBlockForLogLookup",
577
+ "name": "getAssertionCreationBlockForLogLookup",
561
578
  "outputs": [
562
579
  {
563
580
  "internalType": "uint256",
@@ -568,6 +585,44 @@
568
585
  "stateMutability": "view",
569
586
  "type": "function"
570
587
  },
588
+ {
589
+ "inputs": [
590
+ {
591
+ "internalType": "bytes32",
592
+ "name": "assertionHash",
593
+ "type": "bytes32"
594
+ }
595
+ ],
596
+ "name": "getFirstChildCreationBlock",
597
+ "outputs": [
598
+ {
599
+ "internalType": "uint64",
600
+ "name": "",
601
+ "type": "uint64"
602
+ }
603
+ ],
604
+ "stateMutability": "view",
605
+ "type": "function"
606
+ },
607
+ {
608
+ "inputs": [
609
+ {
610
+ "internalType": "bytes32",
611
+ "name": "assertionHash",
612
+ "type": "bytes32"
613
+ }
614
+ ],
615
+ "name": "getSecondChildCreationBlock",
616
+ "outputs": [
617
+ {
618
+ "internalType": "uint64",
619
+ "name": "",
620
+ "type": "uint64"
621
+ }
622
+ ],
623
+ "stateMutability": "view",
624
+ "type": "function"
625
+ },
571
626
  {
572
627
  "inputs": [
573
628
  {
@@ -586,24 +641,24 @@
586
641
  "type": "uint256"
587
642
  },
588
643
  {
589
- "internalType": "uint64",
590
- "name": "index",
591
- "type": "uint64"
592
- },
593
- {
594
- "internalType": "uint64",
595
- "name": "latestStakedNode",
596
- "type": "uint64"
644
+ "internalType": "bytes32",
645
+ "name": "latestStakedAssertion",
646
+ "type": "bytes32"
597
647
  },
598
648
  {
599
649
  "internalType": "uint64",
600
- "name": "currentChallenge",
650
+ "name": "index",
601
651
  "type": "uint64"
602
652
  },
603
653
  {
604
654
  "internalType": "bool",
605
655
  "name": "isStaked",
606
656
  "type": "bool"
657
+ },
658
+ {
659
+ "internalType": "address",
660
+ "name": "withdrawalAddress",
661
+ "type": "address"
607
662
  }
608
663
  ],
609
664
  "internalType": "struct IRollupCore.Staker",
@@ -635,31 +690,25 @@
635
690
  },
636
691
  {
637
692
  "inputs": [],
638
- "name": "inbox",
693
+ "name": "getValidators",
639
694
  "outputs": [
640
695
  {
641
- "internalType": "contract IInboxBase",
696
+ "internalType": "address[]",
642
697
  "name": "",
643
- "type": "address"
698
+ "type": "address[]"
644
699
  }
645
700
  ],
646
701
  "stateMutability": "view",
647
702
  "type": "function"
648
703
  },
649
704
  {
650
- "inputs": [
651
- {
652
- "internalType": "address",
653
- "name": "staker",
654
- "type": "address"
655
- }
656
- ],
657
- "name": "isStaked",
705
+ "inputs": [],
706
+ "name": "inbox",
658
707
  "outputs": [
659
708
  {
660
- "internalType": "bool",
709
+ "internalType": "contract IInboxBase",
661
710
  "name": "",
662
- "type": "bool"
711
+ "type": "address"
663
712
  }
664
713
  ],
665
714
  "stateMutability": "view",
@@ -668,12 +717,12 @@
668
717
  {
669
718
  "inputs": [
670
719
  {
671
- "internalType": "address",
672
- "name": "staker",
673
- "type": "address"
720
+ "internalType": "bytes32",
721
+ "name": "assertionHash",
722
+ "type": "bytes32"
674
723
  }
675
724
  ],
676
- "name": "isStakedOnLatestConfirmed",
725
+ "name": "isFirstChild",
677
726
  "outputs": [
678
727
  {
679
728
  "internalType": "bool",
@@ -687,12 +736,12 @@
687
736
  {
688
737
  "inputs": [
689
738
  {
690
- "internalType": "address",
691
- "name": "",
692
- "type": "address"
739
+ "internalType": "bytes32",
740
+ "name": "assertionHash",
741
+ "type": "bytes32"
693
742
  }
694
743
  ],
695
- "name": "isValidator",
744
+ "name": "isPending",
696
745
  "outputs": [
697
746
  {
698
747
  "internalType": "bool",
@@ -711,7 +760,7 @@
711
760
  "type": "address"
712
761
  }
713
762
  ],
714
- "name": "isZombie",
763
+ "name": "isStaked",
715
764
  "outputs": [
716
765
  {
717
766
  "internalType": "bool",
@@ -723,26 +772,19 @@
723
772
  "type": "function"
724
773
  },
725
774
  {
726
- "inputs": [],
727
- "name": "lastStakeBlock",
728
- "outputs": [
775
+ "inputs": [
729
776
  {
730
- "internalType": "uint64",
731
- "name": "",
732
- "type": "uint64"
777
+ "internalType": "address",
778
+ "name": "validator",
779
+ "type": "address"
733
780
  }
734
781
  ],
735
- "stateMutability": "view",
736
- "type": "function"
737
- },
738
- {
739
- "inputs": [],
740
- "name": "latestConfirmed",
782
+ "name": "isValidator",
741
783
  "outputs": [
742
784
  {
743
- "internalType": "uint64",
785
+ "internalType": "bool",
744
786
  "name": "",
745
- "type": "uint64"
787
+ "type": "bool"
746
788
  }
747
789
  ],
748
790
  "stateMutability": "view",
@@ -750,12 +792,12 @@
750
792
  },
751
793
  {
752
794
  "inputs": [],
753
- "name": "latestNodeCreated",
795
+ "name": "latestConfirmed",
754
796
  "outputs": [
755
797
  {
756
- "internalType": "uint64",
798
+ "internalType": "bytes32",
757
799
  "name": "",
758
- "type": "uint64"
800
+ "type": "bytes32"
759
801
  }
760
802
  ],
761
803
  "stateMutability": "view",
@@ -769,12 +811,12 @@
769
811
  "type": "address"
770
812
  }
771
813
  ],
772
- "name": "latestStakedNode",
814
+ "name": "latestStakedAssertion",
773
815
  "outputs": [
774
816
  {
775
- "internalType": "uint64",
817
+ "internalType": "bytes32",
776
818
  "name": "",
777
- "type": "uint64"
819
+ "type": "bytes32"
778
820
  }
779
821
  ],
780
822
  "stateMutability": "view",
@@ -806,30 +848,6 @@
806
848
  "stateMutability": "view",
807
849
  "type": "function"
808
850
  },
809
- {
810
- "inputs": [
811
- {
812
- "internalType": "uint64",
813
- "name": "nodeNum",
814
- "type": "uint64"
815
- },
816
- {
817
- "internalType": "address",
818
- "name": "staker",
819
- "type": "address"
820
- }
821
- ],
822
- "name": "nodeHasStaker",
823
- "outputs": [
824
- {
825
- "internalType": "bool",
826
- "name": "",
827
- "type": "bool"
828
- }
829
- ],
830
- "stateMutability": "view",
831
- "type": "function"
832
- },
833
851
  {
834
852
  "inputs": [],
835
853
  "name": "outbox",
@@ -934,14 +952,116 @@
934
952
  "stateMutability": "view",
935
953
  "type": "function"
936
954
  },
955
+ {
956
+ "inputs": [
957
+ {
958
+ "internalType": "bytes32",
959
+ "name": "assertionHash",
960
+ "type": "bytes32"
961
+ },
962
+ {
963
+ "components": [
964
+ {
965
+ "components": [
966
+ {
967
+ "internalType": "bytes32[2]",
968
+ "name": "bytes32Vals",
969
+ "type": "bytes32[2]"
970
+ },
971
+ {
972
+ "internalType": "uint64[2]",
973
+ "name": "u64Vals",
974
+ "type": "uint64[2]"
975
+ }
976
+ ],
977
+ "internalType": "struct GlobalState",
978
+ "name": "globalState",
979
+ "type": "tuple"
980
+ },
981
+ {
982
+ "internalType": "enum MachineStatus",
983
+ "name": "machineStatus",
984
+ "type": "uint8"
985
+ },
986
+ {
987
+ "internalType": "bytes32",
988
+ "name": "endHistoryRoot",
989
+ "type": "bytes32"
990
+ }
991
+ ],
992
+ "internalType": "struct AssertionState",
993
+ "name": "state",
994
+ "type": "tuple"
995
+ },
996
+ {
997
+ "internalType": "bytes32",
998
+ "name": "prevAssertionHash",
999
+ "type": "bytes32"
1000
+ },
1001
+ {
1002
+ "internalType": "bytes32",
1003
+ "name": "inboxAcc",
1004
+ "type": "bytes32"
1005
+ }
1006
+ ],
1007
+ "name": "validateAssertionHash",
1008
+ "outputs": [],
1009
+ "stateMutability": "pure",
1010
+ "type": "function"
1011
+ },
1012
+ {
1013
+ "inputs": [
1014
+ {
1015
+ "internalType": "bytes32",
1016
+ "name": "assertionHash",
1017
+ "type": "bytes32"
1018
+ },
1019
+ {
1020
+ "components": [
1021
+ {
1022
+ "internalType": "bytes32",
1023
+ "name": "wasmModuleRoot",
1024
+ "type": "bytes32"
1025
+ },
1026
+ {
1027
+ "internalType": "uint256",
1028
+ "name": "requiredStake",
1029
+ "type": "uint256"
1030
+ },
1031
+ {
1032
+ "internalType": "address",
1033
+ "name": "challengeManager",
1034
+ "type": "address"
1035
+ },
1036
+ {
1037
+ "internalType": "uint64",
1038
+ "name": "confirmPeriodBlocks",
1039
+ "type": "uint64"
1040
+ },
1041
+ {
1042
+ "internalType": "uint64",
1043
+ "name": "nextInboxPosition",
1044
+ "type": "uint64"
1045
+ }
1046
+ ],
1047
+ "internalType": "struct ConfigData",
1048
+ "name": "configData",
1049
+ "type": "tuple"
1050
+ }
1051
+ ],
1052
+ "name": "validateConfig",
1053
+ "outputs": [],
1054
+ "stateMutability": "view",
1055
+ "type": "function"
1056
+ },
937
1057
  {
938
1058
  "inputs": [],
939
- "name": "validatorUtils",
1059
+ "name": "validatorAfkBlocks",
940
1060
  "outputs": [
941
1061
  {
942
- "internalType": "address",
1062
+ "internalType": "uint64",
943
1063
  "name": "",
944
- "type": "address"
1064
+ "type": "uint64"
945
1065
  }
946
1066
  ],
947
1067
  "stateMutability": "view",
@@ -1007,50 +1127,18 @@
1007
1127
  },
1008
1128
  {
1009
1129
  "inputs": [
1010
- {
1011
- "internalType": "uint256",
1012
- "name": "zombieNum",
1013
- "type": "uint256"
1014
- }
1015
- ],
1016
- "name": "zombieAddress",
1017
- "outputs": [
1018
1130
  {
1019
1131
  "internalType": "address",
1020
- "name": "",
1132
+ "name": "staker",
1021
1133
  "type": "address"
1022
1134
  }
1023
1135
  ],
1024
- "stateMutability": "view",
1025
- "type": "function"
1026
- },
1027
- {
1028
- "inputs": [],
1029
- "name": "zombieCount",
1030
- "outputs": [
1031
- {
1032
- "internalType": "uint256",
1033
- "name": "",
1034
- "type": "uint256"
1035
- }
1036
- ],
1037
- "stateMutability": "view",
1038
- "type": "function"
1039
- },
1040
- {
1041
- "inputs": [
1042
- {
1043
- "internalType": "uint256",
1044
- "name": "zombieNum",
1045
- "type": "uint256"
1046
- }
1047
- ],
1048
- "name": "zombieLatestStakedNode",
1136
+ "name": "withdrawalAddress",
1049
1137
  "outputs": [
1050
1138
  {
1051
- "internalType": "uint64",
1139
+ "internalType": "address",
1052
1140
  "name": "",
1053
- "type": "uint64"
1141
+ "type": "address"
1054
1142
  }
1055
1143
  ],
1056
1144
  "stateMutability": "view",