ETH Price: $2,628.73 (+4.21%)

Transaction Decoder

Block:
16796803 at Mar-10-2023 09:18:47 AM +UTC
Transaction Fee:
0.003056287463958108 ETH $8.03
Gas Used:
147,692 Gas / 20.693656149 Gwei

Emitted Events:

170 TransparentUpgradeableProxy.0x20af7f3bbfe38132b8900ae295cd9c8d1914be7052d061a511f3f728dab18964( 0x20af7f3bbfe38132b8900ae295cd9c8d1914be7052d061a511f3f728dab18964, 0x000000000000000000000000c4fb550fa8f2a6e5178711e56d5b48dedf897e5e, 0x000000000000000000000000c4fb550fa8f2a6e5178711e56d5b48dedf897e5e, 0x000000000000000000000000000000000000000000000000000000000000073f, 0000000000000000000000000000000000000000000000000000000000000000 )
171 TransparentUpgradeableProxy.0x2d9d115ef3e4a606d698913b1eae831a3cdfe20d9a83d48007b0526749c3d466( 0x2d9d115ef3e4a606d698913b1eae831a3cdfe20d9a83d48007b0526749c3d466, 0x000000000000000000000000760723cd2e632826c38fef8cd438a4cc7e7e1a40, 0x000000000000000000000000c4fb550fa8f2a6e5178711e56d5b48dedf897e5e, 0000000000000000000000000000000000000000000000000017db41c5aab000, 0000000000000000000000000000000000000000000000000000000000000040, 0000000000000000000000000000000000000000000000000000000000000000 )

Account State Difference:

  Address   Before After State Difference Code
0x760723CD...C7E7E1A40
(Arbitrum: Outbox 3)
0x8315177a...4DBd7ed3a
(Arbitrum: Bridge)
958,138.191221318305390236 Eth958,138.184506318305390236 Eth0.006715
8.554693313683292054 Eth8.554708082883292054 Eth0.0000147692
0xc4fb550F...EdF897e5e
0.007111847320269954 Eth
Nonce: 1357
0.010770559856311846 Eth
Nonce: 1358
0.003658712536041892

Execution Trace

TransparentUpgradeableProxy.9c5cfe0b( )
  • Outbox.executeTransaction( )
    • TransparentUpgradeableProxy.9e5d4c49( )
      • Bridge.executeCall( to=0xc4fb550FA8F2A6e5178711e56D5b48DEdF897e5e, value=6715000000000000, data=0x ) => ( success=True, returnData=0x )
        • ETH 0.006715 0xc4fb550fa8f2a6e5178711e56d5b48dedf897e5e.CALL( )
          executeTransaction[Outbox (ln:127)]
          File 1 of 4: TransparentUpgradeableProxy
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "./UpgradeableProxy.sol";
          /**
           * @dev This contract implements a proxy that is upgradeable by an admin.
           *
           * To avoid https://medium.com/nomic-labs-blog/malicious-backdoors-in-ethereum-proxies-62629adf3357[proxy selector
           * clashing], which can potentially be used in an attack, this contract uses the
           * https://blog.openzeppelin.com/the-transparent-proxy-pattern/[transparent proxy pattern]. This pattern implies two
           * things that go hand in hand:
           *
           * 1. If any account other than the admin calls the proxy, the call will be forwarded to the implementation, even if
           * that call matches one of the admin functions exposed by the proxy itself.
           * 2. If the admin calls the proxy, it can access the admin functions, but its calls will never be forwarded to the
           * implementation. If the admin tries to call a function on the implementation it will fail with an error that says
           * "admin cannot fallback to proxy target".
           *
           * These properties mean that the admin account can only be used for admin actions like upgrading the proxy or changing
           * the admin, so it's best if it's a dedicated account that is not used for anything else. This will avoid headaches due
           * to sudden errors when trying to call a function from the proxy implementation.
           *
           * Our recommendation is for the dedicated account to be an instance of the {ProxyAdmin} contract. If set up this way,
           * you should think of the `ProxyAdmin` instance as the real administrative interface of your proxy.
           */
          contract TransparentUpgradeableProxy is UpgradeableProxy {
              /**
               * @dev Initializes an upgradeable proxy managed by `_admin`, backed by the implementation at `_logic`, and
               * optionally initialized with `_data` as explained in {UpgradeableProxy-constructor}.
               */
              constructor(address _logic, address admin_, bytes memory _data) public payable UpgradeableProxy(_logic, _data) {
                  assert(_ADMIN_SLOT == bytes32(uint256(keccak256("eip1967.proxy.admin")) - 1));
                  _setAdmin(admin_);
              }
              /**
               * @dev Emitted when the admin account has changed.
               */
              event AdminChanged(address previousAdmin, address newAdmin);
              /**
               * @dev Storage slot with the admin of the contract.
               * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
               * validated in the constructor.
               */
              bytes32 private constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
              /**
               * @dev Modifier used internally that will delegate the call to the implementation unless the sender is the admin.
               */
              modifier ifAdmin() {
                  if (msg.sender == _admin()) {
                      _;
                  } else {
                      _fallback();
                  }
              }
              /**
               * @dev Returns the current admin.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-getProxyAdmin}.
               *
               * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the
               * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
               * `0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103`
               */
              function admin() external ifAdmin returns (address admin_) {
                  admin_ = _admin();
              }
              /**
               * @dev Returns the current implementation.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-getProxyImplementation}.
               *
               * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the
               * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
               * `0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc`
               */
              function implementation() external ifAdmin returns (address implementation_) {
                  implementation_ = _implementation();
              }
              /**
               * @dev Changes the admin of the proxy.
               *
               * Emits an {AdminChanged} event.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-changeProxyAdmin}.
               */
              function changeAdmin(address newAdmin) external virtual ifAdmin {
                  require(newAdmin != address(0), "TransparentUpgradeableProxy: new admin is the zero address");
                  emit AdminChanged(_admin(), newAdmin);
                  _setAdmin(newAdmin);
              }
              /**
               * @dev Upgrade the implementation of the proxy.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-upgrade}.
               */
              function upgradeTo(address newImplementation) external virtual ifAdmin {
                  _upgradeTo(newImplementation);
              }
              /**
               * @dev Upgrade the implementation of the proxy, and then call a function from the new implementation as specified
               * by `data`, which should be an encoded function call. This is useful to initialize new storage variables in the
               * proxied contract.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-upgradeAndCall}.
               */
              function upgradeToAndCall(address newImplementation, bytes calldata data) external payable virtual ifAdmin {
                  _upgradeTo(newImplementation);
                  Address.functionDelegateCall(newImplementation, data);
              }
              /**
               * @dev Returns the current admin.
               */
              function _admin() internal view virtual returns (address adm) {
                  bytes32 slot = _ADMIN_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      adm := sload(slot)
                  }
              }
              /**
               * @dev Stores a new address in the EIP1967 admin slot.
               */
              function _setAdmin(address newAdmin) private {
                  bytes32 slot = _ADMIN_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      sstore(slot, newAdmin)
                  }
              }
              /**
               * @dev Makes sure the admin cannot access the fallback function. See {Proxy-_beforeFallback}.
               */
              function _beforeFallback() internal virtual override {
                  require(msg.sender != _admin(), "TransparentUpgradeableProxy: admin cannot fallback to proxy target");
                  super._beforeFallback();
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "./Proxy.sol";
          import "../utils/Address.sol";
          /**
           * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an
           * implementation address that can be changed. This address is stored in storage in the location specified by
           * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the
           * implementation behind the proxy.
           *
           * Upgradeability is only provided internally through {_upgradeTo}. For an externally upgradeable proxy see
           * {TransparentUpgradeableProxy}.
           */
          contract UpgradeableProxy is Proxy {
              /**
               * @dev Initializes the upgradeable proxy with an initial implementation specified by `_logic`.
               *
               * If `_data` is nonempty, it's used as data in a delegate call to `_logic`. This will typically be an encoded
               * function call, and allows initializating the storage of the proxy like a Solidity constructor.
               */
              constructor(address _logic, bytes memory _data) public payable {
                  assert(_IMPLEMENTATION_SLOT == bytes32(uint256(keccak256("eip1967.proxy.implementation")) - 1));
                  _setImplementation(_logic);
                  if(_data.length > 0) {
                      Address.functionDelegateCall(_logic, _data);
                  }
              }
              /**
               * @dev Emitted when the implementation is upgraded.
               */
              event Upgraded(address indexed implementation);
              /**
               * @dev Storage slot with the address of the current implementation.
               * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
               * validated in the constructor.
               */
              bytes32 private constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
              /**
               * @dev Returns the current implementation address.
               */
              function _implementation() internal view virtual override returns (address impl) {
                  bytes32 slot = _IMPLEMENTATION_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      impl := sload(slot)
                  }
              }
              /**
               * @dev Upgrades the proxy to a new implementation.
               *
               * Emits an {Upgraded} event.
               */
              function _upgradeTo(address newImplementation) internal virtual {
                  _setImplementation(newImplementation);
                  emit Upgraded(newImplementation);
              }
              /**
               * @dev Stores a new address in the EIP1967 implementation slot.
               */
              function _setImplementation(address newImplementation) private {
                  require(Address.isContract(newImplementation), "UpgradeableProxy: new implementation is not a contract");
                  bytes32 slot = _IMPLEMENTATION_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      sstore(slot, newImplementation)
                  }
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /**
           * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
           * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
           * be specified by overriding the virtual {_implementation} function.
           *
           * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
           * different contract through the {_delegate} function.
           *
           * The success and return data of the delegated call will be returned back to the caller of the proxy.
           */
          abstract contract Proxy {
              /**
               * @dev Delegates the current call to `implementation`.
               *
               * This function does not return to its internall call site, it will return directly to the external caller.
               */
              function _delegate(address implementation) internal virtual {
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      // Copy msg.data. We take full control of memory in this inline assembly
                      // block because it will not return to Solidity code. We overwrite the
                      // Solidity scratch pad at memory position 0.
                      calldatacopy(0, 0, calldatasize())
                      // Call the implementation.
                      // out and outsize are 0 because we don't know the size yet.
                      let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                      // Copy the returned data.
                      returndatacopy(0, 0, returndatasize())
                      switch result
                      // delegatecall returns 0 on error.
                      case 0 { revert(0, returndatasize()) }
                      default { return(0, returndatasize()) }
                  }
              }
              /**
               * @dev This is a virtual function that should be overriden so it returns the address to which the fallback function
               * and {_fallback} should delegate.
               */
              function _implementation() internal view virtual returns (address);
              /**
               * @dev Delegates the current call to the address returned by `_implementation()`.
               *
               * This function does not return to its internall call site, it will return directly to the external caller.
               */
              function _fallback() internal virtual {
                  _beforeFallback();
                  _delegate(_implementation());
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
               * function in the contract matches the call data.
               */
              fallback () external payable virtual {
                  _fallback();
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
               * is empty.
               */
              receive () external payable virtual {
                  _fallback();
              }
              /**
               * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
               * call, or as part of the Solidity `fallback` or `receive` functions.
               *
               * If overriden should call `super._beforeFallback()`.
               */
              function _beforeFallback() internal virtual {
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.2 <0.8.0;
          /**
           * @dev Collection of functions related to the address type
           */
          library Address {
              /**
               * @dev Returns true if `account` is a contract.
               *
               * [IMPORTANT]
               * ====
               * It is unsafe to assume that an address for which this function returns
               * false is an externally-owned account (EOA) and not a contract.
               *
               * Among others, `isContract` will return false for the following
               * types of addresses:
               *
               *  - an externally-owned account
               *  - a contract in construction
               *  - an address where a contract will be created
               *  - an address where a contract lived, but was destroyed
               * ====
               */
              function isContract(address account) internal view returns (bool) {
                  // This method relies on extcodesize, which returns 0 for contracts in
                  // construction, since the code is only stored at the end of the
                  // constructor execution.
                  uint256 size;
                  // solhint-disable-next-line no-inline-assembly
                  assembly { size := extcodesize(account) }
                  return size > 0;
              }
              /**
               * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
               * `recipient`, forwarding all available gas and reverting on errors.
               *
               * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
               * of certain opcodes, possibly making contracts go over the 2300 gas limit
               * imposed by `transfer`, making them unable to receive funds via
               * `transfer`. {sendValue} removes this limitation.
               *
               * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
               *
               * IMPORTANT: because control is transferred to `recipient`, care must be
               * taken to not create reentrancy vulnerabilities. Consider using
               * {ReentrancyGuard} or the
               * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
               */
              function sendValue(address payable recipient, uint256 amount) internal {
                  require(address(this).balance >= amount, "Address: insufficient balance");
                  // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
                  (bool success, ) = recipient.call{ value: amount }("");
                  require(success, "Address: unable to send value, recipient may have reverted");
              }
              /**
               * @dev Performs a Solidity function call using a low level `call`. A
               * plain`call` is an unsafe replacement for a function call: use this
               * function instead.
               *
               * If `target` reverts with a revert reason, it is bubbled up by this
               * function (like regular Solidity function calls).
               *
               * Returns the raw returned data. To convert to the expected return value,
               * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
               *
               * Requirements:
               *
               * - `target` must be a contract.
               * - calling `target` with `data` must not revert.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                return functionCall(target, data, "Address: low-level call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
               * `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, 0, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but also transferring `value` wei to `target`.
               *
               * Requirements:
               *
               * - the calling contract must have an ETH balance of at least `value`.
               * - the called Solidity function must be `payable`.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
              }
              /**
               * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
               * with `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
                  require(address(this).balance >= value, "Address: insufficient balance for call");
                  require(isContract(target), "Address: call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.call{ value: value }(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                  return functionStaticCall(target, data, "Address: low-level static call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
                  require(isContract(target), "Address: static call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.staticcall(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                  return functionDelegateCall(target, data, "Address: low-level delegate call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                  require(isContract(target), "Address: delegate call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.delegatecall(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
                  if (success) {
                      return returndata;
                  } else {
                      // Look for revert reason and bubble it up if present
                      if (returndata.length > 0) {
                          // The easiest way to bubble the revert reason is using memory via assembly
                          // solhint-disable-next-line no-inline-assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert(errorMessage);
                      }
                  }
              }
          }
          

          File 2 of 4: TransparentUpgradeableProxy
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts v4.4.1 (proxy/transparent/TransparentUpgradeableProxy.sol)
          pragma solidity ^0.8.0;
          import "../ERC1967/ERC1967Proxy.sol";
          /**
           * @dev This contract implements a proxy that is upgradeable by an admin.
           *
           * To avoid https://medium.com/nomic-labs-blog/malicious-backdoors-in-ethereum-proxies-62629adf3357[proxy selector
           * clashing], which can potentially be used in an attack, this contract uses the
           * https://blog.openzeppelin.com/the-transparent-proxy-pattern/[transparent proxy pattern]. This pattern implies two
           * things that go hand in hand:
           *
           * 1. If any account other than the admin calls the proxy, the call will be forwarded to the implementation, even if
           * that call matches one of the admin functions exposed by the proxy itself.
           * 2. If the admin calls the proxy, it can access the admin functions, but its calls will never be forwarded to the
           * implementation. If the admin tries to call a function on the implementation it will fail with an error that says
           * "admin cannot fallback to proxy target".
           *
           * These properties mean that the admin account can only be used for admin actions like upgrading the proxy or changing
           * the admin, so it's best if it's a dedicated account that is not used for anything else. This will avoid headaches due
           * to sudden errors when trying to call a function from the proxy implementation.
           *
           * Our recommendation is for the dedicated account to be an instance of the {ProxyAdmin} contract. If set up this way,
           * you should think of the `ProxyAdmin` instance as the real administrative interface of your proxy.
           */
          contract TransparentUpgradeableProxy is ERC1967Proxy {
              /**
               * @dev Initializes an upgradeable proxy managed by `_admin`, backed by the implementation at `_logic`, and
               * optionally initialized with `_data` as explained in {ERC1967Proxy-constructor}.
               */
              constructor(
                  address _logic,
                  address admin_,
                  bytes memory _data
              ) payable ERC1967Proxy(_logic, _data) {
                  assert(_ADMIN_SLOT == bytes32(uint256(keccak256("eip1967.proxy.admin")) - 1));
                  _changeAdmin(admin_);
              }
              /**
               * @dev Modifier used internally that will delegate the call to the implementation unless the sender is the admin.
               */
              modifier ifAdmin() {
                  if (msg.sender == _getAdmin()) {
                      _;
                  } else {
                      _fallback();
                  }
              }
              /**
               * @dev Returns the current admin.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-getProxyAdmin}.
               *
               * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the
               * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
               * `0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103`
               */
              function admin() external ifAdmin returns (address admin_) {
                  admin_ = _getAdmin();
              }
              /**
               * @dev Returns the current implementation.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-getProxyImplementation}.
               *
               * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the
               * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call.
               * `0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc`
               */
              function implementation() external ifAdmin returns (address implementation_) {
                  implementation_ = _implementation();
              }
              /**
               * @dev Changes the admin of the proxy.
               *
               * Emits an {AdminChanged} event.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-changeProxyAdmin}.
               */
              function changeAdmin(address newAdmin) external virtual ifAdmin {
                  _changeAdmin(newAdmin);
              }
              /**
               * @dev Upgrade the implementation of the proxy.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-upgrade}.
               */
              function upgradeTo(address newImplementation) external ifAdmin {
                  _upgradeToAndCall(newImplementation, bytes(""), false);
              }
              /**
               * @dev Upgrade the implementation of the proxy, and then call a function from the new implementation as specified
               * by `data`, which should be an encoded function call. This is useful to initialize new storage variables in the
               * proxied contract.
               *
               * NOTE: Only the admin can call this function. See {ProxyAdmin-upgradeAndCall}.
               */
              function upgradeToAndCall(address newImplementation, bytes calldata data) external payable ifAdmin {
                  _upgradeToAndCall(newImplementation, data, true);
              }
              /**
               * @dev Returns the current admin.
               */
              function _admin() internal view virtual returns (address) {
                  return _getAdmin();
              }
              /**
               * @dev Makes sure the admin cannot access the fallback function. See {Proxy-_beforeFallback}.
               */
              function _beforeFallback() internal virtual override {
                  require(msg.sender != _getAdmin(), "TransparentUpgradeableProxy: admin cannot fallback to proxy target");
                  super._beforeFallback();
              }
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts v4.4.1 (proxy/ERC1967/ERC1967Proxy.sol)
          pragma solidity ^0.8.0;
          import "../Proxy.sol";
          import "./ERC1967Upgrade.sol";
          /**
           * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an
           * implementation address that can be changed. This address is stored in storage in the location specified by
           * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the
           * implementation behind the proxy.
           */
          contract ERC1967Proxy is Proxy, ERC1967Upgrade {
              /**
               * @dev Initializes the upgradeable proxy with an initial implementation specified by `_logic`.
               *
               * If `_data` is nonempty, it's used as data in a delegate call to `_logic`. This will typically be an encoded
               * function call, and allows initializating the storage of the proxy like a Solidity constructor.
               */
              constructor(address _logic, bytes memory _data) payable {
                  assert(_IMPLEMENTATION_SLOT == bytes32(uint256(keccak256("eip1967.proxy.implementation")) - 1));
                  _upgradeToAndCall(_logic, _data, false);
              }
              /**
               * @dev Returns the current implementation address.
               */
              function _implementation() internal view virtual override returns (address impl) {
                  return ERC1967Upgrade._getImplementation();
              }
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (proxy/Proxy.sol)
          pragma solidity ^0.8.0;
          /**
           * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
           * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
           * be specified by overriding the virtual {_implementation} function.
           *
           * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
           * different contract through the {_delegate} function.
           *
           * The success and return data of the delegated call will be returned back to the caller of the proxy.
           */
          abstract contract Proxy {
              /**
               * @dev Delegates the current call to `implementation`.
               *
               * This function does not return to its internal call site, it will return directly to the external caller.
               */
              function _delegate(address implementation) internal virtual {
                  assembly {
                      // Copy msg.data. We take full control of memory in this inline assembly
                      // block because it will not return to Solidity code. We overwrite the
                      // Solidity scratch pad at memory position 0.
                      calldatacopy(0, 0, calldatasize())
                      // Call the implementation.
                      // out and outsize are 0 because we don't know the size yet.
                      let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                      // Copy the returned data.
                      returndatacopy(0, 0, returndatasize())
                      switch result
                      // delegatecall returns 0 on error.
                      case 0 {
                          revert(0, returndatasize())
                      }
                      default {
                          return(0, returndatasize())
                      }
                  }
              }
              /**
               * @dev This is a virtual function that should be overriden so it returns the address to which the fallback function
               * and {_fallback} should delegate.
               */
              function _implementation() internal view virtual returns (address);
              /**
               * @dev Delegates the current call to the address returned by `_implementation()`.
               *
               * This function does not return to its internall call site, it will return directly to the external caller.
               */
              function _fallback() internal virtual {
                  _beforeFallback();
                  _delegate(_implementation());
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
               * function in the contract matches the call data.
               */
              fallback() external payable virtual {
                  _fallback();
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
               * is empty.
               */
              receive() external payable virtual {
                  _fallback();
              }
              /**
               * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
               * call, or as part of the Solidity `fallback` or `receive` functions.
               *
               * If overriden should call `super._beforeFallback()`.
               */
              function _beforeFallback() internal virtual {}
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (proxy/ERC1967/ERC1967Upgrade.sol)
          pragma solidity ^0.8.2;
          import "../beacon/IBeacon.sol";
          import "../../interfaces/draft-IERC1822.sol";
          import "../../utils/Address.sol";
          import "../../utils/StorageSlot.sol";
          /**
           * @dev This abstract contract provides getters and event emitting update functions for
           * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
           *
           * _Available since v4.1._
           *
           * @custom:oz-upgrades-unsafe-allow delegatecall
           */
          abstract contract ERC1967Upgrade {
              // This is the keccak-256 hash of "eip1967.proxy.rollback" subtracted by 1
              bytes32 private constant _ROLLBACK_SLOT = 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143;
              /**
               * @dev Storage slot with the address of the current implementation.
               * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
               * validated in the constructor.
               */
              bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
              /**
               * @dev Emitted when the implementation is upgraded.
               */
              event Upgraded(address indexed implementation);
              /**
               * @dev Returns the current implementation address.
               */
              function _getImplementation() internal view returns (address) {
                  return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
              }
              /**
               * @dev Stores a new address in the EIP1967 implementation slot.
               */
              function _setImplementation(address newImplementation) private {
                  require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
                  StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
              }
              /**
               * @dev Perform implementation upgrade
               *
               * Emits an {Upgraded} event.
               */
              function _upgradeTo(address newImplementation) internal {
                  _setImplementation(newImplementation);
                  emit Upgraded(newImplementation);
              }
              /**
               * @dev Perform implementation upgrade with additional setup call.
               *
               * Emits an {Upgraded} event.
               */
              function _upgradeToAndCall(
                  address newImplementation,
                  bytes memory data,
                  bool forceCall
              ) internal {
                  _upgradeTo(newImplementation);
                  if (data.length > 0 || forceCall) {
                      Address.functionDelegateCall(newImplementation, data);
                  }
              }
              /**
               * @dev Perform implementation upgrade with security checks for UUPS proxies, and additional setup call.
               *
               * Emits an {Upgraded} event.
               */
              function _upgradeToAndCallUUPS(
                  address newImplementation,
                  bytes memory data,
                  bool forceCall
              ) internal {
                  // Upgrades from old implementations will perform a rollback test. This test requires the new
                  // implementation to upgrade back to the old, non-ERC1822 compliant, implementation. Removing
                  // this special case will break upgrade paths from old UUPS implementation to new ones.
                  if (StorageSlot.getBooleanSlot(_ROLLBACK_SLOT).value) {
                      _setImplementation(newImplementation);
                  } else {
                      try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
                          require(slot == _IMPLEMENTATION_SLOT, "ERC1967Upgrade: unsupported proxiableUUID");
                      } catch {
                          revert("ERC1967Upgrade: new implementation is not UUPS");
                      }
                      _upgradeToAndCall(newImplementation, data, forceCall);
                  }
              }
              /**
               * @dev Storage slot with the admin of the contract.
               * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
               * validated in the constructor.
               */
              bytes32 internal constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
              /**
               * @dev Emitted when the admin account has changed.
               */
              event AdminChanged(address previousAdmin, address newAdmin);
              /**
               * @dev Returns the current admin.
               */
              function _getAdmin() internal view returns (address) {
                  return StorageSlot.getAddressSlot(_ADMIN_SLOT).value;
              }
              /**
               * @dev Stores a new address in the EIP1967 admin slot.
               */
              function _setAdmin(address newAdmin) private {
                  require(newAdmin != address(0), "ERC1967: new admin is the zero address");
                  StorageSlot.getAddressSlot(_ADMIN_SLOT).value = newAdmin;
              }
              /**
               * @dev Changes the admin of the proxy.
               *
               * Emits an {AdminChanged} event.
               */
              function _changeAdmin(address newAdmin) internal {
                  emit AdminChanged(_getAdmin(), newAdmin);
                  _setAdmin(newAdmin);
              }
              /**
               * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
               * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
               */
              bytes32 internal constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
              /**
               * @dev Emitted when the beacon is upgraded.
               */
              event BeaconUpgraded(address indexed beacon);
              /**
               * @dev Returns the current beacon.
               */
              function _getBeacon() internal view returns (address) {
                  return StorageSlot.getAddressSlot(_BEACON_SLOT).value;
              }
              /**
               * @dev Stores a new beacon in the EIP1967 beacon slot.
               */
              function _setBeacon(address newBeacon) private {
                  require(Address.isContract(newBeacon), "ERC1967: new beacon is not a contract");
                  require(
                      Address.isContract(IBeacon(newBeacon).implementation()),
                      "ERC1967: beacon implementation is not a contract"
                  );
                  StorageSlot.getAddressSlot(_BEACON_SLOT).value = newBeacon;
              }
              /**
               * @dev Perform beacon upgrade with additional setup call. Note: This upgrades the address of the beacon, it does
               * not upgrade the implementation contained in the beacon (see {UpgradeableBeacon-_setImplementation} for that).
               *
               * Emits a {BeaconUpgraded} event.
               */
              function _upgradeBeaconToAndCall(
                  address newBeacon,
                  bytes memory data,
                  bool forceCall
              ) internal {
                  _setBeacon(newBeacon);
                  emit BeaconUpgraded(newBeacon);
                  if (data.length > 0 || forceCall) {
                      Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
                  }
              }
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
          pragma solidity ^0.8.0;
          /**
           * @dev This is the interface that {BeaconProxy} expects of its beacon.
           */
          interface IBeacon {
              /**
               * @dev Must return an address that can be used as a delegate call target.
               *
               * {BeaconProxy} will check that this address is a contract.
               */
              function implementation() external view returns (address);
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)
          pragma solidity ^0.8.0;
          /**
           * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
           * proxy whose upgrades are fully controlled by the current implementation.
           */
          interface IERC1822Proxiable {
              /**
               * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
               * address.
               *
               * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
               * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
               * function revert if invoked through a proxy.
               */
              function proxiableUUID() external view returns (bytes32);
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (utils/Address.sol)
          pragma solidity ^0.8.1;
          /**
           * @dev Collection of functions related to the address type
           */
          library Address {
              /**
               * @dev Returns true if `account` is a contract.
               *
               * [IMPORTANT]
               * ====
               * It is unsafe to assume that an address for which this function returns
               * false is an externally-owned account (EOA) and not a contract.
               *
               * Among others, `isContract` will return false for the following
               * types of addresses:
               *
               *  - an externally-owned account
               *  - a contract in construction
               *  - an address where a contract will be created
               *  - an address where a contract lived, but was destroyed
               * ====
               *
               * [IMPORTANT]
               * ====
               * You shouldn't rely on `isContract` to protect against flash loan attacks!
               *
               * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
               * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
               * constructor.
               * ====
               */
              function isContract(address account) internal view returns (bool) {
                  // This method relies on extcodesize/address.code.length, which returns 0
                  // for contracts in construction, since the code is only stored at the end
                  // of the constructor execution.
                  return account.code.length > 0;
              }
              /**
               * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
               * `recipient`, forwarding all available gas and reverting on errors.
               *
               * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
               * of certain opcodes, possibly making contracts go over the 2300 gas limit
               * imposed by `transfer`, making them unable to receive funds via
               * `transfer`. {sendValue} removes this limitation.
               *
               * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
               *
               * IMPORTANT: because control is transferred to `recipient`, care must be
               * taken to not create reentrancy vulnerabilities. Consider using
               * {ReentrancyGuard} or the
               * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
               */
              function sendValue(address payable recipient, uint256 amount) internal {
                  require(address(this).balance >= amount, "Address: insufficient balance");
                  (bool success, ) = recipient.call{value: amount}("");
                  require(success, "Address: unable to send value, recipient may have reverted");
              }
              /**
               * @dev Performs a Solidity function call using a low level `call`. A
               * plain `call` is an unsafe replacement for a function call: use this
               * function instead.
               *
               * If `target` reverts with a revert reason, it is bubbled up by this
               * function (like regular Solidity function calls).
               *
               * Returns the raw returned data. To convert to the expected return value,
               * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
               *
               * Requirements:
               *
               * - `target` must be a contract.
               * - calling `target` with `data` must not revert.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                  return functionCall(target, data, "Address: low-level call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
               * `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCall(
                  address target,
                  bytes memory data,
                  string memory errorMessage
              ) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, 0, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but also transferring `value` wei to `target`.
               *
               * Requirements:
               *
               * - the calling contract must have an ETH balance of at least `value`.
               * - the called Solidity function must be `payable`.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(
                  address target,
                  bytes memory data,
                  uint256 value
              ) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
              }
              /**
               * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
               * with `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(
                  address target,
                  bytes memory data,
                  uint256 value,
                  string memory errorMessage
              ) internal returns (bytes memory) {
                  require(address(this).balance >= value, "Address: insufficient balance for call");
                  require(isContract(target), "Address: call to non-contract");
                  (bool success, bytes memory returndata) = target.call{value: value}(data);
                  return verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                  return functionStaticCall(target, data, "Address: low-level static call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(
                  address target,
                  bytes memory data,
                  string memory errorMessage
              ) internal view returns (bytes memory) {
                  require(isContract(target), "Address: static call to non-contract");
                  (bool success, bytes memory returndata) = target.staticcall(data);
                  return verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                  return functionDelegateCall(target, data, "Address: low-level delegate call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(
                  address target,
                  bytes memory data,
                  string memory errorMessage
              ) internal returns (bytes memory) {
                  require(isContract(target), "Address: delegate call to non-contract");
                  (bool success, bytes memory returndata) = target.delegatecall(data);
                  return verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
               * revert reason using the provided one.
               *
               * _Available since v4.3._
               */
              function verifyCallResult(
                  bool success,
                  bytes memory returndata,
                  string memory errorMessage
              ) internal pure returns (bytes memory) {
                  if (success) {
                      return returndata;
                  } else {
                      // Look for revert reason and bubble it up if present
                      if (returndata.length > 0) {
                          // The easiest way to bubble the revert reason is using memory via assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert(errorMessage);
                      }
                  }
              }
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts v4.4.1 (utils/StorageSlot.sol)
          pragma solidity ^0.8.0;
          /**
           * @dev Library for reading and writing primitive types to specific storage slots.
           *
           * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
           * This library helps with reading and writing to such slots without the need for inline assembly.
           *
           * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
           *
           * Example usage to set ERC1967 implementation slot:
           * ```
           * contract ERC1967 {
           *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
           *
           *     function _getImplementation() internal view returns (address) {
           *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
           *     }
           *
           *     function _setImplementation(address newImplementation) internal {
           *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
           *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
           *     }
           * }
           * ```
           *
           * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._
           */
          library StorageSlot {
              struct AddressSlot {
                  address value;
              }
              struct BooleanSlot {
                  bool value;
              }
              struct Bytes32Slot {
                  bytes32 value;
              }
              struct Uint256Slot {
                  uint256 value;
              }
              /**
               * @dev Returns an `AddressSlot` with member `value` located at `slot`.
               */
              function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
                  assembly {
                      r.slot := slot
                  }
              }
              /**
               * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
               */
              function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
                  assembly {
                      r.slot := slot
                  }
              }
              /**
               * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
               */
              function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
                  assembly {
                      r.slot := slot
                  }
              }
              /**
               * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
               */
              function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
                  assembly {
                      r.slot := slot
                  }
              }
          }
          

          File 3 of 4: Outbox
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "./interfaces/IOutbox.sol";
          import "./interfaces/IBridge.sol";
          import { NitroReadyMagicNums } from "./NitroMigratorUtil.sol";
          import "./Messages.sol";
          import "../libraries/MerkleLib.sol";
          import "../libraries/BytesLib.sol";
          import "../libraries/Cloneable.sol";
          import "../rollup/Rollup.sol";
          import "@openzeppelin/contracts/proxy/BeaconProxy.sol";
          import "@openzeppelin/contracts/proxy/UpgradeableBeacon.sol";
          import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
          contract Outbox is IOutbox, Cloneable {
              using BytesLib for bytes;
              struct OutboxEntry {
                  // merkle root of outputs
                  bytes32 root;
                  // mapping from output id => is spent
                  mapping(bytes32 => bool) spentOutput;
              }
              bytes1 internal constant MSG_ROOT = 0;
              uint8 internal constant SendType_sendTxToL1 = 3;
              address public rollup;
              IBridge public bridge;
              mapping(uint256 => OutboxEntry) public outboxEntries;
              struct L2ToL1Context {
                  uint128 l2Block;
                  uint128 l1Block;
                  uint128 timestamp;
                  uint128 batchNum;
                  bytes32 outputId;
                  address sender;
              }
              // Note, these variables are set and then wiped during a single transaction.
              // Therefore their values don't need to be maintained, and their slots will
              // be empty outside of transactions
              L2ToL1Context internal context;
              uint128 public constant OUTBOX_VERSION = 1;
              function initialize(address _rollup, IBridge _bridge) external {
                  require(rollup == address(0), "ALREADY_INIT");
                  rollup = _rollup;
                  bridge = _bridge;
              }
              /// @notice When l2ToL1Sender returns a nonzero address, the message was originated by an L2 account
              /// When the return value is zero, that means this is a system message
              /// @dev the l2ToL1Sender behaves as the tx.origin, the msg.sender should be validated to protect against reentrancies
              function l2ToL1Sender() external view override returns (address) {
                  return context.sender;
              }
              function l2ToL1Block() external view override returns (uint256) {
                  return uint256(context.l2Block);
              }
              function l2ToL1EthBlock() external view override returns (uint256) {
                  return uint256(context.l1Block);
              }
              function l2ToL1Timestamp() external view override returns (uint256) {
                  return uint256(context.timestamp);
              }
              function l2ToL1BatchNum() external view override returns (uint256) {
                  return uint256(context.batchNum);
              }
              function l2ToL1OutputId() external view override returns (bytes32) {
                  return context.outputId;
              }
              function processOutgoingMessages(bytes calldata sendsData, uint256[] calldata sendLengths)
                  external
                  override
              {
                  require(msg.sender == rollup, "ONLY_ROLLUP");
                  // If we've reached here, we've already confirmed that sum(sendLengths) == sendsData.length
                  uint256 messageCount = sendLengths.length;
                  uint256 offset = 0;
                  for (uint256 i = 0; i < messageCount; i++) {
                      handleOutgoingMessage(bytes(sendsData[offset:offset + sendLengths[i]]));
                      offset += sendLengths[i];
                  }
              }
              function handleOutgoingMessage(bytes memory data) private {
                  // Otherwise we have an unsupported message type and we skip the message
                  if (data[0] == MSG_ROOT) {
                      require(data.length == 97, "BAD_LENGTH");
                      uint256 batchNum = data.toUint(1);
                      // Ensure no outbox entry already exists w/ batch number
                      require(!outboxEntryExists(batchNum), "ENTRY_ALREADY_EXISTS");
                      // This is the total number of msgs included in the root, it can be used to
                      // detect when all msgs were executed against a root.
                      // It currently isn't stored, but instead emitted in an event for utility
                      uint256 numInBatch = data.toUint(33);
                      bytes32 outputRoot = data.toBytes32(65);
                      OutboxEntry memory newOutboxEntry = OutboxEntry(outputRoot);
                      outboxEntries[batchNum] = newOutboxEntry;
                      // keeping redundant batchnum in event (batchnum and old outboxindex field) for outbox version interface compatibility
                      emit OutboxEntryCreated(batchNum, batchNum, outputRoot, numInBatch);
                  }
              }
              /**
               * @notice Executes a messages in an Outbox entry.
               * @dev Reverts if dispute period hasn't expired, since the outbox entry
               * is only created once the rollup confirms the respective assertion.
               * @param batchNum Index of OutboxEntry in outboxEntries array
               * @param proof Merkle proof of message inclusion in outbox entry
               * @param index Merkle path to message
               * @param l2Sender sender if original message (i.e., caller of ArbSys.sendTxToL1)
               * @param destAddr destination address for L1 contract call
               * @param l2Block l2 block number at which sendTxToL1 call was made
               * @param l1Block l1 block number at which sendTxToL1 call was made
               * @param l2Timestamp l2 Timestamp at which sendTxToL1 call was made
               * @param amount value in L1 message in wei
               * @param calldataForL1 abi-encoded L1 message data
               */
              function executeTransaction(
                  uint256 batchNum,
                  bytes32[] calldata proof,
                  uint256 index,
                  address l2Sender,
                  address destAddr,
                  uint256 l2Block,
                  uint256 l1Block,
                  uint256 l2Timestamp,
                  uint256 amount,
                  bytes calldata calldataForL1
              ) external virtual {
                  bytes32 outputId;
                  {
                      bytes32 userTx = calculateItemHash(
                          l2Sender,
                          destAddr,
                          l2Block,
                          l1Block,
                          l2Timestamp,
                          amount,
                          calldataForL1
                      );
                      outputId = recordOutputAsSpent(batchNum, proof, index, userTx);
                      emit OutBoxTransactionExecuted(destAddr, l2Sender, batchNum, index);
                  }
                  // we temporarily store the previous values so the outbox can naturally
                  // unwind itself when there are nested calls to `executeTransaction`
                  L2ToL1Context memory prevContext = context;
                  context = L2ToL1Context({
                      sender: l2Sender,
                      l2Block: uint128(l2Block),
                      l1Block: uint128(l1Block),
                      timestamp: uint128(l2Timestamp),
                      batchNum: uint128(batchNum),
                      outputId: outputId
                  });
                  // set and reset vars around execution so they remain valid during call
                  executeBridgeCall(destAddr, amount, calldataForL1);
                  context = prevContext;
              }
              function recordOutputAsSpent(
                  uint256 batchNum,
                  bytes32[] memory proof,
                  uint256 path,
                  bytes32 item
              ) internal returns (bytes32) {
                  require(proof.length < 256, "PROOF_TOO_LONG");
                  require(path < 2**proof.length, "PATH_NOT_MINIMAL");
                  // Hash the leaf an extra time to prove it's a leaf
                  bytes32 calcRoot = calculateMerkleRoot(proof, path, item);
                  OutboxEntry storage outboxEntry = outboxEntries[batchNum];
                  require(outboxEntry.root != bytes32(0), "NO_OUTBOX_ENTRY");
                  // With a minimal path, the pair of path and proof length should always identify
                  // a unique leaf. The path itself is not enough since the path length to different
                  // leaves could potentially be different
                  bytes32 uniqueKey = keccak256(abi.encodePacked(path, proof.length));
                  require(!outboxEntry.spentOutput[uniqueKey], "ALREADY_SPENT");
                  require(calcRoot == outboxEntry.root, "BAD_ROOT");
                  outboxEntry.spentOutput[uniqueKey] = true;
                  return uniqueKey;
              }
              function executeBridgeCall(
                  address destAddr,
                  uint256 amount,
                  bytes memory data
              ) internal {
                  (bool success, bytes memory returndata) = bridge.executeCall(destAddr, amount, data);
                  if (!success) {
                      if (returndata.length > 0) {
                          // solhint-disable-next-line no-inline-assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert("BRIDGE_CALL_FAILED");
                      }
                  }
              }
              function calculateItemHash(
                  address l2Sender,
                  address destAddr,
                  uint256 l2Block,
                  uint256 l1Block,
                  uint256 l2Timestamp,
                  uint256 amount,
                  bytes calldata calldataForL1
              ) public pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              SendType_sendTxToL1,
                              uint256(uint160(bytes20(l2Sender))),
                              uint256(uint160(bytes20(destAddr))),
                              l2Block,
                              l1Block,
                              l2Timestamp,
                              amount,
                              calldataForL1
                          )
                      );
              }
              function calculateMerkleRoot(
                  bytes32[] memory proof,
                  uint256 path,
                  bytes32 item
              ) public pure returns (bytes32) {
                  return MerkleLib.calculateRoot(proof, path, keccak256(abi.encodePacked(item)));
              }
              function outboxEntryExists(uint256 batchNum) public view override returns (bool) {
                  return outboxEntries[batchNum].root != bytes32(0);
              }
              function setBridge(IBridge newBridge) external override {
                  require(msg.sender == OwnableUpgradeable(address(bridge)).owner(), "NOT_BRIDGE_OWNER");
                  bridge = newBridge;
              }
              function isNitroReady() external pure override returns (uint256) {
                  return NitroReadyMagicNums.OUTBOX;
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./IBridge.sol";
          interface IOutbox {
              event OutboxEntryCreated(
                  uint256 indexed batchNum,
                  uint256 outboxEntryIndex,
                  bytes32 outputRoot,
                  uint256 numInBatch
              );
              event OutBoxTransactionExecuted(
                  address indexed destAddr,
                  address indexed l2Sender,
                  uint256 indexed outboxEntryIndex,
                  uint256 transactionIndex
              );
              function l2ToL1Sender() external view returns (address);
              function l2ToL1Block() external view returns (uint256);
              function l2ToL1EthBlock() external view returns (uint256);
              function l2ToL1Timestamp() external view returns (uint256);
              function l2ToL1BatchNum() external view returns (uint256);
              function l2ToL1OutputId() external view returns (bytes32);
              function processOutgoingMessages(bytes calldata sendsData, uint256[] calldata sendLengths)
                  external;
              function outboxEntryExists(uint256 batchNum) external view returns (bool);
              function setBridge(IBridge newBridge) external;
              function isNitroReady() external pure returns (uint256);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface IBridge {
              event MessageDelivered(
                  uint256 indexed messageIndex,
                  bytes32 indexed beforeInboxAcc,
                  address inbox,
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash
              );
              event BridgeCallTriggered(
                  address indexed outbox,
                  address indexed destAddr,
                  uint256 amount,
                  bytes data
              );
              event InboxToggle(address indexed inbox, bool enabled);
              event OutboxToggle(address indexed outbox, bool enabled);
              function deliverMessageToInbox(
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash
              ) external payable returns (uint256);
              function executeCall(
                  address destAddr,
                  uint256 amount,
                  bytes calldata data
              ) external returns (bool success, bytes memory returnData);
              // These are only callable by the admin
              function setInbox(address inbox, bool enabled) external;
              function setOutbox(address inbox, bool enabled) external;
              // View functions
              function activeOutbox() external view returns (address);
              function allowedInboxes(address inbox) external view returns (bool);
              function allowedOutboxes(address outbox) external view returns (bool);
              function inboxAccs(uint256 index) external view returns (bytes32);
              function messageCount() external view returns (uint256);
              function isNitroReady() external view returns (uint256);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          pragma experimental ABIEncoderV2;
          import "./interfaces/IInbox.sol";
          import "@arbitrum/nitro-contracts/src/bridge/IBridge.sol" as INitroBridge;
          import "@arbitrum/nitro-contracts/src/bridge/IInbox.sol" as INitroInbox;
          interface INitroRollup {
              struct GlobalState {
                  bytes32[2] bytes32Vals;
                  uint64[2] u64Vals;
              }
              enum MachineStatus {
                  RUNNING,
                  FINISHED,
                  ERRORED,
                  TOO_FAR
              }
              struct ExecutionState {
                  GlobalState globalState;
                  MachineStatus machineStatus;
              }
              struct NitroRollupAssertion {
                  ExecutionState beforeState;
                  ExecutionState afterState;
                  uint64 numBlocks;
              }
              function bridge() external view returns (INitroBridge.IBridge);
              function inbox() external view returns (INitroInbox.IInbox);
              function setInbox(IInbox newInbox) external;
              function setOwner(address newOwner) external;
              function paused() external view returns (bool);
              function pause() external;
              function resume() external;
              function latestNodeCreated() external returns (uint64);
              function createNitroMigrationGenesis(NitroRollupAssertion calldata assertion) external;
          }
          interface IArbOwner {
              function addChainOwner(address newOwner) external;
          }
          /// @dev lib used since file level consts aren't available in this solc version
          library NitroReadyMagicNums {
              uint256 constant ROLLUP_USER = 0xa4b1;
              uint256 constant ROLLUP_ADMIN = 0xa4b2;
              uint256 constant NODE_BEACON = 0xa4b3;
              uint256 constant OUTBOX = 0xa4b4;
              uint256 constant BRIDGE = 0xa4b5;
              uint256 constant DELAYED_INBOX = 0xa4b6;
              uint256 constant SEQ_INBOX = 0xa4b7;
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          library Messages {
              function messageHash(
                  uint8 kind,
                  address sender,
                  uint256 blockNumber,
                  uint256 timestamp,
                  uint256 inboxSeqNum,
                  uint256 gasPriceL1,
                  bytes32 messageDataHash
              ) internal pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              kind,
                              sender,
                              blockNumber,
                              timestamp,
                              inboxSeqNum,
                              gasPriceL1,
                              messageDataHash
                          )
                      );
              }
              function addMessageToInbox(bytes32 inbox, bytes32 message) internal pure returns (bytes32) {
                  return keccak256(abi.encodePacked(inbox, message));
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          library MerkleLib {
              function generateRoot(bytes32[] memory _hashes) internal pure returns (bytes32) {
                  bytes32[] memory prevLayer = _hashes;
                  while (prevLayer.length > 1) {
                      bytes32[] memory nextLayer = new bytes32[]((prevLayer.length + 1) / 2);
                      for (uint256 i = 0; i < nextLayer.length; i++) {
                          if (2 * i + 1 < prevLayer.length) {
                              nextLayer[i] = keccak256(
                                  abi.encodePacked(prevLayer[2 * i], prevLayer[2 * i + 1])
                              );
                          } else {
                              nextLayer[i] = prevLayer[2 * i];
                          }
                      }
                      prevLayer = nextLayer;
                  }
                  return prevLayer[0];
              }
              function calculateRoot(
                  bytes32[] memory nodes,
                  uint256 route,
                  bytes32 item
              ) internal pure returns (bytes32) {
                  uint256 proofItems = nodes.length;
                  require(proofItems <= 256);
                  bytes32 h = item;
                  for (uint256 i = 0; i < proofItems; i++) {
                      if (route % 2 == 0) {
                          h = keccak256(abi.encodePacked(nodes[i], h));
                      } else {
                          h = keccak256(abi.encodePacked(h, nodes[i]));
                      }
                      route /= 2;
                  }
                  return h;
              }
          }
          // SPDX-License-Identifier: MIT
          /*
           * @title Solidity Bytes Arrays Utils
           * @author Gonçalo Sá <[email protected]>
           *
           * @dev Bytes tightly packed arrays utility library for ethereum contracts written in Solidity.
           *      The library lets you concatenate, slice and type cast bytes arrays both in memory and storage.
           */
          pragma solidity ^0.6.11;
          /* solhint-disable no-inline-assembly */
          library BytesLib {
              function toAddress(bytes memory _bytes, uint256 _start) internal pure returns (address) {
                  require(_bytes.length >= (_start + 20), "Read out of bounds");
                  address tempAddress;
                  assembly {
                      tempAddress := div(mload(add(add(_bytes, 0x20), _start)), 0x1000000000000000000000000)
                  }
                  return tempAddress;
              }
              function toUint8(bytes memory _bytes, uint256 _start) internal pure returns (uint8) {
                  require(_bytes.length >= (_start + 1), "Read out of bounds");
                  uint8 tempUint;
                  assembly {
                      tempUint := mload(add(add(_bytes, 0x1), _start))
                  }
                  return tempUint;
              }
              function toUint(bytes memory _bytes, uint256 _start) internal pure returns (uint256) {
                  require(_bytes.length >= (_start + 32), "Read out of bounds");
                  uint256 tempUint;
                  assembly {
                      tempUint := mload(add(add(_bytes, 0x20), _start))
                  }
                  return tempUint;
              }
              function toBytes32(bytes memory _bytes, uint256 _start) internal pure returns (bytes32) {
                  require(_bytes.length >= (_start + 32), "Read out of bounds");
                  bytes32 tempBytes32;
                  assembly {
                      tempBytes32 := mload(add(add(_bytes, 0x20), _start))
                  }
                  return tempBytes32;
              }
          }
          /* solhint-enable no-inline-assembly */
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2020, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "./ICloneable.sol";
          contract Cloneable is ICloneable {
              string private constant NOT_CLONE = "NOT_CLONE";
              bool private isMasterCopy;
              constructor() public {
                  isMasterCopy = true;
              }
              function isMaster() external view override returns (bool) {
                  return isMasterCopy;
              }
              function safeSelfDestruct(address payable dest) internal {
                  require(!isMasterCopy, NOT_CLONE);
                  selfdestruct(dest);
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "@openzeppelin/contracts/utils/Pausable.sol";
          import "@openzeppelin/contracts/proxy/Proxy.sol";
          import "@openzeppelin/contracts/utils/Address.sol";
          import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
          import "./RollupEventBridge.sol";
          import "./RollupCore.sol";
          import "./RollupLib.sol";
          import "./INode.sol";
          import "./INodeFactory.sol";
          import "../challenge/IChallenge.sol";
          import "../challenge/IChallengeFactory.sol";
          import "../bridge/interfaces/IBridge.sol";
          import "../bridge/interfaces/IOutbox.sol";
          import "../bridge/Messages.sol";
          import "../libraries/ProxyUtil.sol";
          import "../libraries/Cloneable.sol";
          import "./facets/IRollupFacets.sol";
          abstract contract RollupBase is Cloneable, RollupCore, Pausable {
              // Rollup Config
              uint256 public confirmPeriodBlocks;
              uint256 public extraChallengeTimeBlocks;
              uint256 public avmGasSpeedLimitPerBlock;
              uint256 public baseStake;
              // Bridge is an IInbox and IOutbox
              IBridge public delayedBridge;
              ISequencerInbox public sequencerBridge;
              IOutbox public outbox;
              RollupEventBridge public rollupEventBridge;
              IChallengeFactory public challengeFactory;
              INodeFactory public nodeFactory;
              address public owner;
              address public stakeToken;
              uint256 public minimumAssertionPeriod;
              uint256 public STORAGE_GAP_1;
              uint256 public STORAGE_GAP_2;
              uint256 public challengeExecutionBisectionDegree;
              address[] internal facets;
              mapping(address => bool) isValidator;
              /// @dev indicates the block which the rollup starts the shutdown for nitro mode
              uint256 public shutdownForNitroBlock;
              /// @dev indicates if rollup is in shutdown for nitro mode
              function shutdownForNitroMode() public view returns (bool) {
                  return block.number >= shutdownForNitroBlock;
              }
              /// @dev allows a function to be executed either if contract is either in `shutdownForNitroMode` or not paused
              modifier whenInShutdownModeOrNotPaused() {
                  if (!shutdownForNitroMode()) {
                      require(!paused(), "Pausable: paused");
                  }
                  _;
              }
              /// @notice DEPRECATED -- this method is deprecated but still mantained for backward compatibility
              /// @dev this actually returns the avmGasSpeedLimitPerBlock
              /// @return this actually returns the avmGasSpeedLimitPerBlock
              function arbGasSpeedLimitPerBlock() external view returns (uint256) {
                  return avmGasSpeedLimitPerBlock;
              }
          }
          contract Rollup is Proxy, RollupBase {
              using Address for address;
              constructor(uint256 _confirmPeriodBlocks) public Cloneable() Pausable() {
                  // constructor is used so logic contract can't be init'ed
                  confirmPeriodBlocks = _confirmPeriodBlocks;
                  require(isInit(), "CONSTRUCTOR_NOT_INIT");
              }
              function isInit() internal view returns (bool) {
                  return confirmPeriodBlocks != 0;
              }
              // _rollupParams = [ confirmPeriodBlocks, extraChallengeTimeBlocks, avmGasSpeedLimitPerBlock, baseStake ]
              // connectedContracts = [delayedBridge, sequencerInbox, outbox, rollupEventBridge, challengeFactory, nodeFactory]
              function initialize(
                  bytes32 _machineHash,
                  uint256[4] calldata _rollupParams,
                  address _stakeToken,
                  address _owner,
                  bytes calldata _extraConfig,
                  address[6] calldata connectedContracts,
                  address[2] calldata _facets,
                  uint256[2] calldata sequencerInboxParams
              ) public {
                  require(!isInit(), "ALREADY_INIT");
                  // calls initialize method in user facet
                  require(_facets[0].isContract(), "FACET_0_NOT_CONTRACT");
                  require(_facets[1].isContract(), "FACET_1_NOT_CONTRACT");
                  (bool success, ) = _facets[1].delegatecall(
                      abi.encodeWithSelector(IRollupUser.initialize.selector, _stakeToken)
                  );
                  require(success, "FAIL_INIT_FACET");
                  delayedBridge = IBridge(connectedContracts[0]);
                  sequencerBridge = ISequencerInbox(connectedContracts[1]);
                  outbox = IOutbox(connectedContracts[2]);
                  delayedBridge.setOutbox(connectedContracts[2], true);
                  rollupEventBridge = RollupEventBridge(connectedContracts[3]);
                  delayedBridge.setInbox(connectedContracts[3], true);
                  rollupEventBridge.rollupInitialized(
                      _rollupParams[0],
                      _rollupParams[2],
                      _owner,
                      _extraConfig
                  );
                  challengeFactory = IChallengeFactory(connectedContracts[4]);
                  nodeFactory = INodeFactory(connectedContracts[5]);
                  INode node = createInitialNode(_machineHash);
                  initializeCore(node);
                  confirmPeriodBlocks = _rollupParams[0];
                  extraChallengeTimeBlocks = _rollupParams[1];
                  avmGasSpeedLimitPerBlock = _rollupParams[2];
                  baseStake = _rollupParams[3];
                  owner = _owner;
                  // A little over 15 minutes
                  minimumAssertionPeriod = 75;
                  challengeExecutionBisectionDegree = 400;
                  sequencerBridge.setMaxDelay(sequencerInboxParams[0], sequencerInboxParams[1]);
                  // facets[0] == admin, facets[1] == user
                  facets = _facets;
                  shutdownForNitroBlock = type(uint256).max;
                  emit RollupCreated(_machineHash);
                  require(isInit(), "INITIALIZE_NOT_INIT");
              }
              function postUpgradeInit() external {
                  // it is assumed the rollup contract is behind a Proxy controlled by a proxy admin
                  // this function can only be called by the proxy admin contract
                  address proxyAdmin = ProxyUtil.getProxyAdmin();
                  require(msg.sender == proxyAdmin, "NOT_FROM_ADMIN");
                  shutdownForNitroBlock = type(uint256).max;
              }
              function createInitialNode(bytes32 _machineHash) private returns (INode) {
                  bytes32 state = RollupLib.stateHash(
                      RollupLib.ExecutionState(
                          0, // total gas used
                          _machineHash,
                          0, // inbox count
                          0, // send count
                          0, // log count
                          0, // send acc
                          0, // log acc
                          block.number, // block proposed
                          1 // Initialization message already in inbox
                      )
                  );
                  return
                      INode(
                          nodeFactory.createNode(
                              state,
                              0, // challenge hash (not challengeable)
                              0, // confirm data
                              0, // prev node
                              block.number // deadline block (not challengeable)
                          )
                      );
              }
              /**
               * This contract uses a dispatch pattern from EIP-2535: Diamonds
               * together with Open Zeppelin's proxy
               */
              function getFacets() external view returns (address, address) {
                  return (getAdminFacet(), getUserFacet());
              }
              function getAdminFacet() public view returns (address) {
                  return facets[0];
              }
              function getUserFacet() public view returns (address) {
                  return facets[1];
              }
              /**
               * @dev This is a virtual function that should be overriden so it returns the address to which the fallback function
               * and {_fallback} should delegate.
               */
              function _implementation() internal view virtual override returns (address) {
                  require(msg.data.length >= 4, "NO_FUNC_SIG");
                  address rollupOwner = owner;
                  // if there is an owner and it is the sender, delegate to admin facet
                  address target = rollupOwner != address(0) && rollupOwner == msg.sender
                      ? getAdminFacet()
                      : getUserFacet();
                  require(target.isContract(), "TARGET_NOT_CONTRACT");
                  return target;
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "./Proxy.sol";
          import "../utils/Address.sol";
          import "./IBeacon.sol";
          /**
           * @dev This contract implements a proxy that gets the implementation address for each call from a {UpgradeableBeacon}.
           *
           * The beacon address is stored in storage slot `uint256(keccak256('eip1967.proxy.beacon')) - 1`, so that it doesn't
           * conflict with the storage layout of the implementation behind the proxy.
           *
           * _Available since v3.4._
           */
          contract BeaconProxy is Proxy {
              /**
               * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
               * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
               */
              bytes32 private constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
              /**
               * @dev Initializes the proxy with `beacon`.
               *
               * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon. This
               * will typically be an encoded function call, and allows initializating the storage of the proxy like a Solidity
               * constructor.
               *
               * Requirements:
               *
               * - `beacon` must be a contract with the interface {IBeacon}.
               */
              constructor(address beacon, bytes memory data) public payable {
                  assert(_BEACON_SLOT == bytes32(uint256(keccak256("eip1967.proxy.beacon")) - 1));
                  _setBeacon(beacon, data);
              }
              /**
               * @dev Returns the current beacon address.
               */
              function _beacon() internal view virtual returns (address beacon) {
                  bytes32 slot = _BEACON_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      beacon := sload(slot)
                  }
              }
              /**
               * @dev Returns the current implementation address of the associated beacon.
               */
              function _implementation() internal view virtual override returns (address) {
                  return IBeacon(_beacon()).implementation();
              }
              /**
               * @dev Changes the proxy to use a new beacon.
               *
               * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon.
               *
               * Requirements:
               *
               * - `beacon` must be a contract.
               * - The implementation returned by `beacon` must be a contract.
               */
              function _setBeacon(address beacon, bytes memory data) internal virtual {
                  require(
                      Address.isContract(beacon),
                      "BeaconProxy: beacon is not a contract"
                  );
                  require(
                      Address.isContract(IBeacon(beacon).implementation()),
                      "BeaconProxy: beacon implementation is not a contract"
                  );
                  bytes32 slot = _BEACON_SLOT;
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      sstore(slot, beacon)
                  }
                  if (data.length > 0) {
                      Address.functionDelegateCall(_implementation(), data, "BeaconProxy: function call failed");
                  }
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "./IBeacon.sol";
          import "../access/Ownable.sol";
          import "../utils/Address.sol";
          /**
           * @dev This contract is used in conjunction with one or more instances of {BeaconProxy} to determine their
           * implementation contract, which is where they will delegate all function calls.
           *
           * An owner is able to change the implementation the beacon points to, thus upgrading the proxies that use this beacon.
           */
          contract UpgradeableBeacon is IBeacon, Ownable {
              address private _implementation;
              /**
               * @dev Emitted when the implementation returned by the beacon is changed.
               */
              event Upgraded(address indexed implementation);
              /**
               * @dev Sets the address of the initial implementation, and the deployer account as the owner who can upgrade the
               * beacon.
               */
              constructor(address implementation_) public {
                  _setImplementation(implementation_);
              }
              /**
               * @dev Returns the current implementation address.
               */
              function implementation() public view virtual override returns (address) {
                  return _implementation;
              }
              /**
               * @dev Upgrades the beacon to a new implementation.
               *
               * Emits an {Upgraded} event.
               *
               * Requirements:
               *
               * - msg.sender must be the owner of the contract.
               * - `newImplementation` must be a contract.
               */
              function upgradeTo(address newImplementation) public virtual onlyOwner {
                  _setImplementation(newImplementation);
                  emit Upgraded(newImplementation);
              }
              /**
               * @dev Sets the implementation contract address for this beacon
               *
               * Requirements:
               *
               * - `newImplementation` must be a contract.
               */
              function _setImplementation(address newImplementation) private {
                  require(Address.isContract(newImplementation), "UpgradeableBeacon: implementation is not a contract");
                  _implementation = newImplementation;
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "../utils/ContextUpgradeable.sol";
          import "../proxy/Initializable.sol";
          /**
           * @dev Contract module which provides a basic access control mechanism, where
           * there is an account (an owner) that can be granted exclusive access to
           * specific functions.
           *
           * By default, the owner account will be the one that deploys the contract. This
           * can later be changed with {transferOwnership}.
           *
           * This module is used through inheritance. It will make available the modifier
           * `onlyOwner`, which can be applied to your functions to restrict their use to
           * the owner.
           */
          abstract contract OwnableUpgradeable is Initializable, ContextUpgradeable {
              address private _owner;
              event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
              /**
               * @dev Initializes the contract setting the deployer as the initial owner.
               */
              function __Ownable_init() internal initializer {
                  __Context_init_unchained();
                  __Ownable_init_unchained();
              }
              function __Ownable_init_unchained() internal initializer {
                  address msgSender = _msgSender();
                  _owner = msgSender;
                  emit OwnershipTransferred(address(0), msgSender);
              }
              /**
               * @dev Returns the address of the current owner.
               */
              function owner() public view virtual returns (address) {
                  return _owner;
              }
              /**
               * @dev Throws if called by any account other than the owner.
               */
              modifier onlyOwner() {
                  require(owner() == _msgSender(), "Ownable: caller is not the owner");
                  _;
              }
              /**
               * @dev Leaves the contract without owner. It will not be possible to call
               * `onlyOwner` functions anymore. Can only be called by the current owner.
               *
               * NOTE: Renouncing ownership will leave the contract without an owner,
               * thereby removing any functionality that is only available to the owner.
               */
              function renounceOwnership() public virtual onlyOwner {
                  emit OwnershipTransferred(_owner, address(0));
                  _owner = address(0);
              }
              /**
               * @dev Transfers ownership of the contract to a new account (`newOwner`).
               * Can only be called by the current owner.
               */
              function transferOwnership(address newOwner) public virtual onlyOwner {
                  require(newOwner != address(0), "Ownable: new owner is the zero address");
                  emit OwnershipTransferred(_owner, newOwner);
                  _owner = newOwner;
              }
              uint256[49] private __gap;
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./IBridge.sol";
          import "./IMessageProvider.sol";
          interface IInbox is IMessageProvider {
              function sendL2Message(bytes calldata messageData) external returns (uint256);
              function sendUnsignedTransaction(
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  uint256 nonce,
                  address destAddr,
                  uint256 amount,
                  bytes calldata data
              ) external returns (uint256);
              function sendContractTransaction(
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  address destAddr,
                  uint256 amount,
                  bytes calldata data
              ) external returns (uint256);
              function sendL1FundedUnsignedTransaction(
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  uint256 nonce,
                  address destAddr,
                  bytes calldata data
              ) external payable returns (uint256);
              function sendL1FundedContractTransaction(
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  address destAddr,
                  bytes calldata data
              ) external payable returns (uint256);
              function createRetryableTicket(
                  address destAddr,
                  uint256 arbTxCallValue,
                  uint256 maxSubmissionCost,
                  address submissionRefundAddress,
                  address valueRefundAddress,
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  bytes calldata data
              ) external payable returns (uint256);
              function unsafeCreateRetryableTicket(
                  address destAddr,
                  uint256 arbTxCallValue,
                  uint256 maxSubmissionCost,
                  address submissionRefundAddress,
                  address valueRefundAddress,
                  uint256 maxGas,
                  uint256 gasPriceBid,
                  bytes calldata data
              ) external payable returns (uint256);
              function depositEth(uint256 maxSubmissionCost) external payable returns (uint256);
              function bridge() external view returns (IBridge);
              function pauseCreateRetryables() external;
              function unpauseCreateRetryables() external;
              function startRewriteAddress() external;
              function stopRewriteAddress() external;
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./IOwnable.sol";
          interface IBridge {
              event MessageDelivered(
                  uint256 indexed messageIndex,
                  bytes32 indexed beforeInboxAcc,
                  address inbox,
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash,
                  uint256 baseFeeL1,
                  uint64 timestamp
              );
              event BridgeCallTriggered(
                  address indexed outbox,
                  address indexed to,
                  uint256 value,
                  bytes data
              );
              event InboxToggle(address indexed inbox, bool enabled);
              event OutboxToggle(address indexed outbox, bool enabled);
              event SequencerInboxUpdated(address newSequencerInbox);
              function enqueueDelayedMessage(
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash
              ) external payable returns (uint256);
              function enqueueSequencerMessage(bytes32 dataHash, uint256 afterDelayedMessagesRead)
                  external
                  returns (
                      uint256 seqMessageIndex,
                      bytes32 beforeAcc,
                      bytes32 delayedAcc,
                      bytes32 acc
                  );
              function submitBatchSpendingReport(address batchPoster, bytes32 dataHash)
                  external
                  returns (uint256 msgNum);
              function executeCall(
                  address to,
                  uint256 value,
                  bytes calldata data
              ) external returns (bool success, bytes memory returnData);
              // These are only callable by the admin
              function setDelayedInbox(address inbox, bool enabled) external;
              function setOutbox(address inbox, bool enabled) external;
              function setSequencerInbox(address _sequencerInbox) external;
              // View functions
              function sequencerInbox() external view returns (address);
              function activeOutbox() external view returns (address);
              function allowedDelayedInboxes(address inbox) external view returns (bool);
              function allowedOutboxes(address outbox) external view returns (bool);
              function delayedInboxAccs(uint256 index) external view returns (bytes32);
              function sequencerInboxAccs(uint256 index) external view returns (bytes32);
              function delayedMessageCount() external view returns (uint256);
              function sequencerMessageCount() external view returns (uint256);
              function rollup() external view returns (IOwnable);
              function acceptFundsFromOldBridge() external payable;
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./IBridge.sol";
          import "./IDelayedMessageProvider.sol";
          interface IInbox is IDelayedMessageProvider {
              function sendL2Message(bytes calldata messageData) external returns (uint256);
              function sendUnsignedTransaction(
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  uint256 nonce,
                  address to,
                  uint256 value,
                  bytes calldata data
              ) external returns (uint256);
              function sendContractTransaction(
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  address to,
                  uint256 value,
                  bytes calldata data
              ) external returns (uint256);
              function sendL1FundedUnsignedTransaction(
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  uint256 nonce,
                  address to,
                  bytes calldata data
              ) external payable returns (uint256);
              function sendL1FundedContractTransaction(
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  address to,
                  bytes calldata data
              ) external payable returns (uint256);
              /// @dev Gas limit and maxFeePerGas should not be set to 1 as that is used to trigger the RetryableData error
              function createRetryableTicket(
                  address to,
                  uint256 arbTxCallValue,
                  uint256 maxSubmissionCost,
                  address submissionRefundAddress,
                  address valueRefundAddress,
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  bytes calldata data
              ) external payable returns (uint256);
              /// @dev Gas limit and maxFeePerGas should not be set to 1 as that is used to trigger the RetryableData error
              function unsafeCreateRetryableTicket(
                  address to,
                  uint256 arbTxCallValue,
                  uint256 maxSubmissionCost,
                  address submissionRefundAddress,
                  address valueRefundAddress,
                  uint256 gasLimit,
                  uint256 maxFeePerGas,
                  bytes calldata data
              ) external payable returns (uint256);
              function depositEth() external payable returns (uint256);
              /// @notice deprecated in favour of depositEth with no parameters
              function depositEth(uint256 maxSubmissionCost) external payable returns (uint256);
              function bridge() external view returns (IBridge);
              function postUpgradeInit(IBridge _bridge) external;
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface IMessageProvider {
              event InboxMessageDelivered(uint256 indexed messageNum, bytes data);
              event InboxMessageDeliveredFromOrigin(uint256 indexed messageNum);
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.4.21 <0.9.0;
          interface IOwnable {
              function owner() external view returns (address);
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface IDelayedMessageProvider {
              /// @dev event emitted when a inbox message is added to the Bridge's delayed accumulator
              event InboxMessageDelivered(uint256 indexed messageNum, bytes data);
              /// @dev event emitted when a inbox message is added to the Bridge's delayed accumulator
              /// same as InboxMessageDelivered but the batch data is available in tx.input
              event InboxMessageDeliveredFromOrigin(uint256 indexed messageNum);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface ICloneable {
              function isMaster() external view returns (bool);
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "./Context.sol";
          /**
           * @dev Contract module which allows children to implement an emergency stop
           * mechanism that can be triggered by an authorized account.
           *
           * This module is used through inheritance. It will make available the
           * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
           * the functions of your contract. Note that they will not be pausable by
           * simply including this module, only once the modifiers are put in place.
           */
          abstract contract Pausable is Context {
              /**
               * @dev Emitted when the pause is triggered by `account`.
               */
              event Paused(address account);
              /**
               * @dev Emitted when the pause is lifted by `account`.
               */
              event Unpaused(address account);
              bool private _paused;
              /**
               * @dev Initializes the contract in unpaused state.
               */
              constructor () internal {
                  _paused = false;
              }
              /**
               * @dev Returns true if the contract is paused, and false otherwise.
               */
              function paused() public view virtual returns (bool) {
                  return _paused;
              }
              /**
               * @dev Modifier to make a function callable only when the contract is not paused.
               *
               * Requirements:
               *
               * - The contract must not be paused.
               */
              modifier whenNotPaused() {
                  require(!paused(), "Pausable: paused");
                  _;
              }
              /**
               * @dev Modifier to make a function callable only when the contract is paused.
               *
               * Requirements:
               *
               * - The contract must be paused.
               */
              modifier whenPaused() {
                  require(paused(), "Pausable: not paused");
                  _;
              }
              /**
               * @dev Triggers stopped state.
               *
               * Requirements:
               *
               * - The contract must not be paused.
               */
              function _pause() internal virtual whenNotPaused {
                  _paused = true;
                  emit Paused(_msgSender());
              }
              /**
               * @dev Returns to normal state.
               *
               * Requirements:
               *
               * - The contract must be paused.
               */
              function _unpause() internal virtual whenPaused {
                  _paused = false;
                  emit Unpaused(_msgSender());
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /**
           * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
           * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
           * be specified by overriding the virtual {_implementation} function.
           *
           * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
           * different contract through the {_delegate} function.
           *
           * The success and return data of the delegated call will be returned back to the caller of the proxy.
           */
          abstract contract Proxy {
              /**
               * @dev Delegates the current call to `implementation`.
               *
               * This function does not return to its internall call site, it will return directly to the external caller.
               */
              function _delegate(address implementation) internal virtual {
                  // solhint-disable-next-line no-inline-assembly
                  assembly {
                      // Copy msg.data. We take full control of memory in this inline assembly
                      // block because it will not return to Solidity code. We overwrite the
                      // Solidity scratch pad at memory position 0.
                      calldatacopy(0, 0, calldatasize())
                      // Call the implementation.
                      // out and outsize are 0 because we don't know the size yet.
                      let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                      // Copy the returned data.
                      returndatacopy(0, 0, returndatasize())
                      switch result
                      // delegatecall returns 0 on error.
                      case 0 { revert(0, returndatasize()) }
                      default { return(0, returndatasize()) }
                  }
              }
              /**
               * @dev This is a virtual function that should be overriden so it returns the address to which the fallback function
               * and {_fallback} should delegate.
               */
              function _implementation() internal view virtual returns (address);
              /**
               * @dev Delegates the current call to the address returned by `_implementation()`.
               *
               * This function does not return to its internall call site, it will return directly to the external caller.
               */
              function _fallback() internal virtual {
                  _beforeFallback();
                  _delegate(_implementation());
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
               * function in the contract matches the call data.
               */
              fallback () external payable virtual {
                  _fallback();
              }
              /**
               * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
               * is empty.
               */
              receive () external payable virtual {
                  _fallback();
              }
              /**
               * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
               * call, or as part of the Solidity `fallback` or `receive` functions.
               *
               * If overriden should call `super._beforeFallback()`.
               */
              function _beforeFallback() internal virtual {
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.2 <0.8.0;
          /**
           * @dev Collection of functions related to the address type
           */
          library Address {
              /**
               * @dev Returns true if `account` is a contract.
               *
               * [IMPORTANT]
               * ====
               * It is unsafe to assume that an address for which this function returns
               * false is an externally-owned account (EOA) and not a contract.
               *
               * Among others, `isContract` will return false for the following
               * types of addresses:
               *
               *  - an externally-owned account
               *  - a contract in construction
               *  - an address where a contract will be created
               *  - an address where a contract lived, but was destroyed
               * ====
               */
              function isContract(address account) internal view returns (bool) {
                  // This method relies on extcodesize, which returns 0 for contracts in
                  // construction, since the code is only stored at the end of the
                  // constructor execution.
                  uint256 size;
                  // solhint-disable-next-line no-inline-assembly
                  assembly { size := extcodesize(account) }
                  return size > 0;
              }
              /**
               * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
               * `recipient`, forwarding all available gas and reverting on errors.
               *
               * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
               * of certain opcodes, possibly making contracts go over the 2300 gas limit
               * imposed by `transfer`, making them unable to receive funds via
               * `transfer`. {sendValue} removes this limitation.
               *
               * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
               *
               * IMPORTANT: because control is transferred to `recipient`, care must be
               * taken to not create reentrancy vulnerabilities. Consider using
               * {ReentrancyGuard} or the
               * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
               */
              function sendValue(address payable recipient, uint256 amount) internal {
                  require(address(this).balance >= amount, "Address: insufficient balance");
                  // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
                  (bool success, ) = recipient.call{ value: amount }("");
                  require(success, "Address: unable to send value, recipient may have reverted");
              }
              /**
               * @dev Performs a Solidity function call using a low level `call`. A
               * plain`call` is an unsafe replacement for a function call: use this
               * function instead.
               *
               * If `target` reverts with a revert reason, it is bubbled up by this
               * function (like regular Solidity function calls).
               *
               * Returns the raw returned data. To convert to the expected return value,
               * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
               *
               * Requirements:
               *
               * - `target` must be a contract.
               * - calling `target` with `data` must not revert.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                return functionCall(target, data, "Address: low-level call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
               * `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, 0, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but also transferring `value` wei to `target`.
               *
               * Requirements:
               *
               * - the calling contract must have an ETH balance of at least `value`.
               * - the called Solidity function must be `payable`.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
              }
              /**
               * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
               * with `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
                  require(address(this).balance >= value, "Address: insufficient balance for call");
                  require(isContract(target), "Address: call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.call{ value: value }(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                  return functionStaticCall(target, data, "Address: low-level static call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
                  require(isContract(target), "Address: static call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.staticcall(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                  return functionDelegateCall(target, data, "Address: low-level delegate call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a delegate call.
               *
               * _Available since v3.4._
               */
              function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                  require(isContract(target), "Address: delegate call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.delegatecall(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
                  if (success) {
                      return returndata;
                  } else {
                      // Look for revert reason and bubble it up if present
                      if (returndata.length > 0) {
                          // The easiest way to bubble the revert reason is using memory via assembly
                          // solhint-disable-next-line no-inline-assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert(errorMessage);
                      }
                  }
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /**
           * @dev Interface of the ERC20 standard as defined in the EIP.
           */
          interface IERC20 {
              /**
               * @dev Returns the amount of tokens in existence.
               */
              function totalSupply() external view returns (uint256);
              /**
               * @dev Returns the amount of tokens owned by `account`.
               */
              function balanceOf(address account) external view returns (uint256);
              /**
               * @dev Moves `amount` tokens from the caller's account to `recipient`.
               *
               * Returns a boolean value indicating whether the operation succeeded.
               *
               * Emits a {Transfer} event.
               */
              function transfer(address recipient, uint256 amount) external returns (bool);
              /**
               * @dev Returns the remaining number of tokens that `spender` will be
               * allowed to spend on behalf of `owner` through {transferFrom}. This is
               * zero by default.
               *
               * This value changes when {approve} or {transferFrom} are called.
               */
              function allowance(address owner, address spender) external view returns (uint256);
              /**
               * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
               *
               * Returns a boolean value indicating whether the operation succeeded.
               *
               * IMPORTANT: Beware that changing an allowance with this method brings the risk
               * that someone may use both the old and the new allowance by unfortunate
               * transaction ordering. One possible solution to mitigate this race
               * condition is to first reduce the spender's allowance to 0 and set the
               * desired value afterwards:
               * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
               *
               * Emits an {Approval} event.
               */
              function approve(address spender, uint256 amount) external returns (bool);
              /**
               * @dev Moves `amount` tokens from `sender` to `recipient` using the
               * allowance mechanism. `amount` is then deducted from the caller's
               * allowance.
               *
               * Returns a boolean value indicating whether the operation succeeded.
               *
               * Emits a {Transfer} event.
               */
              function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
              /**
               * @dev Emitted when `value` tokens are moved from one account (`from`) to
               * another (`to`).
               *
               * Note that `value` may be zero.
               */
              event Transfer(address indexed from, address indexed to, uint256 value);
              /**
               * @dev Emitted when the allowance of a `spender` for an `owner` is set by
               * a call to {approve}. `value` is the new allowance.
               */
              event Approval(address indexed owner, address indexed spender, uint256 value);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "./Rollup.sol";
          import "./facets/IRollupFacets.sol";
          import "../bridge/interfaces/IBridge.sol";
          import "../bridge/interfaces/IMessageProvider.sol";
          import "./INode.sol";
          import "../libraries/Cloneable.sol";
          contract RollupEventBridge is IMessageProvider, Cloneable {
              uint8 internal constant INITIALIZATION_MSG_TYPE = 11;
              uint8 internal constant ROLLUP_PROTOCOL_EVENT_TYPE = 8;
              uint8 internal constant CREATE_NODE_EVENT = 0;
              uint8 internal constant CONFIRM_NODE_EVENT = 1;
              uint8 internal constant REJECT_NODE_EVENT = 2;
              uint8 internal constant STAKE_CREATED_EVENT = 3;
              IBridge bridge;
              address rollup;
              modifier onlyRollup() {
                  require(msg.sender == rollup, "ONLY_ROLLUP");
                  _;
              }
              function initialize(address _bridge, address _rollup) external {
                  require(rollup == address(0), "ALREADY_INIT");
                  bridge = IBridge(_bridge);
                  rollup = _rollup;
              }
              function rollupInitialized(
                  uint256 confirmPeriodBlocks,
                  uint256 avmGasSpeedLimitPerBlock,
                  address owner,
                  bytes calldata extraConfig
              ) external onlyRollup {
                  bytes memory initMsg = abi.encodePacked(
                      keccak256("ChallengePeriodEthBlocks"),
                      confirmPeriodBlocks,
                      keccak256("SpeedLimitPerSecond"),
                      avmGasSpeedLimitPerBlock / 100, // convert avm gas to arbgas
                      keccak256("ChainOwner"),
                      uint256(uint160(bytes20(owner))),
                      extraConfig
                  );
                  uint256 num = bridge.deliverMessageToInbox(
                      INITIALIZATION_MSG_TYPE,
                      address(0),
                      keccak256(initMsg)
                  );
                  emit InboxMessageDelivered(num, initMsg);
              }
              function nodeCreated(
                  uint256 nodeNum,
                  uint256 prev,
                  uint256 deadline,
                  address asserter
              ) external onlyRollup {
                  deliverToBridge(
                      abi.encodePacked(
                          CREATE_NODE_EVENT,
                          nodeNum,
                          prev,
                          block.number,
                          deadline,
                          uint256(uint160(bytes20(asserter)))
                      )
                  );
              }
              function nodeConfirmed(uint256 nodeNum) external onlyRollup {
                  deliverToBridge(abi.encodePacked(CONFIRM_NODE_EVENT, nodeNum));
              }
              function nodeRejected(uint256 nodeNum) external onlyRollup {
                  deliverToBridge(abi.encodePacked(REJECT_NODE_EVENT, nodeNum));
              }
              function stakeCreated(address staker, uint256 nodeNum) external onlyRollup {
                  deliverToBridge(
                      abi.encodePacked(
                          STAKE_CREATED_EVENT,
                          uint256(uint160(bytes20(staker))),
                          nodeNum,
                          block.number
                      )
                  );
              }
              function deliverToBridge(bytes memory message) private {
                  emit InboxMessageDelivered(
                      bridge.deliverMessageToInbox(
                          ROLLUP_PROTOCOL_EVENT_TYPE,
                          msg.sender,
                          keccak256(message)
                      ),
                      message
                  );
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "./INode.sol";
          import "./IRollupCore.sol";
          import "./RollupLib.sol";
          import "./INodeFactory.sol";
          import "./RollupEventBridge.sol";
          import "../bridge/interfaces/ISequencerInbox.sol";
          import "@openzeppelin/contracts/math/SafeMath.sol";
          contract RollupCore is IRollupCore {
              using SafeMath for uint256;
              // Stakers become Zombies after losing a challenge
              struct Zombie {
                  address stakerAddress;
                  uint256 latestStakedNode;
              }
              struct Staker {
                  uint256 index;
                  uint256 latestStakedNode;
                  uint256 amountStaked;
                  // currentChallenge is 0 if staker is not in a challenge
                  address currentChallenge;
                  bool isStaked;
              }
              uint256 private _latestConfirmed;
              uint256 private _firstUnresolvedNode;
              uint256 private _latestNodeCreated;
              uint256 private _lastStakeBlock;
              mapping(uint256 => INode) private _nodes;
              mapping(uint256 => bytes32) private _nodeHashes;
              address payable[] private _stakerList;
              mapping(address => Staker) public override _stakerMap;
              Zombie[] private _zombies;
              mapping(address => uint256) private _withdrawableFunds;
              /**
               * @notice Get the address of the Node contract for the given node
               * @param nodeNum Index of the node
               * @return Address of the Node contract
               */
              function getNode(uint256 nodeNum) public view override returns (INode) {
                  return _nodes[nodeNum];
              }
              /**
               * @notice Get the address of the staker at the given index
               * @param stakerNum Index of the staker
               * @return Address of the staker
               */
              function getStakerAddress(uint256 stakerNum) public view override returns (address) {
                  return _stakerList[stakerNum];
              }
              /**
               * @notice Check whether the given staker is staked
               * @param staker Staker address to check
               * @return True or False for whether the staker was staked
               */
              function isStaked(address staker) public view override returns (bool) {
                  return _stakerMap[staker].isStaked;
              }
              /**
               * @notice Get the latest staked node of the given staker
               * @param staker Staker address to lookup
               * @return Latest node staked of the staker
               */
              function latestStakedNode(address staker) public view override returns (uint256) {
                  return _stakerMap[staker].latestStakedNode;
              }
              /**
               * @notice Get the current challenge of the given staker
               * @param staker Staker address to lookup
               * @return Current challenge of the staker
               */
              function currentChallenge(address staker) public view override returns (address) {
                  return _stakerMap[staker].currentChallenge;
              }
              /**
               * @notice Get the amount staked of the given staker
               * @param staker Staker address to lookup
               * @return Amount staked of the staker
               */
              function amountStaked(address staker) public view override returns (uint256) {
                  return _stakerMap[staker].amountStaked;
              }
              /**
               * @notice Get the original staker address of the zombie at the given index
               * @param zombieNum Index of the zombie to lookup
               * @return Original staker address of the zombie
               */
              function zombieAddress(uint256 zombieNum) public view override returns (address) {
                  return _zombies[zombieNum].stakerAddress;
              }
              /**
               * @notice Get Latest node that the given zombie at the given index is staked on
               * @param zombieNum Index of the zombie to lookup
               * @return Latest node that the given zombie is staked on
               */
              function zombieLatestStakedNode(uint256 zombieNum) public view override returns (uint256) {
                  return _zombies[zombieNum].latestStakedNode;
              }
              /// @return Current number of un-removed zombies
              function zombieCount() public view override returns (uint256) {
                  return _zombies.length;
              }
              function isZombie(address staker) public view override returns (bool) {
                  for (uint256 i = 0; i < _zombies.length; i++) {
                      if (staker == _zombies[i].stakerAddress) {
                          return true;
                      }
                  }
                  return false;
              }
              /**
               * @notice Get the amount of funds withdrawable by the given address
               * @param owner Address to check the funds of
               * @return Amount of funds withdrawable by owner
               */
              function withdrawableFunds(address owner) external view override returns (uint256) {
                  return _withdrawableFunds[owner];
              }
              /**
               * @return Index of the first unresolved node
               * @dev If all nodes have been resolved, this will be latestNodeCreated + 1
               */
              function firstUnresolvedNode() public view override returns (uint256) {
                  return _firstUnresolvedNode;
              }
              /// @return Index of the latest confirmed node
              function latestConfirmed() public view override returns (uint256) {
                  return _latestConfirmed;
              }
              /// @return Index of the latest rollup node created
              function latestNodeCreated() public view override returns (uint256) {
                  return _latestNodeCreated;
              }
              /// @return Ethereum block that the most recent stake was created
              function lastStakeBlock() external view override returns (uint256) {
                  return _lastStakeBlock;
              }
              /// @return Number of active stakers currently staked
              function stakerCount() public view override returns (uint256) {
                  return _stakerList.length;
              }
              /**
               * @notice Initialize the core with an initial node
               * @param initialNode Initial node to start the chain with
               */
              function initializeCore(INode initialNode) internal {
                  _nodes[0] = initialNode;
                  _firstUnresolvedNode = 1;
              }
              /**
               * @notice React to a new node being created by storing it an incrementing the latest node counter
               * @param node Node that was newly created
               * @param nodeHash The hash of said node
               */
              function nodeCreated(INode node, bytes32 nodeHash) internal {
                  _latestNodeCreated++;
                  _nodes[_latestNodeCreated] = node;
                  _nodeHashes[_latestNodeCreated] = nodeHash;
              }
              /// @return Node hash as of this node number
              function getNodeHash(uint256 index) public view override returns (bytes32) {
                  return _nodeHashes[index];
              }
              /// @notice Reject the next unresolved node
              function _rejectNextNode() internal {
                  destroyNode(_firstUnresolvedNode);
                  _firstUnresolvedNode++;
              }
              /// @notice Confirm the next unresolved node
              function confirmNextNode(
                  bytes32 beforeSendAcc,
                  bytes calldata sendsData,
                  uint256[] calldata sendLengths,
                  uint256 afterSendCount,
                  bytes32 afterLogAcc,
                  uint256 afterLogCount,
                  IOutbox outbox,
                  RollupEventBridge rollupEventBridge
              ) internal {
                  confirmNode(
                      _firstUnresolvedNode,
                      beforeSendAcc,
                      sendsData,
                      sendLengths,
                      afterSendCount,
                      afterLogAcc,
                      afterLogCount,
                      outbox,
                      rollupEventBridge
                  );
              }
              function confirmNode(
                  uint256 nodeNum,
                  bytes32 beforeSendAcc,
                  bytes calldata sendsData,
                  uint256[] calldata sendLengths,
                  uint256 afterSendCount,
                  bytes32 afterLogAcc,
                  uint256 afterLogCount,
                  IOutbox outbox,
                  RollupEventBridge rollupEventBridge
              ) internal {
                  bytes32 afterSendAcc = RollupLib.feedAccumulator(sendsData, sendLengths, beforeSendAcc);
                  INode node = getNode(nodeNum);
                  // Authenticate data against node's confirm data pre-image
                  require(
                      node.confirmData() ==
                          RollupLib.confirmHash(
                              beforeSendAcc,
                              afterSendAcc,
                              afterLogAcc,
                              afterSendCount,
                              afterLogCount
                          ),
                      "CONFIRM_DATA"
                  );
                  // trusted external call to outbox
                  outbox.processOutgoingMessages(sendsData, sendLengths);
                  destroyNode(_latestConfirmed);
                  _latestConfirmed = nodeNum;
                  _firstUnresolvedNode = nodeNum + 1;
                  rollupEventBridge.nodeConfirmed(nodeNum);
                  emit NodeConfirmed(nodeNum, afterSendAcc, afterSendCount, afterLogAcc, afterLogCount);
              }
              /**
               * @notice Create a new stake at latest confirmed node
               * @param stakerAddress Address of the new staker
               * @param depositAmount Stake amount of the new staker
               */
              function createNewStake(address payable stakerAddress, uint256 depositAmount) internal {
                  uint256 stakerIndex = _stakerList.length;
                  _stakerList.push(stakerAddress);
                  _stakerMap[stakerAddress] = Staker(
                      stakerIndex,
                      _latestConfirmed,
                      depositAmount,
                      address(0), // new staker is not in challenge
                      true
                  );
                  _lastStakeBlock = block.number;
                  emit UserStakeUpdated(stakerAddress, 0, depositAmount);
              }
              /**
               * @notice Check to see whether the two stakers are in the same challenge
               * @param stakerAddress1 Address of the first staker
               * @param stakerAddress2 Address of the second staker
               * @return Address of the challenge that the two stakers are in
               */
              function inChallenge(address stakerAddress1, address stakerAddress2)
                  internal
                  view
                  returns (address)
              {
                  Staker storage staker1 = _stakerMap[stakerAddress1];
                  Staker storage staker2 = _stakerMap[stakerAddress2];
                  address challenge = staker1.currentChallenge;
                  require(challenge != address(0), "NO_CHAL");
                  require(challenge == staker2.currentChallenge, "DIFF_IN_CHAL");
                  return challenge;
              }
              /**
               * @notice Make the given staker as not being in a challenge
               * @param stakerAddress Address of the staker to remove from a challenge
               */
              function clearChallenge(address stakerAddress) internal {
                  Staker storage staker = _stakerMap[stakerAddress];
                  staker.currentChallenge = address(0);
              }
              /**
               * @notice Mark both the given stakers as engaged in the challenge
               * @param staker1 Address of the first staker
               * @param staker2 Address of the second staker
               * @param challenge Address of the challenge both stakers are now in
               */
              function challengeStarted(
                  address staker1,
                  address staker2,
                  address challenge
              ) internal {
                  _stakerMap[staker1].currentChallenge = challenge;
                  _stakerMap[staker2].currentChallenge = challenge;
              }
              /**
               * @notice Add to the stake of the given staker by the given amount
               * @param stakerAddress Address of the staker to increase the stake of
               * @param amountAdded Amount of stake to add to the staker
               */
              function increaseStakeBy(address stakerAddress, uint256 amountAdded) internal {
                  Staker storage staker = _stakerMap[stakerAddress];
                  uint256 initialStaked = staker.amountStaked;
                  uint256 finalStaked = initialStaked.add(amountAdded);
                  staker.amountStaked = finalStaked;
                  emit UserStakeUpdated(stakerAddress, initialStaked, finalStaked);
              }
              /**
               * @notice Reduce the stake of the given staker to the given target
               * @param stakerAddress Address of the staker to reduce the stake of
               * @param target Amount of stake to leave with the staker
               * @return Amount of value released from the stake
               */
              function reduceStakeTo(address stakerAddress, uint256 target) internal returns (uint256) {
                  Staker storage staker = _stakerMap[stakerAddress];
                  uint256 current = staker.amountStaked;
                  require(target <= current, "TOO_LITTLE_STAKE");
                  uint256 amountWithdrawn = current.sub(target);
                  staker.amountStaked = target;
                  increaseWithdrawableFunds(stakerAddress, amountWithdrawn);
                  emit UserStakeUpdated(stakerAddress, current, target);
                  return amountWithdrawn;
              }
              /**
               * @notice Remove the given staker and turn them into a zombie
               * @param stakerAddress Address of the staker to remove
               */
              function turnIntoZombie(address stakerAddress) internal {
                  Staker storage staker = _stakerMap[stakerAddress];
                  _zombies.push(Zombie(stakerAddress, staker.latestStakedNode));
                  deleteStaker(stakerAddress);
              }
              /**
               * @notice Update the latest staked node of the zombie at the given index
               * @param zombieNum Index of the zombie to move
               * @param latest New latest node the zombie is staked on
               */
              function zombieUpdateLatestStakedNode(uint256 zombieNum, uint256 latest) internal {
                  _zombies[zombieNum].latestStakedNode = latest;
              }
              /**
               * @notice Remove the zombie at the given index
               * @param zombieNum Index of the zombie to remove
               */
              function removeZombie(uint256 zombieNum) internal {
                  _zombies[zombieNum] = _zombies[_zombies.length - 1];
                  _zombies.pop();
              }
              /**
               * @notice Remove the given staker and return their stake
               * @param stakerAddress Address of the staker withdrawing their stake
               */
              function withdrawStaker(address stakerAddress) internal {
                  Staker storage staker = _stakerMap[stakerAddress];
                  uint256 initialStaked = staker.amountStaked;
                  increaseWithdrawableFunds(stakerAddress, initialStaked);
                  deleteStaker(stakerAddress);
                  emit UserStakeUpdated(stakerAddress, initialStaked, 0);
              }
              /**
               * @notice Advance the given staker to the given node
               * @param stakerAddress Address of the staker adding their stake
               * @param nodeNum Index of the node to stake on
               */
              function stakeOnNode(
                  address stakerAddress,
                  uint256 nodeNum,
                  uint256 confirmPeriodBlocks
              ) internal {
                  Staker storage staker = _stakerMap[stakerAddress];
                  INode node = _nodes[nodeNum];
                  uint256 newStakerCount = node.addStaker(stakerAddress);
                  staker.latestStakedNode = nodeNum;
                  if (newStakerCount == 1) {
                      INode parent = _nodes[node.prev()];
                      parent.newChildConfirmDeadline(block.number.add(confirmPeriodBlocks));
                  }
              }
              /**
               * @notice Clear the withdrawable funds for the given address
               * @param owner Address of the account to remove funds from
               * @return Amount of funds removed from account
               */
              function withdrawFunds(address owner) internal returns (uint256) {
                  uint256 amount = _withdrawableFunds[owner];
                  _withdrawableFunds[owner] = 0;
                  emit UserWithdrawableFundsUpdated(owner, amount, 0);
                  return amount;
              }
              /**
               * @notice Increase the withdrawable funds for the given address
               * @param owner Address of the account to add withdrawable funds to
               */
              function increaseWithdrawableFunds(address owner, uint256 amount) internal {
                  uint256 initialWithdrawable = _withdrawableFunds[owner];
                  uint256 finalWithdrawable = initialWithdrawable.add(amount);
                  _withdrawableFunds[owner] = finalWithdrawable;
                  emit UserWithdrawableFundsUpdated(owner, initialWithdrawable, finalWithdrawable);
              }
              /**
               * @notice Remove the given staker
               * @param stakerAddress Address of the staker to remove
               */
              function deleteStaker(address stakerAddress) private {
                  Staker storage staker = _stakerMap[stakerAddress];
                  uint256 stakerIndex = staker.index;
                  _stakerList[stakerIndex] = _stakerList[_stakerList.length - 1];
                  _stakerMap[_stakerList[stakerIndex]].index = stakerIndex;
                  _stakerList.pop();
                  delete _stakerMap[stakerAddress];
              }
              /**
               * @notice Destroy the given node and clear out its address
               * @param nodeNum Index of the node to remove
               */
              function destroyNode(uint256 nodeNum) internal {
                  _nodes[nodeNum].destroy();
                  _nodes[nodeNum] = INode(0);
              }
              function nodeDeadline(
                  uint256 avmGasSpeedLimitPerBlock,
                  uint256 gasUsed,
                  uint256 confirmPeriodBlocks,
                  INode prevNode
              ) internal view returns (uint256 deadlineBlock) {
                  // Set deadline rounding up to the nearest block
                  uint256 checkTime = gasUsed.add(avmGasSpeedLimitPerBlock.sub(1)).div(
                      avmGasSpeedLimitPerBlock
                  );
                  deadlineBlock = max(block.number.add(confirmPeriodBlocks), prevNode.deadlineBlock()).add(
                      checkTime
                  );
                  uint256 olderSibling = prevNode.latestChildNumber();
                  if (olderSibling != 0) {
                      deadlineBlock = max(deadlineBlock, getNode(olderSibling).deadlineBlock());
                  }
                  return deadlineBlock;
              }
              function max(uint256 a, uint256 b) internal pure returns (uint256) {
                  return a > b ? a : b;
              }
              struct StakeOnNewNodeFrame {
                  uint256 currentInboxSize;
                  INode node;
                  bytes32 executionHash;
                  INode prevNode;
                  bytes32 lastHash;
                  bool hasSibling;
                  uint256 deadlineBlock;
                  uint256 gasUsed;
                  uint256 sequencerBatchEnd;
                  bytes32 sequencerBatchAcc;
              }
              struct CreateNodeDataFrame {
                  uint256 prevNode;
                  uint256 confirmPeriodBlocks;
                  uint256 avmGasSpeedLimitPerBlock;
                  ISequencerInbox sequencerInbox;
                  RollupEventBridge rollupEventBridge;
                  INodeFactory nodeFactory;
              }
              uint8 internal constant MAX_SEND_COUNT = 100;
              function createNewNode(
                  RollupLib.Assertion memory assertion,
                  bytes32[3][2] calldata assertionBytes32Fields,
                  uint256[4][2] calldata assertionIntFields,
                  bytes calldata sequencerBatchProof,
                  CreateNodeDataFrame memory inputDataFrame,
                  bytes32 expectedNodeHash
              ) internal returns (bytes32 newNodeHash) {
                  StakeOnNewNodeFrame memory memoryFrame;
                  {
                      // validate data
                      memoryFrame.gasUsed = RollupLib.assertionGasUsed(assertion);
                      memoryFrame.prevNode = getNode(inputDataFrame.prevNode);
                      memoryFrame.currentInboxSize = inputDataFrame.sequencerInbox.messageCount();
                      // Make sure the previous state is correct against the node being built on
                      require(
                          RollupLib.stateHash(assertion.beforeState) == memoryFrame.prevNode.stateHash(),
                          "PREV_STATE_HASH"
                      );
                      // Ensure that the assertion doesn't read past the end of the current inbox
                      require(
                          assertion.afterState.inboxCount <= memoryFrame.currentInboxSize,
                          "INBOX_PAST_END"
                      );
                      // Insure inbox tip after assertion is included in a sequencer-inbox batch and return inbox acc; this gives replay protection against the state of the inbox
                      (memoryFrame.sequencerBatchEnd, memoryFrame.sequencerBatchAcc) = inputDataFrame
                          .sequencerInbox
                          .proveInboxContainsMessage(sequencerBatchProof, assertion.afterState.inboxCount);
                  }
                  {
                      memoryFrame.executionHash = RollupLib.executionHash(assertion);
                      memoryFrame.deadlineBlock = nodeDeadline(
                          inputDataFrame.avmGasSpeedLimitPerBlock,
                          memoryFrame.gasUsed,
                          inputDataFrame.confirmPeriodBlocks,
                          memoryFrame.prevNode
                      );
                      memoryFrame.hasSibling = memoryFrame.prevNode.latestChildNumber() > 0;
                      // here we don't use ternacy operator to remain compatible with slither
                      if (memoryFrame.hasSibling) {
                          memoryFrame.lastHash = getNodeHash(memoryFrame.prevNode.latestChildNumber());
                      } else {
                          memoryFrame.lastHash = getNodeHash(inputDataFrame.prevNode);
                      }
                      memoryFrame.node = INode(
                          inputDataFrame.nodeFactory.createNode(
                              RollupLib.stateHash(assertion.afterState),
                              RollupLib.challengeRoot(assertion, memoryFrame.executionHash, block.number),
                              RollupLib.confirmHash(assertion),
                              inputDataFrame.prevNode,
                              memoryFrame.deadlineBlock
                          )
                      );
                  }
                  {
                      uint256 nodeNum = latestNodeCreated() + 1;
                      memoryFrame.prevNode.childCreated(nodeNum);
                      newNodeHash = RollupLib.nodeHash(
                          memoryFrame.hasSibling,
                          memoryFrame.lastHash,
                          memoryFrame.executionHash,
                          memoryFrame.sequencerBatchAcc
                      );
                      require(newNodeHash == expectedNodeHash, "UNEXPECTED_NODE_HASH");
                      nodeCreated(memoryFrame.node, newNodeHash);
                      inputDataFrame.rollupEventBridge.nodeCreated(
                          nodeNum,
                          inputDataFrame.prevNode,
                          memoryFrame.deadlineBlock,
                          msg.sender
                      );
                  }
                  emit NodeCreated(
                      latestNodeCreated(),
                      getNodeHash(inputDataFrame.prevNode),
                      newNodeHash,
                      memoryFrame.executionHash,
                      memoryFrame.currentInboxSize,
                      memoryFrame.sequencerBatchEnd,
                      memoryFrame.sequencerBatchAcc,
                      assertionBytes32Fields,
                      assertionIntFields
                  );
                  return newNodeHash;
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "../challenge/ChallengeLib.sol";
          import "./INode.sol";
          import "@openzeppelin/contracts/math/SafeMath.sol";
          library RollupLib {
              using SafeMath for uint256;
              struct Config {
                  bytes32 machineHash;
                  uint256 confirmPeriodBlocks;
                  uint256 extraChallengeTimeBlocks;
                  uint256 avmGasSpeedLimitPerBlock;
                  uint256 baseStake;
                  address stakeToken;
                  address owner;
                  address sequencer;
                  uint256 sequencerDelayBlocks;
                  uint256 sequencerDelaySeconds;
                  bytes extraConfig;
              }
              struct ExecutionState {
                  uint256 gasUsed;
                  bytes32 machineHash;
                  uint256 inboxCount;
                  uint256 sendCount;
                  uint256 logCount;
                  bytes32 sendAcc;
                  bytes32 logAcc;
                  uint256 proposedBlock;
                  uint256 inboxMaxCount;
              }
              function stateHash(ExecutionState memory execState) internal pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              execState.gasUsed,
                              execState.machineHash,
                              execState.inboxCount,
                              execState.sendCount,
                              execState.logCount,
                              execState.sendAcc,
                              execState.logAcc,
                              execState.proposedBlock,
                              execState.inboxMaxCount
                          )
                      );
              }
              struct Assertion {
                  ExecutionState beforeState;
                  ExecutionState afterState;
              }
              function decodeExecutionState(
                  bytes32[3] memory bytes32Fields,
                  uint256[4] memory intFields,
                  uint256 proposedBlock,
                  uint256 inboxMaxCount
              ) internal pure returns (ExecutionState memory) {
                  return
                      ExecutionState(
                          intFields[0],
                          bytes32Fields[0],
                          intFields[1],
                          intFields[2],
                          intFields[3],
                          bytes32Fields[1],
                          bytes32Fields[2],
                          proposedBlock,
                          inboxMaxCount
                      );
              }
              function decodeAssertion(
                  bytes32[3][2] memory bytes32Fields,
                  uint256[4][2] memory intFields,
                  uint256 beforeProposedBlock,
                  uint256 beforeInboxMaxCount,
                  uint256 inboxMaxCount
              ) internal view returns (Assertion memory) {
                  return
                      Assertion(
                          decodeExecutionState(
                              bytes32Fields[0],
                              intFields[0],
                              beforeProposedBlock,
                              beforeInboxMaxCount
                          ),
                          decodeExecutionState(bytes32Fields[1], intFields[1], block.number, inboxMaxCount)
                      );
              }
              function executionStateChallengeHash(ExecutionState memory state)
                  internal
                  pure
                  returns (bytes32)
              {
                  return
                      ChallengeLib.assertionHash(
                          state.gasUsed,
                          ChallengeLib.assertionRestHash(
                              state.inboxCount,
                              state.machineHash,
                              state.sendAcc,
                              state.sendCount,
                              state.logAcc,
                              state.logCount
                          )
                      );
              }
              function executionHash(Assertion memory assertion) internal pure returns (bytes32) {
                  return
                      ChallengeLib.bisectionChunkHash(
                          assertion.beforeState.gasUsed,
                          assertion.afterState.gasUsed - assertion.beforeState.gasUsed,
                          RollupLib.executionStateChallengeHash(assertion.beforeState),
                          RollupLib.executionStateChallengeHash(assertion.afterState)
                      );
              }
              function assertionGasUsed(RollupLib.Assertion memory assertion)
                  internal
                  pure
                  returns (uint256)
              {
                  return assertion.afterState.gasUsed.sub(assertion.beforeState.gasUsed);
              }
              function challengeRoot(
                  Assertion memory assertion,
                  bytes32 assertionExecHash,
                  uint256 blockProposed
              ) internal pure returns (bytes32) {
                  return challengeRootHash(assertionExecHash, blockProposed, assertion.afterState.inboxCount);
              }
              function challengeRootHash(
                  bytes32 execution,
                  uint256 proposedTime,
                  uint256 maxMessageCount
              ) internal pure returns (bytes32) {
                  return keccak256(abi.encodePacked(execution, proposedTime, maxMessageCount));
              }
              function confirmHash(Assertion memory assertion) internal pure returns (bytes32) {
                  return
                      confirmHash(
                          assertion.beforeState.sendAcc,
                          assertion.afterState.sendAcc,
                          assertion.afterState.logAcc,
                          assertion.afterState.sendCount,
                          assertion.afterState.logCount
                      );
              }
              function confirmHash(
                  bytes32 beforeSendAcc,
                  bytes32 afterSendAcc,
                  bytes32 afterLogAcc,
                  uint256 afterSendCount,
                  uint256 afterLogCount
              ) internal pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              beforeSendAcc,
                              afterSendAcc,
                              afterSendCount,
                              afterLogAcc,
                              afterLogCount
                          )
                      );
              }
              function feedAccumulator(
                  bytes memory messageData,
                  uint256[] memory messageLengths,
                  bytes32 beforeAcc
              ) internal pure returns (bytes32) {
                  uint256 offset = 0;
                  uint256 messageCount = messageLengths.length;
                  uint256 dataLength = messageData.length;
                  bytes32 messageAcc = beforeAcc;
                  for (uint256 i = 0; i < messageCount; i++) {
                      uint256 messageLength = messageLengths[i];
                      require(offset + messageLength <= dataLength, "DATA_OVERRUN");
                      bytes32 messageHash;
                      assembly {
                          messageHash := keccak256(add(messageData, add(offset, 32)), messageLength)
                      }
                      messageAcc = keccak256(abi.encodePacked(messageAcc, messageHash));
                      offset += messageLength;
                  }
                  require(offset == dataLength, "DATA_LENGTH");
                  return messageAcc;
              }
              function nodeHash(
                  bool hasSibling,
                  bytes32 lastHash,
                  bytes32 assertionExecHash,
                  bytes32 inboxAcc
              ) internal pure returns (bytes32) {
                  uint8 hasSiblingInt = hasSibling ? 1 : 0;
                  return keccak256(abi.encodePacked(hasSiblingInt, lastHash, assertionExecHash, inboxAcc));
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface INode {
              function initialize(
                  address _rollup,
                  bytes32 _stateHash,
                  bytes32 _challengeHash,
                  bytes32 _confirmData,
                  uint256 _prev,
                  uint256 _deadlineBlock
              ) external;
              function destroy() external;
              function addStaker(address staker) external returns (uint256);
              function removeStaker(address staker) external;
              function childCreated(uint256) external;
              function newChildConfirmDeadline(uint256 deadline) external;
              function stateHash() external view returns (bytes32);
              function challengeHash() external view returns (bytes32);
              function confirmData() external view returns (bytes32);
              function prev() external view returns (uint256);
              function deadlineBlock() external view returns (uint256);
              function noChildConfirmedBeforeBlock() external view returns (uint256);
              function stakerCount() external view returns (uint256);
              function stakers(address staker) external view returns (bool);
              function firstChildBlock() external view returns (uint256);
              function latestChildNumber() external view returns (uint256);
              function requirePastDeadline() external view;
              function requirePastChildConfirmDeadline() external view;
              function isNitroReady() external pure returns (uint256);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface INodeFactory {
              function createNode(
                  bytes32 _stateHash,
                  bytes32 _challengeHash,
                  bytes32 _confirmData,
                  uint256 _prev,
                  uint256 _deadlineBlock
              ) external returns (address);
              function beacon() external view returns (address);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "../bridge/interfaces/IBridge.sol";
          import "../bridge/interfaces/ISequencerInbox.sol";
          import "../arch/IOneStepProof.sol";
          interface IChallenge {
              function initializeChallenge(
                  IOneStepProof[] calldata _executors,
                  address _resultReceiver,
                  bytes32 _executionHash,
                  uint256 _maxMessageCount,
                  address _asserter,
                  address _challenger,
                  uint256 _asserterTimeLeft,
                  uint256 _challengerTimeLeft,
                  ISequencerInbox _sequencerBridge,
                  IBridge _delayedBridge
              ) external;
              function currentResponderTimeLeft() external view returns (uint256);
              function lastMoveBlock() external view returns (uint256);
              function timeout() external;
              function asserter() external view returns (address);
              function challenger() external view returns (address);
              function clearChallenge() external;
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "../bridge/interfaces/IBridge.sol";
          import "../bridge/interfaces/ISequencerInbox.sol";
          interface IChallengeFactory {
              function createChallenge(
                  address _resultReceiver,
                  bytes32 _executionHash,
                  uint256 _maxMessageCount,
                  address _asserter,
                  address _challenger,
                  uint256 _asserterTimeLeft,
                  uint256 _challengerTimeLeft,
                  ISequencerInbox _sequencerBridge,
                  IBridge _delayedBridge
              ) external returns (address);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          library ProxyUtil {
              function getProxyAdmin() internal view returns (address admin) {
                  // https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v3.4.0/contracts/proxy/TransparentUpgradeableProxy.sol#L48
                  // Storage slot with the admin of the proxy contract.
                  // This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
                  bytes32 slot = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                  assembly {
                      admin := sload(slot)
                  }
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "../INode.sol";
          import "../../bridge/interfaces/IOutbox.sol";
          interface IRollupUser {
              function initialize(address _stakeToken) external;
              function completeChallenge(address winningStaker, address losingStaker) external;
              function returnOldDeposit(address stakerAddress) external;
              function requireUnresolved(uint256 nodeNum) external view;
              function requireUnresolvedExists() external view;
              function countStakedZombies(INode node) external view returns (uint256);
          }
          interface IRollupAdmin {
              event OwnerFunctionCalled(uint256 indexed id);
              /**
               * @notice Add a contract authorized to put messages into this rollup's inbox
               * @param _outbox Outbox contract to add
               */
              function setOutbox(IOutbox _outbox) external;
              /**
               * @notice Disable an old outbox from interacting with the bridge
               * @param _outbox Outbox contract to remove
               */
              function removeOldOutbox(address _outbox) external;
              /**
               * @notice Enable or disable an inbox contract
               * @param _inbox Inbox contract to add or remove
               * @param _enabled New status of inbox
               */
              function setInbox(address _inbox, bool _enabled) external;
              /**
               * @notice Pause interaction with the rollup contract
               */
              function pause() external;
              /**
               * @notice Resume interaction with the rollup contract
               */
              function resume() external;
              /**
               * @notice Set the addresses of rollup logic facets called
               * @param newAdminFacet address of logic that owner of rollup calls
               * @param newUserFacet ddress of logic that user of rollup calls
               */
              function setFacets(address newAdminFacet, address newUserFacet) external;
              /**
               * @notice Set the addresses of the validator whitelist
               * @dev It is expected that both arrays are same length, and validator at
               * position i corresponds to the value at position i
               * @param _validator addresses to set in the whitelist
               * @param _val value to set in the whitelist for corresponding address
               */
              function setValidator(address[] memory _validator, bool[] memory _val) external;
              /**
               * @notice Set a new owner address for the rollup
               * @param newOwner address of new rollup owner
               */
              function setOwner(address newOwner) external;
              /**
               * @notice Set minimum assertion period for the rollup
               * @param newPeriod new minimum period for assertions
               */
              function setMinimumAssertionPeriod(uint256 newPeriod) external;
              /**
               * @notice Set number of blocks until a node is considered confirmed
               * @param newConfirmPeriod new number of blocks until a node is confirmed
               */
              function setConfirmPeriodBlocks(uint256 newConfirmPeriod) external;
              /**
               * @notice Set number of extra blocks after a challenge
               * @param newExtraTimeBlocks new number of blocks
               */
              function setExtraChallengeTimeBlocks(uint256 newExtraTimeBlocks) external;
              /**
               * @notice Set speed limit per block
               * @param newAvmGasSpeedLimitPerBlock maximum avmgas to be used per block
               */
              function setAvmGasSpeedLimitPerBlock(uint256 newAvmGasSpeedLimitPerBlock) external;
              /**
               * @notice Set base stake required for an assertion
               * @param newBaseStake maximum avmgas to be used per block
               */
              function setBaseStake(uint256 newBaseStake) external;
              /**
               * @notice Set the token used for stake, where address(0) == eth
               * @dev Before changing the base stake token, you might need to change the
               * implementation of the Rollup User facet!
               * @param newStakeToken address of token used for staking
               */
              function setStakeToken(address newStakeToken) external;
              /**
               * @notice Set max delay for sequencer inbox
               * @param newSequencerInboxMaxDelayBlocks max number of blocks
               * @param newSequencerInboxMaxDelaySeconds max number of seconds
               */
              function setSequencerInboxMaxDelay(
                  uint256 newSequencerInboxMaxDelayBlocks,
                  uint256 newSequencerInboxMaxDelaySeconds
              ) external;
              /**
               * @notice Set execution bisection degree
               * @param newChallengeExecutionBisectionDegree execution bisection degree
               */
              function setChallengeExecutionBisectionDegree(uint256 newChallengeExecutionBisectionDegree)
                  external;
              /**
               * @notice Updates a whitelist address for its consumers
               * @dev setting the newWhitelist to address(0) disables it for consumers
               * @param whitelist old whitelist to be deprecated
               * @param newWhitelist new whitelist to be used
               * @param targets whitelist consumers to be triggered
               */
              function updateWhitelistConsumers(
                  address whitelist,
                  address newWhitelist,
                  address[] memory targets
              ) external;
              /**
               * @notice Updates a whitelist's entries
               * @dev user at position i will be assigned value i
               * @param whitelist whitelist to be updated
               * @param user users to be updated in the whitelist
               * @param val if user is or not allowed in the whitelist
               */
              function setWhitelistEntries(
                  address whitelist,
                  address[] memory user,
                  bool[] memory val
              ) external;
              /**
               * @notice Updates whether an address is a sequencer at the sequencer inbox
               * @param newSequencer address to be modified
               * @param isSequencer whether this address should be authorized as a sequencer
               */
              function setIsSequencer(address newSequencer, bool isSequencer) external;
              /**
               * @notice Upgrades the implementation of a beacon controlled by the rollup
               * @param beacon address of beacon to be upgraded
               * @param newImplementation new address of implementation
               */
              function upgradeBeacon(address beacon, address newImplementation) external;
              function forceResolveChallenge(address[] memory stackerA, address[] memory stackerB) external;
              function forceRefundStaker(address[] memory stacker) external;
              function forceCreateNode(
                  bytes32 expectedNodeHash,
                  bytes32[3][2] calldata assertionBytes32Fields,
                  uint256[4][2] calldata assertionIntFields,
                  bytes calldata sequencerBatchProof,
                  uint256 beforeProposedBlock,
                  uint256 beforeInboxMaxCount,
                  uint256 prevNode
              ) external;
              function forceConfirmNode(
                  uint256 nodeNum,
                  bytes32 beforeSendAcc,
                  bytes calldata sendsData,
                  uint256[] calldata sendLengths,
                  uint256 afterSendCount,
                  bytes32 afterLogAcc,
                  uint256 afterLogCount
              ) external;
          }
          interface INitroRollupCore {
              function inbox() external view returns (address);
              function owner() external view returns (address);
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /*
           * @dev Provides information about the current execution context, including the
           * sender of the transaction and its data. While these are generally available
           * via msg.sender and msg.data, they should not be accessed in such a direct
           * manner, since when dealing with GSN meta-transactions the account sending and
           * paying for execution may not be the actual sender (as far as an application
           * is concerned).
           *
           * This contract is only required for intermediate, library-like contracts.
           */
          abstract contract Context {
              function _msgSender() internal view virtual returns (address payable) {
                  return msg.sender;
              }
              function _msgData() internal view virtual returns (bytes memory) {
                  this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
                  return msg.data;
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./INode.sol";
          interface IRollupCore {
              function _stakerMap(address stakerAddress)
                  external
                  view
                  returns (
                      uint256,
                      uint256,
                      uint256,
                      address,
                      bool
                  );
              event RollupCreated(bytes32 machineHash);
              event NodeCreated(
                  uint256 indexed nodeNum,
                  bytes32 indexed parentNodeHash,
                  bytes32 nodeHash,
                  bytes32 executionHash,
                  uint256 inboxMaxCount,
                  uint256 afterInboxBatchEndCount,
                  bytes32 afterInboxBatchAcc,
                  bytes32[3][2] assertionBytes32Fields,
                  uint256[4][2] assertionIntFields
              );
              event NodeConfirmed(
                  uint256 indexed nodeNum,
                  bytes32 afterSendAcc,
                  uint256 afterSendCount,
                  bytes32 afterLogAcc,
                  uint256 afterLogCount
              );
              event NodeRejected(uint256 indexed nodeNum);
              event RollupChallengeStarted(
                  address indexed challengeContract,
                  address asserter,
                  address challenger,
                  uint256 challengedNode
              );
              event UserStakeUpdated(address indexed user, uint256 initialBalance, uint256 finalBalance);
              event UserWithdrawableFundsUpdated(
                  address indexed user,
                  uint256 initialBalance,
                  uint256 finalBalance
              );
              function getNode(uint256 nodeNum) external view returns (INode);
              /**
               * @notice Get the address of the staker at the given index
               * @param stakerNum Index of the staker
               * @return Address of the staker
               */
              function getStakerAddress(uint256 stakerNum) external view returns (address);
              /**
               * @notice Check whether the given staker is staked
               * @param staker Staker address to check
               * @return True or False for whether the staker was staked
               */
              function isStaked(address staker) external view returns (bool);
              /**
               * @notice Get the latest staked node of the given staker
               * @param staker Staker address to lookup
               * @return Latest node staked of the staker
               */
              function latestStakedNode(address staker) external view returns (uint256);
              /**
               * @notice Get the current challenge of the given staker
               * @param staker Staker address to lookup
               * @return Current challenge of the staker
               */
              function currentChallenge(address staker) external view returns (address);
              /**
               * @notice Get the amount staked of the given staker
               * @param staker Staker address to lookup
               * @return Amount staked of the staker
               */
              function amountStaked(address staker) external view returns (uint256);
              /**
               * @notice Get the original staker address of the zombie at the given index
               * @param zombieNum Index of the zombie to lookup
               * @return Original staker address of the zombie
               */
              function zombieAddress(uint256 zombieNum) external view returns (address);
              /**
               * @notice Get Latest node that the given zombie at the given index is staked on
               * @param zombieNum Index of the zombie to lookup
               * @return Latest node that the given zombie is staked on
               */
              function zombieLatestStakedNode(uint256 zombieNum) external view returns (uint256);
              /// @return Current number of un-removed zombies
              function zombieCount() external view returns (uint256);
              function isZombie(address staker) external view returns (bool);
              /**
               * @notice Get the amount of funds withdrawable by the given address
               * @param owner Address to check the funds of
               * @return Amount of funds withdrawable by owner
               */
              function withdrawableFunds(address owner) external view returns (uint256);
              /**
               * @return Index of the first unresolved node
               * @dev If all nodes have been resolved, this will be latestNodeCreated + 1
               */
              function firstUnresolvedNode() external view returns (uint256);
              /// @return Index of the latest confirmed node
              function latestConfirmed() external view returns (uint256);
              /// @return Index of the latest rollup node created
              function latestNodeCreated() external view returns (uint256);
              /// @return Ethereum block that the most recent stake was created
              function lastStakeBlock() external view returns (uint256);
              /// @return Number of active stakers currently staked
              function stakerCount() external view returns (uint256);
              /// @return Node hash as of this node number
              function getNodeHash(uint256 index) external view returns (bytes32);
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          interface ISequencerInbox {
              event SequencerBatchDelivered(
                  uint256 indexed firstMessageNum,
                  bytes32 indexed beforeAcc,
                  uint256 newMessageCount,
                  bytes32 afterAcc,
                  bytes transactions,
                  uint256[] lengths,
                  uint256[] sectionsMetadata,
                  uint256 seqBatchIndex,
                  address sequencer
              );
              event SequencerBatchDeliveredFromOrigin(
                  uint256 indexed firstMessageNum,
                  bytes32 indexed beforeAcc,
                  uint256 newMessageCount,
                  bytes32 afterAcc,
                  uint256 seqBatchIndex
              );
              event DelayedInboxForced(
                  uint256 indexed firstMessageNum,
                  bytes32 indexed beforeAcc,
                  uint256 newMessageCount,
                  uint256 totalDelayedMessagesRead,
                  bytes32[2] afterAccAndDelayed,
                  uint256 seqBatchIndex
              );
              /// @notice DEPRECATED - look at IsSequencerUpdated for new updates
              // event SequencerAddressUpdated(address newAddress);
              event IsSequencerUpdated(address addr, bool isSequencer);
              event MaxDelayUpdated(uint256 newMaxDelayBlocks, uint256 newMaxDelaySeconds);
              event ShutdownForNitroSet(bool shutdown);
              /// @notice DEPRECATED - look at MaxDelayUpdated for new updates
              // event MaxDelayBlocksUpdated(uint256 newValue);
              /// @notice DEPRECATED - look at MaxDelayUpdated for new updates
              // event MaxDelaySecondsUpdated(uint256 newValue);
              function setMaxDelay(uint256 newMaxDelayBlocks, uint256 newMaxDelaySeconds) external;
              function setIsSequencer(address addr, bool isSequencer) external;
              function messageCount() external view returns (uint256);
              function maxDelayBlocks() external view returns (uint256);
              function maxDelaySeconds() external view returns (uint256);
              function inboxAccs(uint256 index) external view returns (bytes32);
              function getInboxAccsLength() external view returns (uint256);
              function proveInboxContainsMessage(bytes calldata proof, uint256 inboxCount)
                  external
                  view
                  returns (uint256, bytes32);
              /// @notice DEPRECATED - use isSequencer instead
              function sequencer() external view returns (address);
              function isSequencer(address seq) external view returns (bool);
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /**
           * @dev Wrappers over Solidity's arithmetic operations with added overflow
           * checks.
           *
           * Arithmetic operations in Solidity wrap on overflow. This can easily result
           * in bugs, because programmers usually assume that an overflow raises an
           * error, which is the standard behavior in high level programming languages.
           * `SafeMath` restores this intuition by reverting the transaction when an
           * operation overflows.
           *
           * Using this library instead of the unchecked operations eliminates an entire
           * class of bugs, so it's recommended to use it always.
           */
          library SafeMath {
              /**
               * @dev Returns the addition of two unsigned integers, with an overflow flag.
               *
               * _Available since v3.4._
               */
              function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                  uint256 c = a + b;
                  if (c < a) return (false, 0);
                  return (true, c);
              }
              /**
               * @dev Returns the substraction of two unsigned integers, with an overflow flag.
               *
               * _Available since v3.4._
               */
              function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                  if (b > a) return (false, 0);
                  return (true, a - b);
              }
              /**
               * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
               *
               * _Available since v3.4._
               */
              function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                  // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
                  // benefit is lost if 'b' is also tested.
                  // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
                  if (a == 0) return (true, 0);
                  uint256 c = a * b;
                  if (c / a != b) return (false, 0);
                  return (true, c);
              }
              /**
               * @dev Returns the division of two unsigned integers, with a division by zero flag.
               *
               * _Available since v3.4._
               */
              function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                  if (b == 0) return (false, 0);
                  return (true, a / b);
              }
              /**
               * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
               *
               * _Available since v3.4._
               */
              function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                  if (b == 0) return (false, 0);
                  return (true, a % b);
              }
              /**
               * @dev Returns the addition of two unsigned integers, reverting on
               * overflow.
               *
               * Counterpart to Solidity's `+` operator.
               *
               * Requirements:
               *
               * - Addition cannot overflow.
               */
              function add(uint256 a, uint256 b) internal pure returns (uint256) {
                  uint256 c = a + b;
                  require(c >= a, "SafeMath: addition overflow");
                  return c;
              }
              /**
               * @dev Returns the subtraction of two unsigned integers, reverting on
               * overflow (when the result is negative).
               *
               * Counterpart to Solidity's `-` operator.
               *
               * Requirements:
               *
               * - Subtraction cannot overflow.
               */
              function sub(uint256 a, uint256 b) internal pure returns (uint256) {
                  require(b <= a, "SafeMath: subtraction overflow");
                  return a - b;
              }
              /**
               * @dev Returns the multiplication of two unsigned integers, reverting on
               * overflow.
               *
               * Counterpart to Solidity's `*` operator.
               *
               * Requirements:
               *
               * - Multiplication cannot overflow.
               */
              function mul(uint256 a, uint256 b) internal pure returns (uint256) {
                  if (a == 0) return 0;
                  uint256 c = a * b;
                  require(c / a == b, "SafeMath: multiplication overflow");
                  return c;
              }
              /**
               * @dev Returns the integer division of two unsigned integers, reverting on
               * division by zero. The result is rounded towards zero.
               *
               * Counterpart to Solidity's `/` operator. Note: this function uses a
               * `revert` opcode (which leaves remaining gas untouched) while Solidity
               * uses an invalid opcode to revert (consuming all remaining gas).
               *
               * Requirements:
               *
               * - The divisor cannot be zero.
               */
              function div(uint256 a, uint256 b) internal pure returns (uint256) {
                  require(b > 0, "SafeMath: division by zero");
                  return a / b;
              }
              /**
               * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
               * reverting when dividing by zero.
               *
               * Counterpart to Solidity's `%` operator. This function uses a `revert`
               * opcode (which leaves remaining gas untouched) while Solidity uses an
               * invalid opcode to revert (consuming all remaining gas).
               *
               * Requirements:
               *
               * - The divisor cannot be zero.
               */
              function mod(uint256 a, uint256 b) internal pure returns (uint256) {
                  require(b > 0, "SafeMath: modulo by zero");
                  return a % b;
              }
              /**
               * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
               * overflow (when the result is negative).
               *
               * CAUTION: This function is deprecated because it requires allocating memory for the error
               * message unnecessarily. For custom revert reasons use {trySub}.
               *
               * Counterpart to Solidity's `-` operator.
               *
               * Requirements:
               *
               * - Subtraction cannot overflow.
               */
              function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                  require(b <= a, errorMessage);
                  return a - b;
              }
              /**
               * @dev Returns the integer division of two unsigned integers, reverting with custom message on
               * division by zero. The result is rounded towards zero.
               *
               * CAUTION: This function is deprecated because it requires allocating memory for the error
               * message unnecessarily. For custom revert reasons use {tryDiv}.
               *
               * Counterpart to Solidity's `/` operator. Note: this function uses a
               * `revert` opcode (which leaves remaining gas untouched) while Solidity
               * uses an invalid opcode to revert (consuming all remaining gas).
               *
               * Requirements:
               *
               * - The divisor cannot be zero.
               */
              function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                  require(b > 0, errorMessage);
                  return a / b;
              }
              /**
               * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
               * reverting with custom message when dividing by zero.
               *
               * CAUTION: This function is deprecated because it requires allocating memory for the error
               * message unnecessarily. For custom revert reasons use {tryMod}.
               *
               * Counterpart to Solidity's `%` operator. This function uses a `revert`
               * opcode (which leaves remaining gas untouched) while Solidity uses an
               * invalid opcode to revert (consuming all remaining gas).
               *
               * Requirements:
               *
               * - The divisor cannot be zero.
               */
              function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                  require(b > 0, errorMessage);
                  return a % b;
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2019-2021, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          pragma solidity ^0.6.11;
          import "../libraries/MerkleLib.sol";
          import "@openzeppelin/contracts/math/SafeMath.sol";
          library ChallengeLib {
              using SafeMath for uint256;
              function firstSegmentSize(uint256 totalCount, uint256 bisectionCount)
                  internal
                  pure
                  returns (uint256)
              {
                  return totalCount / bisectionCount + (totalCount % bisectionCount);
              }
              function otherSegmentSize(uint256 totalCount, uint256 bisectionCount)
                  internal
                  pure
                  returns (uint256)
              {
                  return totalCount / bisectionCount;
              }
              function bisectionChunkHash(
                  uint256 _segmentStart,
                  uint256 _segmentLength,
                  bytes32 _startHash,
                  bytes32 _endHash
              ) internal pure returns (bytes32) {
                  return keccak256(abi.encodePacked(_segmentStart, _segmentLength, _startHash, _endHash));
              }
              function assertionHash(uint256 _avmGasUsed, bytes32 _restHash) internal pure returns (bytes32) {
                  // Note: make sure this doesn't return Challenge.UNREACHABLE_ASSERTION (currently 0)
                  return keccak256(abi.encodePacked(_avmGasUsed, _restHash));
              }
              function assertionRestHash(
                  uint256 _totalMessagesRead,
                  bytes32 _machineState,
                  bytes32 _sendAcc,
                  uint256 _sendCount,
                  bytes32 _logAcc,
                  uint256 _logCount
              ) internal pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              _totalMessagesRead,
                              _machineState,
                              _sendAcc,
                              _sendCount,
                              _logAcc,
                              _logCount
                          )
                      );
              }
              function updatedBisectionRoot(
                  bytes32[] memory _chainHashes,
                  uint256 _challengedSegmentStart,
                  uint256 _challengedSegmentLength
              ) internal pure returns (bytes32) {
                  uint256 bisectionCount = _chainHashes.length - 1;
                  bytes32[] memory hashes = new bytes32[](bisectionCount);
                  uint256 chunkSize = ChallengeLib.firstSegmentSize(_challengedSegmentLength, bisectionCount);
                  uint256 segmentStart = _challengedSegmentStart;
                  hashes[0] = ChallengeLib.bisectionChunkHash(
                      segmentStart,
                      chunkSize,
                      _chainHashes[0],
                      _chainHashes[1]
                  );
                  segmentStart = segmentStart.add(chunkSize);
                  chunkSize = ChallengeLib.otherSegmentSize(_challengedSegmentLength, bisectionCount);
                  for (uint256 i = 1; i < bisectionCount; i++) {
                      hashes[i] = ChallengeLib.bisectionChunkHash(
                          segmentStart,
                          chunkSize,
                          _chainHashes[i],
                          _chainHashes[i + 1]
                      );
                      segmentStart = segmentStart.add(chunkSize);
                  }
                  return MerkleLib.generateRoot(hashes);
              }
              function verifySegmentProof(
                  bytes32 challengeState,
                  bytes32 item,
                  bytes32[] calldata _merkleNodes,
                  uint256 _merkleRoute
              ) internal pure returns (bool) {
                  return challengeState == MerkleLib.calculateRoot(_merkleNodes, _merkleRoute, item);
              }
          }
          // SPDX-License-Identifier: Apache-2.0
          /*
           * Copyright 2020, Offchain Labs, Inc.
           *
           * Licensed under the Apache License, Version 2.0 (the "License");
           * you may not use this file except in compliance with the License.
           * You may obtain a copy of the License at
           *
           *    http://www.apache.org/licenses/LICENSE-2.0
           *
           * Unless required by applicable law or agreed to in writing, software
           * distributed under the License is distributed on an "AS IS" BASIS,
           * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
           * See the License for the specific language governing permissions and
           * limitations under the License.
           */
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "../bridge/interfaces/IBridge.sol";
          import "../bridge/interfaces/ISequencerInbox.sol";
          interface IOneStepProof {
              // Bridges is sequencer bridge then delayed bridge
              function executeStep(
                  address[2] calldata bridges,
                  uint256 initialMessagesRead,
                  bytes32[2] calldata accs,
                  bytes calldata proof,
                  bytes calldata bproof
              )
                  external
                  view
                  returns (
                      uint64 gas,
                      uint256 afterMessagesRead,
                      bytes32[4] memory fields
                  );
              function executeStepDebug(
                  address[2] calldata bridges,
                  uint256 initialMessagesRead,
                  bytes32[2] calldata accs,
                  bytes calldata proof,
                  bytes calldata bproof
              ) external view returns (string memory startMachine, string memory afterMachine);
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          /**
           * @dev This is the interface that {BeaconProxy} expects of its beacon.
           */
          interface IBeacon {
              /**
               * @dev Must return an address that can be used as a delegate call target.
               *
               * {BeaconProxy} will check that this address is a contract.
               */
              function implementation() external view returns (address);
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "../utils/Context.sol";
          /**
           * @dev Contract module which provides a basic access control mechanism, where
           * there is an account (an owner) that can be granted exclusive access to
           * specific functions.
           *
           * By default, the owner account will be the one that deploys the contract. This
           * can later be changed with {transferOwnership}.
           *
           * This module is used through inheritance. It will make available the modifier
           * `onlyOwner`, which can be applied to your functions to restrict their use to
           * the owner.
           */
          abstract contract Ownable is Context {
              address private _owner;
              event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
              /**
               * @dev Initializes the contract setting the deployer as the initial owner.
               */
              constructor () internal {
                  address msgSender = _msgSender();
                  _owner = msgSender;
                  emit OwnershipTransferred(address(0), msgSender);
              }
              /**
               * @dev Returns the address of the current owner.
               */
              function owner() public view virtual returns (address) {
                  return _owner;
              }
              /**
               * @dev Throws if called by any account other than the owner.
               */
              modifier onlyOwner() {
                  require(owner() == _msgSender(), "Ownable: caller is not the owner");
                  _;
              }
              /**
               * @dev Leaves the contract without owner. It will not be possible to call
               * `onlyOwner` functions anymore. Can only be called by the current owner.
               *
               * NOTE: Renouncing ownership will leave the contract without an owner,
               * thereby removing any functionality that is only available to the owner.
               */
              function renounceOwnership() public virtual onlyOwner {
                  emit OwnershipTransferred(_owner, address(0));
                  _owner = address(0);
              }
              /**
               * @dev Transfers ownership of the contract to a new account (`newOwner`).
               * Can only be called by the current owner.
               */
              function transferOwnership(address newOwner) public virtual onlyOwner {
                  require(newOwner != address(0), "Ownable: new owner is the zero address");
                  emit OwnershipTransferred(_owner, newOwner);
                  _owner = newOwner;
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.0 <0.8.0;
          import "../proxy/Initializable.sol";
          /*
           * @dev Provides information about the current execution context, including the
           * sender of the transaction and its data. While these are generally available
           * via msg.sender and msg.data, they should not be accessed in such a direct
           * manner, since when dealing with GSN meta-transactions the account sending and
           * paying for execution may not be the actual sender (as far as an application
           * is concerned).
           *
           * This contract is only required for intermediate, library-like contracts.
           */
          abstract contract ContextUpgradeable is Initializable {
              function __Context_init() internal initializer {
                  __Context_init_unchained();
              }
              function __Context_init_unchained() internal initializer {
              }
              function _msgSender() internal view virtual returns (address payable) {
                  return msg.sender;
              }
              function _msgData() internal view virtual returns (bytes memory) {
                  this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
                  return msg.data;
              }
              uint256[50] private __gap;
          }
          // SPDX-License-Identifier: MIT
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.4.24 <0.8.0;
          import "../utils/AddressUpgradeable.sol";
          /**
           * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
           * behind a proxy. Since a proxied contract can't have a constructor, it's common to move constructor logic to an
           * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
           * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
           *
           * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
           * possible by providing the encoded function call as the `_data` argument to {UpgradeableProxy-constructor}.
           *
           * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
           * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
           */
          abstract contract Initializable {
              /**
               * @dev Indicates that the contract has been initialized.
               */
              bool private _initialized;
              /**
               * @dev Indicates that the contract is in the process of being initialized.
               */
              bool private _initializing;
              /**
               * @dev Modifier to protect an initializer function from being invoked twice.
               */
              modifier initializer() {
                  require(_initializing || _isConstructor() || !_initialized, "Initializable: contract is already initialized");
                  bool isTopLevelCall = !_initializing;
                  if (isTopLevelCall) {
                      _initializing = true;
                      _initialized = true;
                  }
                  _;
                  if (isTopLevelCall) {
                      _initializing = false;
                  }
              }
              /// @dev Returns true if and only if the function is running in the constructor
              function _isConstructor() private view returns (bool) {
                  return !AddressUpgradeable.isContract(address(this));
              }
          }
          // SPDX-License-Identifier: MIT
          pragma solidity >=0.6.2 <0.8.0;
          /**
           * @dev Collection of functions related to the address type
           */
          library AddressUpgradeable {
              /**
               * @dev Returns true if `account` is a contract.
               *
               * [IMPORTANT]
               * ====
               * It is unsafe to assume that an address for which this function returns
               * false is an externally-owned account (EOA) and not a contract.
               *
               * Among others, `isContract` will return false for the following
               * types of addresses:
               *
               *  - an externally-owned account
               *  - a contract in construction
               *  - an address where a contract will be created
               *  - an address where a contract lived, but was destroyed
               * ====
               */
              function isContract(address account) internal view returns (bool) {
                  // This method relies on extcodesize, which returns 0 for contracts in
                  // construction, since the code is only stored at the end of the
                  // constructor execution.
                  uint256 size;
                  // solhint-disable-next-line no-inline-assembly
                  assembly { size := extcodesize(account) }
                  return size > 0;
              }
              /**
               * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
               * `recipient`, forwarding all available gas and reverting on errors.
               *
               * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
               * of certain opcodes, possibly making contracts go over the 2300 gas limit
               * imposed by `transfer`, making them unable to receive funds via
               * `transfer`. {sendValue} removes this limitation.
               *
               * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
               *
               * IMPORTANT: because control is transferred to `recipient`, care must be
               * taken to not create reentrancy vulnerabilities. Consider using
               * {ReentrancyGuard} or the
               * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
               */
              function sendValue(address payable recipient, uint256 amount) internal {
                  require(address(this).balance >= amount, "Address: insufficient balance");
                  // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
                  (bool success, ) = recipient.call{ value: amount }("");
                  require(success, "Address: unable to send value, recipient may have reverted");
              }
              /**
               * @dev Performs a Solidity function call using a low level `call`. A
               * plain`call` is an unsafe replacement for a function call: use this
               * function instead.
               *
               * If `target` reverts with a revert reason, it is bubbled up by this
               * function (like regular Solidity function calls).
               *
               * Returns the raw returned data. To convert to the expected return value,
               * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
               *
               * Requirements:
               *
               * - `target` must be a contract.
               * - calling `target` with `data` must not revert.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                return functionCall(target, data, "Address: low-level call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
               * `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, 0, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but also transferring `value` wei to `target`.
               *
               * Requirements:
               *
               * - the calling contract must have an ETH balance of at least `value`.
               * - the called Solidity function must be `payable`.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
              }
              /**
               * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
               * with `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
                  require(address(this).balance >= value, "Address: insufficient balance for call");
                  require(isContract(target), "Address: call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.call{ value: value }(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                  return functionStaticCall(target, data, "Address: low-level static call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
                  require(isContract(target), "Address: static call to non-contract");
                  // solhint-disable-next-line avoid-low-level-calls
                  (bool success, bytes memory returndata) = target.staticcall(data);
                  return _verifyCallResult(success, returndata, errorMessage);
              }
              function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
                  if (success) {
                      return returndata;
                  } else {
                      // Look for revert reason and bubble it up if present
                      if (returndata.length > 0) {
                          // The easiest way to bubble the revert reason is using memory via assembly
                          // solhint-disable-next-line no-inline-assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert(errorMessage);
                      }
                  }
              }
          }
          

          File 4 of 4: Bridge
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          pragma solidity ^0.8.4;
          import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
          import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
          import {
              NotContract,
              NotRollupOrOwner,
              NotDelayedInbox,
              NotSequencerInbox,
              NotOutbox,
              InvalidOutboxSet,
              BadSequencerMessageNumber
          } from "../libraries/Error.sol";
          import "./IBridge.sol";
          import "./Messages.sol";
          import "../libraries/DelegateCallAware.sol";
          import {L1MessageType_batchPostingReport} from "../libraries/MessageTypes.sol";
          /**
           * @title Staging ground for incoming and outgoing messages
           * @notice Holds the inbox accumulator for sequenced and delayed messages.
           * It is also the ETH escrow for value sent with these messages.
           * Since the escrow is held here, this contract also contains a list of allowed
           * outboxes that can make calls from here and withdraw this escrow.
           */
          contract Bridge is Initializable, DelegateCallAware, IBridge {
              using AddressUpgradeable for address;
              struct InOutInfo {
                  uint256 index;
                  bool allowed;
              }
              mapping(address => InOutInfo) private allowedDelayedInboxesMap;
              mapping(address => InOutInfo) private allowedOutboxesMap;
              address[] public allowedDelayedInboxList;
              address[] public allowedOutboxList;
              address private _activeOutbox;
              /// @inheritdoc IBridge
              bytes32[] public delayedInboxAccs;
              /// @inheritdoc IBridge
              bytes32[] public sequencerInboxAccs;
              IOwnable public rollup;
              address public sequencerInbox;
              uint256 public override sequencerReportedSubMessageCount;
              address private constant EMPTY_ACTIVEOUTBOX = address(type(uint160).max);
              function initialize(IOwnable rollup_) external initializer onlyDelegated {
                  _activeOutbox = EMPTY_ACTIVEOUTBOX;
                  rollup = rollup_;
              }
              modifier onlyRollupOrOwner() {
                  if (msg.sender != address(rollup)) {
                      address rollupOwner = rollup.owner();
                      if (msg.sender != rollupOwner) {
                          revert NotRollupOrOwner(msg.sender, address(rollup), rollupOwner);
                      }
                  }
                  _;
              }
              /// @dev returns the address of current active Outbox, or zero if no outbox is active
              function activeOutbox() public view returns (address) {
                  address outbox = _activeOutbox;
                  // address zero is returned if no outbox is set, but the value used in storage
                  // is non-zero to save users some gas (as storage refunds are usually maxed out)
                  // EIP-1153 would help here.
                  // we don't return `EMPTY_ACTIVEOUTBOX` to avoid a breaking change on the current api
                  if (outbox == EMPTY_ACTIVEOUTBOX) return address(0);
                  return outbox;
              }
              function allowedDelayedInboxes(address inbox) external view returns (bool) {
                  return allowedDelayedInboxesMap[inbox].allowed;
              }
              function allowedOutboxes(address outbox) external view returns (bool) {
                  return allowedOutboxesMap[outbox].allowed;
              }
              modifier onlySequencerInbox() {
                  if (msg.sender != sequencerInbox) revert NotSequencerInbox(msg.sender);
                  _;
              }
              function enqueueSequencerMessage(
                  bytes32 dataHash,
                  uint256 afterDelayedMessagesRead,
                  uint256 prevMessageCount,
                  uint256 newMessageCount
              )
                  external
                  onlySequencerInbox
                  returns (
                      uint256 seqMessageIndex,
                      bytes32 beforeAcc,
                      bytes32 delayedAcc,
                      bytes32 acc
                  )
              {
                  if (
                      sequencerReportedSubMessageCount != prevMessageCount &&
                      prevMessageCount != 0 &&
                      sequencerReportedSubMessageCount != 0
                  ) {
                      revert BadSequencerMessageNumber(sequencerReportedSubMessageCount, prevMessageCount);
                  }
                  sequencerReportedSubMessageCount = newMessageCount;
                  seqMessageIndex = sequencerInboxAccs.length;
                  if (sequencerInboxAccs.length > 0) {
                      beforeAcc = sequencerInboxAccs[sequencerInboxAccs.length - 1];
                  }
                  if (afterDelayedMessagesRead > 0) {
                      delayedAcc = delayedInboxAccs[afterDelayedMessagesRead - 1];
                  }
                  acc = keccak256(abi.encodePacked(beforeAcc, dataHash, delayedAcc));
                  sequencerInboxAccs.push(acc);
              }
              /// @inheritdoc IBridge
              function submitBatchSpendingReport(address sender, bytes32 messageDataHash)
                  external
                  onlySequencerInbox
                  returns (uint256)
              {
                  return
                      addMessageToDelayedAccumulator(
                          L1MessageType_batchPostingReport,
                          sender,
                          uint64(block.number),
                          uint64(block.timestamp), // solhint-disable-line not-rely-on-time,
                          block.basefee,
                          messageDataHash
                      );
              }
              /// @inheritdoc IBridge
              function enqueueDelayedMessage(
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash
              ) external payable returns (uint256) {
                  if (!allowedDelayedInboxesMap[msg.sender].allowed) revert NotDelayedInbox(msg.sender);
                  return
                      addMessageToDelayedAccumulator(
                          kind,
                          sender,
                          uint64(block.number),
                          uint64(block.timestamp), // solhint-disable-line not-rely-on-time
                          block.basefee,
                          messageDataHash
                      );
              }
              function addMessageToDelayedAccumulator(
                  uint8 kind,
                  address sender,
                  uint64 blockNumber,
                  uint64 blockTimestamp,
                  uint256 baseFeeL1,
                  bytes32 messageDataHash
              ) internal returns (uint256) {
                  uint256 count = delayedInboxAccs.length;
                  bytes32 messageHash = Messages.messageHash(
                      kind,
                      sender,
                      blockNumber,
                      blockTimestamp,
                      count,
                      baseFeeL1,
                      messageDataHash
                  );
                  bytes32 prevAcc = 0;
                  if (count > 0) {
                      prevAcc = delayedInboxAccs[count - 1];
                  }
                  delayedInboxAccs.push(Messages.accumulateInboxMessage(prevAcc, messageHash));
                  emit MessageDelivered(
                      count,
                      prevAcc,
                      msg.sender,
                      kind,
                      sender,
                      messageDataHash,
                      baseFeeL1,
                      blockTimestamp
                  );
                  return count;
              }
              function executeCall(
                  address to,
                  uint256 value,
                  bytes calldata data
              ) external returns (bool success, bytes memory returnData) {
                  if (!allowedOutboxesMap[msg.sender].allowed) revert NotOutbox(msg.sender);
                  if (data.length > 0 && !to.isContract()) revert NotContract(to);
                  address prevOutbox = _activeOutbox;
                  _activeOutbox = msg.sender;
                  // We set and reset active outbox around external call so activeOutbox remains valid during call
                  // We use a low level call here since we want to bubble up whether it succeeded or failed to the caller
                  // rather than reverting on failure as well as allow contract and non-contract calls
                  // solhint-disable-next-line avoid-low-level-calls
                  (success, returnData) = to.call{value: value}(data);
                  _activeOutbox = prevOutbox;
                  emit BridgeCallTriggered(msg.sender, to, value, data);
              }
              function setSequencerInbox(address _sequencerInbox) external onlyRollupOrOwner {
                  sequencerInbox = _sequencerInbox;
                  emit SequencerInboxUpdated(_sequencerInbox);
              }
              function setDelayedInbox(address inbox, bool enabled) external onlyRollupOrOwner {
                  InOutInfo storage info = allowedDelayedInboxesMap[inbox];
                  bool alreadyEnabled = info.allowed;
                  emit InboxToggle(inbox, enabled);
                  if ((alreadyEnabled && enabled) || (!alreadyEnabled && !enabled)) {
                      return;
                  }
                  if (enabled) {
                      allowedDelayedInboxesMap[inbox] = InOutInfo(allowedDelayedInboxList.length, true);
                      allowedDelayedInboxList.push(inbox);
                  } else {
                      allowedDelayedInboxList[info.index] = allowedDelayedInboxList[
                          allowedDelayedInboxList.length - 1
                      ];
                      allowedDelayedInboxesMap[allowedDelayedInboxList[info.index]].index = info.index;
                      allowedDelayedInboxList.pop();
                      delete allowedDelayedInboxesMap[inbox];
                  }
              }
              function setOutbox(address outbox, bool enabled) external onlyRollupOrOwner {
                  if (outbox == EMPTY_ACTIVEOUTBOX) revert InvalidOutboxSet(outbox);
                  InOutInfo storage info = allowedOutboxesMap[outbox];
                  bool alreadyEnabled = info.allowed;
                  emit OutboxToggle(outbox, enabled);
                  if ((alreadyEnabled && enabled) || (!alreadyEnabled && !enabled)) {
                      return;
                  }
                  if (enabled) {
                      allowedOutboxesMap[outbox] = InOutInfo(allowedOutboxList.length, true);
                      allowedOutboxList.push(outbox);
                  } else {
                      allowedOutboxList[info.index] = allowedOutboxList[allowedOutboxList.length - 1];
                      allowedOutboxesMap[allowedOutboxList[info.index]].index = info.index;
                      allowedOutboxList.pop();
                      delete allowedOutboxesMap[outbox];
                  }
              }
              function setSequencerReportedSubMessageCount(uint256 newMsgCount) external onlyRollupOrOwner {
                  sequencerReportedSubMessageCount = newMsgCount;
              }
              function delayedMessageCount() external view override returns (uint256) {
                  return delayedInboxAccs.length;
              }
              function sequencerMessageCount() external view returns (uint256) {
                  return sequencerInboxAccs.length;
              }
              /// @dev For the classic -> nitro migration. TODO: remove post-migration.
              function acceptFundsFromOldBridge() external payable {}
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (proxy/utils/Initializable.sol)
          pragma solidity ^0.8.0;
          import "../../utils/AddressUpgradeable.sol";
          /**
           * @dev This is a base contract to aid in writing upgradeable contracts, or any kind of contract that will be deployed
           * behind a proxy. Since proxied contracts do not make use of a constructor, it's common to move constructor logic to an
           * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
           * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
           *
           * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
           * possible by providing the encoded function call as the `_data` argument to {ERC1967Proxy-constructor}.
           *
           * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
           * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
           *
           * [CAUTION]
           * ====
           * Avoid leaving a contract uninitialized.
           *
           * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation
           * contract, which may impact the proxy. To initialize the implementation contract, you can either invoke the
           * initializer manually, or you can include a constructor to automatically mark it as initialized when it is deployed:
           *
           * [.hljs-theme-light.nopadding]
           * ```
           * /// @custom:oz-upgrades-unsafe-allow constructor
           * constructor() initializer {}
           * ```
           * ====
           */
          abstract contract Initializable {
              /**
               * @dev Indicates that the contract has been initialized.
               */
              bool private _initialized;
              /**
               * @dev Indicates that the contract is in the process of being initialized.
               */
              bool private _initializing;
              /**
               * @dev Modifier to protect an initializer function from being invoked twice.
               */
              modifier initializer() {
                  // If the contract is initializing we ignore whether _initialized is set in order to support multiple
                  // inheritance patterns, but we only do this in the context of a constructor, because in other contexts the
                  // contract may have been reentered.
                  require(_initializing ? _isConstructor() : !_initialized, "Initializable: contract is already initialized");
                  bool isTopLevelCall = !_initializing;
                  if (isTopLevelCall) {
                      _initializing = true;
                      _initialized = true;
                  }
                  _;
                  if (isTopLevelCall) {
                      _initializing = false;
                  }
              }
              /**
               * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the
               * {initializer} modifier, directly or indirectly.
               */
              modifier onlyInitializing() {
                  require(_initializing, "Initializable: contract is not initializing");
                  _;
              }
              function _isConstructor() private view returns (bool) {
                  return !AddressUpgradeable.isContract(address(this));
              }
          }
          // SPDX-License-Identifier: MIT
          // OpenZeppelin Contracts (last updated v4.5.0) (utils/Address.sol)
          pragma solidity ^0.8.1;
          /**
           * @dev Collection of functions related to the address type
           */
          library AddressUpgradeable {
              /**
               * @dev Returns true if `account` is a contract.
               *
               * [IMPORTANT]
               * ====
               * It is unsafe to assume that an address for which this function returns
               * false is an externally-owned account (EOA) and not a contract.
               *
               * Among others, `isContract` will return false for the following
               * types of addresses:
               *
               *  - an externally-owned account
               *  - a contract in construction
               *  - an address where a contract will be created
               *  - an address where a contract lived, but was destroyed
               * ====
               *
               * [IMPORTANT]
               * ====
               * You shouldn't rely on `isContract` to protect against flash loan attacks!
               *
               * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
               * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
               * constructor.
               * ====
               */
              function isContract(address account) internal view returns (bool) {
                  // This method relies on extcodesize/address.code.length, which returns 0
                  // for contracts in construction, since the code is only stored at the end
                  // of the constructor execution.
                  return account.code.length > 0;
              }
              /**
               * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
               * `recipient`, forwarding all available gas and reverting on errors.
               *
               * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
               * of certain opcodes, possibly making contracts go over the 2300 gas limit
               * imposed by `transfer`, making them unable to receive funds via
               * `transfer`. {sendValue} removes this limitation.
               *
               * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
               *
               * IMPORTANT: because control is transferred to `recipient`, care must be
               * taken to not create reentrancy vulnerabilities. Consider using
               * {ReentrancyGuard} or the
               * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
               */
              function sendValue(address payable recipient, uint256 amount) internal {
                  require(address(this).balance >= amount, "Address: insufficient balance");
                  (bool success, ) = recipient.call{value: amount}("");
                  require(success, "Address: unable to send value, recipient may have reverted");
              }
              /**
               * @dev Performs a Solidity function call using a low level `call`. A
               * plain `call` is an unsafe replacement for a function call: use this
               * function instead.
               *
               * If `target` reverts with a revert reason, it is bubbled up by this
               * function (like regular Solidity function calls).
               *
               * Returns the raw returned data. To convert to the expected return value,
               * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
               *
               * Requirements:
               *
               * - `target` must be a contract.
               * - calling `target` with `data` must not revert.
               *
               * _Available since v3.1._
               */
              function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                  return functionCall(target, data, "Address: low-level call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
               * `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCall(
                  address target,
                  bytes memory data,
                  string memory errorMessage
              ) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, 0, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but also transferring `value` wei to `target`.
               *
               * Requirements:
               *
               * - the calling contract must have an ETH balance of at least `value`.
               * - the called Solidity function must be `payable`.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(
                  address target,
                  bytes memory data,
                  uint256 value
              ) internal returns (bytes memory) {
                  return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
              }
              /**
               * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
               * with `errorMessage` as a fallback revert reason when `target` reverts.
               *
               * _Available since v3.1._
               */
              function functionCallWithValue(
                  address target,
                  bytes memory data,
                  uint256 value,
                  string memory errorMessage
              ) internal returns (bytes memory) {
                  require(address(this).balance >= value, "Address: insufficient balance for call");
                  require(isContract(target), "Address: call to non-contract");
                  (bool success, bytes memory returndata) = target.call{value: value}(data);
                  return verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                  return functionStaticCall(target, data, "Address: low-level static call failed");
              }
              /**
               * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
               * but performing a static call.
               *
               * _Available since v3.3._
               */
              function functionStaticCall(
                  address target,
                  bytes memory data,
                  string memory errorMessage
              ) internal view returns (bytes memory) {
                  require(isContract(target), "Address: static call to non-contract");
                  (bool success, bytes memory returndata) = target.staticcall(data);
                  return verifyCallResult(success, returndata, errorMessage);
              }
              /**
               * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
               * revert reason using the provided one.
               *
               * _Available since v4.3._
               */
              function verifyCallResult(
                  bool success,
                  bytes memory returndata,
                  string memory errorMessage
              ) internal pure returns (bytes memory) {
                  if (success) {
                      return returndata;
                  } else {
                      // Look for revert reason and bubble it up if present
                      if (returndata.length > 0) {
                          // The easiest way to bubble the revert reason is using memory via assembly
                          assembly {
                              let returndata_size := mload(returndata)
                              revert(add(32, returndata), returndata_size)
                          }
                      } else {
                          revert(errorMessage);
                      }
                  }
              }
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          pragma solidity ^0.8.4;
          /// @dev Init was already called
          error AlreadyInit();
          /// Init was called with param set to zero that must be nonzero
          error HadZeroInit();
          /// @dev Thrown when non owner tries to access an only-owner function
          /// @param sender The msg.sender who is not the owner
          /// @param owner The owner address
          error NotOwner(address sender, address owner);
          /// @dev Thrown when an address that is not the rollup tries to call an only-rollup function
          /// @param sender The sender who is not the rollup
          /// @param rollup The rollup address authorized to call this function
          error NotRollup(address sender, address rollup);
          /// @dev Thrown when the contract was not called directly from the origin ie msg.sender != tx.origin
          error NotOrigin();
          /// @dev Provided data was too large
          /// @param dataLength The length of the data that is too large
          /// @param maxDataLength The max length the data can be
          error DataTooLarge(uint256 dataLength, uint256 maxDataLength);
          /// @dev The provided is not a contract and was expected to be
          /// @param addr The adddress in question
          error NotContract(address addr);
          /// @dev The merkle proof provided was too long
          /// @param actualLength The length of the merkle proof provided
          /// @param maxProofLength The max length a merkle proof can have
          error MerkleProofTooLong(uint256 actualLength, uint256 maxProofLength);
          /// @dev Thrown when an un-authorized address tries to access an admin function
          /// @param sender The un-authorized sender
          /// @param rollup The rollup, which would be authorized
          /// @param owner The rollup's owner, which would be authorized
          error NotRollupOrOwner(address sender, address rollup, address owner);
          // Bridge Errors
          /// @dev Thrown when an un-authorized address tries to access an only-inbox function
          /// @param sender The un-authorized sender
          error NotDelayedInbox(address sender);
          /// @dev Thrown when an un-authorized address tries to access an only-sequencer-inbox function
          /// @param sender The un-authorized sender
          error NotSequencerInbox(address sender);
          /// @dev Thrown when an un-authorized address tries to access an only-outbox function
          /// @param sender The un-authorized sender
          error NotOutbox(address sender);
          /// @dev the provided outbox address isn't valid
          /// @param outbox address of outbox being set
          error InvalidOutboxSet(address outbox);
          // Inbox Errors
          /// @dev The contract is paused, so cannot be paused
          error AlreadyPaused();
          /// @dev The contract is unpaused, so cannot be unpaused
          error AlreadyUnpaused();
          /// @dev The contract is paused
          error Paused();
          /// @dev msg.value sent to the inbox isn't high enough
          error InsufficientValue(uint256 expected, uint256 actual);
          /// @dev submission cost provided isn't enough to create retryable ticket
          error InsufficientSubmissionCost(uint256 expected, uint256 actual);
          /// @dev address not allowed to interact with the given contract
          error NotAllowedOrigin(address origin);
          /// @dev used to convey retryable tx data in eth calls without requiring a tx trace
          /// this follows a pattern similar to EIP-3668 where reverts surface call information
          error RetryableData(
              address from,
              address to,
              uint256 l2CallValue,
              uint256 deposit,
              uint256 maxSubmissionCost,
              address excessFeeRefundAddress,
              address callValueRefundAddress,
              uint256 gasLimit,
              uint256 maxFeePerGas,
              bytes data
          );
          // Outbox Errors
          /// @dev The provided proof was too long
          /// @param proofLength The length of the too-long proof
          error ProofTooLong(uint256 proofLength);
          /// @dev The output index was greater than the maximum
          /// @param index The output index
          /// @param maxIndex The max the index could be
          error PathNotMinimal(uint256 index, uint256 maxIndex);
          /// @dev The calculated root does not exist
          /// @param root The calculated root
          error UnknownRoot(bytes32 root);
          /// @dev The record has already been spent
          /// @param index The index of the spent record
          error AlreadySpent(uint256 index);
          /// @dev A call to the bridge failed with no return data
          error BridgeCallFailed();
          // Sequencer Inbox Errors
          /// @dev Thrown when someone attempts to read fewer messages than have already been read
          error DelayedBackwards();
          /// @dev Thrown when someone attempts to read more messages than exist
          error DelayedTooFar();
          /// @dev Force include can only read messages more blocks old than the delay period
          error ForceIncludeBlockTooSoon();
          /// @dev Force include can only read messages more seconds old than the delay period
          error ForceIncludeTimeTooSoon();
          /// @dev The message provided did not match the hash in the delayed inbox
          error IncorrectMessagePreimage();
          /// @dev This can only be called by the batch poster
          error NotBatchPoster();
          /// @dev The sequence number provided to this message was inconsistent with the number of batches already included
          error BadSequencerNumber(uint256 stored, uint256 received);
          /// @dev The sequence message number provided to this message was inconsistent with the previous one
          error BadSequencerMessageNumber(uint256 stored, uint256 received);
          /// @dev The batch data has the inbox authenticated bit set, but the batch data was not authenticated by the inbox
          error DataNotAuthenticated();
          /// @dev Tried to create an already valid Data Availability Service keyset
          error AlreadyValidDASKeyset(bytes32);
          /// @dev Tried to use or invalidate an already invalid Data Availability Service keyset
          error NoSuchKeyset(bytes32);
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.6.9 <0.9.0;
          import "./IOwnable.sol";
          interface IBridge {
              event MessageDelivered(
                  uint256 indexed messageIndex,
                  bytes32 indexed beforeInboxAcc,
                  address inbox,
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash,
                  uint256 baseFeeL1,
                  uint64 timestamp
              );
              event BridgeCallTriggered(
                  address indexed outbox,
                  address indexed to,
                  uint256 value,
                  bytes data
              );
              event InboxToggle(address indexed inbox, bool enabled);
              event OutboxToggle(address indexed outbox, bool enabled);
              event SequencerInboxUpdated(address newSequencerInbox);
              function allowedDelayedInboxList(uint256) external returns (address);
              function allowedOutboxList(uint256) external returns (address);
              /// @dev Accumulator for delayed inbox messages; tail represents hash of the current state; each element represents the inclusion of a new message.
              function delayedInboxAccs(uint256) external view returns (bytes32);
              /// @dev Accumulator for sequencer inbox messages; tail represents hash of the current state; each element represents the inclusion of a new message.
              function sequencerInboxAccs(uint256) external view returns (bytes32);
              function rollup() external view returns (IOwnable);
              function sequencerInbox() external view returns (address);
              function activeOutbox() external view returns (address);
              function allowedDelayedInboxes(address inbox) external view returns (bool);
              function allowedOutboxes(address outbox) external view returns (bool);
              function sequencerReportedSubMessageCount() external view returns (uint256);
              /**
               * @dev Enqueue a message in the delayed inbox accumulator.
               *      These messages are later sequenced in the SequencerInbox, either
               *      by the sequencer as part of a normal batch, or by force inclusion.
               */
              function enqueueDelayedMessage(
                  uint8 kind,
                  address sender,
                  bytes32 messageDataHash
              ) external payable returns (uint256);
              function executeCall(
                  address to,
                  uint256 value,
                  bytes calldata data
              ) external returns (bool success, bytes memory returnData);
              function delayedMessageCount() external view returns (uint256);
              function sequencerMessageCount() external view returns (uint256);
              // ---------- onlySequencerInbox functions ----------
              function enqueueSequencerMessage(
                  bytes32 dataHash,
                  uint256 afterDelayedMessagesRead,
                  uint256 prevMessageCount,
                  uint256 newMessageCount
              )
                  external
                  returns (
                      uint256 seqMessageIndex,
                      bytes32 beforeAcc,
                      bytes32 delayedAcc,
                      bytes32 acc
                  );
              /**
               * @dev Allows the sequencer inbox to submit a delayed message of the batchPostingReport type
               *      This is done through a separate function entrypoint instead of allowing the sequencer inbox
               *      to call `enqueueDelayedMessage` to avoid the gas overhead of an extra SLOAD in either
               *      every delayed inbox or every sequencer inbox call.
               */
              function submitBatchSpendingReport(address batchPoster, bytes32 dataHash)
                  external
                  returns (uint256 msgNum);
              // ---------- onlyRollupOrOwner functions ----------
              function setSequencerInbox(address _sequencerInbox) external;
              function setDelayedInbox(address inbox, bool enabled) external;
              function setOutbox(address inbox, bool enabled) external;
              // ---------- initializer ----------
              function initialize(IOwnable rollup_) external;
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          pragma solidity ^0.8.0;
          library Messages {
              function messageHash(
                  uint8 kind,
                  address sender,
                  uint64 blockNumber,
                  uint64 timestamp,
                  uint256 inboxSeqNum,
                  uint256 baseFeeL1,
                  bytes32 messageDataHash
              ) internal pure returns (bytes32) {
                  return
                      keccak256(
                          abi.encodePacked(
                              kind,
                              sender,
                              blockNumber,
                              timestamp,
                              inboxSeqNum,
                              baseFeeL1,
                              messageDataHash
                          )
                      );
              }
              function accumulateInboxMessage(bytes32 prevAcc, bytes32 message)
                  internal
                  pure
                  returns (bytes32)
              {
                  return keccak256(abi.encodePacked(prevAcc, message));
              }
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          pragma solidity ^0.8.0;
          import {NotOwner} from "./Error.sol";
          /// @dev A stateless contract that allows you to infer if the current call has been delegated or not
          /// Pattern used here is from UUPS implementation by the OpenZeppelin team
          abstract contract DelegateCallAware {
              address private immutable __self = address(this);
              /**
               * @dev Check that the execution is being performed through a delegate call. This allows a function to be
               * callable on the proxy contract but not on the logic contract.
               */
              modifier onlyDelegated() {
                  require(address(this) != __self, "Function must be called through delegatecall");
                  _;
              }
              /**
               * @dev Check that the execution is not being performed through a delegate call. This allows a function to be
               * callable on the implementing contract but not through proxies.
               */
              modifier notDelegated() {
                  require(address(this) == __self, "Function must not be called through delegatecall");
                  _;
              }
              /// @dev Check that msg.sender is the current EIP 1967 proxy admin
              modifier onlyProxyOwner() {
                  // Storage slot with the admin of the proxy contract
                  // This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1
                  bytes32 slot = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                  address admin;
                  assembly {
                      admin := sload(slot)
                  }
                  if (msg.sender != admin) revert NotOwner(msg.sender, admin);
                  _;
              }
          }
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          pragma solidity ^0.8.4;
          uint8 constant L2_MSG = 3;
          uint8 constant L1MessageType_L2FundedByL1 = 7;
          uint8 constant L1MessageType_submitRetryableTx = 9;
          uint8 constant L1MessageType_ethDeposit = 12;
          uint8 constant L1MessageType_batchPostingReport = 13;
          uint8 constant L2MessageType_unsignedEOATx = 0;
          uint8 constant L2MessageType_unsignedContractTx = 1;
          uint8 constant ROLLUP_PROTOCOL_EVENT_TYPE = 8;
          uint8 constant INITIALIZATION_MSG_TYPE = 11;
          // Copyright 2021-2022, Offchain Labs, Inc.
          // For license information, see https://github.com/nitro/blob/master/LICENSE
          // SPDX-License-Identifier: BUSL-1.1
          // solhint-disable-next-line compiler-version
          pragma solidity >=0.4.21 <0.9.0;
          interface IOwnable {
              function owner() external view returns (address);
          }