Overview
ETH Balance
0 ETH
Eth Value
$0.00More Info
Private Name Tags
ContractCreator
View more zero value Internal Transactions in Advanced View mode
Advanced mode:
Loading...
Loading
Contract Source Code Verified (Exact Match)
Contract Name:
RollupUserLogic
Compiler Version
v0.8.17+commit.8df45f5f
Optimization Enabled:
Yes with 20 runs
Other Settings:
default evmVersion
Contract Source Code (Solidity Standard Json-Input format)
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol"; import {IRollupUser} from "./IRollupLogic.sol"; import "../libraries/UUPSNotUpgradeable.sol"; import "./RollupCore.sol"; import "./IRollupLogic.sol"; contract RollupUserLogic is RollupCore, UUPSNotUpgradeable, IRollupUser { using AssertionNodeLib for AssertionNode; using GlobalStateLib for GlobalState; using SafeERC20 for IERC20; using EnumerableSetUpgradeable for EnumerableSetUpgradeable.AddressSet; modifier onlyValidator( address account ) { require(validators.contains(account) || validatorWhitelistDisabled, "NOT_VALIDATOR"); _; } /// @dev the user logic just validated configuration and shouldn't write to state during init /// this allows the admin logic to ensure consistency on parameters. function initialize( address _stakeToken ) external view override onlyProxy { require(_stakeToken != address(0), "NEED_STAKE_TOKEN"); } uint256 internal immutable deployTimeChainId = block.chainid; function _chainIdChanged() internal view returns (bool) { return deployTimeChainId != block.chainid; } function _validatorIsAfk() internal view returns (bool) { AssertionNode memory latestConfirmedAssertion = getAssertionStorage(latestConfirmed()); uint256 _validatorAfkBlocks = validatorAfkBlocks; // cache and cast to uint256 to prevent overflow if (_validatorAfkBlocks == 0) return false; if (latestConfirmedAssertion.createdAtBlock == 0) return false; // We consider the validator is gone if the last known assertion is older than VALIDATOR_AFK_BLOCKS // Which is either the latest confirmed assertion or the first child of the latest confirmed assertion if (latestConfirmedAssertion.firstChildBlock > 0) { return latestConfirmedAssertion.firstChildBlock + _validatorAfkBlocks < block.number; } return latestConfirmedAssertion.createdAtBlock + _validatorAfkBlocks < block.number; } function removeWhitelistAfterFork() external { require(!validatorWhitelistDisabled, "WHITELIST_DISABLED"); require(_chainIdChanged(), "CHAIN_ID_NOT_CHANGED"); validatorWhitelistDisabled = true; } /** * @notice Remove the whitelist after the validator has been inactive for too long */ function removeWhitelistAfterValidatorAfk() external { require(!validatorWhitelistDisabled, "WHITELIST_DISABLED"); require(_validatorIsAfk(), "VALIDATOR_NOT_AFK"); validatorWhitelistDisabled = true; } /** * @notice Confirm a unresolved assertion * @param confirmState The state to confirm * @param winningEdgeId The winning edge if a challenge is started */ function confirmAssertion( bytes32 assertionHash, bytes32 prevAssertionHash, AssertionState calldata confirmState, bytes32 winningEdgeId, ConfigData calldata prevConfig, bytes32 inboxAcc ) external onlyValidator(msg.sender) whenNotPaused { /* * To confirm an assertion, the following must be true: * 1. The assertion must be pending * 2. The assertion's deadline must have passed * 3. The assertion's prev must be latest confirmed * 4. The assertion's prev's child confirm deadline must have passed * 5. If the assertion's prev has more than 1 child, the assertion must be the winner of the challenge * * Note that we do not need to ever reject invalid assertion because they can never confirm * and the stake on them is swept to the loserStakeEscrow as soon as the leaf is created */ // The assertion's must exists and be pending and will be validated in RollupCore.confirmAssertionInternal AssertionNode storage assertion = getAssertionStorage(assertionHash); // prevAssertionHash is user supplied, but will be validated in RollupCore.confirmAssertionInternal AssertionNode storage prevAssertion = getAssertionStorage(prevAssertionHash); RollupLib.validateConfigHash(prevConfig, prevAssertion.configHash); // Check that deadline has passed require( block.number >= assertion.createdAtBlock + prevConfig.confirmPeriodBlocks, "BEFORE_DEADLINE" ); // Check that prev is latest confirmed require(prevAssertionHash == latestConfirmed(), "PREV_NOT_LATEST_CONFIRMED"); if (prevAssertion.secondChildBlock > 0) { // if the prev has more than 1 child, check if this assertion is the challenge winner ChallengeEdge memory winningEdge = IEdgeChallengeManager(prevConfig.challengeManager).getEdge(winningEdgeId); require(winningEdge.claimId == assertionHash, "NOT_WINNER"); require(winningEdge.status == EdgeStatus.Confirmed, "EDGE_NOT_CONFIRMED"); require(winningEdge.confirmedAtBlock != 0, "ZERO_CONFIRMED_AT_BLOCK"); // an additional number of blocks is added to ensure that the result of the challenge is widely // observable before it causes an assertion to be confirmed. After a winning edge is found, it will // always be challengeGracePeriodBlocks before an assertion can be confirmed require( block.number >= winningEdge.confirmedAtBlock + challengeGracePeriodBlocks, "CHALLENGE_GRACE_PERIOD_NOT_PASSED" ); } confirmAssertionInternal(assertionHash, prevAssertionHash, confirmState, inboxAcc); } /** * @notice Create a new stake * @param depositAmount The amount of either eth or tokens staked * @param _withdrawalAddress The new staker's withdrawal address */ function _newStake( uint256 depositAmount, address _withdrawalAddress ) internal onlyValidator(msg.sender) whenNotPaused { // Verify that sender is not already a staker require(!isStaked(msg.sender), "ALREADY_STAKED"); // amount will be checked when creating an assertion createNewStake(msg.sender, depositAmount, _withdrawalAddress); } /** * @notice Computes the hash of an assertion * @param state The execution state for the assertion * @param prevAssertionHash The hash of the assertion's parent * @param inboxAcc The inbox batch accumulator */ function computeAssertionHash( bytes32 prevAssertionHash, AssertionState calldata state, bytes32 inboxAcc ) external pure returns (bytes32) { return RollupLib.assertionHash(prevAssertionHash, state, inboxAcc); } /** * @notice Create a new assertion and move stake onto it * @param assertion The assertion data * @param expectedAssertionHash The hash of the assertion being created (protects against reorgs) */ function stakeOnNewAssertion( AssertionInputs calldata assertion, bytes32 expectedAssertionHash ) public onlyValidator(msg.sender) whenNotPaused { // Early revert on duplicated assertion if expectedAssertionHash is set require( expectedAssertionHash == bytes32(0) || getAssertionStorage(expectedAssertionHash).status == AssertionStatus.NoAssertion, "EXPECTED_ASSERTION_SEEN" ); require(isStaked(msg.sender), "NOT_STAKED"); // requiredStake is user supplied, will be verified against configHash later // the prev's requiredStake is used to make sure all children have the same stake // the staker may have more than enough stake, and the entire stake will be locked // we cannot do a refund here because the staker may be staker on an unconfirmed ancestor that requires more stake // excess stake can be removed by calling reduceDeposit when the staker is inactive require( amountStaked(msg.sender) >= assertion.beforeStateData.configData.requiredStake, "INSUFFICIENT_STAKE" ); bytes32 prevAssertion = RollupLib.assertionHash( assertion.beforeStateData.prevPrevAssertionHash, assertion.beforeState, assertion.beforeStateData.sequencerBatchAcc ); getAssertionStorage(prevAssertion).requireExists(); // Staker can create new assertion only if // a) its last staked assertion is the prev; or // b) its last staked assertion have a child bytes32 lastAssertion = latestStakedAssertion(msg.sender); require( lastAssertion == prevAssertion || getAssertionStorage(lastAssertion).firstChildBlock > 0, "STAKED_ON_ANOTHER_BRANCH" ); (bytes32 newAssertionHash, bool overflowAssertion) = createNewAssertion(assertion, prevAssertion, expectedAssertionHash); _stakerMap[msg.sender].latestStakedAssertion = newAssertionHash; if (!overflowAssertion) { uint256 timeSincePrev = block.number - getAssertionStorage(prevAssertion).createdAtBlock; // Verify that assertion meets the minimum Delta time requirement require(timeSincePrev >= minimumAssertionPeriod, "TIME_DELTA"); } if (!getAssertionStorage(newAssertionHash).isFirstChild) { // We assume assertion.beforeStateData is valid here as it will be validated in createNewAssertion // only 1 of the children can be confirmed and get their stake refunded // so we send the other children's stake to the loserStakeEscrow // NOTE: if the losing staker have staked more than requiredStake, the excess stake will be stuck IERC20(stakeToken).safeTransfer( loserStakeEscrow, assertion.beforeStateData.configData.requiredStake ); } } /** * @notice Refund a staker that is currently staked on an assertion that either has a chlid assertion or is the latest confirmed assertion. */ function returnOldDeposit() external override onlyValidator(msg.sender) whenNotPaused { _requireInactiveAndWithdrawStaker(msg.sender); } /** * @notice From the staker's withdrawal address, * refund a staker that is currently staked on an assertion that either has a chlid assertion or is the latest confirmed assertion. */ function returnOldDepositFor( address stakerAddress ) external override onlyValidator(stakerAddress) whenNotPaused { require(msg.sender == withdrawalAddress(stakerAddress), "NOT_WITHDRAWAL_ADDRESS"); _requireInactiveAndWithdrawStaker(stakerAddress); } /** * @dev Require that the staker is inactive and withdraw their stake */ function _requireInactiveAndWithdrawStaker( address stakerAddress ) internal { requireInactiveStaker(stakerAddress); withdrawStaker(stakerAddress); } /** * @notice Increase the amount staked for the given staker * @param stakerAddress Address of the staker whose stake is increased * @param depositAmount The amount of either eth or tokens deposited */ function _addToDeposit( address stakerAddress, address expectedWithdrawalAddress, uint256 depositAmount ) internal onlyValidator(stakerAddress) whenNotPaused { require(isStaked(stakerAddress), "NOT_STAKED"); require( withdrawalAddress(stakerAddress) == expectedWithdrawalAddress, "WRONG_WITHDRAWAL_ADDRESS" ); increaseStakeBy(stakerAddress, depositAmount); } /** * @notice Reduce the amount staked for the sender (difference between initial amount staked and target is creditted back to the sender). * @param target Target amount of stake for the staker. */ function reduceDeposit( uint256 target ) external onlyValidator(msg.sender) whenNotPaused { requireInactiveStaker(msg.sender); // amount will be checked when creating an assertion reduceStakeTo(msg.sender, target); } /** * @notice This allow the anyTrustFastConfirmer to force confirm any pending assertion * the anyTrustFastConfirmer is supposed to be set only on an AnyTrust chain to * a contract that can call this function when received sufficient signatures */ function fastConfirmAssertion( bytes32 assertionHash, bytes32 parentAssertionHash, AssertionState calldata confirmState, bytes32 inboxAcc ) public whenNotPaused { require(msg.sender == anyTrustFastConfirmer, "NOT_FAST_CONFIRMER"); // this skip deadline, prev, challenge validations confirmAssertionInternal(assertionHash, parentAssertionHash, confirmState, inboxAcc); } /** * @notice This allow the anyTrustFastConfirmer to immediately create and confirm an assertion * the anyTrustFastConfirmer is supposed to be set only on an AnyTrust chain to * a contract that can call this function when received sufficient signatures * The logic in this function is similar to stakeOnNewAssertion, but without staker checks * * We trust the anyTrustFastConfirmer to not call this function multiple times on the same prev, * as doing so would result in incorrect accounting of withdrawable funds in the loserStakeEscrow. * This is because the protocol assume there is only 1 unique confirmable child assertion. */ function fastConfirmNewAssertion( AssertionInputs calldata assertion, bytes32 expectedAssertionHash ) external whenNotPaused { // Must supply expectedAssertionHash to fastConfirmNewAssertion require(expectedAssertionHash != bytes32(0), "EXPECTED_ASSERTION_HASH"); AssertionStatus status = getAssertionStorage(expectedAssertionHash).status; bytes32 prevAssertion = RollupLib.assertionHash( assertion.beforeStateData.prevPrevAssertionHash, assertion.beforeState, assertion.beforeStateData.sequencerBatchAcc ); getAssertionStorage(prevAssertion).requireExists(); if (status == AssertionStatus.NoAssertion) { // If not exists, we create the new assertion (bytes32 newAssertionHash,) = createNewAssertion(assertion, prevAssertion, expectedAssertionHash); if (!getAssertionStorage(newAssertionHash).isFirstChild) { // only 1 of the children can be confirmed and get their stake refunded // so we send the other children's stake to the loserStakeEscrow // NOTE: if the losing staker have staked more than requiredStake, the excess stake will be stuck IERC20(stakeToken).safeTransfer( loserStakeEscrow, assertion.beforeStateData.configData.requiredStake ); } } // This would revert if the assertion is already confirmed fastConfirmAssertion( expectedAssertionHash, prevAssertion, assertion.afterState, bridge.sequencerInboxAccs(assertion.afterState.globalState.getInboxPosition() - 1) ); } function owner() external view returns (address) { return _getAdmin(); } /** * @notice Deprecated, use the function with `withdrawalAddress` instead * Using this default `withdrawalAddress` to msg.sender */ function newStakeOnNewAssertion( uint256 tokenAmount, AssertionInputs calldata assertion, bytes32 expectedAssertionHash ) external { newStakeOnNewAssertion(tokenAmount, assertion, expectedAssertionHash, msg.sender); } /** * @notice Create a new stake on a new assertion * @param tokenAmount Amount of the rollups staking token to stake * @param assertion Assertion describing the state change between the old assertion and the new one * @param expectedAssertionHash Assertion hash of the assertion that will be created * @param _withdrawalAddress The address the send the stake back upon withdrawal */ function newStakeOnNewAssertion( uint256 tokenAmount, AssertionInputs calldata assertion, bytes32 expectedAssertionHash, address _withdrawalAddress ) public { require(_withdrawalAddress != address(0), "EMPTY_WITHDRAWAL_ADDRESS"); // _newStake makes sure the validator is whitelisted if the whitelist is enabled _newStake(tokenAmount, _withdrawalAddress); stakeOnNewAssertion(assertion, expectedAssertionHash); /// @dev This is an external call, safe because it's at the end of the function receiveTokens(tokenAmount); } /** * @notice Create a new stake without creating a new assertion. * Token amount can be zero if the staker wants to use `addToDeposit` from another account * @param tokenAmount Amount to stake (can be zero) * @param _withdrawalAddress The address the send the stake back upon withdrawal */ function newStake(uint256 tokenAmount, address _withdrawalAddress) external whenNotPaused { require(_withdrawalAddress != address(0), "EMPTY_WITHDRAWAL_ADDRESS"); // _newStake makes sure the validator is whitelisted if the whitelist is enabled _newStake(tokenAmount, _withdrawalAddress); /// @dev This is an external call, safe because it's at the end of the function if (tokenAmount > 0) receiveTokens(tokenAmount); } /** * @notice Increase the amount staked tokens for the given staker * @param stakerAddress Address of the staker whose stake is increased * @param expectedWithdrawalAddress The expected withdrawal address of the staker (protects depositor from a staker changing their withdrawal address) * @param tokenAmount the amount of tokens staked */ function addToDeposit( address stakerAddress, address expectedWithdrawalAddress, uint256 tokenAmount ) external whenNotPaused { _addToDeposit(stakerAddress, expectedWithdrawalAddress, tokenAmount); /// @dev This is an external call, safe because it's at the end of the function receiveTokens(tokenAmount); } /** * @notice Withdraw uncommitted funds owned by sender from the rollup chain */ function withdrawStakerFunds() external override whenNotPaused returns (uint256) { uint256 amount = withdrawFunds(msg.sender); require(amount > 0, "NO_FUNDS_TO_WITHDRAW"); // This is safe because it occurs after all checks and effects IERC20(stakeToken).safeTransfer(msg.sender, amount); return amount; } function receiveTokens( uint256 tokenAmount ) private { IERC20(stakeToken).safeTransferFrom(msg.sender, address(this), tokenAmount); } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (proxy/utils/Initializable.sol) pragma solidity ^0.8.2; 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. * * The initialization functions use a version number. Once a version number is used, it is consumed and cannot be * reused. This mechanism prevents re-execution of each "step" but allows the creation of new initialization steps in * case an upgrade adds a module that needs to be initialized. * * For example: * * [.hljs-theme-light.nopadding] * ``` * contract MyToken is ERC20Upgradeable { * function initialize() initializer public { * __ERC20_init("MyToken", "MTK"); * } * } * contract MyTokenV2 is MyToken, ERC20PermitUpgradeable { * function initializeV2() reinitializer(2) public { * __ERC20Permit_init("MyToken"); * } * } * ``` * * 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 prevent the implementation contract from being used, you should invoke * the {_disableInitializers} function in the constructor to automatically lock it when it is deployed: * * [.hljs-theme-light.nopadding] * ``` * /// @custom:oz-upgrades-unsafe-allow constructor * constructor() { * _disableInitializers(); * } * ``` * ==== */ abstract contract Initializable { /** * @dev Indicates that the contract has been initialized. * @custom:oz-retyped-from bool */ uint8 private _initialized; /** * @dev Indicates that the contract is in the process of being initialized. */ bool private _initializing; /** * @dev Triggered when the contract has been initialized or reinitialized. */ event Initialized(uint8 version); /** * @dev A modifier that defines a protected initializer function that can be invoked at most once. In its scope, * `onlyInitializing` functions can be used to initialize parent contracts. Equivalent to `reinitializer(1)`. */ modifier initializer() { bool isTopLevelCall = !_initializing; require( (isTopLevelCall && _initialized < 1) || (!AddressUpgradeable.isContract(address(this)) && _initialized == 1), "Initializable: contract is already initialized" ); _initialized = 1; if (isTopLevelCall) { _initializing = true; } _; if (isTopLevelCall) { _initializing = false; emit Initialized(1); } } /** * @dev A modifier that defines a protected reinitializer function that can be invoked at most once, and only if the * contract hasn't been initialized to a greater version before. In its scope, `onlyInitializing` functions can be * used to initialize parent contracts. * * `initializer` is equivalent to `reinitializer(1)`, so a reinitializer may be used after the original * initialization step. This is essential to configure modules that are added through upgrades and that require * initialization. * * Note that versions can jump in increments greater than 1; this implies that if multiple reinitializers coexist in * a contract, executing them in the right order is up to the developer or operator. */ modifier reinitializer(uint8 version) { require(!_initializing && _initialized < version, "Initializable: contract is already initialized"); _initialized = version; _initializing = true; _; _initializing = false; emit Initialized(version); } /** * @dev Modifier to protect an initialization function so that it can only be invoked by functions with the * {initializer} and {reinitializer} modifiers, directly or indirectly. */ modifier onlyInitializing() { require(_initializing, "Initializable: contract is not initializing"); _; } /** * @dev Locks the contract, preventing any future reinitialization. This cannot be part of an initializer call. * Calling this in the constructor of a contract will prevent that contract from being initialized or reinitialized * to any version. It is recommended to use this to lock implementation contracts that are designed to be called * through proxies. */ function _disableInitializers() internal virtual { require(!_initializing, "Initializable: contract is initializing"); if (_initialized < type(uint8).max) { _initialized = type(uint8).max; emit Initialized(type(uint8).max); } } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (security/Pausable.sol) pragma solidity ^0.8.0; import "../utils/ContextUpgradeable.sol"; import "../proxy/utils/Initializable.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 PausableUpgradeable is Initializable, ContextUpgradeable { /** * @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. */ function __Pausable_init() internal onlyInitializing { __Pausable_init_unchained(); } function __Pausable_init_unchained() internal onlyInitializing { _paused = false; } /** * @dev Modifier to make a function callable only when the contract is not paused. * * Requirements: * * - The contract must not be paused. */ modifier whenNotPaused() { _requireNotPaused(); _; } /** * @dev Modifier to make a function callable only when the contract is paused. * * Requirements: * * - The contract must be paused. */ modifier whenPaused() { _requirePaused(); _; } /** * @dev Returns true if the contract is paused, and false otherwise. */ function paused() public view virtual returns (bool) { return _paused; } /** * @dev Throws if the contract is paused. */ function _requireNotPaused() internal view virtual { require(!paused(), "Pausable: paused"); } /** * @dev Throws if the contract is not paused. */ function _requirePaused() internal view virtual { 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()); } /** * @dev This empty reserved space is put in place to allow future versions to add new * variables without shifting down storage in the inheritance chain. * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps */ uint256[49] private __gap; }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.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 /// @solidity memory-safe-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/Context.sol) pragma solidity ^0.8.0; import "../proxy/utils/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 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 onlyInitializing { } function __Context_init_unchained() internal onlyInitializing { } function _msgSender() internal view virtual returns (address) { return msg.sender; } function _msgData() internal view virtual returns (bytes calldata) { return msg.data; } /** * @dev This empty reserved space is put in place to allow future versions to add new * variables without shifting down storage in the inheritance chain. * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps */ uint256[50] private __gap; }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (utils/structs/EnumerableSet.sol) pragma solidity ^0.8.0; /** * @dev Library for managing * https://en.wikipedia.org/wiki/Set_(abstract_data_type)[sets] of primitive * types. * * Sets have the following properties: * * - Elements are added, removed, and checked for existence in constant time * (O(1)). * - Elements are enumerated in O(n). No guarantees are made on the ordering. * * ``` * contract Example { * // Add the library methods * using EnumerableSet for EnumerableSet.AddressSet; * * // Declare a set state variable * EnumerableSet.AddressSet private mySet; * } * ``` * * As of v3.3.0, sets of type `bytes32` (`Bytes32Set`), `address` (`AddressSet`) * and `uint256` (`UintSet`) are supported. * * [WARNING] * ==== * Trying to delete such a structure from storage will likely result in data corruption, rendering the structure unusable. * See https://github.com/ethereum/solidity/pull/11843[ethereum/solidity#11843] for more info. * * In order to clean an EnumerableSet, you can either remove all elements one by one or create a fresh instance using an array of EnumerableSet. * ==== */ library EnumerableSetUpgradeable { // To implement this library for multiple types with as little code // repetition as possible, we write it in terms of a generic Set type with // bytes32 values. // The Set implementation uses private functions, and user-facing // implementations (such as AddressSet) are just wrappers around the // underlying Set. // This means that we can only create new EnumerableSets for types that fit // in bytes32. struct Set { // Storage of set values bytes32[] _values; // Position of the value in the `values` array, plus 1 because index 0 // means a value is not in the set. mapping(bytes32 => uint256) _indexes; } /** * @dev Add a value to a set. O(1). * * Returns true if the value was added to the set, that is if it was not * already present. */ function _add(Set storage set, bytes32 value) private returns (bool) { if (!_contains(set, value)) { set._values.push(value); // The value is stored at length-1, but we add 1 to all indexes // and use 0 as a sentinel value set._indexes[value] = set._values.length; return true; } else { return false; } } /** * @dev Removes a value from a set. O(1). * * Returns true if the value was removed from the set, that is if it was * present. */ function _remove(Set storage set, bytes32 value) private returns (bool) { // We read and store the value's index to prevent multiple reads from the same storage slot uint256 valueIndex = set._indexes[value]; if (valueIndex != 0) { // Equivalent to contains(set, value) // To delete an element from the _values array in O(1), we swap the element to delete with the last one in // the array, and then remove the last element (sometimes called as 'swap and pop'). // This modifies the order of the array, as noted in {at}. uint256 toDeleteIndex = valueIndex - 1; uint256 lastIndex = set._values.length - 1; if (lastIndex != toDeleteIndex) { bytes32 lastValue = set._values[lastIndex]; // Move the last value to the index where the value to delete is set._values[toDeleteIndex] = lastValue; // Update the index for the moved value set._indexes[lastValue] = valueIndex; // Replace lastValue's index to valueIndex } // Delete the slot where the moved value was stored set._values.pop(); // Delete the index for the deleted slot delete set._indexes[value]; return true; } else { return false; } } /** * @dev Returns true if the value is in the set. O(1). */ function _contains(Set storage set, bytes32 value) private view returns (bool) { return set._indexes[value] != 0; } /** * @dev Returns the number of values on the set. O(1). */ function _length(Set storage set) private view returns (uint256) { return set._values.length; } /** * @dev Returns the value stored at position `index` in the set. O(1). * * Note that there are no guarantees on the ordering of values inside the * array, and it may change when more values are added or removed. * * Requirements: * * - `index` must be strictly less than {length}. */ function _at(Set storage set, uint256 index) private view returns (bytes32) { return set._values[index]; } /** * @dev Return the entire set in an array * * WARNING: This operation will copy the entire storage to memory, which can be quite expensive. This is designed * to mostly be used by view accessors that are queried without any gas fees. Developers should keep in mind that * this function has an unbounded cost, and using it as part of a state-changing function may render the function * uncallable if the set grows to a point where copying to memory consumes too much gas to fit in a block. */ function _values(Set storage set) private view returns (bytes32[] memory) { return set._values; } // Bytes32Set struct Bytes32Set { Set _inner; } /** * @dev Add a value to a set. O(1). * * Returns true if the value was added to the set, that is if it was not * already present. */ function add(Bytes32Set storage set, bytes32 value) internal returns (bool) { return _add(set._inner, value); } /** * @dev Removes a value from a set. O(1). * * Returns true if the value was removed from the set, that is if it was * present. */ function remove(Bytes32Set storage set, bytes32 value) internal returns (bool) { return _remove(set._inner, value); } /** * @dev Returns true if the value is in the set. O(1). */ function contains(Bytes32Set storage set, bytes32 value) internal view returns (bool) { return _contains(set._inner, value); } /** * @dev Returns the number of values in the set. O(1). */ function length(Bytes32Set storage set) internal view returns (uint256) { return _length(set._inner); } /** * @dev Returns the value stored at position `index` in the set. O(1). * * Note that there are no guarantees on the ordering of values inside the * array, and it may change when more values are added or removed. * * Requirements: * * - `index` must be strictly less than {length}. */ function at(Bytes32Set storage set, uint256 index) internal view returns (bytes32) { return _at(set._inner, index); } /** * @dev Return the entire set in an array * * WARNING: This operation will copy the entire storage to memory, which can be quite expensive. This is designed * to mostly be used by view accessors that are queried without any gas fees. Developers should keep in mind that * this function has an unbounded cost, and using it as part of a state-changing function may render the function * uncallable if the set grows to a point where copying to memory consumes too much gas to fit in a block. */ function values(Bytes32Set storage set) internal view returns (bytes32[] memory) { return _values(set._inner); } // AddressSet struct AddressSet { Set _inner; } /** * @dev Add a value to a set. O(1). * * Returns true if the value was added to the set, that is if it was not * already present. */ function add(AddressSet storage set, address value) internal returns (bool) { return _add(set._inner, bytes32(uint256(uint160(value)))); } /** * @dev Removes a value from a set. O(1). * * Returns true if the value was removed from the set, that is if it was * present. */ function remove(AddressSet storage set, address value) internal returns (bool) { return _remove(set._inner, bytes32(uint256(uint160(value)))); } /** * @dev Returns true if the value is in the set. O(1). */ function contains(AddressSet storage set, address value) internal view returns (bool) { return _contains(set._inner, bytes32(uint256(uint160(value)))); } /** * @dev Returns the number of values in the set. O(1). */ function length(AddressSet storage set) internal view returns (uint256) { return _length(set._inner); } /** * @dev Returns the value stored at position `index` in the set. O(1). * * Note that there are no guarantees on the ordering of values inside the * array, and it may change when more values are added or removed. * * Requirements: * * - `index` must be strictly less than {length}. */ function at(AddressSet storage set, uint256 index) internal view returns (address) { return address(uint160(uint256(_at(set._inner, index)))); } /** * @dev Return the entire set in an array * * WARNING: This operation will copy the entire storage to memory, which can be quite expensive. This is designed * to mostly be used by view accessors that are queried without any gas fees. Developers should keep in mind that * this function has an unbounded cost, and using it as part of a state-changing function may render the function * uncallable if the set grows to a point where copying to memory consumes too much gas to fit in a block. */ function values(AddressSet storage set) internal view returns (address[] memory) { bytes32[] memory store = _values(set._inner); address[] memory result; /// @solidity memory-safe-assembly assembly { result := store } return result; } // UintSet struct UintSet { Set _inner; } /** * @dev Add a value to a set. O(1). * * Returns true if the value was added to the set, that is if it was not * already present. */ function add(UintSet storage set, uint256 value) internal returns (bool) { return _add(set._inner, bytes32(value)); } /** * @dev Removes a value from a set. O(1). * * Returns true if the value was removed from the set, that is if it was * present. */ function remove(UintSet storage set, uint256 value) internal returns (bool) { return _remove(set._inner, bytes32(value)); } /** * @dev Returns true if the value is in the set. O(1). */ function contains(UintSet storage set, uint256 value) internal view returns (bool) { return _contains(set._inner, bytes32(value)); } /** * @dev Returns the number of values on the set. O(1). */ function length(UintSet storage set) internal view returns (uint256) { return _length(set._inner); } /** * @dev Returns the value stored at position `index` in the set. O(1). * * Note that there are no guarantees on the ordering of values inside the * array, and it may change when more values are added or removed. * * Requirements: * * - `index` must be strictly less than {length}. */ function at(UintSet storage set, uint256 index) internal view returns (uint256) { return uint256(_at(set._inner, index)); } /** * @dev Return the entire set in an array * * WARNING: This operation will copy the entire storage to memory, which can be quite expensive. This is designed * to mostly be used by view accessors that are queried without any gas fees. Developers should keep in mind that * this function has an unbounded cost, and using it as part of a state-changing function may render the function * uncallable if the set grows to a point where copying to memory consumes too much gas to fit in a block. */ function values(UintSet storage set) internal view returns (uint256[] memory) { bytes32[] memory store = _values(set._inner); uint256[] memory result; /// @solidity memory-safe-assembly assembly { result := store } return result; } }
// 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 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) (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 (last updated v4.6.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 overridden 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 internal 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 overridden should call `super._beforeFallback()`. */ function _beforeFallback() internal virtual {} }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol) pragma solidity ^0.8.0; /** * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612]. * * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't * need to send a transaction, and thus is not required to hold Ether at all. */ interface IERC20Permit { /** * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens, * given ``owner``'s signed approval. * * IMPORTANT: The same issues {IERC20-approve} has related to transaction * ordering also apply here. * * Emits an {Approval} event. * * Requirements: * * - `spender` cannot be the zero address. * - `deadline` must be a timestamp in the future. * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner` * over the EIP712-formatted function arguments. * - the signature must use ``owner``'s current nonce (see {nonces}). * * For more information on the signature format, see the * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP * section]. */ function permit( address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s ) external; /** * @dev Returns the current nonce for `owner`. This value must be * included whenever a signature is generated for {permit}. * * Every successful call to {permit} increases ``owner``'s nonce by one. This * prevents a signature from being used multiple times. */ function nonces(address owner) external view returns (uint256); /** * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}. */ // solhint-disable-next-line func-name-mixedcase function DOMAIN_SEPARATOR() external view returns (bytes32); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol) pragma solidity ^0.8.0; /** * @dev Interface of the ERC20 standard as defined in the EIP. */ interface IERC20 { /** * @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); /** * @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 `to`. * * Returns a boolean value indicating whether the operation succeeded. * * Emits a {Transfer} event. */ function transfer(address to, 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 `from` to `to` 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 from, address to, uint256 amount ) external returns (bool); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/utils/SafeERC20.sol) pragma solidity ^0.8.0; import "../IERC20.sol"; import "../extensions/draft-IERC20Permit.sol"; import "../../../utils/Address.sol"; /** * @title SafeERC20 * @dev Wrappers around ERC20 operations that throw on failure (when the token * contract returns false). Tokens that return no value (and instead revert or * throw on failure) are also supported, non-reverting calls are assumed to be * successful. * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract, * which allows you to call the safe operations as `token.safeTransfer(...)`, etc. */ library SafeERC20 { using Address for address; function safeTransfer( IERC20 token, address to, uint256 value ) internal { _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value)); } function safeTransferFrom( IERC20 token, address from, address to, uint256 value ) internal { _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value)); } /** * @dev Deprecated. This function has issues similar to the ones found in * {IERC20-approve}, and its usage is discouraged. * * Whenever possible, use {safeIncreaseAllowance} and * {safeDecreaseAllowance} instead. */ function safeApprove( IERC20 token, address spender, uint256 value ) internal { // safeApprove should only be called when setting an initial allowance, // or when resetting it to zero. To increase and decrease it, use // 'safeIncreaseAllowance' and 'safeDecreaseAllowance' require( (value == 0) || (token.allowance(address(this), spender) == 0), "SafeERC20: approve from non-zero to non-zero allowance" ); _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value)); } function safeIncreaseAllowance( IERC20 token, address spender, uint256 value ) internal { uint256 newAllowance = token.allowance(address(this), spender) + value; _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance)); } function safeDecreaseAllowance( IERC20 token, address spender, uint256 value ) internal { unchecked { uint256 oldAllowance = token.allowance(address(this), spender); require(oldAllowance >= value, "SafeERC20: decreased allowance below zero"); uint256 newAllowance = oldAllowance - value; _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance)); } } function safePermit( IERC20Permit token, address owner, address spender, uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s ) internal { uint256 nonceBefore = token.nonces(owner); token.permit(owner, spender, value, deadline, v, r, s); uint256 nonceAfter = token.nonces(owner); require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed"); } /** * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement * on the return value: the return value is optional (but if data is returned, it must not be false). * @param token The token targeted by the call. * @param data The call data (encoded using abi.encode or one of its variants). */ function _callOptionalReturn(IERC20 token, bytes memory data) private { // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that // the target address contains contract code and also asserts for success in the low-level call. bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed"); if (returndata.length > 0) { // Return data is optional require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed"); } } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.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 /// @solidity memory-safe-assembly assembly { let returndata_size := mload(returndata) revert(add(32, returndata), returndata_size) } } else { revert(errorMessage); } } } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (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) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `BooleanSlot` with member `value` located at `slot`. */ function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `Bytes32Slot` with member `value` located at `slot`. */ function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `Uint256Slot` with member `value` located at `slot`. */ function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 import "./Messages.sol"; pragma solidity >=0.6.9 <0.9.0; /// @notice Delay buffer and delay threshold settings /// @param threshold The maximum amount of blocks that a message is expected to be delayed /// @param max The maximum buffer in blocks /// @param replenishRateInBasis The amount to replenish the buffer per block in basis points. struct BufferConfig { uint64 threshold; uint64 max; uint64 replenishRateInBasis; } /// @notice The delay buffer data. /// @param bufferBlocks The buffer in blocks. /// @param max The maximum buffer in blocks /// @param threshold The maximum amount of blocks that a message is expected to be delayed /// @param prevBlockNumber The blocknumber of the last included delay message. /// @param replenishRateInBasis The amount to replenish the buffer per block in basis points. /// @param prevSequencedBlockNumber The blocknumber when last included delay message was sequenced. struct BufferData { uint64 bufferBlocks; uint64 max; uint64 threshold; uint64 prevBlockNumber; uint64 replenishRateInBasis; uint64 prevSequencedBlockNumber; } struct DelayProof { bytes32 beforeDelayedAcc; Messages.Message delayedMessage; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/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 { /// @dev This is an instruction to offchain readers to inform them where to look /// for sequencer inbox batch data. This is not the type of data (eg. das, brotli encoded, or blob versioned hash) /// and this enum is not used in the state transition function, rather it informs an offchain /// reader where to find the data so that they can supply it to the replay binary enum BatchDataLocation { /// @notice The data can be found in the transaction call data TxInput, /// @notice The data can be found in an event emitted during the transaction SeparateBatchEvent, /// @notice This batch contains no data NoData, /// @notice The data can be found in the 4844 data blobs on this transaction Blob } struct TimeBounds { uint64 minTimestamp; uint64 maxTimestamp; uint64 minBlockNumber; uint64 maxBlockNumber; } 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); event RollupUpdated(address rollup); 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); 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; function updateRollupAddress( IOwnable _rollup ) external; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/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); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/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"; import "./ISequencerInbox.sol"; interface IInboxBase is IDelayedMessageProvider { function bridge() external view returns (IBridge); function sequencerInbox() external view returns (ISequencerInbox); function maxDataSize() external view returns (uint256); /** * @notice Send a generic L2 message to the chain * @dev This method is an optimization to avoid having to emit the entirety of the messageData in a log. Instead validators are expected to be able to parse the data from the transaction's input * @param messageData Data of the message being sent */ function sendL2MessageFromOrigin( bytes calldata messageData ) external returns (uint256); /** * @notice Send a generic L2 message to the chain * @dev This method can be used to send any type of message that doesn't require L1 validation * @param messageData Data of the message being sent */ 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); /** * @notice Get the L1 fee for submitting a retryable * @dev This fee can be paid by funds already in the L2 aliased address or by the current message value * @dev This formula may change in the future, to future proof your code query this method instead of inlining!! * @param dataLength The length of the retryable's calldata, in bytes * @param baseFee The block basefee when the retryable is included in the chain, if 0 current block.basefee will be used */ function calculateRetryableSubmissionFee( uint256 dataLength, uint256 baseFee ) external view returns (uint256); // ---------- onlyRollupOrOwner functions ---------- /// @notice pauses all inbox functionality function pause() external; /// @notice unpauses all inbox functionality function unpause() external; /// @notice add or remove users from allowList function setAllowList(address[] memory user, bool[] memory val) external; /// @notice enable or disable allowList function setAllowListEnabled( bool _allowListEnabled ) external; /// @notice check if user is in allowList function isAllowed( address user ) external view returns (bool); /// @notice check if allowList is enabled function allowListEnabled() external view returns (bool); function initialize(IBridge _bridge, ISequencerInbox _sequencerInbox) external; /// @notice returns the current admin function getProxyAdmin() external view returns (address); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // solhint-disable-next-line compiler-version pragma solidity >=0.6.9 <0.9.0; import "./IBridge.sol"; interface IOutbox { event SendRootUpdated(bytes32 indexed outputRoot, bytes32 indexed l2BlockHash); event OutBoxTransactionExecuted( address indexed to, address indexed l2Sender, uint256 indexed zero, uint256 transactionIndex ); function initialize( IBridge _bridge ) external; function rollup() external view returns (address); // the rollup contract function bridge() external view returns (IBridge); // the bridge contract function spent( uint256 ) external view returns (bytes32); // packed spent bitmap function roots( bytes32 ) external view returns (bytes32); // maps root hashes => L2 block hash // solhint-disable-next-line func-name-mixedcase function OUTBOX_VERSION() external view returns (uint128); // the outbox version function updateSendRoot(bytes32 sendRoot, bytes32 l2BlockHash) external; function updateRollupAddress() external; /// @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 returns (address); /// @return l2Block return L2 block when the L2 tx was initiated or 0 if no L2 to L1 transaction is active function l2ToL1Block() external view returns (uint256); /// @return l1Block return L1 block when the L2 tx was initiated or 0 if no L2 to L1 transaction is active function l2ToL1EthBlock() external view returns (uint256); /// @return timestamp return L2 timestamp when the L2 tx was initiated or 0 if no L2 to L1 transaction is active function l2ToL1Timestamp() external view returns (uint256); /// @return outputId returns the unique output identifier of the L2 to L1 tx or 0 if no L2 to L1 transaction is active function l2ToL1OutputId() external view returns (bytes32); /** * @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. * @dev it is not possible to execute any L2-to-L1 transaction which contains data * to a contract address without any code (as enforced by the Bridge contract). * @param proof Merkle proof of message inclusion in send root * @param index Merkle path to message * @param l2Sender sender if original message (i.e., caller of ArbSys.sendTxToL1) * @param to 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 value wei in L1 message * @param data abi-encoded L1 message data */ function executeTransaction( bytes32[] calldata proof, uint256 index, address l2Sender, address to, uint256 l2Block, uint256 l1Block, uint256 l2Timestamp, uint256 value, bytes calldata data ) external; /** * @dev function used to simulate the result of a particular function call from the outbox * it is useful for things such as gas estimates. This function includes all costs except for * proof validation (which can be considered offchain as a somewhat of a fixed cost - it's * not really a fixed cost, but can be treated as so with a fixed overhead for gas estimation). * We can't include the cost of proof validation since this is intended to be used to simulate txs * that are included in yet-to-be confirmed merkle roots. The simulation entrypoint could instead pretend * to confirm a pending merkle root, but that would be less practical for integrating with tooling. * It is only possible to trigger it when the msg sender is address zero, which should be impossible * unless under simulation in an eth_call or eth_estimateGas */ function executeTransactionSimulation( uint256 index, address l2Sender, address to, uint256 l2Block, uint256 l1Block, uint256 l2Timestamp, uint256 value, bytes calldata data ) external; /** * @param index Merkle path to message * @return true if the message has been spent */ function isSpent( uint256 index ) external view returns (bool); function calculateItemHash( address l2Sender, address to, uint256 l2Block, uint256 l1Block, uint256 l2Timestamp, uint256 value, bytes calldata data ) external pure returns (bytes32); function calculateMerkleRoot( bytes32[] memory proof, uint256 path, bytes32 item ) external pure returns (bytes32); /** * @dev function to be called one time during the outbox upgrade process * this is used to fix the storage slots */ function postUpgradeInit() external; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/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/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // solhint-disable-next-line compiler-version pragma solidity >=0.6.9 <0.9.0; pragma experimental ABIEncoderV2; import "../libraries/IGasRefunder.sol"; import "./IDelayedMessageProvider.sol"; import "./IBridge.sol"; import "./Messages.sol"; import "./DelayBufferTypes.sol"; interface ISequencerInbox is IDelayedMessageProvider { /// @notice The maximum amount of time variatin between a message being posted on the L1 and being executed on the L2 /// @param delayBlocks The max amount of blocks in the past that a message can be received on L2 /// @param futureBlocks The max amount of blocks in the future that a message can be received on L2 /// @param delaySeconds The max amount of seconds in the past that a message can be received on L2 /// @param futureSeconds The max amount of seconds in the future that a message can be received on L2 struct MaxTimeVariation { uint256 delayBlocks; uint256 futureBlocks; uint256 delaySeconds; uint256 futureSeconds; } event SequencerBatchDelivered( uint256 indexed batchSequenceNumber, bytes32 indexed beforeAcc, bytes32 indexed afterAcc, bytes32 delayedAcc, uint256 afterDelayedMessagesRead, IBridge.TimeBounds timeBounds, IBridge.BatchDataLocation dataLocation ); event OwnerFunctionCalled(uint256 indexed id); /// @dev a separate event that emits batch data when this isn't easily accessible in the tx.input event SequencerBatchData(uint256 indexed batchSequenceNumber, bytes data); /// @dev a valid keyset was added event SetValidKeyset(bytes32 indexed keysetHash, bytes keysetBytes); /// @dev a keyset was invalidated event InvalidateKeyset(bytes32 indexed keysetHash); /// @dev Owner set max time variation. /// This event may have been introduced in an upgrade and therefore might not give the full history. /// To get the full history, search for `OwnerFunctionCalled(0)` events. event MaxTimeVariationSet(MaxTimeVariation maxTimeVariation); /// @dev Owner set a batch poster. /// This event may have been introduced in an upgrade and therefore might not give the full history. /// To get the full history, search for `OwnerFunctionCalled(1)` events. event BatchPosterSet(address batchPoster, bool isBatchPoster); /// @dev Owner or batch poster manager set a sequencer. /// This event may have been introduced in an upgrade and therefore might not give the full history. /// To get the full history, search for `OwnerFunctionCalled(4)` events. event SequencerSet(address addr, bool isSequencer); /// @dev Owner set the batch poster manager. /// This event may have been introduced in an upgrade and therefore might not give the full history. /// To get the full history, search for `OwnerFunctionCalled(5)` events. event BatchPosterManagerSet(address newBatchPosterManager); /// @dev Owner set the buffer config. event BufferConfigSet(BufferConfig bufferConfig); function totalDelayedMessagesRead() external view returns (uint256); function bridge() external view returns (IBridge); /// @dev The size of the batch header // solhint-disable-next-line func-name-mixedcase function HEADER_LENGTH() external view returns (uint256); /// @dev If the first batch data byte after the header has this bit set, /// the sequencer inbox has authenticated the data. Currently only used for 4844 blob support. /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function DATA_AUTHENTICATED_FLAG() external view returns (bytes1); /// @dev If the first data byte after the header has this bit set, /// then the batch data is to be found in 4844 data blobs /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function DATA_BLOB_HEADER_FLAG() external view returns (bytes1); /// @dev If the first data byte after the header has this bit set, /// then the batch data is a das message /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function DAS_MESSAGE_HEADER_FLAG() external view returns (bytes1); /// @dev If the first data byte after the header has this bit set, /// then the batch data is a das message that employs a merklesization strategy /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function TREE_DAS_MESSAGE_HEADER_FLAG() external view returns (bytes1); /// @dev If the first data byte after the header has this bit set, /// then the batch data has been brotli compressed /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function BROTLI_MESSAGE_HEADER_FLAG() external view returns (bytes1); /// @dev If the first data byte after the header has this bit set, /// then the batch data uses a zero heavy encoding /// See: https://github.com/OffchainLabs/nitro/blob/69de0603abf6f900a4128cab7933df60cad54ded/arbstate/das_reader.go // solhint-disable-next-line func-name-mixedcase function ZERO_HEAVY_MESSAGE_HEADER_FLAG() external view returns (bytes1); function rollup() external view returns (IOwnable); function isBatchPoster( address ) external view returns (bool); function isSequencer( address ) external view returns (bool); /// @notice True is the sequencer inbox is delay bufferable function isDelayBufferable() external view returns (bool); function maxDataSize() external view returns (uint256); /// @notice The batch poster manager has the ability to change the batch poster addresses /// This enables the batch poster to do key rotation function batchPosterManager() external view returns (address); struct DasKeySetInfo { bool isValidKeyset; uint64 creationBlock; } /// @dev returns 4 uint256 to be compatible with older version function maxTimeVariation() external view returns ( uint256 delayBlocks, uint256 futureBlocks, uint256 delaySeconds, uint256 futureSeconds ); function dasKeySetInfo( bytes32 ) external view returns (bool, uint64); /// @notice Remove force inclusion delay after a L1 chainId fork function removeDelayAfterFork() external; /// @notice Force messages from the delayed inbox to be included in the chain /// Callable by any address, but message can only be force-included after maxTimeVariation.delayBlocks /// has elapsed. As part of normal behaviour the sequencer will include these /// messages so it's only necessary to call this if the sequencer is down, or not including any delayed messages. /// @param _totalDelayedMessagesRead The total number of messages to read up to /// @param kind The kind of the last message to be included /// @param l1BlockAndTime The l1 block and the l1 timestamp of the last message to be included /// @param baseFeeL1 The l1 gas price of the last message to be included /// @param sender The sender of the last message to be included /// @param messageDataHash The messageDataHash of the last message to be included function forceInclusion( uint256 _totalDelayedMessagesRead, uint8 kind, uint64[2] calldata l1BlockAndTime, uint256 baseFeeL1, address sender, bytes32 messageDataHash ) external; function inboxAccs( uint256 index ) external view returns (bytes32); function batchCount() external view returns (uint256); function isValidKeysetHash( bytes32 ksHash ) external view returns (bool); /// @notice the creation block is intended to still be available after a keyset is deleted function getKeysetCreationBlock( bytes32 ksHash ) external view returns (uint256); /// @dev The delay buffer can change due to pending depletion/replenishment. /// This function applies pending buffer changes to proactively calculate the force inclusion deadline. /// This is only relevant when the buffer is less than the delayBlocks (unhappy case), otherwise force inclusion deadline is fixed at delayBlocks. /// @notice Calculates the upper bounds of the delay buffer /// @param blockNumber The block number when a delayed message was created /// @return blockNumberDeadline The block number at when the message can be force included function forceInclusionDeadline( uint64 blockNumber ) external view returns (uint64 blockNumberDeadline); // ---------- BatchPoster functions ---------- /// @dev Deprecated, kept for abi generation and will be removed in the future function addSequencerL2BatchFromOrigin( uint256 sequenceNumber, bytes calldata data, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder ) external; /// @dev Will be deprecated due to EIP-3074, use `addSequencerL2Batch` instead function addSequencerL2BatchFromOrigin( uint256 sequenceNumber, bytes calldata data, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount ) external; function addSequencerL2Batch( uint256 sequenceNumber, bytes calldata data, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount ) external; function addSequencerL2BatchFromBlobs( uint256 sequenceNumber, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount ) external; /// @dev Proves message delays, updates delay buffers, and posts an L2 batch with blob data. /// DelayProof proves the delay of the message and syncs the delay buffer. function addSequencerL2BatchFromBlobsDelayProof( uint256 sequenceNumber, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount, DelayProof calldata delayProof ) external; /// @dev Proves message delays, updates delay buffers, and posts an L2 batch with calldata posted from an EOA. /// DelayProof proves the delay of the message and syncs the delay buffer. /// Will be deprecated due to EIP-3074, use `addSequencerL2BatchDelayProof` instead function addSequencerL2BatchFromOriginDelayProof( uint256 sequenceNumber, bytes calldata data, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount, DelayProof calldata delayProof ) external; /// @dev Proves message delays, updates delay buffers, and posts an L2 batch with calldata. /// delayProof is used to prove the delay of the message and syncs the delay buffer. function addSequencerL2BatchDelayProof( uint256 sequenceNumber, bytes calldata data, uint256 afterDelayedMessagesRead, IGasRefunder gasRefunder, uint256 prevMessageCount, uint256 newMessageCount, DelayProof calldata delayProof ) external; // ---------- onlyRollupOrOwner functions ---------- /** * @notice Set max delay for sequencer inbox * @param maxTimeVariation_ the maximum time variation parameters */ function setMaxTimeVariation( MaxTimeVariation memory maxTimeVariation_ ) external; /** * @notice Updates whether an address is authorized to be a batch poster at the sequencer inbox * @param addr the address * @param isBatchPoster_ if the specified address should be authorized as a batch poster */ function setIsBatchPoster(address addr, bool isBatchPoster_) external; /** * @notice Makes Data Availability Service keyset valid * @param keysetBytes bytes of the serialized keyset */ function setValidKeyset( bytes calldata keysetBytes ) external; /** * @notice Invalidates a Data Availability Service keyset * @param ksHash hash of the keyset */ function invalidateKeysetHash( bytes32 ksHash ) external; /** * @notice Updates whether an address is authorized to be a sequencer. * @dev The IsSequencer information is used only off-chain by the nitro node to validate sequencer feed signer. * @param addr the address * @param isSequencer_ if the specified address should be authorized as a sequencer */ function setIsSequencer(address addr, bool isSequencer_) external; /** * @notice Updates the batch poster manager, the address which has the ability to rotate batch poster keys * @param newBatchPosterManager The new batch poster manager to be set */ function setBatchPosterManager( address newBatchPosterManager ) external; /// @notice Allows the rollup owner to sync the rollup address function updateRollupAddress() external; // ---------- initializer ---------- function initialize( IBridge bridge_, MaxTimeVariation calldata maxTimeVariation_, BufferConfig calldata bufferConfig_ ) external; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // solhint-disable-next-line compiler-version pragma solidity >=0.6.9 <0.9.0; pragma experimental ABIEncoderV2; library Messages { struct Message { uint8 kind; address sender; uint64 blockNumber; uint64 timestamp; uint256 inboxSeqNum; uint256 baseFeeL1; bytes32 messageDataHash; } function messageHash( Message memory message ) internal pure returns (bytes32) { return messageHash( message.kind, message.sender, message.blockNumber, message.timestamp, message.inboxSeqNum, message.baseFeeL1, message.messageDataHash ); } 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)); } /// @dev Validates a delayed accumulator preimage /// @param delayedAcc The delayed accumulator to validate against /// @param beforeDelayedAcc The previous delayed accumulator /// @param message The message to validate function isValidDelayedAccPreimage( bytes32 delayedAcc, bytes32 beforeDelayedAcc, Message memory message ) internal pure returns (bool) { return delayedAcc == accumulateInboxMessage(beforeDelayedAcc, messageHash(message)); } }
// Copyright 2023, Offchain Labs, Inc. // For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // pragma solidity ^0.8.0; import "../bridge/IBridge.sol"; import "../osp/IOneStepProofEntry.sol"; import "../rollup/Assertion.sol"; /// @title Assertion chain interface /// @notice The interface required by the EdgeChallengeManager for requesting assertion data from the AssertionChain interface IAssertionChain { function bridge() external view returns (IBridge); function validateAssertionHash( bytes32 assertionHash, AssertionState calldata state, bytes32 prevAssertionHash, bytes32 inboxAcc ) external view; function validateConfig(bytes32 assertionHash, ConfigData calldata configData) external view; function getFirstChildCreationBlock( bytes32 assertionHash ) external view returns (uint64); function getSecondChildCreationBlock( bytes32 assertionHash ) external view returns (uint64); function isFirstChild( bytes32 assertionHash ) external view returns (bool); function isPending( bytes32 assertionHash ) external view returns (bool); function isValidator( address ) external view returns (bool); function getValidators() external view returns (address[] memory); function validatorWhitelistDisabled() external view returns (bool); }
// Copyright 2023, Offchain Labs, Inc. // For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // pragma solidity ^0.8.0; import "./IAssertionChain.sol"; import "./libraries/Structs.sol"; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; /// @title EdgeChallengeManager interface interface IEdgeChallengeManager { /// @notice Initialize the EdgeChallengeManager. EdgeChallengeManagers are upgradeable /// so use the initializer paradigm /// @param _assertionChain The assertion chain contract /// @param _challengePeriodBlocks The amount of cumulative time an edge must spend unrivaled before it can be confirmed /// This should be the censorship period + the cumulative amount of time needed to do any /// offchain calculation. We currently estimate around 10 mins for each layer zero edge and 1 /// one minute for each other edge. /// @param _oneStepProofEntry The one step proof logic /// @param layerZeroBlockEdgeHeight The end height of layer zero edges of type Block /// @param layerZeroBigStepEdgeHeight The end height of layer zero edges of type BigStep /// @param layerZeroSmallStepEdgeHeight The end height of layer zero edges of type SmallStep /// @param _stakeToken The token that stake will be provided in when creating zero layer block edges /// @param _excessStakeReceiver The address that excess stake will be sent to when 2nd+ block edge is created /// @param _numBigStepLevel The number of bigstep levels /// @param _stakeAmounts The stake amount for each level. (first element is for block level) function initialize( IAssertionChain _assertionChain, uint64 _challengePeriodBlocks, IOneStepProofEntry _oneStepProofEntry, uint256 layerZeroBlockEdgeHeight, uint256 layerZeroBigStepEdgeHeight, uint256 layerZeroSmallStepEdgeHeight, IERC20 _stakeToken, address _excessStakeReceiver, uint8 _numBigStepLevel, uint256[] calldata _stakeAmounts ) external; function stakeToken() external view returns (IERC20); function stakeAmounts( uint256 ) external view returns (uint256); function challengePeriodBlocks() external view returns (uint64); /// @notice The one step proof resolver used to decide between rival SmallStep edges of length 1 function oneStepProofEntry() external view returns (IOneStepProofEntry); /// @notice Performs necessary checks and creates a new layer zero edge /// @param args Edge creation args function createLayerZeroEdge( CreateEdgeArgs calldata args ) external returns (bytes32); /// @notice Bisect an edge. This creates two child edges: /// lowerChild: has the same start root and height as this edge, but a different end root and height /// upperChild: has the same end root and height as this edge, but a different start root and height /// The lower child end root and height are equal to the upper child start root and height. This height /// is the mandatoryBisectionHeight. /// The lower child may already exist, however it's not possible for the upper child to exist as that would /// mean that the edge has already been bisected /// @param edgeId Edge to bisect /// @param bisectionHistoryRoot The new history root to be used in the lower and upper children /// @param prefixProof A proof to show that the bisectionHistoryRoot commits to a prefix of the current endHistoryRoot /// @return lowerChildId The id of the newly created lower child edge /// @return upperChildId The id of the newly created upper child edge function bisectEdge( bytes32 edgeId, bytes32 bisectionHistoryRoot, bytes calldata prefixProof ) external returns (bytes32, bytes32); /// @notice An edge can be confirmed if the total amount of time it and a single chain of its direct ancestors /// has spent unrivaled is greater than the challenge period. /// @dev Edges inherit time from their parents, so the sum of unrivaled timers is compared against the threshold. /// Given that an edge cannot become unrivaled after becoming rivaled, once the threshold is passed /// it will always remain passed. The direct ancestors of an edge are linked by parent-child links for edges /// of the same level, and claimId-edgeId links for zero layer edges that claim an edge in the level below. /// This method also includes the amount of time the assertion being claimed spent without a sibling /// @param edgeId The id of the edge to confirm function confirmEdgeByTime( bytes32 edgeId, AssertionStateData calldata claimStateData ) external; /// @notice Update multiple edges' timer cache by their children. Equivalent to calling updateTimerCacheByChildren for each edge. /// May update timer cache above maximum if the last edge's timer cache was below maximumCachedTime. /// Revert when the last edge's timer cache is already equal to or above maximumCachedTime. /// @param edgeIds The ids of the edges to update /// @param maximumCachedTime The maximum amount of cached time allowed on the last edge (β∗) function multiUpdateTimeCacheByChildren( bytes32[] calldata edgeIds, uint256 maximumCachedTime ) external; /// @notice Update an edge's timer cache by its children. /// Sets the edge's timer cache to its timeUnrivaled + (minimum timer cache of its children). /// May update timer cache above maximum if the last edge's timer cache was below maximumCachedTime. /// Revert when the edge's timer cache is already equal to or above maximumCachedTime. /// @param edgeId The id of the edge to update /// @param maximumCachedTime The maximum amount of cached time allowed on the edge (β∗) function updateTimerCacheByChildren(bytes32 edgeId, uint256 maximumCachedTime) external; /// @notice Given a one step fork edge and an edge with matching claim id, /// set the one step fork edge's timer cache to its timeUnrivaled + claiming edge's timer cache. /// May update timer cache above maximum if the last edge's timer cache was below maximumCachedTime. /// Revert when the edge's timer cache is already equal to or above maximumCachedTime. /// @param edgeId The id of the edge to update /// @param claimingEdgeId The id of the edge which has a claimId equal to edgeId /// @param maximumCachedTime The maximum amount of cached time allowed on the edge (β∗) function updateTimerCacheByClaim( bytes32 edgeId, bytes32 claimingEdgeId, uint256 maximumCachedTime ) external; /// @notice Confirm an edge by executing a one step proof /// @dev One step proofs can only be executed against edges that have length one and of type SmallStep /// @param edgeId The id of the edge to confirm /// @param oneStepData Input data to the one step proof /// @param prevConfig Data about the config set in prev /// @param beforeHistoryInclusionProof Proof that the state which is the start of the edge is committed to by the startHistoryRoot /// @param afterHistoryInclusionProof Proof that the state which is the end of the edge is committed to by the endHistoryRoot function confirmEdgeByOneStepProof( bytes32 edgeId, OneStepData calldata oneStepData, ConfigData calldata prevConfig, bytes32[] calldata beforeHistoryInclusionProof, bytes32[] calldata afterHistoryInclusionProof ) external; /// @notice When zero layer block edges are created a stake is also provided /// The stake on this edge can be refunded if the edge is confirme function refundStake( bytes32 edgeId ) external; /// @notice Zero layer edges have to be a fixed height. /// This function returns the end height for a given edge type function getLayerZeroEndHeight( EdgeType eType ) external view returns (uint256); /// @notice Calculate the unique id of an edge /// @param level The level of the edge /// @param originId The origin id of the edge /// @param startHeight The start height of the edge /// @param startHistoryRoot The start history root of the edge /// @param endHeight The end height of the edge /// @param endHistoryRoot The end history root of the edge function calculateEdgeId( uint8 level, bytes32 originId, uint256 startHeight, bytes32 startHistoryRoot, uint256 endHeight, bytes32 endHistoryRoot ) external pure returns (bytes32); /// @notice Calculate the mutual id of the edge /// Edges that are rivals share the same mutual id /// @param level The level of the edge /// @param originId The origin id of the edge /// @param startHeight The start height of the edge /// @param startHistoryRoot The start history root of the edge /// @param endHeight The end height of the edge function calculateMutualId( uint8 level, bytes32 originId, uint256 startHeight, bytes32 startHistoryRoot, uint256 endHeight ) external pure returns (bytes32); /// @notice Has the edge already been stored in the manager function edgeExists( bytes32 edgeId ) external view returns (bool); /// @notice Get full edge data for an edge function getEdge( bytes32 edgeId ) external view returns (ChallengeEdge memory); /// @notice The length of the edge, from start height to end height function edgeLength( bytes32 edgeId ) external view returns (uint256); /// @notice Does this edge currently have one or more rivals /// Rival edges share the same mutual id function hasRival( bytes32 edgeId ) external view returns (bool); /// @notice The confirmed rival of this mutual id /// Returns 0 if one does not exist function confirmedRival( bytes32 mutualId ) external view returns (bytes32); /// @notice Does the edge have at least one rival, and it has length one function hasLengthOneRival( bytes32 edgeId ) external view returns (bool); /// @notice The amount of time this edge has spent without rivals /// This value is increasing whilst an edge is unrivaled, once a rival is created /// it is fixed. If an edge has rivals from the moment it is created then it will have /// a zero time unrivaled function timeUnrivaled( bytes32 edgeId ) external view returns (uint256); /// @notice Get the id of the prev assertion that this edge is originates from /// @dev Uses the parent chain to traverse upwards SmallStep->BigStep->Block->Assertion /// until it gets to the origin assertion function getPrevAssertionHash( bytes32 edgeId ) external view returns (bytes32); /// @notice Fetch the raw first rival record for the given mutual id /// @dev Returns 0 if there is no edge with the given mutual id /// Returns a magic value if there is one edge but it is unrivaled /// Returns the id of the second edge created with the mutual id, if > 1 exists function firstRival( bytes32 mutualId ) external view returns (bytes32); /// @notice True if an account has made a layer zero edge with the given mutual id. /// This is only tracked when the validator whitelist is enabled function hasMadeLayerZeroRival( address account, bytes32 mutualId ) external view returns (bool); }
// Copyright 2023, Offchain Labs, Inc. // For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // pragma solidity ^0.8.17; /// @notice The status of the edge /// - Pending: Yet to be confirmed. Not all edges can be confirmed. /// - Confirmed: Once confirmed it cannot transition back to pending enum EdgeStatus { Pending, Confirmed } /// @notice The type of the edge. Challenges are decomposed into 3 types of subchallenge /// represented here by the edge type. Edges are initially created of type Block /// and are then bisected until they have length one. After that new BigStep edges are /// added that claim a Block type edge, and are then bisected until they have length one. /// Then a SmallStep edge is added that claims a length one BigStep edge, and these /// SmallStep edges are bisected until they reach length one. A length one small step edge /// can then be directly executed using a one-step proof. enum EdgeType { Block, BigStep, SmallStep }
// Copyright 2023, Offchain Labs, Inc. // For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // pragma solidity ^0.8.0; import "./Enums.sol"; import "../../rollup/AssertionState.sol"; /// @notice An execution state and proof to show that it's valid struct AssertionStateData { /// @notice An execution state AssertionState assertionState; /// @notice assertion Hash of the prev assertion bytes32 prevAssertionHash; /// @notice Inbox accumulator of the assertion bytes32 inboxAcc; } /// @notice Data for creating a layer zero edge struct CreateEdgeArgs { /// @notice The level of edge to be created. Challenges are decomposed into multiple levels. /// The first (level 0) being of type Block, followed by n (set by NUM_BIGSTEP_LEVEL) levels of type BigStep, and finally /// followed by a single level of type SmallStep. Each level is bisected until an edge /// of length one is reached before proceeding to the next level. The first edge in each level (the layer zero edge) /// makes a claim about an assertion or assertion in the lower level. /// Finally in the last level, a SmallStep edge is added that claims a lower level length one BigStep edge, and these /// SmallStep edges are bisected until they reach length one. A length one small step edge /// can then be directly executed using a one-step proof. uint8 level; /// @notice The end history root of the edge to be created bytes32 endHistoryRoot; /// @notice The end height of the edge to be created. /// @dev End height is deterministic for different levels but supplying it here gives the /// caller a bit of extra security that they are supplying data for the correct level of edge uint256 endHeight; /// @notice The edge, or assertion, that is being claimed correct by the newly created edge. bytes32 claimId; /// @notice Proof that the start history root commits to a prefix of the states that /// end history root commits to bytes prefixProof; /// @notice Edge type specific data /// For Block type edges this is the abi encoding of: /// bytes32[]: Inclusion proof - proof to show that the end state is the last state in the end history root /// AssertionStateData: the before state of the edge /// AssertionStateData: the after state of the edge /// bytes32 predecessorId: id of the prev assertion /// bytes32 inboxAcc: the inbox accumulator of the assertion /// For BigStep and SmallStep edges this is the abi encoding of: /// bytes32: Start state - first state the edge commits to /// bytes32: End state - last state the edge commits to /// bytes32[]: Claim start inclusion proof - proof to show the start state is the first state in the claim edge /// bytes32[]: Claim end inclusion proof - proof to show the end state is the last state in the claim edge /// bytes32[]: Inclusion proof - proof to show that the end state is the last state in the end history root bytes proof; } /// @notice Data parsed raw proof data struct ProofData { /// @notice The first state being committed to by an edge bytes32 startState; /// @notice The last state being committed to by an edge bytes32 endState; /// @notice A proof that the end state is included in the edge bytes32[] inclusionProof; } /// @notice Stores all edges and their rival status struct EdgeStore { /// @notice A mapping of edge id to edges. Edges are never deleted, only created, and potentially confirmed. mapping(bytes32 => ChallengeEdge) edges; /// @notice A mapping of mutualId to edge id. Rivals share the same mutual id, and here we /// store the edge id of the second edge that was created with the same mutual id - the first rival /// When only one edge exists for a specific mutual id then a special magic string hash is stored instead /// of the first rival id, to signify that a single edge does exist with this mutual id mapping(bytes32 => bytes32) firstRivals; /// @notice A mapping of mutualId to the edge id of the confirmed rival with that mutualId /// @dev Each group of rivals (edges sharing mutual id) can only have at most one confirmed edge mapping(bytes32 => bytes32) confirmedRivals; /// @notice A mapping of account -> mutualId -> bool indicating if the account has created a layer zero edge with a mutual id mapping(address => mapping(bytes32 => bool)) hasMadeLayerZeroRival; } /// @notice Input data to a one step proof struct OneStepData { /// @notice The hash of the state that's being executed from bytes32 beforeHash; /// @notice Proof data to accompany the execution context bytes proof; } /// @notice Data about a recently added edge struct EdgeAddedData { bytes32 edgeId; bytes32 mutualId; bytes32 originId; bytes32 claimId; uint256 length; uint8 level; bool hasRival; bool isLayerZero; } /// @notice Data about an assertion that is being claimed by an edge /// @dev This extra information that is needed in order to verify that a block edge can be created struct AssertionReferenceData { /// @notice The id of the assertion - will be used in a sanity check bytes32 assertionHash; /// @notice The predecessor of the assertion bytes32 predecessorId; /// @notice Is the assertion pending bool isPending; /// @notice Does the assertion have a sibling bool hasSibling; /// @notice The execution state of the predecessor assertion AssertionState startState; /// @notice The execution state of the assertion being claimed AssertionState endState; } /// @notice An edge committing to a range of states. These edges will be bisected, slowly /// reducing them in length until they reach length one. At that point new edges of a different /// level will be added that claim the result of this edge, or a one step proof will be calculated /// if the edge level is already of type SmallStep. struct ChallengeEdge { /// @notice The origin id is a link from the edge to an edge or assertion at a lower level. /// Intuitively all edges with the same origin id agree on the information committed to in the origin id /// For a SmallStep edge the origin id is the 'mutual' id of the length one BigStep edge being claimed by the zero layer ancestors of this edge /// For a BigStep edge the origin id is the 'mutual' id of the length one Block edge being claimed by the zero layer ancestors of this edge /// For a Block edge the origin id is the assertion hash of the assertion that is the root of the challenge - all edges in this challenge agree /// that that assertion hash is valid. /// The purpose of the origin id is to ensure that only edges that agree on a common start position /// are being compared against one another. bytes32 originId; /// @notice A root of all the states in the history up to the startHeight bytes32 startHistoryRoot; /// @notice The height of the start history root uint256 startHeight; /// @notice A root of all the states in the history up to the endHeight. Since endHeight > startHeight, the startHistoryRoot must /// commit to a prefix of the states committed to by the endHistoryRoot bytes32 endHistoryRoot; /// @notice The height of the end history root uint256 endHeight; /// @notice Edges can be bisected into two children. If this edge has been bisected the id of the /// lower child is populated here, until that time this value is 0. The lower child has startHistoryRoot and startHeight /// equal to this edge, but endHistoryRoot and endHeight equal to some prefix of the endHistoryRoot of this edge bytes32 lowerChildId; /// @notice Edges can be bisected into two children. If this edge has been bisected the id of the /// upper child is populated here, until that time this value is 0. The upper child has startHistoryRoot and startHeight /// equal to some prefix of the endHistoryRoot of this edge, and endHistoryRoot and endHeight equal to this edge bytes32 upperChildId; /// @notice The edge or assertion in the upper level that this edge claims to be true. /// Only populated on zero layer edges bytes32 claimId; /// @notice The entity that supplied a mini-stake accompanying this edge /// Only populated on zero layer edges address staker; /// @notice The block number when this edge was created uint64 createdAtBlock; /// @notice The block number at which this edge was confirmed /// Zero if not confirmed uint64 confirmedAtBlock; /// @notice Current status of this edge. All edges are created Pending, and may be updated to Confirmed /// Once Confirmed they cannot transition back to Pending EdgeStatus status; /// @notice The level of this edge. /// Level 0 is type Block /// Last level (defined by NUM_BIGSTEP_LEVEL + 1) is type SmallStep /// All levels in between are of type BigStep uint8 level; /// @notice Set to true when the staker has been refunded. Can only be set to true if the status is Confirmed /// and the staker is non zero. bool refunded; /// @notice TODO uint64 totalTimeUnrivaledCache; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "@openzeppelin/contracts/proxy/Proxy.sol"; import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol"; import "@openzeppelin/contracts/utils/Address.sol"; import "@openzeppelin/contracts/utils/StorageSlot.sol"; /// @notice An extension to OZ's ERC1967Upgrade implementation to support two logic contracts abstract contract DoubleLogicERC1967Upgrade is ERC1967Upgrade { // This is the keccak-256 hash of "eip1967.proxy.implementation.secondary" subtracted by 1 bytes32 internal constant _IMPLEMENTATION_SECONDARY_SLOT = 0x2b1dbce74324248c222f0ec2d5ed7bd323cfc425b336f0253c5ccfda7265546d; // This is the keccak-256 hash of "eip1967.proxy.rollback.secondary" subtracted by 1 bytes32 private constant _ROLLBACK_SECONDARY_SLOT = 0x49bd798cd84788856140a4cd5030756b4d08a9e4d55db725ec195f232d262a89; /** * @dev Emitted when the secondary implementation is upgraded. */ event UpgradedSecondary(address indexed implementation); /** * @dev Returns the current secondary implementation address. */ function _getSecondaryImplementation() internal view returns (address) { return StorageSlot.getAddressSlot(_IMPLEMENTATION_SECONDARY_SLOT).value; } /** * @dev Stores a new address in the EIP1967 implementation slot. */ function _setSecondaryImplementation( address newImplementation ) private { require( Address.isContract(newImplementation), "ERC1967: new secondary implementation is not a contract" ); StorageSlot.getAddressSlot(_IMPLEMENTATION_SECONDARY_SLOT).value = newImplementation; } /** * @dev Perform secondary implementation upgrade * * Emits an {UpgradedSecondary} event. */ function _upgradeSecondaryTo( address newImplementation ) internal { _setSecondaryImplementation(newImplementation); emit UpgradedSecondary(newImplementation); } /** * @dev Perform secondary implementation upgrade with additional setup call. * * Emits an {UpgradedSecondary} event. */ function _upgradeSecondaryToAndCall( address newImplementation, bytes memory data, bool forceCall ) internal { _upgradeSecondaryTo(newImplementation); if (data.length > 0 || forceCall) { Address.functionDelegateCall(newImplementation, data); } } /** * @dev Perform secondary implementation upgrade with security checks for UUPS proxies, and additional setup call. * * Emits an {UpgradedSecondary} event. */ function _upgradeSecondaryToAndCallUUPS( 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_SECONDARY_SLOT).value) { _setSecondaryImplementation(newImplementation); } else { try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) { require( slot == _IMPLEMENTATION_SECONDARY_SLOT, "ERC1967Upgrade: unsupported secondary proxiableUUID" ); } catch { revert("ERC1967Upgrade: new secondary implementation is not UUPS"); } _upgradeSecondaryToAndCall(newImplementation, data, forceCall); } } } /// @notice similar to TransparentUpgradeableProxy but allows the admin to fallback to a separate logic contract using DoubleLogicERC1967Upgrade /// @dev this follows the UUPS pattern for upgradeability - read more at https://github.com/OpenZeppelin/openzeppelin-contracts/tree/v4.5.0/contracts/proxy#transparent-vs-uups-proxies contract AdminFallbackProxy is Proxy, DoubleLogicERC1967Upgrade { /** * @dev Initializes the upgradeable proxy with an initial implementation specified by `adminLogic` and a secondary * logic implementation specified by `userLogic` * * Only the `adminAddr` is able to use the `adminLogic` functions * All other addresses can interact with the `userLogic` functions */ function _initialize( address adminLogic, bytes memory adminData, address userLogic, bytes memory userData, address adminAddr ) internal { assert(_ADMIN_SLOT == bytes32(uint256(keccak256("eip1967.proxy.admin")) - 1)); assert( _IMPLEMENTATION_SLOT == bytes32(uint256(keccak256("eip1967.proxy.implementation")) - 1) ); assert( _IMPLEMENTATION_SECONDARY_SLOT == bytes32(uint256(keccak256("eip1967.proxy.implementation.secondary")) - 1) ); _changeAdmin(adminAddr); _upgradeToAndCall(adminLogic, adminData, false); _upgradeSecondaryToAndCall(userLogic, userData, false); } /// @inheritdoc Proxy function _implementation() internal view override returns (address) { require(msg.data.length >= 4, "NO_FUNC_SIG"); // if the sender is the proxy's admin, delegate to admin logic // if the admin is disabled, all calls will be forwarded to user logic // admin affordances can be disabled by setting to a no-op smart contract // since there is a check for contract code before updating the value address target = _getAdmin() != msg.sender ? DoubleLogicERC1967Upgrade._getSecondaryImplementation() : ERC1967Upgrade._getImplementation(); // implementation setters do an existence check, but we protect against selfdestructs this way require(Address.isContract(target), "TARGET_NOT_CONTRACT"); return target; } /** * @dev unlike transparent upgradeable proxies, this does allow the admin to fallback to a logic contract * the admin is expected to interact only with the primary logic contract, which handles contract * upgrades using the UUPS approach */ function _beforeFallback() internal override { super._beforeFallback(); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "../precompiles/ArbSys.sol"; library ArbitrumChecker { function runningOnArbitrum() internal view returns (bool) { (bool ok, bytes memory data) = address(100).staticcall(abi.encodeWithSelector(ArbSys.arbOSVersion.selector)); return ok && data.length == 32; } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 // solhint-disable-next-line compiler-version pragma solidity >=0.6.9 <0.9.0; interface IGasRefunder { function onGasSpent( address payable spender, uint256 gasUsed, uint256 calldataSize ) external returns (bool success); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.5.0) (proxy/utils/UUPSUpgradeable.sol) pragma solidity ^0.8.0; import "@openzeppelin/contracts/interfaces/draft-IERC1822.sol"; import {DoubleLogicERC1967Upgrade} from "./AdminFallbackProxy.sol"; /** * @dev UUPSUpgradeable by OpenZeppelin but not upgradeable. This is expected to be used on the secondary * logic slot behind a DoubleLogicERC1967Upgrade proxy */ abstract contract UUPSNotUpgradeable is IERC1822Proxiable, DoubleLogicERC1967Upgrade { /// @custom:oz-upgrades-unsafe-allow state-variable-immutable state-variable-assignment address private immutable __self = address(this); /** * @dev Check that the execution is being performed through a delegatecall call and that the execution context is * a proxy contract with an implementation (as defined in ERC1967) pointing to self. This should only be the case * for UUPS and transparent proxies that are using the current contract as their implementation. Execution of a * function through ERC1167 minimal proxies (clones) would not normally pass this test, but is not guaranteed to * fail. */ modifier onlyProxy() { require(address(this) != __self, "Function must be called through delegatecall"); require( _getSecondaryImplementation() == __self, "Function must be called through active proxy" ); _; } /** * @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, "UUPSNotUpgradeable: must not be called through delegatecall" ); _; } /** * @dev Implementation of the ERC1822 {proxiableUUID} function. This returns the storage slot used by the * implementation. It is used to validate that the this implementation remains valid after an upgrade. * * 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. This is guaranteed by the `notDelegated` modifier. */ function proxiableUUID() external view virtual override notDelegated returns (bytes32) { return _IMPLEMENTATION_SECONDARY_SLOT; } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./IOneStepProver.sol"; import "../state/Machine.sol"; library OneStepProofEntryLib { uint256 internal constant MAX_STEPS = 1 << 43; } struct ExecutionState { GlobalState globalState; MachineStatus machineStatus; } interface IOneStepProofEntry { function getStartMachineHash( bytes32 globalStateHash, bytes32 wasmModuleRoot ) external pure returns (bytes32); function proveOneStep( ExecutionContext calldata execCtx, uint256 machineStep, bytes32 beforeHash, bytes calldata proof ) external view returns (bytes32 afterHash); function getMachineHash( ExecutionState calldata execState ) external pure returns (bytes32); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "../state/Machine.sol"; import "../state/Module.sol"; import "../state/Instructions.sol"; import "../state/GlobalState.sol"; import "../bridge/ISequencerInbox.sol"; import "../bridge/IBridge.sol"; struct ExecutionContext { uint256 maxInboxMessagesRead; IBridge bridge; bytes32 initialWasmModuleRoot; } abstract contract IOneStepProver { function executeOneStep( ExecutionContext memory execCtx, Machine calldata mach, Module calldata mod, Instruction calldata instruction, bytes calldata proof ) external view virtual returns (Machine memory result, Module memory resultMod); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity >=0.4.21 <0.9.0; /** * @title System level functionality * @notice For use by contracts to interact with core L2-specific functionality. * Precompiled contract that exists in every Arbitrum chain at address(100), 0x0000000000000000000000000000000000000064. */ interface ArbSys { /** * @notice Get Arbitrum block number (distinct from L1 block number; Arbitrum genesis block has block number 0) * @return block number as int */ function arbBlockNumber() external view returns (uint256); /** * @notice Get Arbitrum block hash (reverts unless currentBlockNum-256 <= arbBlockNum < currentBlockNum) * @return block hash */ function arbBlockHash( uint256 arbBlockNum ) external view returns (bytes32); /** * @notice Gets the rollup's unique chain identifier * @return Chain identifier as int */ function arbChainID() external view returns (uint256); /** * @notice Get internal version number identifying an ArbOS build, this is `55 + nitroArbOS version number` * e.g. on ArbOS 31 this would return 86. This is the only function that have the 55 offset. * @return version number as int */ function arbOSVersion() external view returns (uint256); /** * @notice Returns 0 since Nitro has no concept of storage gas * @return uint 0 */ function getStorageGasAvailable() external view returns (uint256); /** * @notice (deprecated) check if current call is top level (meaning it was triggered by an EoA or a L1 contract) * @dev this call has been deprecated and may be removed in a future release * @return true if current execution frame is not a call by another L2 contract */ function isTopLevelCall() external view returns (bool); /** * @notice map L1 sender contract address to its L2 alias * @param sender sender address * @param unused argument no longer used * @return aliased sender address */ function mapL1SenderContractAddressToL2Alias( address sender, address unused ) external pure returns (address); /** * @notice check if the caller (of this caller of this) is an aliased L1 contract address * @return true iff the caller's address is an alias for an L1 contract address */ function wasMyCallersAddressAliased() external view returns (bool); /** * @notice return the address of the caller (of this caller of this), without applying L1 contract address aliasing * @return address of the caller's caller, without applying L1 contract address aliasing */ function myCallersAddressWithoutAliasing() external view returns (address); /** * @notice Send given amount of Eth to dest from sender. * This is a convenience function, which is equivalent to calling sendTxToL1 with empty data. * @param destination recipient address on L1 * @return unique identifier for this L2-to-L1 transaction. */ function withdrawEth( address destination ) external payable returns (uint256); /** * @notice Send a transaction to L1 * @dev it is not possible to execute on the L1 any L2-to-L1 transaction which contains data * to a contract address without any code (as enforced by the Bridge contract). * @param destination recipient address on L1 * @param data (optional) calldata for L1 contract call * @return a unique identifier for this L2-to-L1 transaction. */ function sendTxToL1( address destination, bytes calldata data ) external payable returns (uint256); /** * @notice Get send Merkle tree state * @return size number of sends in the history * @return root root hash of the send history * @return partials hashes of partial subtrees in the send history tree */ function sendMerkleTreeState() external view returns (uint256 size, bytes32 root, bytes32[] memory partials); /** * @notice creates a send txn from L2 to L1 * @param position = (level << 192) + leaf = (0 << 192) + leaf = leaf */ event L2ToL1Tx( address caller, address indexed destination, uint256 indexed hash, uint256 indexed position, uint256 arbBlockNum, uint256 ethBlockNum, uint256 timestamp, uint256 callvalue, bytes data ); /// @dev DEPRECATED in favour of the new L2ToL1Tx event above after the nitro upgrade event L2ToL1Transaction( address caller, address indexed destination, uint256 indexed uniqueId, uint256 indexed batchNumber, uint256 indexInBatch, uint256 arbBlockNum, uint256 ethBlockNum, uint256 timestamp, uint256 callvalue, bytes data ); /** * @notice logs a merkle branch for proof synthesis * @param reserved an index meant only to align the 4th index with L2ToL1Transaction's 4th event * @param hash the merkle hash * @param position = (level << 192) + leaf */ event SendMerkleUpdate( uint256 indexed reserved, bytes32 indexed hash, uint256 indexed position ); error InvalidBlockNumber(uint256 requested, uint256 current); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./AssertionState.sol"; enum AssertionStatus { // No assertion at this index NoAssertion, // Assertion is being computed Pending, // Assertion is confirmed Confirmed } struct AssertionNode { // This value starts at zero and is set to a value when the first child is created. After that it is constant until the assertion is destroyed or the owner destroys pending assertions uint64 firstChildBlock; // This value starts at zero and is set to a value when the second child is created. After that it is constant until the assertion is destroyed or the owner destroys pending assertions uint64 secondChildBlock; // The block number when this assertion was created uint64 createdAtBlock; // True if this assertion is the first child of its prev bool isFirstChild; // Status of the Assertion AssertionStatus status; // A hash of the context available at the time of this assertions creation. It should contain information that is not specific // to this assertion, but instead to the environment at the time of creation. This is necessary to store on the assertion // as this environment can change and we need to know what it was like at the time this assertion was created. An example // of this is the wasm module root which determines the state transition function on the L2. If the wasm module root // changes we need to know that previous assertions were made under a different root, so that we can understand that they // were valid at the time. So when resolving a challenge by one step, the edge challenge manager finds the wasm module root // that was recorded on the prev of the assertions being disputed and uses it to resolve the one step proof. bytes32 configHash; } struct BeforeStateData { // The assertion hash of the prev of the beforeState(prev) bytes32 prevPrevAssertionHash; // The sequencer inbox accumulator asserted by the beforeState(prev) bytes32 sequencerBatchAcc; // below are the components of config hash ConfigData configData; } struct AssertionInputs { // Additional data used to validate the before state BeforeStateData beforeStateData; AssertionState beforeState; AssertionState afterState; } struct ConfigData { bytes32 wasmModuleRoot; uint256 requiredStake; address challengeManager; uint64 confirmPeriodBlocks; uint64 nextInboxPosition; } /** * @notice Utility functions for Assertion */ library AssertionNodeLib { /** * @notice Initialize a Assertion */ function createAssertion( bool _isFirstChild, bytes32 _configHash ) internal view returns (AssertionNode memory) { AssertionNode memory assertion; assertion.createdAtBlock = uint64(block.number); assertion.isFirstChild = _isFirstChild; assertion.configHash = _configHash; assertion.status = AssertionStatus.Pending; return assertion; } /** * @notice Update child properties */ function childCreated( AssertionNode storage self ) internal { if (self.firstChildBlock == 0) { self.firstChildBlock = uint64(block.number); } else if (self.secondChildBlock == 0) { self.secondChildBlock = uint64(block.number); } } function requireExists( AssertionNode memory self ) internal pure { require(self.status != AssertionStatus.NoAssertion, "ASSERTION_NOT_EXIST"); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "../state/GlobalState.sol"; import "../state/Machine.sol"; import "../osp/IOneStepProofEntry.sol"; struct AssertionState { GlobalState globalState; MachineStatus machineStatus; bytes32 endHistoryRoot; } library AssertionStateLib { function toExecutionState( AssertionState memory state ) internal pure returns (ExecutionState memory) { return ExecutionState(state.globalState, state.machineStatus); } function hash( AssertionState memory state ) internal pure returns (bytes32) { return keccak256(abi.encode(state)); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./Assertion.sol"; import "../bridge/IBridge.sol"; import "../bridge/IOutbox.sol"; import "../bridge/IInboxBase.sol"; import "./IRollupEventInbox.sol"; import "../challengeV2/IEdgeChallengeManager.sol"; import "../challengeV2/IAssertionChain.sol"; interface IRollupCore is IAssertionChain { struct Staker { uint256 amountStaked; bytes32 latestStakedAssertion; uint64 index; bool isStaked; address withdrawalAddress; } event RollupInitialized(bytes32 machineHash, uint256 chainId); event AssertionCreated( bytes32 indexed assertionHash, bytes32 indexed parentAssertionHash, AssertionInputs assertion, bytes32 afterInboxBatchAcc, uint256 inboxMaxCount, bytes32 wasmModuleRoot, uint256 requiredStake, address challengeManager, uint64 confirmPeriodBlocks ); event AssertionConfirmed(bytes32 indexed assertionHash, bytes32 blockHash, bytes32 sendRoot); event RollupChallengeStarted( uint64 indexed challengeIndex, address asserter, address challenger, uint64 challengedAssertion ); event UserStakeUpdated( address indexed user, address indexed withdrawalAddress, uint256 initialBalance, uint256 finalBalance ); event UserWithdrawableFundsUpdated( address indexed user, uint256 initialBalance, uint256 finalBalance ); function confirmPeriodBlocks() external view returns (uint64); function validatorAfkBlocks() external view returns (uint64); function chainId() external view returns (uint256); function baseStake() external view returns (uint256); function wasmModuleRoot() external view returns (bytes32); function bridge() external view returns (IBridge); function sequencerInbox() external view returns (ISequencerInbox); function outbox() external view returns (IOutbox); function rollupEventInbox() external view returns (IRollupEventInbox); function challengeManager() external view returns (IEdgeChallengeManager); function loserStakeEscrow() external view returns (address); function stakeToken() external view returns (address); function minimumAssertionPeriod() external view returns (uint256); function genesisAssertionHash() external pure returns (bytes32); /** * @notice Get the Assertion for the given id. */ function getAssertion( bytes32 assertionHash ) external view returns (AssertionNode memory); /** * @notice Returns the block in which the given assertion was created for looking up its creation event. * Unlike the assertion's createdAtBlock field, this will be the ArbSys blockNumber if the host chain is an Arbitrum chain. * That means that the block number returned for this is usable for event queries. * This function will revert if the given assertion hash does not exist. * @dev This function is meant for internal use only and has no stability guarantees. */ function getAssertionCreationBlockForLogLookup( bytes32 assertionHash ) external view returns (uint256); /** * @notice Get the address of the staker at the given index * @param stakerNum Index of the staker * @return Address of the staker */ function getStakerAddress( uint64 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 assertion of the given staker * @param staker Staker address to lookup * @return Latest assertion staked of the staker */ function latestStakedAssertion( address staker ) external view returns (bytes32); /** * @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 withdrawal address of the given staker * @param staker Staker address to lookup * @return Withdrawal address of the staker */ function withdrawalAddress( address staker ) external view returns (address); /** * @notice Retrieves stored information about a requested staker * @param staker Staker address to retrieve * @return A structure with information about the requested staker */ function getStaker( address staker ) external view returns (Staker memory); /** * @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 Hash of the latest confirmed assertion function latestConfirmed() external view returns (bytes32); /// @return Number of active stakers currently staked function stakerCount() external view returns (uint64); }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "../bridge/IBridge.sol"; interface IRollupEventInbox { function bridge() external view returns (IBridge); function initialize( IBridge _bridge ) external; function rollup() external view returns (address); function updateRollupAddress() external; function rollupInitialized(uint256 chainId, string calldata chainConfig) external; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./IRollupCore.sol"; import "../bridge/ISequencerInbox.sol"; import "../bridge/IOutbox.sol"; import "../bridge/IOwnable.sol"; interface IRollupUser is IRollupCore, IOwnable { /// @dev the user logic just validated configuration and shouldn't write to state during init /// this allows the admin logic to ensure consistency on parameters. function initialize( address stakeToken ) external view; function removeWhitelistAfterFork() external; function removeWhitelistAfterValidatorAfk() external; function confirmAssertion( bytes32 assertionHash, bytes32 prevAssertionHash, AssertionState calldata confirmState, bytes32 winningEdgeId, ConfigData calldata prevConfig, bytes32 inboxAcc ) external; function stakeOnNewAssertion( AssertionInputs calldata assertion, bytes32 expectedAssertionHash ) external; function returnOldDeposit() external; function returnOldDepositFor( address stakerAddress ) external; function reduceDeposit( uint256 target ) external; function withdrawStakerFunds() external returns (uint256); function newStakeOnNewAssertion( uint256 tokenAmount, AssertionInputs calldata assertion, bytes32 expectedAssertionHash ) external; function newStakeOnNewAssertion( uint256 tokenAmount, AssertionInputs calldata assertion, bytes32 expectedAssertionHash, address withdrawalAddress ) external; function newStake(uint256 tokenAmount, address withdrawalAddress) external; function addToDeposit( address stakerAddress, address expectedWithdrawalAddress, uint256 tokenAmount ) external; }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "@openzeppelin/contracts-upgradeable/security/PausableUpgradeable.sol"; import "@openzeppelin/contracts-upgradeable/utils/structs/EnumerableSetUpgradeable.sol"; import "./Assertion.sol"; import "./RollupLib.sol"; import "./IRollupEventInbox.sol"; import "./IRollupCore.sol"; import "../state/Machine.sol"; import "../bridge/ISequencerInbox.sol"; import "../bridge/IBridge.sol"; import "../bridge/IOutbox.sol"; import "../challengeV2/IEdgeChallengeManager.sol"; import "../libraries/ArbitrumChecker.sol"; abstract contract RollupCore is IRollupCore, PausableUpgradeable { using AssertionNodeLib for AssertionNode; using GlobalStateLib for GlobalState; using EnumerableSetUpgradeable for EnumerableSetUpgradeable.AddressSet; // Rollup Config uint256 public chainId; // These 4 config should be stored into the prev and not used directly // An assertion can be confirmed after confirmPeriodBlocks when it is unchallenged uint64 public confirmPeriodBlocks; // The validator whitelist can be dropped permissionlessly once the last confirmed assertion or its first child is at least validatorAfkBlocks old uint64 public validatorAfkBlocks; // ------------------------------ // STAKING // ------------------------------ // Overall // ------------------------------ // In order to create a new assertion the validator creating it must be staked. Only one stake // is needed per consistent lineage of assertions, so additional stakes must be placed when // lineages diverge. // As an example, for the following chain only one stake would be locked up in the C assertion // A -- B -- C // However for the following chain 2 stakes would be locked up, in C and in D // A -- B -- C // \-- D // Since we know that only one assertion chain can be correct, we only need one stake available // to be refunded at any one time, and any more than one stake can be immediately confiscated. // So in the above situation although 2 stakes are not available to be withdrawn as they are locked // by C and D, only 1 stake needs to remain in the contract since one of the stakes will eventually // be confiscated anyway. // In practice, what we do here is increase the withdrawable amount of an escrow address that is // expected to be controlled by the rollup owner, whenever the lineage forks. // Moving stake // ------------------------------ // Since we only need one stake per lineage we can lock the stake of the validator that last extended that // lineage. All other stakes within that lineage are then free to be moved to other lineages, or be withdrawn. // Additionally, it's inconsistent for a validator to stake on two different lineages, and as a validator // should only need to have one stake in the system at any one time. // In order to create a new assertion a validator needs to have free stake. Since stake is freed from an assertion // when another assertion builds on it, we know that if the assertion that was last staked on by a validator // has children, then that validator has free stake. Likewise, if the last staked assertion does not have children // but it is the parent of the assertion the validator is trying to create, then we know that by the time the assertion // is created it will have children, so we can allow this condition as well. // Updating stake amount // ------------------------------ // The stake required to create an assertion can be updated by the rollup owner. A required stake value is stored on each // assertion, and shows how much stake is required to create the next assertion. Since we only store the last // assertion made by a validator, we don't know if it has previously staked on lower/higher amounts and // therefore offer partial withdrawals due to this difference. Instead we enforce that either all of the // validators stake is locked, or none of it. uint256 public baseStake; bytes32 public wasmModuleRoot; // When there is a challenge, we trust the challenge manager to determine the winner IEdgeChallengeManager public challengeManager; // If an assertion was challenged we leave an additional period after it could have completed // so that the result of a challenge is observable widely before it causes an assertion to be confirmed uint64 public challengeGracePeriodBlocks; IInboxBase public inbox; IBridge public bridge; IOutbox public outbox; IRollupEventInbox public rollupEventInbox; address public validatorWalletCreator; // only 1 child can be confirmed, the excess/loser stake will be sent to this address address public loserStakeEscrow; address public stakeToken; uint256 public minimumAssertionPeriod; EnumerableSetUpgradeable.AddressSet internal validators; bytes32 private _latestConfirmed; mapping(bytes32 => AssertionNode) private _assertions; address[] private _stakerList; mapping(address => Staker) public _stakerMap; mapping(address => uint256) private _withdrawableFunds; uint256 public totalWithdrawableFunds; uint256 public rollupDeploymentBlock; bool public validatorWhitelistDisabled; address public anyTrustFastConfirmer; // If the chain this RollupCore is deployed on is an Arbitrum chain. bool internal immutable _hostChainIsArbitrum = ArbitrumChecker.runningOnArbitrum(); // If the chain RollupCore is deployed on, this will contain the ArbSys.blockNumber() at each node's creation. mapping(bytes32 => uint256) internal _assertionCreatedAtArbSysBlock; function sequencerInbox() public view virtual returns (ISequencerInbox) { return ISequencerInbox(bridge.sequencerInbox()); } /** * @notice Get a storage reference to the Assertion for the given assertion hash * @dev The assertion may not exists * @param assertionHash Id of the assertion * @return Assertion struct */ function getAssertionStorage( bytes32 assertionHash ) internal view returns (AssertionNode storage) { require(assertionHash != bytes32(0), "ASSERTION_ID_CANNOT_BE_ZERO"); return _assertions[assertionHash]; } /** * @notice Get the Assertion for the given index. */ function getAssertion( bytes32 assertionHash ) public view override returns (AssertionNode memory) { return getAssertionStorage(assertionHash); } /** * @notice Returns the block in which the given assertion was created for looking up its creation event. * Unlike the assertion's createdAtBlock field, this will be the ArbSys blockNumber if the host chain is an Arbitrum chain. * That means that the block number returned for this is usable for event queries. * This function will revert if the given assertion hash does not exist. * @dev This function is meant for internal use only and has no stability guarantees. */ function getAssertionCreationBlockForLogLookup( bytes32 assertionHash ) external view override returns (uint256) { if (_hostChainIsArbitrum) { uint256 blockNum = _assertionCreatedAtArbSysBlock[assertionHash]; require(blockNum > 0, "NO_ASSERTION"); return blockNum; } else { AssertionNode storage assertion = getAssertionStorage(assertionHash); assertion.requireExists(); return assertion.createdAtBlock; } } /** * @notice Get the address of the staker at the given index * @param stakerNum Index of the staker * @return Address of the staker */ function getStakerAddress( uint64 stakerNum ) external 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 assertion of the given staker * @param staker Staker address to lookup * @return Latest assertion staked of the staker */ function latestStakedAssertion( address staker ) public view override returns (bytes32) { return _stakerMap[staker].latestStakedAssertion; } /** * @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 withdrawal address of the given staker * @param staker Staker address to lookup * @return Withdrawal address of the staker */ function withdrawalAddress( address staker ) public view override returns (address) { return _stakerMap[staker].withdrawalAddress; } /** * @notice Retrieves stored information about a requested staker * @param staker Staker address to retrieve * @return A structure with information about the requested staker */ function getStaker( address staker ) external view override returns (Staker memory) { return _stakerMap[staker]; } /** * @notice Get the amount of funds withdrawable by the given address * @param user Address to check the funds of * @return Amount of funds withdrawable by user */ function withdrawableFunds( address user ) external view override returns (uint256) { return _withdrawableFunds[user]; } /// @return Index of the latest confirmed assertion function latestConfirmed() public view override returns (bytes32) { return _latestConfirmed; } /// @return Number of active stakers currently staked function stakerCount() public view override returns (uint64) { return uint64(_stakerList.length); } /** * @notice Initialize the core with an initial assertion * @param initialAssertion Initial assertion to start the chain with */ function initializeCore( AssertionNode memory initialAssertion, bytes32 assertionHash ) internal { __Pausable_init(); initialAssertion.status = AssertionStatus.Confirmed; _assertions[assertionHash] = initialAssertion; _latestConfirmed = assertionHash; } /** * @dev This function will validate the parentAssertionHash, confirmState and inboxAcc against the assertionHash * and check if the assertionHash is currently pending. If all checks pass, the assertion will be confirmed. */ function confirmAssertionInternal( bytes32 assertionHash, bytes32 parentAssertionHash, AssertionState calldata confirmState, bytes32 inboxAcc ) internal { AssertionNode storage assertion = getAssertionStorage(assertionHash); // Check that assertion is pending, this also checks that assertion exists require(assertion.status == AssertionStatus.Pending, "NOT_PENDING"); // Authenticate data against assertionHash pre-image require( assertionHash == RollupLib.assertionHash({ parentAssertionHash: parentAssertionHash, afterState: confirmState, inboxAcc: inboxAcc }), "CONFIRM_DATA" ); bytes32 blockHash = confirmState.globalState.getBlockHash(); bytes32 sendRoot = confirmState.globalState.getSendRoot(); // trusted external call to outbox outbox.updateSendRoot(sendRoot, blockHash); _latestConfirmed = assertionHash; assertion.status = AssertionStatus.Confirmed; emit AssertionConfirmed(assertionHash, blockHash, sendRoot); } /** * @notice Create a new stake at latest confirmed assertion * @param stakerAddress Address of the new staker * @param depositAmount Stake amount of the new staker */ function createNewStake( address stakerAddress, uint256 depositAmount, address _withdrawalAddress ) internal { uint64 stakerIndex = uint64(_stakerList.length); _stakerList.push(stakerAddress); _stakerMap[stakerAddress] = Staker(depositAmount, _latestConfirmed, stakerIndex, true, _withdrawalAddress); emit UserStakeUpdated(stakerAddress, _withdrawalAddress, 0, depositAmount); } /** * @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 + amountAdded; staker.amountStaked = finalStaked; emit UserStakeUpdated(stakerAddress, staker.withdrawalAddress, 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]; address _withdrawalAddress = staker.withdrawalAddress; uint256 current = staker.amountStaked; require(target <= current, "TOO_LITTLE_STAKE"); uint256 amountWithdrawn = current - target; staker.amountStaked = target; increaseWithdrawableFunds(_withdrawalAddress, amountWithdrawn); emit UserStakeUpdated(stakerAddress, _withdrawalAddress, current, target); return amountWithdrawn; } /** * @notice Remove the given staker and return their stake * This should only be called when the staker is inactive * @param stakerAddress Address of the staker withdrawing their stake */ function withdrawStaker( address stakerAddress ) internal { Staker storage staker = _stakerMap[stakerAddress]; address _withdrawalAddress = staker.withdrawalAddress; uint256 initialStaked = staker.amountStaked; increaseWithdrawableFunds(_withdrawalAddress, initialStaked); deleteStaker(stakerAddress); emit UserStakeUpdated(stakerAddress, _withdrawalAddress, initialStaked, 0); } /** * @notice Clear the withdrawable funds for the given address * @param account Address of the account to remove funds from * @return Amount of funds removed from account */ function withdrawFunds( address account ) internal returns (uint256) { uint256 amount = _withdrawableFunds[account]; _withdrawableFunds[account] = 0; totalWithdrawableFunds -= amount; emit UserWithdrawableFundsUpdated(account, amount, 0); return amount; } /** * @notice Increase the withdrawable funds for the given address * @param account Address of the account to add withdrawable funds to */ function increaseWithdrawableFunds(address account, uint256 amount) internal { uint256 initialWithdrawable = _withdrawableFunds[account]; uint256 finalWithdrawable = initialWithdrawable + amount; _withdrawableFunds[account] = finalWithdrawable; totalWithdrawableFunds += amount; emit UserWithdrawableFundsUpdated(account, 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]; require(staker.isStaked, "NOT_STAKED"); uint64 stakerIndex = staker.index; _stakerList[stakerIndex] = _stakerList[_stakerList.length - 1]; _stakerMap[_stakerList[stakerIndex]].index = stakerIndex; _stakerList.pop(); delete _stakerMap[stakerAddress]; } function createNewAssertion( AssertionInputs calldata assertion, bytes32 prevAssertionHash, bytes32 expectedAssertionHash ) internal returns (bytes32 newAssertionHash, bool overflowAssertion) { // Validate the config hash RollupLib.validateConfigHash( assertion.beforeStateData.configData, getAssertionStorage(prevAssertionHash).configHash ); // reading inbox messages always terminates in either a finished or errored state // although the challenge protocol that any invalid terminal state will be proven incorrect // we can do a quick sanity check here require( assertion.afterState.machineStatus == MachineStatus.FINISHED || assertion.afterState.machineStatus == MachineStatus.ERRORED, "BAD_AFTER_STATUS" ); // validate the provided before state is correct by checking that it's part of the prev assertion hash require( RollupLib.assertionHash( assertion.beforeStateData.prevPrevAssertionHash, assertion.beforeState, assertion.beforeStateData.sequencerBatchAcc ) == prevAssertionHash, "INVALID_BEFORE_STATE" ); // The rollup cannot advance from an errored state // If it reaches an errored state it must be corrected by an administrator // This will involve updating the wasm root and creating an alternative assertion // that consumes the correct number of inbox messages, and correctly transitions to the // FINISHED state so that normal progress can continue require(assertion.beforeState.machineStatus == MachineStatus.FINISHED, "BAD_PREV_STATUS"); AssertionNode storage prevAssertion = getAssertionStorage(prevAssertionHash); // Required inbox position through which the next assertion (the one after this new assertion) must consume uint256 nextInboxPosition; bytes32 sequencerBatchAcc; { // This new assertion consumes the messages from prevInboxPosition to afterInboxPosition GlobalState calldata afterGS = assertion.afterState.globalState; GlobalState calldata beforeGS = assertion.beforeState.globalState; // there are 3 kinds of assertions that can be made. Assertions must be made when they fill the maximum number // of blocks, or when they process all messages up to prev.nextInboxPosition. When they fill the max // blocks, but dont manage to process all messages, we call this an "overflow" assertion. // 1. ERRORED assertion // The machine finished in an ERRORED state. This can happen with processing any // messages, or moving the position in the message. // 2. FINISHED assertion that did not overflow // The machine finished as normal, and fully processed all the messages up to prev.nextInboxPosition. // In this case the inbox position must equal prev.nextInboxPosition and position in message must be 0 // 3. FINISHED assertion that did overflow // The machine finished as normal, but didn't process all messages in the inbox. // The inbox can be anywhere between the previous assertion's position and the nextInboxPosition, exclusive. // All types of assertion must have inbox position in the range prev.inboxPosition <= x <= prev.nextInboxPosition require(afterGS.comparePositions(beforeGS) >= 0, "INBOX_BACKWARDS"); int256 afterStateCmpMaxInbox = afterGS.comparePositionsAgainstStartOfBatch( assertion.beforeStateData.configData.nextInboxPosition ); require(afterStateCmpMaxInbox <= 0, "INBOX_TOO_FAR"); if ( assertion.afterState.machineStatus != MachineStatus.ERRORED && afterStateCmpMaxInbox < 0 ) { // If we didn't reach the target next inbox position, this is an overflow assertion. overflowAssertion = true; // This shouldn't be necessary, but might as well constrain the assertion to be non-empty require(afterGS.comparePositions(beforeGS) > 0, "OVERFLOW_STANDSTILL"); } // Inbox position at the time of this assertion being created uint256 currentInboxPosition = bridge.sequencerMessageCount(); // Cannot read more messages than currently exist in the inbox require( afterGS.comparePositionsAgainstStartOfBatch(currentInboxPosition) <= 0, "INBOX_PAST_END" ); // under normal circumstances prev.nextInboxPosition is guaranteed to exist // because we populate it from bridge.sequencerMessageCount(). However, when // the inbox message count doesnt change we artificially increase it by 1 as explained below // in this case we need to ensure when the assertion is made the inbox messages are available // to ensure that a valid assertion can actually be made. require( assertion.beforeStateData.configData.nextInboxPosition <= currentInboxPosition, "INBOX_NOT_POPULATED" ); // The next assertion must consume all the messages that are currently found in the inbox uint256 afterInboxPosition = afterGS.getInboxPosition(); if (afterInboxPosition == currentInboxPosition) { // No new messages have been added to the inbox since the last assertion // In this case if we set the next inbox position to the current one we would be insisting that // the next assertion process no messages. So instead we increment the next inbox position to current // plus one, so that the next assertion will process exactly one message. // Thus, no assertion can be empty (except the genesis assertion, which is created // via a different codepath). nextInboxPosition = currentInboxPosition + 1; } else { nextInboxPosition = currentInboxPosition; } // only the genesis assertion processes no messages, and that assertion is created // when we initialize this contract. Therefore, all assertions created here should have a non // zero inbox position. require(afterInboxPosition != 0, "EMPTY_INBOX_COUNT"); // Fetch the inbox accumulator for this message count. Fetching this and checking against it // allows the assertion creator to ensure they're creating an assertion against the expected // inbox messages sequencerBatchAcc = bridge.sequencerInboxAccs(afterInboxPosition - 1); } newAssertionHash = RollupLib.assertionHash(prevAssertionHash, assertion.afterState, sequencerBatchAcc); // allow an assertion creator to ensure that they're creating their assertion against the expected state require( newAssertionHash == expectedAssertionHash || expectedAssertionHash == bytes32(0), "UNEXPECTED_ASSERTION_HASH" ); // the assertion hash is unique - it's only possible to have one correct assertion hash // per assertion. Therefore we can check if this assertion has already been made, and if so // we can revert require( getAssertionStorage(newAssertionHash).status == AssertionStatus.NoAssertion, "ASSERTION_SEEN" ); // state updates AssertionNode memory newAssertion = AssertionNodeLib.createAssertion( prevAssertion.firstChildBlock == 0, // assumes block 0 is impossible RollupLib.configHash({ wasmModuleRoot: wasmModuleRoot, requiredStake: baseStake, challengeManager: address(challengeManager), confirmPeriodBlocks: confirmPeriodBlocks, nextInboxPosition: uint64(nextInboxPosition) }) ); // Fetch a storage reference to prevAssertion since we copied our other one into memory // and we don't have enough stack available to keep to keep the previous storage reference around prevAssertion.childCreated(); _assertions[newAssertionHash] = newAssertion; emit AssertionCreated( newAssertionHash, prevAssertionHash, assertion, sequencerBatchAcc, nextInboxPosition, wasmModuleRoot, baseStake, address(challengeManager), confirmPeriodBlocks ); if (_hostChainIsArbitrum) { _assertionCreatedAtArbSysBlock[newAssertionHash] = ArbSys(address(100)).arbBlockNumber(); } } function genesisAssertionHash() external pure returns (bytes32) { GlobalState memory emptyGlobalState; AssertionState memory emptyAssertionState = AssertionState(emptyGlobalState, MachineStatus.FINISHED, bytes32(0)); bytes32 parentAssertionHash = bytes32(0); bytes32 inboxAcc = bytes32(0); return RollupLib.assertionHash({ parentAssertionHash: parentAssertionHash, afterState: emptyAssertionState, inboxAcc: inboxAcc }); } function getFirstChildCreationBlock( bytes32 assertionHash ) external view returns (uint64) { return getAssertionStorage(assertionHash).firstChildBlock; } function getSecondChildCreationBlock( bytes32 assertionHash ) external view returns (uint64) { return getAssertionStorage(assertionHash).secondChildBlock; } function validateAssertionHash( bytes32 assertionHash, AssertionState calldata state, bytes32 prevAssertionHash, bytes32 inboxAcc ) external pure { require( assertionHash == RollupLib.assertionHash(prevAssertionHash, state, inboxAcc), "INVALID_ASSERTION_HASH" ); } function validateConfig(bytes32 assertionHash, ConfigData calldata configData) external view { RollupLib.validateConfigHash(configData, getAssertionStorage(assertionHash).configHash); } function isFirstChild( bytes32 assertionHash ) external view returns (bool) { return getAssertionStorage(assertionHash).isFirstChild; } function isPending( bytes32 assertionHash ) external view returns (bool) { return getAssertionStorage(assertionHash).status == AssertionStatus.Pending; } function getValidators() external view returns (address[] memory) { return validators.values(); } function isValidator( address validator ) external view returns (bool) { return validators.contains(validator); } /** * @notice Verify that the given staker is not active * @param stakerAddress Address to check */ function requireInactiveStaker( address stakerAddress ) internal view { require(isStaked(stakerAddress), "NOT_STAKED"); // A staker is inactive if // a) their last staked assertion is the latest confirmed assertion // b) their last staked assertion have a child bytes32 lastestAssertion = latestStakedAssertion(stakerAddress); bool isLatestConfirmed = lastestAssertion == latestConfirmed(); bool haveChild = getAssertionStorage(lastestAssertion).firstChildBlock > 0; require(isLatestConfirmed || haveChild, "STAKE_ACTIVE"); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "../state/GlobalState.sol"; import "../bridge/ISequencerInbox.sol"; import "../bridge/IBridge.sol"; import "../bridge/IOutbox.sol"; import "../bridge/IInboxBase.sol"; import "./Assertion.sol"; import "./IRollupEventInbox.sol"; import "../challengeV2/IEdgeChallengeManager.sol"; library RollupLib { using GlobalStateLib for GlobalState; using AssertionStateLib for AssertionState; // The `assertionHash` contains all the information needed to determine an assertion's validity. // This helps protect validators against reorgs by letting them bind their assertion to the current chain state. function assertionHash( bytes32 parentAssertionHash, AssertionState memory afterState, bytes32 inboxAcc ) internal pure returns (bytes32) { // we can no longer have `hasSibling` in the assertion hash as it would allow identical assertions return assertionHash(parentAssertionHash, afterState.hash(), inboxAcc); } // Takes in a hash of the afterState instead of the afterState itself function assertionHash( bytes32 parentAssertionHash, bytes32 afterStateHash, bytes32 inboxAcc ) internal pure returns (bytes32) { // we can no longer have `hasSibling` in the assertion hash as it would allow identical assertions return keccak256(abi.encodePacked(parentAssertionHash, afterStateHash, inboxAcc)); } // All these should be emited in AssertionCreated event function configHash( bytes32 wasmModuleRoot, uint256 requiredStake, address challengeManager, uint64 confirmPeriodBlocks, uint64 nextInboxPosition ) internal pure returns (bytes32) { return keccak256( abi.encodePacked( wasmModuleRoot, requiredStake, challengeManager, confirmPeriodBlocks, nextInboxPosition ) ); } function validateConfigHash( ConfigData calldata configData, bytes32 _configHash ) internal pure { require( _configHash == configHash( configData.wasmModuleRoot, configData.requiredStake, configData.challengeManager, configData.confirmPeriodBlocks, configData.nextInboxPosition ), "CONFIG_HASH_MISMATCH" ); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; struct GlobalState { bytes32[2] bytes32Vals; uint64[2] u64Vals; } library GlobalStateLib { using GlobalStateLib for GlobalState; uint16 internal constant BYTES32_VALS_NUM = 2; uint16 internal constant U64_VALS_NUM = 2; function hash( GlobalState memory state ) internal pure returns (bytes32) { return keccak256( abi.encodePacked( "Global state:", state.bytes32Vals[0], state.bytes32Vals[1], state.u64Vals[0], state.u64Vals[1] ) ); } function getBlockHash( GlobalState memory state ) internal pure returns (bytes32) { return state.bytes32Vals[0]; } function getSendRoot( GlobalState memory state ) internal pure returns (bytes32) { return state.bytes32Vals[1]; } function getInboxPosition( GlobalState memory state ) internal pure returns (uint64) { return state.u64Vals[0]; } function getPositionInMessage( GlobalState memory state ) internal pure returns (uint64) { return state.u64Vals[1]; } function isEmpty( GlobalState calldata state ) internal pure returns (bool) { return ( state.bytes32Vals[0] == bytes32(0) && state.bytes32Vals[1] == bytes32(0) && state.u64Vals[0] == 0 && state.u64Vals[1] == 0 ); } function comparePositions( GlobalState calldata a, GlobalState calldata b ) internal pure returns (int256) { uint64 aPos = a.getInboxPosition(); uint64 bPos = b.getInboxPosition(); if (aPos < bPos) { return -1; } else if (aPos > bPos) { return 1; } else { uint64 aMsg = a.getPositionInMessage(); uint64 bMsg = b.getPositionInMessage(); if (aMsg < bMsg) { return -1; } else if (aMsg > bMsg) { return 1; } else { return 0; } } } function comparePositionsAgainstStartOfBatch( GlobalState calldata a, uint256 bPos ) internal pure returns (int256) { uint64 aPos = a.getInboxPosition(); if (aPos < bPos) { return -1; } else if (aPos > bPos) { return 1; } else { if (a.getPositionInMessage() > 0) { return 1; } else { return 0; } } } }
// Copyright 2021-2023, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; struct Instruction { uint16 opcode; uint256 argumentData; } library Instructions { uint16 internal constant UNREACHABLE = 0x00; uint16 internal constant NOP = 0x01; uint16 internal constant RETURN = 0x0F; uint16 internal constant CALL = 0x10; uint16 internal constant CALL_INDIRECT = 0x11; uint16 internal constant LOCAL_GET = 0x20; uint16 internal constant LOCAL_SET = 0x21; uint16 internal constant GLOBAL_GET = 0x23; uint16 internal constant GLOBAL_SET = 0x24; uint16 internal constant I32_LOAD = 0x28; uint16 internal constant I64_LOAD = 0x29; uint16 internal constant F32_LOAD = 0x2A; uint16 internal constant F64_LOAD = 0x2B; uint16 internal constant I32_LOAD8_S = 0x2C; uint16 internal constant I32_LOAD8_U = 0x2D; uint16 internal constant I32_LOAD16_S = 0x2E; uint16 internal constant I32_LOAD16_U = 0x2F; uint16 internal constant I64_LOAD8_S = 0x30; uint16 internal constant I64_LOAD8_U = 0x31; uint16 internal constant I64_LOAD16_S = 0x32; uint16 internal constant I64_LOAD16_U = 0x33; uint16 internal constant I64_LOAD32_S = 0x34; uint16 internal constant I64_LOAD32_U = 0x35; uint16 internal constant I32_STORE = 0x36; uint16 internal constant I64_STORE = 0x37; uint16 internal constant F32_STORE = 0x38; uint16 internal constant F64_STORE = 0x39; uint16 internal constant I32_STORE8 = 0x3A; uint16 internal constant I32_STORE16 = 0x3B; uint16 internal constant I64_STORE8 = 0x3C; uint16 internal constant I64_STORE16 = 0x3D; uint16 internal constant I64_STORE32 = 0x3E; uint16 internal constant MEMORY_SIZE = 0x3F; uint16 internal constant MEMORY_GROW = 0x40; uint16 internal constant DROP = 0x1A; uint16 internal constant SELECT = 0x1B; uint16 internal constant I32_CONST = 0x41; uint16 internal constant I64_CONST = 0x42; uint16 internal constant F32_CONST = 0x43; uint16 internal constant F64_CONST = 0x44; uint16 internal constant I32_EQZ = 0x45; uint16 internal constant I32_RELOP_BASE = 0x46; uint16 internal constant IRELOP_EQ = 0; uint16 internal constant IRELOP_NE = 1; uint16 internal constant IRELOP_LT_S = 2; uint16 internal constant IRELOP_LT_U = 3; uint16 internal constant IRELOP_GT_S = 4; uint16 internal constant IRELOP_GT_U = 5; uint16 internal constant IRELOP_LE_S = 6; uint16 internal constant IRELOP_LE_U = 7; uint16 internal constant IRELOP_GE_S = 8; uint16 internal constant IRELOP_GE_U = 9; uint16 internal constant IRELOP_LAST = IRELOP_GE_U; uint16 internal constant I64_EQZ = 0x50; uint16 internal constant I64_RELOP_BASE = 0x51; uint16 internal constant I32_UNOP_BASE = 0x67; uint16 internal constant IUNOP_CLZ = 0; uint16 internal constant IUNOP_CTZ = 1; uint16 internal constant IUNOP_POPCNT = 2; uint16 internal constant IUNOP_LAST = IUNOP_POPCNT; uint16 internal constant I32_ADD = 0x6A; uint16 internal constant I32_SUB = 0x6B; uint16 internal constant I32_MUL = 0x6C; uint16 internal constant I32_DIV_S = 0x6D; uint16 internal constant I32_DIV_U = 0x6E; uint16 internal constant I32_REM_S = 0x6F; uint16 internal constant I32_REM_U = 0x70; uint16 internal constant I32_AND = 0x71; uint16 internal constant I32_OR = 0x72; uint16 internal constant I32_XOR = 0x73; uint16 internal constant I32_SHL = 0x74; uint16 internal constant I32_SHR_S = 0x75; uint16 internal constant I32_SHR_U = 0x76; uint16 internal constant I32_ROTL = 0x77; uint16 internal constant I32_ROTR = 0x78; uint16 internal constant I64_UNOP_BASE = 0x79; uint16 internal constant I64_ADD = 0x7C; uint16 internal constant I64_SUB = 0x7D; uint16 internal constant I64_MUL = 0x7E; uint16 internal constant I64_DIV_S = 0x7F; uint16 internal constant I64_DIV_U = 0x80; uint16 internal constant I64_REM_S = 0x81; uint16 internal constant I64_REM_U = 0x82; uint16 internal constant I64_AND = 0x83; uint16 internal constant I64_OR = 0x84; uint16 internal constant I64_XOR = 0x85; uint16 internal constant I64_SHL = 0x86; uint16 internal constant I64_SHR_S = 0x87; uint16 internal constant I64_SHR_U = 0x88; uint16 internal constant I64_ROTL = 0x89; uint16 internal constant I64_ROTR = 0x8A; uint16 internal constant I32_WRAP_I64 = 0xA7; uint16 internal constant I64_EXTEND_I32_S = 0xAC; uint16 internal constant I64_EXTEND_I32_U = 0xAD; uint16 internal constant I32_REINTERPRET_F32 = 0xBC; uint16 internal constant I64_REINTERPRET_F64 = 0xBD; uint16 internal constant F32_REINTERPRET_I32 = 0xBE; uint16 internal constant F64_REINTERPRET_I64 = 0xBF; uint16 internal constant I32_EXTEND_8S = 0xC0; uint16 internal constant I32_EXTEND_16S = 0xC1; uint16 internal constant I64_EXTEND_8S = 0xC2; uint16 internal constant I64_EXTEND_16S = 0xC3; uint16 internal constant I64_EXTEND_32S = 0xC4; uint16 internal constant INIT_FRAME = 0x8002; uint16 internal constant ARBITRARY_JUMP = 0x8003; uint16 internal constant ARBITRARY_JUMP_IF = 0x8004; uint16 internal constant MOVE_FROM_STACK_TO_INTERNAL = 0x8005; uint16 internal constant MOVE_FROM_INTERNAL_TO_STACK = 0x8006; uint16 internal constant DUP = 0x8008; uint16 internal constant CROSS_MODULE_CALL = 0x8009; uint16 internal constant CALLER_MODULE_INTERNAL_CALL = 0x800A; uint16 internal constant CROSS_MODULE_FORWARD = 0x800B; uint16 internal constant CROSS_MODULE_INTERNAL_CALL = 0x800C; uint16 internal constant GET_GLOBAL_STATE_BYTES32 = 0x8010; uint16 internal constant SET_GLOBAL_STATE_BYTES32 = 0x8011; uint16 internal constant GET_GLOBAL_STATE_U64 = 0x8012; uint16 internal constant SET_GLOBAL_STATE_U64 = 0x8013; uint16 internal constant READ_PRE_IMAGE = 0x8020; uint16 internal constant READ_INBOX_MESSAGE = 0x8021; uint16 internal constant HALT_AND_SET_FINISHED = 0x8022; uint16 internal constant LINK_MODULE = 0x8023; uint16 internal constant UNLINK_MODULE = 0x8024; uint16 internal constant NEW_COTHREAD = 0x8030; uint16 internal constant POP_COTHREAD = 0x8031; uint16 internal constant SWITCH_COTHREAD = 0x8032; uint256 internal constant INBOX_INDEX_SEQUENCER = 0; uint256 internal constant INBOX_INDEX_DELAYED = 1; function hash( Instruction[] memory code ) internal pure returns (bytes32) { // To avoid quadratic expense, we declare a `bytes` early and populate its contents. bytes memory data = new bytes(13 + 1 + 34 * code.length); assembly { // Represents the string "Instructions:", which we place after the length word. mstore( add(data, 32), 0x496e737472756374696f6e733a00000000000000000000000000000000000000 ) } // write the instruction count uint256 offset = 13; data[offset] = bytes1(uint8(code.length)); offset++; // write each instruction for (uint256 i = 0; i < code.length; i++) { Instruction memory inst = code[i]; data[offset] = bytes1(uint8(inst.opcode >> 8)); data[offset + 1] = bytes1(uint8(inst.opcode)); offset += 2; uint256 argumentData = inst.argumentData; assembly { mstore(add(add(data, 32), offset), argumentData) } offset += 32; } return keccak256(data); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./ValueStack.sol"; import "./Instructions.sol"; import "./MultiStack.sol"; import "./StackFrame.sol"; enum MachineStatus { RUNNING, FINISHED, ERRORED } struct Machine { MachineStatus status; ValueStack valueStack; MultiStack valueMultiStack; ValueStack internalStack; StackFrameWindow frameStack; MultiStack frameMultiStack; bytes32 globalStateHash; uint32 moduleIdx; uint32 functionIdx; uint32 functionPc; bytes32 recoveryPc; bytes32 modulesRoot; } library MachineLib { using StackFrameLib for StackFrameWindow; using ValueStackLib for ValueStack; using MultiStackLib for MultiStack; bytes32 internal constant NO_RECOVERY_PC = ~bytes32(0); function hash( Machine memory mach ) internal pure returns (bytes32) { // Warning: the non-running hashes are replicated in Challenge if (mach.status == MachineStatus.RUNNING) { bytes32 valueMultiHash = mach.valueMultiStack.hash(mach.valueStack.hash(), mach.recoveryPc != NO_RECOVERY_PC); bytes32 frameMultiHash = mach.frameMultiStack.hash(mach.frameStack.hash(), mach.recoveryPc != NO_RECOVERY_PC); bytes memory preimage = abi.encodePacked( "Machine running:", valueMultiHash, mach.internalStack.hash(), frameMultiHash, mach.globalStateHash, mach.moduleIdx, mach.functionIdx, mach.functionPc, mach.recoveryPc, mach.modulesRoot ); return keccak256(preimage); } else if (mach.status == MachineStatus.FINISHED) { return keccak256(abi.encodePacked("Machine finished:", mach.globalStateHash)); } else if (mach.status == MachineStatus.ERRORED) { return keccak256(abi.encodePacked("Machine errored:", mach.globalStateHash)); } else { revert("BAD_MACH_STATUS"); } } function switchCoThreadStacks( Machine memory mach ) internal pure { bytes32 newActiveValue = mach.valueMultiStack.inactiveStackHash; bytes32 newActiveFrame = mach.frameMultiStack.inactiveStackHash; if ( newActiveFrame == MultiStackLib.NO_STACK_HASH || newActiveValue == MultiStackLib.NO_STACK_HASH ) { mach.status = MachineStatus.ERRORED; return; } mach.frameMultiStack.inactiveStackHash = mach.frameStack.hash(); mach.valueMultiStack.inactiveStackHash = mach.valueStack.hash(); mach.frameStack.overwrite(newActiveFrame); mach.valueStack.overwrite(newActiveValue); } function setPcFromData(Machine memory mach, uint256 data) internal pure returns (bool) { if (data >> 96 != 0) { return false; } mach.functionPc = uint32(data); mach.functionIdx = uint32(data >> 32); mach.moduleIdx = uint32(data >> 64); return true; } function setPcFromRecovery( Machine memory mach ) internal pure returns (bool) { if (!setPcFromData(mach, uint256(mach.recoveryPc))) { return false; } mach.recoveryPc = NO_RECOVERY_PC; return true; } function setRecoveryFromPc(Machine memory mach, uint32 offset) internal pure returns (bool) { if (mach.recoveryPc != NO_RECOVERY_PC) { return false; } uint256 result; result = uint256(mach.moduleIdx) << 64; result = result | (uint256(mach.functionIdx) << 32); result = result | uint256(mach.functionPc + offset - 1); mach.recoveryPc = bytes32(result); return true; } function setPc(Machine memory mach, Value memory pc) internal pure { if (pc.valueType == ValueType.REF_NULL) { mach.status = MachineStatus.ERRORED; return; } if (pc.valueType != ValueType.INTERNAL_REF) { mach.status = MachineStatus.ERRORED; return; } if (!setPcFromData(mach, pc.contents)) { mach.status = MachineStatus.ERRORED; return; } } }
// Copyright 2021-2023, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./ModuleMemoryCompact.sol"; struct Module { bytes32 globalsMerkleRoot; ModuleMemory moduleMemory; bytes32 tablesMerkleRoot; bytes32 functionsMerkleRoot; bytes32 extraHash; uint32 internalsOffset; } library ModuleLib { using ModuleMemoryCompactLib for ModuleMemory; function hash( Module memory mod ) internal pure returns (bytes32) { return keccak256( abi.encodePacked( "Module:", mod.globalsMerkleRoot, mod.moduleMemory.hash(), mod.tablesMerkleRoot, mod.functionsMerkleRoot, mod.extraHash, mod.internalsOffset ) ); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; struct ModuleMemory { uint64 size; uint64 maxSize; bytes32 merkleRoot; } library ModuleMemoryCompactLib { function hash( ModuleMemory memory mem ) internal pure returns (bytes32) { return keccak256(abi.encodePacked("Memory:", mem.size, mem.maxSize, mem.merkleRoot)); } }
// Copyright 2021-2024, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; struct MultiStack { bytes32 inactiveStackHash; // NO_STACK_HASH if no stack, 0 if empty stack bytes32 remainingHash; // 0 if less than 2 cothreads exist } library MultiStackLib { bytes32 internal constant NO_STACK_HASH = ~bytes32(0); function hash( MultiStack memory multi, bytes32 activeStackHash, bool cothread ) internal pure returns (bytes32) { require(activeStackHash != NO_STACK_HASH, "MULTISTACK_NOSTACK_ACTIVE"); if (cothread) { require(multi.inactiveStackHash != NO_STACK_HASH, "MULTISTACK_NOSTACK_MAIN"); return keccak256( abi.encodePacked( "multistack:", multi.inactiveStackHash, activeStackHash, multi.remainingHash ) ); } else { return keccak256( abi.encodePacked( "multistack:", activeStackHash, multi.inactiveStackHash, multi.remainingHash ) ); } } function setEmpty( MultiStack memory multi ) internal pure { multi.inactiveStackHash = NO_STACK_HASH; multi.remainingHash = 0; } function pushNew( MultiStack memory multi ) internal pure { if (multi.inactiveStackHash != NO_STACK_HASH) { multi.remainingHash = keccak256( abi.encodePacked("cothread:", multi.inactiveStackHash, multi.remainingHash) ); } multi.inactiveStackHash = 0; } }
// Copyright 2021-2023, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./Value.sol"; struct StackFrame { Value returnPc; bytes32 localsMerkleRoot; uint32 callerModule; uint32 callerModuleInternals; } struct StackFrameWindow { StackFrame[] proved; bytes32 remainingHash; } library StackFrameLib { using ValueLib for Value; function hash( StackFrame memory frame ) internal pure returns (bytes32) { return keccak256( abi.encodePacked( "Stack frame:", frame.returnPc.hash(), frame.localsMerkleRoot, frame.callerModule, frame.callerModuleInternals ) ); } function hash( StackFrameWindow memory window ) internal pure returns (bytes32 h) { h = window.remainingHash; for (uint256 i = 0; i < window.proved.length; i++) { h = keccak256(abi.encodePacked("Stack frame stack:", hash(window.proved[i]), h)); } } function peek( StackFrameWindow memory window ) internal pure returns (StackFrame memory) { require(window.proved.length == 1, "BAD_WINDOW_LENGTH"); return window.proved[0]; } function pop( StackFrameWindow memory window ) internal pure returns (StackFrame memory frame) { require(window.proved.length == 1, "BAD_WINDOW_LENGTH"); frame = window.proved[0]; window.proved = new StackFrame[](0); } function push(StackFrameWindow memory window, StackFrame memory frame) internal pure { StackFrame[] memory newProved = new StackFrame[](window.proved.length + 1); for (uint256 i = 0; i < window.proved.length; i++) { newProved[i] = window.proved[i]; } newProved[window.proved.length] = frame; window.proved = newProved; } function overwrite(StackFrameWindow memory window, bytes32 root) internal pure { window.remainingHash = root; delete window.proved; } }
// Copyright 2021-2023, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; enum ValueType { I32, I64, F32, F64, REF_NULL, FUNC_REF, INTERNAL_REF } struct Value { ValueType valueType; uint256 contents; } library ValueLib { function hash( Value memory val ) internal pure returns (bytes32) { return keccak256(abi.encodePacked("Value:", val.valueType, val.contents)); } function maxValueType() internal pure returns (ValueType) { return ValueType.INTERNAL_REF; } function assumeI32( Value memory val ) internal pure returns (uint32) { uint256 uintval = uint256(val.contents); require(val.valueType == ValueType.I32, "NOT_I32"); require(uintval < (1 << 32), "BAD_I32"); return uint32(uintval); } function assumeI64( Value memory val ) internal pure returns (uint64) { uint256 uintval = uint256(val.contents); require(val.valueType == ValueType.I64, "NOT_I64"); require(uintval < (1 << 64), "BAD_I64"); return uint64(uintval); } function newRefNull() internal pure returns (Value memory) { return Value({valueType: ValueType.REF_NULL, contents: 0}); } function newI32( uint32 x ) internal pure returns (Value memory) { return Value({valueType: ValueType.I32, contents: uint256(x)}); } function newI64( uint64 x ) internal pure returns (Value memory) { return Value({valueType: ValueType.I64, contents: uint256(x)}); } function newBoolean( bool x ) internal pure returns (Value memory) { if (x) { return newI32(uint32(1)); } else { return newI32(uint32(0)); } } function newPc( uint32 funcPc, uint32 func, uint32 module ) internal pure returns (Value memory) { uint256 data = 0; data |= funcPc; data |= uint256(func) << 32; data |= uint256(module) << 64; return Value({valueType: ValueType.INTERNAL_REF, contents: data}); } }
// Copyright 2021-2022, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./Value.sol"; struct ValueArray { Value[] inner; } library ValueArrayLib { function get(ValueArray memory arr, uint256 index) internal pure returns (Value memory) { return arr.inner[index]; } function set(ValueArray memory arr, uint256 index, Value memory val) internal pure { arr.inner[index] = val; } function length( ValueArray memory arr ) internal pure returns (uint256) { return arr.inner.length; } function push(ValueArray memory arr, Value memory val) internal pure { Value[] memory newInner = new Value[](arr.inner.length + 1); for (uint256 i = 0; i < arr.inner.length; i++) { newInner[i] = arr.inner[i]; } newInner[arr.inner.length] = val; arr.inner = newInner; } function pop( ValueArray memory arr ) internal pure returns (Value memory popped) { popped = arr.inner[arr.inner.length - 1]; Value[] memory newInner = new Value[](arr.inner.length - 1); for (uint256 i = 0; i < newInner.length; i++) { newInner[i] = arr.inner[i]; } arr.inner = newInner; } }
// Copyright 2021-2023, Offchain Labs, Inc. // For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE // SPDX-License-Identifier: BUSL-1.1 pragma solidity ^0.8.0; import "./Value.sol"; import "./ValueArray.sol"; struct ValueStack { ValueArray proved; bytes32 remainingHash; } library ValueStackLib { using ValueLib for Value; using ValueArrayLib for ValueArray; function hash( ValueStack memory stack ) internal pure returns (bytes32 h) { h = stack.remainingHash; uint256 len = stack.proved.length(); for (uint256 i = 0; i < len; i++) { h = keccak256(abi.encodePacked("Value stack:", stack.proved.get(i).hash(), h)); } } function peek( ValueStack memory stack ) internal pure returns (Value memory) { uint256 len = stack.proved.length(); return stack.proved.get(len - 1); } function pop( ValueStack memory stack ) internal pure returns (Value memory) { return stack.proved.pop(); } function push(ValueStack memory stack, Value memory val) internal pure { return stack.proved.push(val); } function overwrite(ValueStack memory stack, bytes32 root) internal pure { stack.remainingHash = root; delete stack.proved; } }
{ "optimizer": { "enabled": true, "runs": 20 }, "outputSelection": { "*": { "*": [ "evm.bytecode", "evm.deployedBytecode", "devdoc", "userdoc", "metadata", "abi" ] } }, "libraries": {} }
Contract Security Audit
- No Contract Security Audit Submitted- Submit Audit Here
Contract ABI
API[{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"previousAdmin","type":"address"},{"indexed":false,"internalType":"address","name":"newAdmin","type":"address"}],"name":"AdminChanged","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"sendRoot","type":"bytes32"}],"name":"AssertionConfirmed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"indexed":true,"internalType":"bytes32","name":"parentAssertionHash","type":"bytes32"},{"components":[{"components":[{"internalType":"bytes32","name":"prevPrevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"sequencerBatchAcc","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"internalType":"struct BeforeStateData","name":"beforeStateData","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"beforeState","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"afterState","type":"tuple"}],"indexed":false,"internalType":"struct AssertionInputs","name":"assertion","type":"tuple"},{"indexed":false,"internalType":"bytes32","name":"afterInboxBatchAcc","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"inboxMaxCount","type":"uint256"},{"indexed":false,"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"requiredStake","type":"uint256"},{"indexed":false,"internalType":"address","name":"challengeManager","type":"address"},{"indexed":false,"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"}],"name":"AssertionCreated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"beacon","type":"address"}],"name":"BeaconUpgraded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"version","type":"uint8"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint64","name":"challengeIndex","type":"uint64"},{"indexed":false,"internalType":"address","name":"asserter","type":"address"},{"indexed":false,"internalType":"address","name":"challenger","type":"address"},{"indexed":false,"internalType":"uint64","name":"challengedAssertion","type":"uint64"}],"name":"RollupChallengeStarted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"machineHash","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"chainId","type":"uint256"}],"name":"RollupInitialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"implementation","type":"address"}],"name":"Upgraded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"implementation","type":"address"}],"name":"UpgradedSecondary","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":true,"internalType":"address","name":"withdrawalAddress","type":"address"},{"indexed":false,"internalType":"uint256","name":"initialBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"finalBalance","type":"uint256"}],"name":"UserStakeUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"initialBalance","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"finalBalance","type":"uint256"}],"name":"UserWithdrawableFundsUpdated","type":"event"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"_stakerMap","outputs":[{"internalType":"uint256","name":"amountStaked","type":"uint256"},{"internalType":"bytes32","name":"latestStakedAssertion","type":"bytes32"},{"internalType":"uint64","name":"index","type":"uint64"},{"internalType":"bool","name":"isStaked","type":"bool"},{"internalType":"address","name":"withdrawalAddress","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"stakerAddress","type":"address"},{"internalType":"address","name":"expectedWithdrawalAddress","type":"address"},{"internalType":"uint256","name":"tokenAmount","type":"uint256"}],"name":"addToDeposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"staker","type":"address"}],"name":"amountStaked","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"anyTrustFastConfirmer","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"baseStake","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"bridge","outputs":[{"internalType":"contract IBridge","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"chainId","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"challengeGracePeriodBlocks","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"challengeManager","outputs":[{"internalType":"contract IEdgeChallengeManager","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"prevAssertionHash","type":"bytes32"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"state","type":"tuple"},{"internalType":"bytes32","name":"inboxAcc","type":"bytes32"}],"name":"computeAssertionHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"internalType":"bytes32","name":"prevAssertionHash","type":"bytes32"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"confirmState","type":"tuple"},{"internalType":"bytes32","name":"winningEdgeId","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"prevConfig","type":"tuple"},{"internalType":"bytes32","name":"inboxAcc","type":"bytes32"}],"name":"confirmAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"confirmPeriodBlocks","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"internalType":"bytes32","name":"parentAssertionHash","type":"bytes32"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"confirmState","type":"tuple"},{"internalType":"bytes32","name":"inboxAcc","type":"bytes32"}],"name":"fastConfirmAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"components":[{"components":[{"internalType":"bytes32","name":"prevPrevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"sequencerBatchAcc","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"internalType":"struct BeforeStateData","name":"beforeStateData","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"beforeState","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"afterState","type":"tuple"}],"internalType":"struct AssertionInputs","name":"assertion","type":"tuple"},{"internalType":"bytes32","name":"expectedAssertionHash","type":"bytes32"}],"name":"fastConfirmNewAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"genesisAssertionHash","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"getAssertion","outputs":[{"components":[{"internalType":"uint64","name":"firstChildBlock","type":"uint64"},{"internalType":"uint64","name":"secondChildBlock","type":"uint64"},{"internalType":"uint64","name":"createdAtBlock","type":"uint64"},{"internalType":"bool","name":"isFirstChild","type":"bool"},{"internalType":"enum AssertionStatus","name":"status","type":"uint8"},{"internalType":"bytes32","name":"configHash","type":"bytes32"}],"internalType":"struct AssertionNode","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"getAssertionCreationBlockForLogLookup","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"getFirstChildCreationBlock","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"getSecondChildCreationBlock","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"staker","type":"address"}],"name":"getStaker","outputs":[{"components":[{"internalType":"uint256","name":"amountStaked","type":"uint256"},{"internalType":"bytes32","name":"latestStakedAssertion","type":"bytes32"},{"internalType":"uint64","name":"index","type":"uint64"},{"internalType":"bool","name":"isStaked","type":"bool"},{"internalType":"address","name":"withdrawalAddress","type":"address"}],"internalType":"struct IRollupCore.Staker","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"stakerNum","type":"uint64"}],"name":"getStakerAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getValidators","outputs":[{"internalType":"address[]","name":"","type":"address[]"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"inbox","outputs":[{"internalType":"contract IInboxBase","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_stakeToken","type":"address"}],"name":"initialize","outputs":[],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"isFirstChild","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"}],"name":"isPending","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"staker","type":"address"}],"name":"isStaked","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"validator","type":"address"}],"name":"isValidator","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"latestConfirmed","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"staker","type":"address"}],"name":"latestStakedAssertion","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"loserStakeEscrow","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"minimumAssertionPeriod","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"},{"internalType":"address","name":"_withdrawalAddress","type":"address"}],"name":"newStake","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"},{"components":[{"components":[{"internalType":"bytes32","name":"prevPrevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"sequencerBatchAcc","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"internalType":"struct BeforeStateData","name":"beforeStateData","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"beforeState","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"afterState","type":"tuple"}],"internalType":"struct AssertionInputs","name":"assertion","type":"tuple"},{"internalType":"bytes32","name":"expectedAssertionHash","type":"bytes32"},{"internalType":"address","name":"_withdrawalAddress","type":"address"}],"name":"newStakeOnNewAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"},{"components":[{"components":[{"internalType":"bytes32","name":"prevPrevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"sequencerBatchAcc","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"internalType":"struct BeforeStateData","name":"beforeStateData","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"beforeState","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"afterState","type":"tuple"}],"internalType":"struct AssertionInputs","name":"assertion","type":"tuple"},{"internalType":"bytes32","name":"expectedAssertionHash","type":"bytes32"}],"name":"newStakeOnNewAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"outbox","outputs":[{"internalType":"contract IOutbox","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"proxiableUUID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"target","type":"uint256"}],"name":"reduceDeposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeWhitelistAfterFork","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeWhitelistAfterValidatorAfk","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"returnOldDeposit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"stakerAddress","type":"address"}],"name":"returnOldDepositFor","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rollupDeploymentBlock","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"rollupEventInbox","outputs":[{"internalType":"contract IRollupEventInbox","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sequencerInbox","outputs":[{"internalType":"contract ISequencerInbox","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"components":[{"internalType":"bytes32","name":"prevPrevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"sequencerBatchAcc","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"internalType":"struct BeforeStateData","name":"beforeStateData","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"beforeState","type":"tuple"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"afterState","type":"tuple"}],"internalType":"struct AssertionInputs","name":"assertion","type":"tuple"},{"internalType":"bytes32","name":"expectedAssertionHash","type":"bytes32"}],"name":"stakeOnNewAssertion","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stakeToken","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"stakerCount","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalWithdrawableFunds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"components":[{"components":[{"internalType":"bytes32[2]","name":"bytes32Vals","type":"bytes32[2]"},{"internalType":"uint64[2]","name":"u64Vals","type":"uint64[2]"}],"internalType":"struct GlobalState","name":"globalState","type":"tuple"},{"internalType":"enum MachineStatus","name":"machineStatus","type":"uint8"},{"internalType":"bytes32","name":"endHistoryRoot","type":"bytes32"}],"internalType":"struct AssertionState","name":"state","type":"tuple"},{"internalType":"bytes32","name":"prevAssertionHash","type":"bytes32"},{"internalType":"bytes32","name":"inboxAcc","type":"bytes32"}],"name":"validateAssertionHash","outputs":[],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"bytes32","name":"assertionHash","type":"bytes32"},{"components":[{"internalType":"bytes32","name":"wasmModuleRoot","type":"bytes32"},{"internalType":"uint256","name":"requiredStake","type":"uint256"},{"internalType":"address","name":"challengeManager","type":"address"},{"internalType":"uint64","name":"confirmPeriodBlocks","type":"uint64"},{"internalType":"uint64","name":"nextInboxPosition","type":"uint64"}],"internalType":"struct ConfigData","name":"configData","type":"tuple"}],"name":"validateConfig","outputs":[],"stateMutability":"view","type":"function"},{"inputs":[],"name":"validatorAfkBlocks","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"validatorWalletCreator","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"validatorWhitelistDisabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"wasmModuleRoot","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"withdrawStakerFunds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"withdrawableFunds","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"staker","type":"address"}],"name":"withdrawalAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"}]
Contract Creation Code
60e0604052620000196200003a60201b62001b281760201c565b15156080523060a0524660c0523480156200003357600080fd5b5062000108565b60408051600481526024810182526020810180516001600160e01b03166302881c7960e11b1790529051600091829182916064916200007a9190620000d7565b600060405180830381855afa9150503d8060008114620000b7576040519150601f19603f3d011682016040523d82523d6000602084013e620000bc565b606091505b5091509150818015620000d0575080516020145b9250505090565b6000825160005b81811015620000fa5760208186018101518583015201620000de565b506000920191825250919050565b60805160a05160c0516142ef6200014d600039600061182c01526000818161121001528181611899015261191e015260008181610c0e015261292801526142ef6000f3fe608060405234801561001057600080fd5b50600436106102c45760003560e01c806365f7f80d1161017957806365f7f80d1461052157806368129b1414610529578063685f5ecc1461053c5780636ddd37441461054f57806371ef232c146105625780637300201c1461056b57806376e7e23b1461057e57806384728cd014610587578063883028841461059a5780638da5cb5b146105ba5780638ee1a126146105c25780639a8a0592146105cb578063a23c44b1146105d4578063aa38a6e7146106cd578063b7ab4db5146106e0578063bc45e0ae146106f5578063c2c2e68e14610708578063c4d66de814610710578063ce11e6ab14610723578063dff6978714610736578063e51019a61461073e578063e531d8c714610751578063e6b3082c14610764578063e78cea921461077e578063e8bd492214610791578063ee35f32714610825578063ef40a6701461082d578063f065de3f14610840578063facd743b14610853578063fb0e722b1461086657600080fd5b8063023a96fe146102c957806304972af9146102f957806310b98a351461030e578063117155851461032157806312ab3d3b1461034c57806313c56ca71461036957806318baaab91461038a5780631b1689e9146103925780631e83d30f1461039b5780632abdd230146103ae5780632e7acfa6146103c15780632f30cabd146103d457806330836228146103fd57806333635fc214610410578063353325e0146104235780633b86de191461042b5780633be680ea1461043e57806345e38b641461045857806350f32f681461046157806351ed6a301461047457806352d1902d1461048757806355840a581461048f57806356bbc9e6146104a757806357ef4ab9146104ba578063588c7a16146104c25780635c975abb146104d55780636096686d146104e057806361373919146104f35780636177fd18146104fb5780636420fb9f1461050e575b600080fd5b6069546102dc906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b61030c610307366004613766565b610879565b005b61030c61031c3660046137a5565b610893565b61033461032f366004613803565b610bef565b6040516001600160401b0390911681526020016102f0565b607b546103599060ff1681565b60405190151581526020016102f0565b61037c610377366004613803565b610c0a565b6040519081526020016102f0565b61030c610d3f565b61037c607a5481565b61030c6103a9366004613803565b610db9565b61037c6103bc366004613831565b610e0e565b606654610334906001600160401b031681565b61037c6103e2366004613831565b6001600160a01b031660009081526078602052604090205490565b61035961040b366004613803565b610e2c565b61037c61041e36600461384e565b610e48565b61037c610e6d565b61030c610439366004613898565b610ea9565b60695461033490600160a01b90046001600160401b031681565b61037c60715481565b61030c61046f3660046138c5565b6111ba565b6070546102dc906001600160a01b031681565b61037c611203565b607b546102dc9061010090046001600160a01b031681565b6103346104b5366004613803565b6112c6565b61030c6112e8565b61030c6104d0366004613831565b611331565b60335460ff16610359565b61030c6104ee366004613911565b6113d9565b61037c611441565b610359610509366004613831565b6114bb565b61030c61051c366004613898565b6114e3565b60745461037c565b61030c610537366004613951565b61167f565b61030c61054a366004613981565b6116c6565b6102dc61055d3660046139d7565b6116e2565b61037c60795481565b61030c6105793660046139f4565b61171b565b61037c60675481565b6102dc610595366004613831565b611727565b6105ad6105a8366004613803565b61174f565b6040516102f09190613a60565b6102dc6117f0565b61037c60685481565b61037c60655481565b61067c6105e2366004613831565b6040805160a081018252600080825260208201819052918101829052606081018290526080810191909152506001600160a01b03908116600090815260776020908152604091829020825160a08101845281548152600182015492810192909252600201546001600160401b0381169282019290925260ff600160401b83041615156060820152600160481b909104909116608082015290565b6040516102f0919081518152602080830151908201526040808301516001600160401b0316908201526060808301511515908201526080918201516001600160a01b03169181019190915260a00190565b606d546102dc906001600160a01b031681565b6106e86117fa565b6040516102f09190613ac0565b606e546102dc906001600160a01b031681565b61030c611806565b61030c61071e366004613831565b61188f565b606c546102dc906001600160a01b031681565b607654610334565b61030c61074c366004613b0d565b611a02565b61035961075f366004613803565b611a62565b60665461033490600160401b90046001600160401b031681565b606b546102dc906001600160a01b031681565b6107e661079f366004613831565b6077602052600090815260409020805460018201546002909201549091906001600160401b03811690600160401b810460ff1690600160481b90046001600160a01b031685565b6040805195865260208601949094526001600160401b039092169284019290925290151560608301526001600160a01b0316608082015260a0016102f0565b6102dc611a92565b61037c61083b366004613831565b611b00565b606f546102dc906001600160a01b031681565b610359610861366004613831565b611b1b565b606a546102dc906001600160a01b031681565b61088f8161088684611bc0565b60010154611c1f565b5050565b3361089f607282611ca3565b806108ac5750607b5460ff165b6108d15760405162461bcd60e51b81526004016108c890613b4b565b60405180910390fd5b6108d9611cc4565b60006108e488611bc0565b905060006108f188611bc0565b9050610901858260010154611c1f565b61091160808601606087016139d7565b825461092d9190600160801b90046001600160401b0316613b88565b6001600160401b03164310156109775760405162461bcd60e51b815260206004820152600f60248201526e4245464f52455f444541444c494e4560881b60448201526064016108c8565b60745488146109c45760405162461bcd60e51b81526020600482015260196024820152781414915597d393d517d310551154d517d0d3d3919254935151603a1b60448201526064016108c8565b8054600160401b90046001600160401b031615610bd85760006109ed6060870160408801613831565b6001600160a01b031663fda2892e886040518263ffffffff1660e01b8152600401610a1a91815260200190565b6101e060405180830381865afa158015610a38573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a5c9190613c4f565b9050898160e0015114610a9e5760405162461bcd60e51b815260206004820152600a6024820152692727aa2faba4a72722a960b11b60448201526064016108c8565b60018161016001516001811115610ab757610ab7613a2c565b14610af95760405162461bcd60e51b8152602060048201526012602482015271115111d157d393d517d0d3d391925493515160721b60448201526064016108c8565b8061014001516001600160401b0316600003610b515760405162461bcd60e51b81526020600482015260176024820152765a45524f5f434f4e4649524d45445f41545f424c4f434b60481b60448201526064016108c8565b606954610140820151610b7491600160a01b90046001600160401b031690613b88565b6001600160401b0316431015610bd65760405162461bcd60e51b815260206004820152602160248201527f4348414c4c454e47455f47524143455f504552494f445f4e4f545f50415353456044820152601160fa1b60648201526084016108c8565b505b610be489898987611d0c565b505050505050505050565b6000610bfa82611bc0565b546001600160401b031692915050565b60007f000000000000000000000000000000000000000000000000000000000000000015610c83576000828152607c602052604090205480610c7d5760405162461bcd60e51b815260206004820152600c60248201526b2727afa0a9a9a2a92a24a7a760a11b60448201526064016108c8565b92915050565b6000610c8e83611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b8304811615156060830152929350610d2392909184916080840191600160c81b9004166002811115610cff57610cff613a2c565b6002811115610d1057610d10613a2c565b8152602001600182015481525050611eb6565b54600160801b90046001600160401b031692915050565b919050565b607b5460ff1615610d625760405162461bcd60e51b81526004016108c890613d39565b610d6a611f11565b610daa5760405162461bcd60e51b815260206004820152601160248201527056414c494441544f525f4e4f545f41464b60781b60448201526064016108c8565b607b805460ff19166001179055565b33610dc5607282611ca3565b80610dd25750607b5460ff165b610dee5760405162461bcd60e51b81526004016108c890613b4b565b610df6611cc4565b610dff3361203f565b610e0933836120dd565b505050565b6001600160a01b031660009081526077602052604090206001015490565b6000610e3782611bc0565b54600160c01b900460ff1692915050565b6000610e6384610e5d36869003860186613e86565b846121b9565b90505b9392505050565b6000610e776136d5565b604080516060810182528281526001602082015260009181018290529080610ea08184816121b9565b94505050505090565b33610eb5607282611ca3565b80610ec25750607b5460ff165b610ede5760405162461bcd60e51b81526004016108c890613b4b565b610ee6611cc4565b811580610f1757506000610ef983611bc0565b54600160c81b900460ff166002811115610f1557610f15613a2c565b145b610f5d5760405162461bcd60e51b815260206004820152601760248201527622ac2822a1aa22a22fa0a9a9a2a92a24a7a72fa9a2a2a760491b60448201526064016108c8565b610f66336114bb565b610f825760405162461bcd60e51b81526004016108c890613eec565b6060830135610f9033611b00565b1015610fd35760405162461bcd60e51b8152602060048201526012602482015271494e53554646494349454e545f5354414b4560701b60448201526064016108c8565b6000610ff68435610fec36879003870160e08801613e86565b60208701356121b9565b905061106e61100482611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b909104166002811115610cff57610cff613a2c565b600061107933610e0e565b90508181148061109b5750600061108f82611bc0565b546001600160401b0316115b6110e25760405162461bcd60e51b81526020600482015260186024820152770a6a882968a88be9e9cbe829c9ea8908aa4be84a4829c86960431b60448201526064016108c8565b6000806110f08785886121fd565b33600090815260776020526040902060010182905590925090508061117857600061111a85611bc0565b5461113590600160801b90046001600160401b031643613f10565b90506071548110156111765760405162461bcd60e51b815260206004820152600a60248201526954494d455f44454c544160b01b60448201526064016108c8565b505b61118182611bc0565b54600160c01b900460ff166111b157606f546070546111b1916001600160a01b03918216911660608a01356129cb565b50505050505050565b6001600160a01b0381166111e05760405162461bcd60e51b81526004016108c890613f23565b6111ea8482612a2e565b6111f48383610ea9565b6111fd84612abd565b50505050565b6000306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146112a15760405162461bcd60e51b815260206004820152603b60248201527f555550534e6f745570677261646561626c653a206d757374206e6f742062652060448201527a18d85b1b1959081d1a1c9bdd59da0819195b1959d85d1958d85b1b602a1b60648201526084016108c8565b507f2b1dbce74324248c222f0ec2d5ed7bd323cfc425b336f0253c5ccfda7265546d90565b60006112d182611bc0565b54600160401b90046001600160401b031692915050565b336112f4607282611ca3565b806113015750607b5460ff165b61131d5760405162461bcd60e51b81526004016108c890613b4b565b611325611cc4565b61132e33612ad5565b50565b8061133d607282611ca3565b8061134a5750607b5460ff165b6113665760405162461bcd60e51b81526004016108c890613b4b565b61136e611cc4565b61137782611727565b6001600160a01b0316336001600160a01b0316146113d05760405162461bcd60e51b81526020600482015260166024820152754e4f545f5749544844524157414c5f4144445245535360501b60448201526064016108c8565b61088f82612ad5565b6113e1611cc4565b607b5461010090046001600160a01b031633146114355760405162461bcd60e51b81526020600482015260126024820152712727aa2fa320a9aa2fa1a7a72324a926a2a960711b60448201526064016108c8565b6111fd84848484611d0c565b600061144b611cc4565b600061145633612ae7565b90506000811161149f5760405162461bcd60e51b81526020600482015260146024820152734e4f5f46554e44535f544f5f574954484452415760601b60448201526064016108c8565b6070546114b6906001600160a01b031633836129cb565b905090565b6001600160a01b0316600090815260776020526040902060020154600160401b900460ff1690565b6114eb611cc4565b806115325760405162461bcd60e51b815260206004820152601760248201527608ab0a08a86a88a88be82a6a68aa4a8929e9cbe9082a69604b1b60448201526064016108c8565b600061153d82611bc0565b54600160c81b900460ff16905060006115638435610fec36879003870160e08801613e86565b905061157161100482611bc0565b600082600281111561158557611585613a2c565b036115d55760006115978583866121fd565b5090506115a381611bc0565b54600160c01b900460ff166115d357606f546070546115d3916001600160a01b03918216911660608801356129cb565b505b606b546111fd90849083906101a08801906001600160a01b03166316bf5579600161160d611608368d90038d0186613f55565b612b68565b6116179190613f71565b6040516001600160e01b031960e084901b1681526001600160401b039091166004820152602401602060405180830381865afa15801561165b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104ee9190613f91565b611687611cc4565b6001600160a01b0381166116ad5760405162461bcd60e51b81526004016108c890613f23565b6116b78282612a2e565b811561088f5761088f82612abd565b6116ce611cc4565b6116d9838383612b7d565b610e0981612abd565b60006076826001600160401b03168154811061170057611700613faa565b6000918252602090912001546001600160a01b031692915050565b610e09838383336111ba565b6001600160a01b03908116600090815260776020526040902060020154600160481b90041690565b6117576136fa565b61176082611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b9091041660028111156117ca576117ca613a2c565b60028111156117db576117db613a2c565b81526020016001820154815250509050919050565b60006114b6612c4d565b60606114b66072612c80565b607b5460ff16156118295760405162461bcd60e51b81526004016108c890613d39565b467f000000000000000000000000000000000000000000000000000000000000000003610daa5760405162461bcd60e51b815260206004820152601460248201527310d210525397d25117d393d517d0d2105391d15160621b60448201526064016108c8565b6001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016300361191c5760405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b60648201526084016108c8565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661194e612c8d565b6001600160a01b0316146119b95760405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b60648201526084016108c8565b6001600160a01b03811661132e5760405162461bcd60e51b815260206004820152601060248201526f2722a2a22fa9aa20a5a2afaa27a5a2a760811b60448201526064016108c8565b611a1b82611a1536869003860186613e86565b836121b9565b84146111fd5760405162461bcd60e51b81526020600482015260166024820152750929cac82989288be82a6a68aa4a8929e9cbe9082a6960531b60448201526064016108c8565b60006001611a6f83611bc0565b54600160c81b900460ff166002811115611a8b57611a8b613a2c565b1492915050565b606b546040805163ee35f32760e01b815290516000926001600160a01b03169163ee35f3279160048083019260209291908290030181865afa158015611adc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114b69190613fc0565b6001600160a01b031660009081526077602052604090205490565b6000610c7d607283611ca3565b60408051600481526024810182526020810180516001600160e01b03166302881c7960e11b179052905160009182918291606491611b669190614001565b600060405180830381855afa9150503d8060008114611ba1576040519150601f19603f3d011682016040523d82523d6000602084013e611ba6565b606091505b5091509150818015611bb9575080516020145b9250505090565b600081611c0d5760405162461bcd60e51b815260206004820152601b60248201527a415353455254494f4e5f49445f43414e4e4f545f42455f5a45524f60281b60448201526064016108c8565b50600090815260756020526040902090565b611c5e82356020840135611c396060860160408701613831565b611c4960808701606088016139d7565b611c5960a08801608089016139d7565b612cb5565b811461088f5760405162461bcd60e51b81526020600482015260146024820152730869e9c8c928ebe9082a690be9a92a69a82a886960631b60448201526064016108c8565b6001600160a01b031660009081526001919091016020526040902054151590565b60335460ff1615611d0a5760405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b60448201526064016108c8565b565b6000611d1785611bc0565b905060018154600160c81b900460ff166002811115611d3857611d38613a2c565b14611d735760405162461bcd60e51b815260206004820152600b60248201526a4e4f545f50454e44494e4760a81b60448201526064016108c8565b611d8684610e5d36869003860186613e86565b8514611dc35760405162461bcd60e51b815260206004820152600c60248201526b434f4e4649524d5f4441544160a01b60448201526064016108c8565b6000611ddc611dd736869003860186613f55565b612d15565b90506000611df7611df236879003870187613f55565b612d20565b606c54604051630502677360e51b815260048101839052602481018590529192506001600160a01b03169063a04cee6090604401600060405180830381600087803b158015611e4557600080fd5b505af1158015611e59573d6000803e3d6000fd5b505050607488905550825460ff60c81b1916600160c91b1783556040805183815260208101839052815189927ffc42829b29c259a7370ab56c8f69fce23b5f351a9ce151da453281993ec0090c928290030190a250505050505050565b600081608001516002811115611ece57611ece613a2c565b0361132e5760405162461bcd60e51b81526020600482015260136024820152721054d4d154951253d397d393d517d1561254d5606a1b60448201526064016108c8565b600080611f25611f2060745490565b611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b909104166002811115611f8f57611f8f613a2c565b6002811115611fa057611fa0613a2c565b815260019190910154602090910152606654909150600160401b90046001600160401b03166000819003611fd75760009250505090565b81604001516001600160401b0316600003611ff55760009250505090565b81516001600160401b031615612025578151439061201d9083906001600160401b031661401d565b109250505090565b438183604001516001600160401b031661201d919061401d565b612048816114bb565b6120645760405162461bcd60e51b81526004016108c890613eec565b600061206f82610e0e565b9050600061207c60745490565b8214905060008061208c84611bc0565b546001600160401b031611905081806120a25750805b6111fd5760405162461bcd60e51b815260206004820152600c60248201526b5354414b455f41435449564560a01b60448201526064016108c8565b6001600160a01b0380831660009081526077602052604081206002810154815492939192600160481b90910490911690808511156121505760405162461bcd60e51b815260206004820152601060248201526f544f4f5f4c4954544c455f5354414b4560801b60448201526064016108c8565b600061215c8683613f10565b868555905061216b8382612d2c565b826001600160a01b0316876001600160a01b031660008051602061429a83398151915284896040516121a7929190918252602082015260400190565b60405180910390a39695505050505050565b6000610e63846121c885612dd1565b604080516020808201949094528082019290925260608083018790528151808403909101815260809092019052805191012090565b6000806122106040860161088686611bc0565b600161222461024087016102208801614030565b600281111561223557612235613a2c565b14806122635750600261225061024087016102208801614030565b600281111561226157612261613a2c565b145b6122a25760405162461bcd60e51b815260206004820152601060248201526f4241445f41465445525f53544154555360801b60448201526064016108c8565b836122c486356122ba36899003890160e08a01613e86565b60208901356121b9565b146123085760405162461bcd60e51b8152602060048201526014602482015273494e56414c49445f4245464f52455f535441544560601b60448201526064016108c8565b600161231c61018087016101608801614030565b600281111561232d5761232d613a2c565b1461236c5760405162461bcd60e51b815260206004820152600f60248201526e4241445f505245565f53544154555360881b60448201526064016108c8565b600061237785611bc0565b90506000806101a0880160e08901826123908383612e01565b12156123d05760405162461bcd60e51b815260206004820152600f60248201526e494e424f585f4241434b574152445360881b60448201526064016108c8565b60006123f56123e560e08d0160c08e016139d7565b84906001600160401b0316612f06565b905060008113156124385760405162461bcd60e51b815260206004820152600d60248201526c24a72127ac2faa27a7afa320a960991b60448201526064016108c8565b600261244c6102408d016102208e01614030565b600281111561245d5761245d613a2c565b1415801561246b5750600081125b156124c3576001965060006124808484612e01565b136124c35760405162461bcd60e51b815260206004820152601360248201527213d59154919313d5d7d4d510539114d5125313606a1b60448201526064016108c8565b606b54604080516221048360e21b815290516000926001600160a01b0316916284120c9160048083019260209291908290030181865afa15801561250b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061252f9190613f91565b9050600061253d8583612f06565b131561257c5760405162461bcd60e51b815260206004820152600e60248201526d12539093d617d41054d517d1539160921b60448201526064016108c8565b8061258d60e08e0160c08f016139d7565b6001600160401b031611156125da5760405162461bcd60e51b815260206004820152601360248201527212539093d617d393d517d413d4155310551151606a1b60448201526064016108c8565b60006125ee61160836879003870187613f55565b6001600160401b031690508181036126125761260b82600161401d565b9650612616565b8196505b8060000361265a5760405162461bcd60e51b8152602060048201526011602482015270115354151657d2539093d617d0d3d55395607a1b60448201526064016108c8565b606b546001600160a01b03166316bf5579612676600184613f10565b6040518263ffffffff1660e01b815260040161269491815260200190565b602060405180830381865afa1580156126b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126d59190613f91565b955050505050506126f587896101a001803603810190611a159190613e86565b945085851480612703575085155b61274b5760405162461bcd60e51b81526020600482015260196024820152780aa9c8ab0a08a86a88a88be82a6a68aa4a8929e9cbe9082a69603b1b60448201526064016108c8565b600061275686611bc0565b54600160c81b900460ff16600281111561277257612772613a2c565b146127b05760405162461bcd60e51b815260206004820152600e60248201526d20a9a9a2a92a24a7a72fa9a2a2a760911b60448201526064016108c8565b82546068546067546069546066546000946127f2946001600160401b0391821615946127ed94919390926001600160a01b03909216911689612cb5565b612f92565b90506127fd84612fc9565b60008681526075602090815260409182902083518154928501519385015160608601511515600160c01b0260ff60c01b196001600160401b03928316600160801b0216600160801b600160c81b0319968316600160401b026001600160801b03199096169290931691909117939093179390931692909217178082556080830151839291829060ff60c81b1916600160c81b8360028111156128a1576128a1613a2c565b021790555060a0820151816001015590505087867f901c3aee23cf4478825462caaab375c606ab83516060388344f06503407536308b8587606854606754606960009054906101000a90046001600160a01b0316606660009054906101000a90046001600160401b031660405161291e97969594939291906140c2565b60405180910390a37f0000000000000000000000000000000000000000000000000000000000000000156129bf5760646001600160a01b031663a3b1b31d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561298b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906129af9190613f91565b6000878152607c60205260409020555b50505050935093915050565b6040516001600160a01b038316602482015260448101829052610e0990849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b031990931692909217909152613034565b33612a3a607282611ca3565b80612a475750607b5460ff165b612a635760405162461bcd60e51b81526004016108c890613b4b565b612a6b611cc4565b612a74336114bb565b15612ab25760405162461bcd60e51b815260206004820152600e60248201526d1053149150511657d4d51052d15160921b60448201526064016108c8565b610e09338484613106565b60705461132e906001600160a01b0316333084613224565b612ade8161203f565b61132e8161325c565b6001600160a01b0381166000908152607860205260408120805490829055607980548291908490612b19908490613f10565b909155505060408051828152600060208201526001600160a01b038516917fa740af14c56e4e04a617b1de1eb20de73270decbaaead14f142aabf3038e5ae2910160405180910390a292915050565b6020810151600090815b602002015192915050565b82612b89607282611ca3565b80612b965750607b5460ff165b612bb25760405162461bcd60e51b81526004016108c890613b4b565b612bba611cc4565b612bc3846114bb565b612bdf5760405162461bcd60e51b81526004016108c890613eec565b826001600160a01b0316612bf285611727565b6001600160a01b031614612c435760405162461bcd60e51b815260206004820152601860248201527757524f4e475f5749544844524157414c5f4144445245535360401b60448201526064016108c8565b6111fd84836132cf565b60007fb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d61035b546001600160a01b0316919050565b60606000610e6683613345565b60007f2b1dbce74324248c222f0ec2d5ed7bd323cfc425b336f0253c5ccfda7265546d612c71565b60408051602080820197909752808201959095526001600160601b0319606094851b16938501939093526001600160c01b031960c092831b81166074860152911b16607c8301528051606481840301815260849092019052805191012090565b805160009081612b72565b80516000906001612b72565b6001600160a01b03821660009081526078602052604081205490612d50838361401d565b6001600160a01b0385166000908152607860205260408120829055607980549293508592909190612d8290849061401d565b909155505060408051838152602081018390526001600160a01b038616917fa740af14c56e4e04a617b1de1eb20de73270decbaaead14f142aabf3038e5ae2910160405180910390a250505050565b600081604051602001612de491906141ac565b604051602081830303815290604052805190602001209050919050565b600080612e1661160836869003860186613f55565b90506000612e2c61160836869003860186613f55565b9050806001600160401b0316826001600160401b03161015612e545760001992505050610c7d565b806001600160401b0316826001600160401b03161115612e7957600192505050610c7d565b6000612e92612e8d36889003880188613f55565b6133a1565b90506000612ea8612e8d36889003880188613f55565b9050806001600160401b0316826001600160401b03161015612ed257600019945050505050610c7d565b806001600160401b0316826001600160401b03161115612ef9576001945050505050610c7d565b6000945050505050610c7d565b600080612f1b61160836869003860186613f55565b905082816001600160401b03161015612f3957600019915050610c7d565b82816001600160401b03161115612f54576001915050610c7d565b6000612f68612e8d36879003870187613f55565b6001600160401b03161115612f81576001915050610c7d565b6000915050610c7d565b5092915050565b612f9a6136fa565b612fa26136fa565b6001600160401b034316604082015292151560608401525060a08201526001608082015290565b80546001600160401b0316600003612ff65780546001600160401b031916436001600160401b0316179055565b8054600160401b90046001600160401b031660000361132e57805467ffffffffffffffff60401b1916600160401b436001600160401b031602179055565b6000613089826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166133b09092919063ffffffff16565b805190915015610e0957808060200190518101906130a79190614235565b610e095760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b60648201526084016108c8565b6076805460018082019092557fb5732705f5241370a28908c2fe1303cb223f03b90d857fd0573f003f79fefed4810180546001600160a01b0319166001600160a01b038781169182179092556040805160a08101825287815260745460208083019182526001600160401b03808816848601908152606085018a81528b89166080870181815260008a8152607787528981209851895596519c88019c909c5591516002909601805491519b51969093166001600160481b031990911617600160401b9a15159a909a0299909917600160481b600160e81b031916600160481b9490971693909302959095179091558151908152928301879052929392909160008051602061429a83398151915291015b60405180910390a350505050565b6040516001600160a01b03808516602483015283166044820152606481018290526111fd9085906323b872dd60e01b906084016129f7565b6001600160a01b038082166000908152607760205260409020600281015481549192600160481b90910416906132928282612d2c565b61329b846133bf565b60408051828152600060208201526001600160a01b03808516929087169160008051602061429a8339815191529101613216565b6001600160a01b0382166000908152607760205260408120805490916132f5848361401d565b808455600284015460408051858152602081018490529293506001600160a01b03600160481b9092048216929188169160008051602061429a833981519152910160405180910390a35050505050565b60608160000180548060200260200160405190810160405280929190818152602001828054801561339557602002820191906000526020600020905b815481526020019060010190808311613381575b50505050509050919050565b60208101516000906001612b72565b6060610e63848460008561356b565b6001600160a01b03811660009081526077602052604090206002810154600160401b900460ff166134025760405162461bcd60e51b81526004016108c890613eec565b6002810154607680546001600160401b039092169161342390600190613f10565b8154811061343357613433613faa565b600091825260209091200154607680546001600160a01b03909216916001600160401b03841690811061346857613468613faa565b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555080607760006076846001600160401b0316815481106134b7576134b7613faa565b6000918252602080832091909101546001600160a01b03168352820192909252604001902060020180546001600160401b0319166001600160401b0392909216919091179055607680548061350e5761350e614250565b60008281526020808220830160001990810180546001600160a01b03191690559092019092556001600160a01b039490941681526077909352505060408120818155600181019190915560020180546001600160e81b0319169055565b6060824710156135cc5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b60648201526084016108c8565b6001600160a01b0385163b6136235760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016108c8565b600080866001600160a01b0316858760405161363f9190614001565b60006040518083038185875af1925050503d806000811461367c576040519150601f19603f3d011682016040523d82523d6000602084013e613681565b606091505b509150915061369182828661369c565b979650505050505050565b606083156136ab575081610e66565b8251156136bb5782518084602001fd5b8160405162461bcd60e51b81526004016108c89190614266565b60405180604001604052806136e8613730565b81526020016136f5613730565b905290565b6040805160c081018252600080825260208201819052918101829052606081018290529060808201908152600060209091015290565b60405180604001604052806002906020820280368337509192915050565b600060a0828403121561376057600080fd5b50919050565b60008060c0838503121561377957600080fd5b8235915061378a846020850161374e565b90509250929050565b600060c0828403121561376057600080fd5b6000806000806000806101e087890312156137bf57600080fd5b86359550602087013594506137d78860408901613793565b935061010087013592506137ef88610120890161374e565b91506101c087013590509295509295509295565b60006020828403121561381557600080fd5b5035919050565b6001600160a01b038116811461132e57600080fd5b60006020828403121561384357600080fd5b8135610e668161381c565b6000806000610100848603121561386457600080fd5b833592506138758560208601613793565b915060e084013590509250925092565b6000610260828403121561376057600080fd5b60008061028083850312156138ac57600080fd5b6138b68484613885565b94610260939093013593505050565b6000806000806102c085870312156138dc57600080fd5b843593506138ed8660208701613885565b925061028085013591506102a08501356139068161381c565b939692955090935050565b600080600080610120858703121561392857600080fd5b84359350602085013592506139408660408701613793565b939692955092936101000135925050565b6000806040838503121561396457600080fd5b8235915060208301356139768161381c565b809150509250929050565b60008060006060848603121561399657600080fd5b83356139a18161381c565b925060208401356139b18161381c565b929592945050506040919091013590565b6001600160401b038116811461132e57600080fd5b6000602082840312156139e957600080fd5b8135610e66816139c2565b60008060006102a08486031215613a0a57600080fd5b83359250613a1b8560208601613885565b915061028084013590509250925092565b634e487b7160e01b600052602160045260246000fd5b6003811061132e57634e487b7160e01b600052602160045260246000fd5b600060c0820190506001600160401b03808451168352806020850151166020840152806040850151166040840152506060830151151560608301526080830151613aa981613a42565b8060808401525060a083015160a083015292915050565b6020808252825182820181905260009190848201906040850190845b81811015613b015783516001600160a01b031683529284019291840191600101613adc565b50909695505050505050565b6000806000806101208587031215613b2457600080fd5b84359350613b358660208701613793565b939693955050505060e082013591610100013590565b6020808252600d908201526c2727aa2fab20a624a220aa27a960991b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b6001600160401b03818116838216019080821115612f8b57612f8b613b72565b634e487b7160e01b600052604160045260246000fd5b6040516101e081016001600160401b0381118282101715613be157613be1613ba8565b60405290565b604080519081016001600160401b0381118282101715613be157613be1613ba8565b8051610d3a8161381c565b8051610d3a816139c2565b805160028110610d3a57600080fd5b805160ff81168114610d3a57600080fd5b80518015158114610d3a57600080fd5b60006101e08284031215613c6257600080fd5b613c6a613bbe565b825181526020830151602082015260408301516040820152606083015160608201526080830151608082015260a083015160a082015260c083015160c082015260e083015160e0820152610100613cc2818501613c09565b90820152610120613cd4848201613c14565b90820152610140613ce6848201613c14565b90820152610160613cf8848201613c1f565b90820152610180613d0a848201613c2e565b908201526101a0613d1c848201613c3f565b908201526101c0613d2e848201613c14565b908201529392505050565b60208082526012908201527115d2125511531254d517d11254d05093115160721b604082015260600190565b600082601f830112613d7657600080fd5b604051604081018181106001600160401b0382111715613d9857613d98613ba8565b8060405250806040840185811115613daf57600080fd5b845b81811015613dd2578035613dc4816139c2565b835260209283019201613db1565b509195945050505050565b600060808284031215613def57600080fd5b604051604081018181106001600160401b0382111715613e1157613e11613ba8565b604052905080601f83018413613e2657600080fd5b613e2e613be7565b806040850186811115613e4057600080fd5b855b81811015613e5a578035845260209384019301613e42565b50818452613e688782613d65565b60208501525050505092915050565b803560038110610d3a57600080fd5b600060c08284031215613e9857600080fd5b604051606081018181106001600160401b0382111715613eba57613eba613ba8565b604052613ec78484613ddd565b8152613ed560808401613e77565b602082015260a09290920135604083015250919050565b6020808252600a90820152691393d517d4d51052d15160b21b604082015260600190565b81810381811115610c7d57610c7d613b72565b602080825260189082015277454d5054595f5749544844524157414c5f4144445245535360401b604082015260600190565b600060808284031215613f6757600080fd5b610e668383613ddd565b6001600160401b03828116828216039080821115612f8b57612f8b613b72565b600060208284031215613fa357600080fd5b5051919050565b634e487b7160e01b600052603260045260246000fd5b600060208284031215613fd257600080fd5b8151610e668161381c565b60005b83811015613ff8578181015183820152602001613fe0565b50506000910152565b60008251614013818460208701613fdd565b9190910192915050565b80820180821115610c7d57610c7d613b72565b60006020828403121561404257600080fd5b610e6682613e77565b61405481613a42565b9052565b6040818337604082016040820160005b600281101561409a57813561407c816139c2565b6001600160401b031683526020928301929190910190600101614068565b5050506140a960808201613e77565b6140b281613a42565b608083015260a090810135910152565b6000610320820190508835825260208901356020830152604089013560408301526060890135606083015260808901356140fb8161381c565b6001600160a01b0316608083015260a0890135614117816139c2565b6001600160401b0390811660a084015260c08a013590614136826139c2565b1660c083015261414c60e0808401908b01614058565b6101a061415d818401828c01614058565b508761026083015286610280830152856102a0830152846102c08301526141906102e08301856001600160a01b03169052565b6001600160401b03831661030083015298975050505050505050565b8151805160c0830191908360005b60028110156141d95782518252602092830192909101906001016141ba565b505050602090810151906040840160005b60028110156142105783516001600160401b0316825292820192908201906001016141ea565b50508401519050614224608084018261404b565b50604083015160a083015292915050565b60006020828403121561424757600080fd5b610e6682613c3f565b634e487b7160e01b600052603160045260246000fd5b6020815260008251806020840152614285816040850160208701613fdd565b601f01601f1916919091016040019291505056fed957cf2340073335d256f72a9ef89cf1a43c31143341a6a53575ef33e987beb8a2646970667358221220adac40079ee3a5b023334745bf53c80fdb89f53847bb69953dd97b277c6655f564736f6c63430008110033
Deployed Bytecode
0x608060405234801561001057600080fd5b50600436106102c45760003560e01c806365f7f80d1161017957806365f7f80d1461052157806368129b1414610529578063685f5ecc1461053c5780636ddd37441461054f57806371ef232c146105625780637300201c1461056b57806376e7e23b1461057e57806384728cd014610587578063883028841461059a5780638da5cb5b146105ba5780638ee1a126146105c25780639a8a0592146105cb578063a23c44b1146105d4578063aa38a6e7146106cd578063b7ab4db5146106e0578063bc45e0ae146106f5578063c2c2e68e14610708578063c4d66de814610710578063ce11e6ab14610723578063dff6978714610736578063e51019a61461073e578063e531d8c714610751578063e6b3082c14610764578063e78cea921461077e578063e8bd492214610791578063ee35f32714610825578063ef40a6701461082d578063f065de3f14610840578063facd743b14610853578063fb0e722b1461086657600080fd5b8063023a96fe146102c957806304972af9146102f957806310b98a351461030e578063117155851461032157806312ab3d3b1461034c57806313c56ca71461036957806318baaab91461038a5780631b1689e9146103925780631e83d30f1461039b5780632abdd230146103ae5780632e7acfa6146103c15780632f30cabd146103d457806330836228146103fd57806333635fc214610410578063353325e0146104235780633b86de191461042b5780633be680ea1461043e57806345e38b641461045857806350f32f681461046157806351ed6a301461047457806352d1902d1461048757806355840a581461048f57806356bbc9e6146104a757806357ef4ab9146104ba578063588c7a16146104c25780635c975abb146104d55780636096686d146104e057806361373919146104f35780636177fd18146104fb5780636420fb9f1461050e575b600080fd5b6069546102dc906001600160a01b031681565b6040516001600160a01b0390911681526020015b60405180910390f35b61030c610307366004613766565b610879565b005b61030c61031c3660046137a5565b610893565b61033461032f366004613803565b610bef565b6040516001600160401b0390911681526020016102f0565b607b546103599060ff1681565b60405190151581526020016102f0565b61037c610377366004613803565b610c0a565b6040519081526020016102f0565b61030c610d3f565b61037c607a5481565b61030c6103a9366004613803565b610db9565b61037c6103bc366004613831565b610e0e565b606654610334906001600160401b031681565b61037c6103e2366004613831565b6001600160a01b031660009081526078602052604090205490565b61035961040b366004613803565b610e2c565b61037c61041e36600461384e565b610e48565b61037c610e6d565b61030c610439366004613898565b610ea9565b60695461033490600160a01b90046001600160401b031681565b61037c60715481565b61030c61046f3660046138c5565b6111ba565b6070546102dc906001600160a01b031681565b61037c611203565b607b546102dc9061010090046001600160a01b031681565b6103346104b5366004613803565b6112c6565b61030c6112e8565b61030c6104d0366004613831565b611331565b60335460ff16610359565b61030c6104ee366004613911565b6113d9565b61037c611441565b610359610509366004613831565b6114bb565b61030c61051c366004613898565b6114e3565b60745461037c565b61030c610537366004613951565b61167f565b61030c61054a366004613981565b6116c6565b6102dc61055d3660046139d7565b6116e2565b61037c60795481565b61030c6105793660046139f4565b61171b565b61037c60675481565b6102dc610595366004613831565b611727565b6105ad6105a8366004613803565b61174f565b6040516102f09190613a60565b6102dc6117f0565b61037c60685481565b61037c60655481565b61067c6105e2366004613831565b6040805160a081018252600080825260208201819052918101829052606081018290526080810191909152506001600160a01b03908116600090815260776020908152604091829020825160a08101845281548152600182015492810192909252600201546001600160401b0381169282019290925260ff600160401b83041615156060820152600160481b909104909116608082015290565b6040516102f0919081518152602080830151908201526040808301516001600160401b0316908201526060808301511515908201526080918201516001600160a01b03169181019190915260a00190565b606d546102dc906001600160a01b031681565b6106e86117fa565b6040516102f09190613ac0565b606e546102dc906001600160a01b031681565b61030c611806565b61030c61071e366004613831565b61188f565b606c546102dc906001600160a01b031681565b607654610334565b61030c61074c366004613b0d565b611a02565b61035961075f366004613803565b611a62565b60665461033490600160401b90046001600160401b031681565b606b546102dc906001600160a01b031681565b6107e661079f366004613831565b6077602052600090815260409020805460018201546002909201549091906001600160401b03811690600160401b810460ff1690600160481b90046001600160a01b031685565b6040805195865260208601949094526001600160401b039092169284019290925290151560608301526001600160a01b0316608082015260a0016102f0565b6102dc611a92565b61037c61083b366004613831565b611b00565b606f546102dc906001600160a01b031681565b610359610861366004613831565b611b1b565b606a546102dc906001600160a01b031681565b61088f8161088684611bc0565b60010154611c1f565b5050565b3361089f607282611ca3565b806108ac5750607b5460ff165b6108d15760405162461bcd60e51b81526004016108c890613b4b565b60405180910390fd5b6108d9611cc4565b60006108e488611bc0565b905060006108f188611bc0565b9050610901858260010154611c1f565b61091160808601606087016139d7565b825461092d9190600160801b90046001600160401b0316613b88565b6001600160401b03164310156109775760405162461bcd60e51b815260206004820152600f60248201526e4245464f52455f444541444c494e4560881b60448201526064016108c8565b60745488146109c45760405162461bcd60e51b81526020600482015260196024820152781414915597d393d517d310551154d517d0d3d3919254935151603a1b60448201526064016108c8565b8054600160401b90046001600160401b031615610bd85760006109ed6060870160408801613831565b6001600160a01b031663fda2892e886040518263ffffffff1660e01b8152600401610a1a91815260200190565b6101e060405180830381865afa158015610a38573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a5c9190613c4f565b9050898160e0015114610a9e5760405162461bcd60e51b815260206004820152600a6024820152692727aa2faba4a72722a960b11b60448201526064016108c8565b60018161016001516001811115610ab757610ab7613a2c565b14610af95760405162461bcd60e51b8152602060048201526012602482015271115111d157d393d517d0d3d391925493515160721b60448201526064016108c8565b8061014001516001600160401b0316600003610b515760405162461bcd60e51b81526020600482015260176024820152765a45524f5f434f4e4649524d45445f41545f424c4f434b60481b60448201526064016108c8565b606954610140820151610b7491600160a01b90046001600160401b031690613b88565b6001600160401b0316431015610bd65760405162461bcd60e51b815260206004820152602160248201527f4348414c4c454e47455f47524143455f504552494f445f4e4f545f50415353456044820152601160fa1b60648201526084016108c8565b505b610be489898987611d0c565b505050505050505050565b6000610bfa82611bc0565b546001600160401b031692915050565b60007f000000000000000000000000000000000000000000000000000000000000000015610c83576000828152607c602052604090205480610c7d5760405162461bcd60e51b815260206004820152600c60248201526b2727afa0a9a9a2a92a24a7a760a11b60448201526064016108c8565b92915050565b6000610c8e83611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b8304811615156060830152929350610d2392909184916080840191600160c81b9004166002811115610cff57610cff613a2c565b6002811115610d1057610d10613a2c565b8152602001600182015481525050611eb6565b54600160801b90046001600160401b031692915050565b919050565b607b5460ff1615610d625760405162461bcd60e51b81526004016108c890613d39565b610d6a611f11565b610daa5760405162461bcd60e51b815260206004820152601160248201527056414c494441544f525f4e4f545f41464b60781b60448201526064016108c8565b607b805460ff19166001179055565b33610dc5607282611ca3565b80610dd25750607b5460ff165b610dee5760405162461bcd60e51b81526004016108c890613b4b565b610df6611cc4565b610dff3361203f565b610e0933836120dd565b505050565b6001600160a01b031660009081526077602052604090206001015490565b6000610e3782611bc0565b54600160c01b900460ff1692915050565b6000610e6384610e5d36869003860186613e86565b846121b9565b90505b9392505050565b6000610e776136d5565b604080516060810182528281526001602082015260009181018290529080610ea08184816121b9565b94505050505090565b33610eb5607282611ca3565b80610ec25750607b5460ff165b610ede5760405162461bcd60e51b81526004016108c890613b4b565b610ee6611cc4565b811580610f1757506000610ef983611bc0565b54600160c81b900460ff166002811115610f1557610f15613a2c565b145b610f5d5760405162461bcd60e51b815260206004820152601760248201527622ac2822a1aa22a22fa0a9a9a2a92a24a7a72fa9a2a2a760491b60448201526064016108c8565b610f66336114bb565b610f825760405162461bcd60e51b81526004016108c890613eec565b6060830135610f9033611b00565b1015610fd35760405162461bcd60e51b8152602060048201526012602482015271494e53554646494349454e545f5354414b4560701b60448201526064016108c8565b6000610ff68435610fec36879003870160e08801613e86565b60208701356121b9565b905061106e61100482611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b909104166002811115610cff57610cff613a2c565b600061107933610e0e565b90508181148061109b5750600061108f82611bc0565b546001600160401b0316115b6110e25760405162461bcd60e51b81526020600482015260186024820152770a6a882968a88be9e9cbe829c9ea8908aa4be84a4829c86960431b60448201526064016108c8565b6000806110f08785886121fd565b33600090815260776020526040902060010182905590925090508061117857600061111a85611bc0565b5461113590600160801b90046001600160401b031643613f10565b90506071548110156111765760405162461bcd60e51b815260206004820152600a60248201526954494d455f44454c544160b01b60448201526064016108c8565b505b61118182611bc0565b54600160c01b900460ff166111b157606f546070546111b1916001600160a01b03918216911660608a01356129cb565b50505050505050565b6001600160a01b0381166111e05760405162461bcd60e51b81526004016108c890613f23565b6111ea8482612a2e565b6111f48383610ea9565b6111fd84612abd565b50505050565b6000306001600160a01b037f0000000000000000000000006490ba0a60cc7d3a59c9eee135d9eed24553a60d16146112a15760405162461bcd60e51b815260206004820152603b60248201527f555550534e6f745570677261646561626c653a206d757374206e6f742062652060448201527a18d85b1b1959081d1a1c9bdd59da0819195b1959d85d1958d85b1b602a1b60648201526084016108c8565b507f2b1dbce74324248c222f0ec2d5ed7bd323cfc425b336f0253c5ccfda7265546d90565b60006112d182611bc0565b54600160401b90046001600160401b031692915050565b336112f4607282611ca3565b806113015750607b5460ff165b61131d5760405162461bcd60e51b81526004016108c890613b4b565b611325611cc4565b61132e33612ad5565b50565b8061133d607282611ca3565b8061134a5750607b5460ff165b6113665760405162461bcd60e51b81526004016108c890613b4b565b61136e611cc4565b61137782611727565b6001600160a01b0316336001600160a01b0316146113d05760405162461bcd60e51b81526020600482015260166024820152754e4f545f5749544844524157414c5f4144445245535360501b60448201526064016108c8565b61088f82612ad5565b6113e1611cc4565b607b5461010090046001600160a01b031633146114355760405162461bcd60e51b81526020600482015260126024820152712727aa2fa320a9aa2fa1a7a72324a926a2a960711b60448201526064016108c8565b6111fd84848484611d0c565b600061144b611cc4565b600061145633612ae7565b90506000811161149f5760405162461bcd60e51b81526020600482015260146024820152734e4f5f46554e44535f544f5f574954484452415760601b60448201526064016108c8565b6070546114b6906001600160a01b031633836129cb565b905090565b6001600160a01b0316600090815260776020526040902060020154600160401b900460ff1690565b6114eb611cc4565b806115325760405162461bcd60e51b815260206004820152601760248201527608ab0a08a86a88a88be82a6a68aa4a8929e9cbe9082a69604b1b60448201526064016108c8565b600061153d82611bc0565b54600160c81b900460ff16905060006115638435610fec36879003870160e08801613e86565b905061157161100482611bc0565b600082600281111561158557611585613a2c565b036115d55760006115978583866121fd565b5090506115a381611bc0565b54600160c01b900460ff166115d357606f546070546115d3916001600160a01b03918216911660608801356129cb565b505b606b546111fd90849083906101a08801906001600160a01b03166316bf5579600161160d611608368d90038d0186613f55565b612b68565b6116179190613f71565b6040516001600160e01b031960e084901b1681526001600160401b039091166004820152602401602060405180830381865afa15801561165b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104ee9190613f91565b611687611cc4565b6001600160a01b0381166116ad5760405162461bcd60e51b81526004016108c890613f23565b6116b78282612a2e565b811561088f5761088f82612abd565b6116ce611cc4565b6116d9838383612b7d565b610e0981612abd565b60006076826001600160401b03168154811061170057611700613faa565b6000918252602090912001546001600160a01b031692915050565b610e09838383336111ba565b6001600160a01b03908116600090815260776020526040902060020154600160481b90041690565b6117576136fa565b61176082611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b9091041660028111156117ca576117ca613a2c565b60028111156117db576117db613a2c565b81526020016001820154815250509050919050565b60006114b6612c4d565b60606114b66072612c80565b607b5460ff16156118295760405162461bcd60e51b81526004016108c890613d39565b467f000000000000000000000000000000000000000000000000000000000000000103610daa5760405162461bcd60e51b815260206004820152601460248201527310d210525397d25117d393d517d0d2105391d15160621b60448201526064016108c8565b6001600160a01b037f0000000000000000000000006490ba0a60cc7d3a59c9eee135d9eed24553a60d16300361191c5760405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b19195b1959d85d1958d85b1b60a21b60648201526084016108c8565b7f0000000000000000000000006490ba0a60cc7d3a59c9eee135d9eed24553a60d6001600160a01b031661194e612c8d565b6001600160a01b0316146119b95760405162461bcd60e51b815260206004820152602c60248201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060448201526b6163746976652070726f787960a01b60648201526084016108c8565b6001600160a01b03811661132e5760405162461bcd60e51b815260206004820152601060248201526f2722a2a22fa9aa20a5a2afaa27a5a2a760811b60448201526064016108c8565b611a1b82611a1536869003860186613e86565b836121b9565b84146111fd5760405162461bcd60e51b81526020600482015260166024820152750929cac82989288be82a6a68aa4a8929e9cbe9082a6960531b60448201526064016108c8565b60006001611a6f83611bc0565b54600160c81b900460ff166002811115611a8b57611a8b613a2c565b1492915050565b606b546040805163ee35f32760e01b815290516000926001600160a01b03169163ee35f3279160048083019260209291908290030181865afa158015611adc573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906114b69190613fc0565b6001600160a01b031660009081526077602052604090205490565b6000610c7d607283611ca3565b60408051600481526024810182526020810180516001600160e01b03166302881c7960e11b179052905160009182918291606491611b669190614001565b600060405180830381855afa9150503d8060008114611ba1576040519150601f19603f3d011682016040523d82523d6000602084013e611ba6565b606091505b5091509150818015611bb9575080516020145b9250505090565b600081611c0d5760405162461bcd60e51b815260206004820152601b60248201527a415353455254494f4e5f49445f43414e4e4f545f42455f5a45524f60281b60448201526064016108c8565b50600090815260756020526040902090565b611c5e82356020840135611c396060860160408701613831565b611c4960808701606088016139d7565b611c5960a08801608089016139d7565b612cb5565b811461088f5760405162461bcd60e51b81526020600482015260146024820152730869e9c8c928ebe9082a690be9a92a69a82a886960631b60448201526064016108c8565b6001600160a01b031660009081526001919091016020526040902054151590565b60335460ff1615611d0a5760405162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b60448201526064016108c8565b565b6000611d1785611bc0565b905060018154600160c81b900460ff166002811115611d3857611d38613a2c565b14611d735760405162461bcd60e51b815260206004820152600b60248201526a4e4f545f50454e44494e4760a81b60448201526064016108c8565b611d8684610e5d36869003860186613e86565b8514611dc35760405162461bcd60e51b815260206004820152600c60248201526b434f4e4649524d5f4441544160a01b60448201526064016108c8565b6000611ddc611dd736869003860186613f55565b612d15565b90506000611df7611df236879003870187613f55565b612d20565b606c54604051630502677360e51b815260048101839052602481018590529192506001600160a01b03169063a04cee6090604401600060405180830381600087803b158015611e4557600080fd5b505af1158015611e59573d6000803e3d6000fd5b505050607488905550825460ff60c81b1916600160c91b1783556040805183815260208101839052815189927ffc42829b29c259a7370ab56c8f69fce23b5f351a9ce151da453281993ec0090c928290030190a250505050505050565b600081608001516002811115611ece57611ece613a2c565b0361132e5760405162461bcd60e51b81526020600482015260136024820152721054d4d154951253d397d393d517d1561254d5606a1b60448201526064016108c8565b600080611f25611f2060745490565b611bc0565b6040805160c08101825282546001600160401b038082168352600160401b820481166020840152600160801b8204169282019290925260ff600160c01b83048116151560608301529092916080840191600160c81b909104166002811115611f8f57611f8f613a2c565b6002811115611fa057611fa0613a2c565b815260019190910154602090910152606654909150600160401b90046001600160401b03166000819003611fd75760009250505090565b81604001516001600160401b0316600003611ff55760009250505090565b81516001600160401b031615612025578151439061201d9083906001600160401b031661401d565b109250505090565b438183604001516001600160401b031661201d919061401d565b612048816114bb565b6120645760405162461bcd60e51b81526004016108c890613eec565b600061206f82610e0e565b9050600061207c60745490565b8214905060008061208c84611bc0565b546001600160401b031611905081806120a25750805b6111fd5760405162461bcd60e51b815260206004820152600c60248201526b5354414b455f41435449564560a01b60448201526064016108c8565b6001600160a01b0380831660009081526077602052604081206002810154815492939192600160481b90910490911690808511156121505760405162461bcd60e51b815260206004820152601060248201526f544f4f5f4c4954544c455f5354414b4560801b60448201526064016108c8565b600061215c8683613f10565b868555905061216b8382612d2c565b826001600160a01b0316876001600160a01b031660008051602061429a83398151915284896040516121a7929190918252602082015260400190565b60405180910390a39695505050505050565b6000610e63846121c885612dd1565b604080516020808201949094528082019290925260608083018790528151808403909101815260809092019052805191012090565b6000806122106040860161088686611bc0565b600161222461024087016102208801614030565b600281111561223557612235613a2c565b14806122635750600261225061024087016102208801614030565b600281111561226157612261613a2c565b145b6122a25760405162461bcd60e51b815260206004820152601060248201526f4241445f41465445525f53544154555360801b60448201526064016108c8565b836122c486356122ba36899003890160e08a01613e86565b60208901356121b9565b146123085760405162461bcd60e51b8152602060048201526014602482015273494e56414c49445f4245464f52455f535441544560601b60448201526064016108c8565b600161231c61018087016101608801614030565b600281111561232d5761232d613a2c565b1461236c5760405162461bcd60e51b815260206004820152600f60248201526e4241445f505245565f53544154555360881b60448201526064016108c8565b600061237785611bc0565b90506000806101a0880160e08901826123908383612e01565b12156123d05760405162461bcd60e51b815260206004820152600f60248201526e494e424f585f4241434b574152445360881b60448201526064016108c8565b60006123f56123e560e08d0160c08e016139d7565b84906001600160401b0316612f06565b905060008113156124385760405162461bcd60e51b815260206004820152600d60248201526c24a72127ac2faa27a7afa320a960991b60448201526064016108c8565b600261244c6102408d016102208e01614030565b600281111561245d5761245d613a2c565b1415801561246b5750600081125b156124c3576001965060006124808484612e01565b136124c35760405162461bcd60e51b815260206004820152601360248201527213d59154919313d5d7d4d510539114d5125313606a1b60448201526064016108c8565b606b54604080516221048360e21b815290516000926001600160a01b0316916284120c9160048083019260209291908290030181865afa15801561250b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061252f9190613f91565b9050600061253d8583612f06565b131561257c5760405162461bcd60e51b815260206004820152600e60248201526d12539093d617d41054d517d1539160921b60448201526064016108c8565b8061258d60e08e0160c08f016139d7565b6001600160401b031611156125da5760405162461bcd60e51b815260206004820152601360248201527212539093d617d393d517d413d4155310551151606a1b60448201526064016108c8565b60006125ee61160836879003870187613f55565b6001600160401b031690508181036126125761260b82600161401d565b9650612616565b8196505b8060000361265a5760405162461bcd60e51b8152602060048201526011602482015270115354151657d2539093d617d0d3d55395607a1b60448201526064016108c8565b606b546001600160a01b03166316bf5579612676600184613f10565b6040518263ffffffff1660e01b815260040161269491815260200190565b602060405180830381865afa1580156126b1573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906126d59190613f91565b955050505050506126f587896101a001803603810190611a159190613e86565b945085851480612703575085155b61274b5760405162461bcd60e51b81526020600482015260196024820152780aa9c8ab0a08a86a88a88be82a6a68aa4a8929e9cbe9082a69603b1b60448201526064016108c8565b600061275686611bc0565b54600160c81b900460ff16600281111561277257612772613a2c565b146127b05760405162461bcd60e51b815260206004820152600e60248201526d20a9a9a2a92a24a7a72fa9a2a2a760911b60448201526064016108c8565b82546068546067546069546066546000946127f2946001600160401b0391821615946127ed94919390926001600160a01b03909216911689612cb5565b612f92565b90506127fd84612fc9565b60008681526075602090815260409182902083518154928501519385015160608601511515600160c01b0260ff60c01b196001600160401b03928316600160801b0216600160801b600160c81b0319968316600160401b026001600160801b03199096169290931691909117939093179390931692909217178082556080830151839291829060ff60c81b1916600160c81b8360028111156128a1576128a1613a2c565b021790555060a0820151816001015590505087867f901c3aee23cf4478825462caaab375c606ab83516060388344f06503407536308b8587606854606754606960009054906101000a90046001600160a01b0316606660009054906101000a90046001600160401b031660405161291e97969594939291906140c2565b60405180910390a37f0000000000000000000000000000000000000000000000000000000000000000156129bf5760646001600160a01b031663a3b1b31d6040518163ffffffff1660e01b8152600401602060405180830381865afa15801561298b573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906129af9190613f91565b6000878152607c60205260409020555b50505050935093915050565b6040516001600160a01b038316602482015260448101829052610e0990849063a9059cbb60e01b906064015b60408051601f198184030181529190526020810180516001600160e01b03166001600160e01b031990931692909217909152613034565b33612a3a607282611ca3565b80612a475750607b5460ff165b612a635760405162461bcd60e51b81526004016108c890613b4b565b612a6b611cc4565b612a74336114bb565b15612ab25760405162461bcd60e51b815260206004820152600e60248201526d1053149150511657d4d51052d15160921b60448201526064016108c8565b610e09338484613106565b60705461132e906001600160a01b0316333084613224565b612ade8161203f565b61132e8161325c565b6001600160a01b0381166000908152607860205260408120805490829055607980548291908490612b19908490613f10565b909155505060408051828152600060208201526001600160a01b038516917fa740af14c56e4e04a617b1de1eb20de73270decbaaead14f142aabf3038e5ae2910160405180910390a292915050565b6020810151600090815b602002015192915050565b82612b89607282611ca3565b80612b965750607b5460ff165b612bb25760405162461bcd60e51b81526004016108c890613b4b565b612bba611cc4565b612bc3846114bb565b612bdf5760405162461bcd60e51b81526004016108c890613eec565b826001600160a01b0316612bf285611727565b6001600160a01b031614612c435760405162461bcd60e51b815260206004820152601860248201527757524f4e475f5749544844524157414c5f4144445245535360401b60448201526064016108c8565b6111fd84836132cf565b60007fb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d61035b546001600160a01b0316919050565b60606000610e6683613345565b60007f2b1dbce74324248c222f0ec2d5ed7bd323cfc425b336f0253c5ccfda7265546d612c71565b60408051602080820197909752808201959095526001600160601b0319606094851b16938501939093526001600160c01b031960c092831b81166074860152911b16607c8301528051606481840301815260849092019052805191012090565b805160009081612b72565b80516000906001612b72565b6001600160a01b03821660009081526078602052604081205490612d50838361401d565b6001600160a01b0385166000908152607860205260408120829055607980549293508592909190612d8290849061401d565b909155505060408051838152602081018390526001600160a01b038616917fa740af14c56e4e04a617b1de1eb20de73270decbaaead14f142aabf3038e5ae2910160405180910390a250505050565b600081604051602001612de491906141ac565b604051602081830303815290604052805190602001209050919050565b600080612e1661160836869003860186613f55565b90506000612e2c61160836869003860186613f55565b9050806001600160401b0316826001600160401b03161015612e545760001992505050610c7d565b806001600160401b0316826001600160401b03161115612e7957600192505050610c7d565b6000612e92612e8d36889003880188613f55565b6133a1565b90506000612ea8612e8d36889003880188613f55565b9050806001600160401b0316826001600160401b03161015612ed257600019945050505050610c7d565b806001600160401b0316826001600160401b03161115612ef9576001945050505050610c7d565b6000945050505050610c7d565b600080612f1b61160836869003860186613f55565b905082816001600160401b03161015612f3957600019915050610c7d565b82816001600160401b03161115612f54576001915050610c7d565b6000612f68612e8d36879003870187613f55565b6001600160401b03161115612f81576001915050610c7d565b6000915050610c7d565b5092915050565b612f9a6136fa565b612fa26136fa565b6001600160401b034316604082015292151560608401525060a08201526001608082015290565b80546001600160401b0316600003612ff65780546001600160401b031916436001600160401b0316179055565b8054600160401b90046001600160401b031660000361132e57805467ffffffffffffffff60401b1916600160401b436001600160401b031602179055565b6000613089826040518060400160405280602081526020017f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564815250856001600160a01b03166133b09092919063ffffffff16565b805190915015610e0957808060200190518101906130a79190614235565b610e095760405162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b60648201526084016108c8565b6076805460018082019092557fb5732705f5241370a28908c2fe1303cb223f03b90d857fd0573f003f79fefed4810180546001600160a01b0319166001600160a01b038781169182179092556040805160a08101825287815260745460208083019182526001600160401b03808816848601908152606085018a81528b89166080870181815260008a8152607787528981209851895596519c88019c909c5591516002909601805491519b51969093166001600160481b031990911617600160401b9a15159a909a0299909917600160481b600160e81b031916600160481b9490971693909302959095179091558151908152928301879052929392909160008051602061429a83398151915291015b60405180910390a350505050565b6040516001600160a01b03808516602483015283166044820152606481018290526111fd9085906323b872dd60e01b906084016129f7565b6001600160a01b038082166000908152607760205260409020600281015481549192600160481b90910416906132928282612d2c565b61329b846133bf565b60408051828152600060208201526001600160a01b03808516929087169160008051602061429a8339815191529101613216565b6001600160a01b0382166000908152607760205260408120805490916132f5848361401d565b808455600284015460408051858152602081018490529293506001600160a01b03600160481b9092048216929188169160008051602061429a833981519152910160405180910390a35050505050565b60608160000180548060200260200160405190810160405280929190818152602001828054801561339557602002820191906000526020600020905b815481526020019060010190808311613381575b50505050509050919050565b60208101516000906001612b72565b6060610e63848460008561356b565b6001600160a01b03811660009081526077602052604090206002810154600160401b900460ff166134025760405162461bcd60e51b81526004016108c890613eec565b6002810154607680546001600160401b039092169161342390600190613f10565b8154811061343357613433613faa565b600091825260209091200154607680546001600160a01b03909216916001600160401b03841690811061346857613468613faa565b9060005260206000200160006101000a8154816001600160a01b0302191690836001600160a01b0316021790555080607760006076846001600160401b0316815481106134b7576134b7613faa565b6000918252602080832091909101546001600160a01b03168352820192909252604001902060020180546001600160401b0319166001600160401b0392909216919091179055607680548061350e5761350e614250565b60008281526020808220830160001990810180546001600160a01b03191690559092019092556001600160a01b039490941681526077909352505060408120818155600181019190915560020180546001600160e81b0319169055565b6060824710156135cc5760405162461bcd60e51b815260206004820152602660248201527f416464726573733a20696e73756666696369656e742062616c616e636520666f6044820152651c8818d85b1b60d21b60648201526084016108c8565b6001600160a01b0385163b6136235760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e747261637400000060448201526064016108c8565b600080866001600160a01b0316858760405161363f9190614001565b60006040518083038185875af1925050503d806000811461367c576040519150601f19603f3d011682016040523d82523d6000602084013e613681565b606091505b509150915061369182828661369c565b979650505050505050565b606083156136ab575081610e66565b8251156136bb5782518084602001fd5b8160405162461bcd60e51b81526004016108c89190614266565b60405180604001604052806136e8613730565b81526020016136f5613730565b905290565b6040805160c081018252600080825260208201819052918101829052606081018290529060808201908152600060209091015290565b60405180604001604052806002906020820280368337509192915050565b600060a0828403121561376057600080fd5b50919050565b60008060c0838503121561377957600080fd5b8235915061378a846020850161374e565b90509250929050565b600060c0828403121561376057600080fd5b6000806000806000806101e087890312156137bf57600080fd5b86359550602087013594506137d78860408901613793565b935061010087013592506137ef88610120890161374e565b91506101c087013590509295509295509295565b60006020828403121561381557600080fd5b5035919050565b6001600160a01b038116811461132e57600080fd5b60006020828403121561384357600080fd5b8135610e668161381c565b6000806000610100848603121561386457600080fd5b833592506138758560208601613793565b915060e084013590509250925092565b6000610260828403121561376057600080fd5b60008061028083850312156138ac57600080fd5b6138b68484613885565b94610260939093013593505050565b6000806000806102c085870312156138dc57600080fd5b843593506138ed8660208701613885565b925061028085013591506102a08501356139068161381c565b939692955090935050565b600080600080610120858703121561392857600080fd5b84359350602085013592506139408660408701613793565b939692955092936101000135925050565b6000806040838503121561396457600080fd5b8235915060208301356139768161381c565b809150509250929050565b60008060006060848603121561399657600080fd5b83356139a18161381c565b925060208401356139b18161381c565b929592945050506040919091013590565b6001600160401b038116811461132e57600080fd5b6000602082840312156139e957600080fd5b8135610e66816139c2565b60008060006102a08486031215613a0a57600080fd5b83359250613a1b8560208601613885565b915061028084013590509250925092565b634e487b7160e01b600052602160045260246000fd5b6003811061132e57634e487b7160e01b600052602160045260246000fd5b600060c0820190506001600160401b03808451168352806020850151166020840152806040850151166040840152506060830151151560608301526080830151613aa981613a42565b8060808401525060a083015160a083015292915050565b6020808252825182820181905260009190848201906040850190845b81811015613b015783516001600160a01b031683529284019291840191600101613adc565b50909695505050505050565b6000806000806101208587031215613b2457600080fd5b84359350613b358660208701613793565b939693955050505060e082013591610100013590565b6020808252600d908201526c2727aa2fab20a624a220aa27a960991b604082015260600190565b634e487b7160e01b600052601160045260246000fd5b6001600160401b03818116838216019080821115612f8b57612f8b613b72565b634e487b7160e01b600052604160045260246000fd5b6040516101e081016001600160401b0381118282101715613be157613be1613ba8565b60405290565b604080519081016001600160401b0381118282101715613be157613be1613ba8565b8051610d3a8161381c565b8051610d3a816139c2565b805160028110610d3a57600080fd5b805160ff81168114610d3a57600080fd5b80518015158114610d3a57600080fd5b60006101e08284031215613c6257600080fd5b613c6a613bbe565b825181526020830151602082015260408301516040820152606083015160608201526080830151608082015260a083015160a082015260c083015160c082015260e083015160e0820152610100613cc2818501613c09565b90820152610120613cd4848201613c14565b90820152610140613ce6848201613c14565b90820152610160613cf8848201613c1f565b90820152610180613d0a848201613c2e565b908201526101a0613d1c848201613c3f565b908201526101c0613d2e848201613c14565b908201529392505050565b60208082526012908201527115d2125511531254d517d11254d05093115160721b604082015260600190565b600082601f830112613d7657600080fd5b604051604081018181106001600160401b0382111715613d9857613d98613ba8565b8060405250806040840185811115613daf57600080fd5b845b81811015613dd2578035613dc4816139c2565b835260209283019201613db1565b509195945050505050565b600060808284031215613def57600080fd5b604051604081018181106001600160401b0382111715613e1157613e11613ba8565b604052905080601f83018413613e2657600080fd5b613e2e613be7565b806040850186811115613e4057600080fd5b855b81811015613e5a578035845260209384019301613e42565b50818452613e688782613d65565b60208501525050505092915050565b803560038110610d3a57600080fd5b600060c08284031215613e9857600080fd5b604051606081018181106001600160401b0382111715613eba57613eba613ba8565b604052613ec78484613ddd565b8152613ed560808401613e77565b602082015260a09290920135604083015250919050565b6020808252600a90820152691393d517d4d51052d15160b21b604082015260600190565b81810381811115610c7d57610c7d613b72565b602080825260189082015277454d5054595f5749544844524157414c5f4144445245535360401b604082015260600190565b600060808284031215613f6757600080fd5b610e668383613ddd565b6001600160401b03828116828216039080821115612f8b57612f8b613b72565b600060208284031215613fa357600080fd5b5051919050565b634e487b7160e01b600052603260045260246000fd5b600060208284031215613fd257600080fd5b8151610e668161381c565b60005b83811015613ff8578181015183820152602001613fe0565b50506000910152565b60008251614013818460208701613fdd565b9190910192915050565b80820180821115610c7d57610c7d613b72565b60006020828403121561404257600080fd5b610e6682613e77565b61405481613a42565b9052565b6040818337604082016040820160005b600281101561409a57813561407c816139c2565b6001600160401b031683526020928301929190910190600101614068565b5050506140a960808201613e77565b6140b281613a42565b608083015260a090810135910152565b6000610320820190508835825260208901356020830152604089013560408301526060890135606083015260808901356140fb8161381c565b6001600160a01b0316608083015260a0890135614117816139c2565b6001600160401b0390811660a084015260c08a013590614136826139c2565b1660c083015261414c60e0808401908b01614058565b6101a061415d818401828c01614058565b508761026083015286610280830152856102a0830152846102c08301526141906102e08301856001600160a01b03169052565b6001600160401b03831661030083015298975050505050505050565b8151805160c0830191908360005b60028110156141d95782518252602092830192909101906001016141ba565b505050602090810151906040840160005b60028110156142105783516001600160401b0316825292820192908201906001016141ea565b50508401519050614224608084018261404b565b50604083015160a083015292915050565b60006020828403121561424757600080fd5b610e6682613c3f565b634e487b7160e01b600052603160045260246000fd5b6020815260008251806020840152614285816040850160208701613fdd565b601f01601f1916919091016040019291505056fed957cf2340073335d256f72a9ef89cf1a43c31143341a6a53575ef33e987beb8a2646970667358221220adac40079ee3a5b023334745bf53c80fdb89f53847bb69953dd97b277c6655f564736f6c63430008110033
Loading...
Loading
Loading...
Loading
Multichain Portfolio | 31 Chains
Chain | Token | Portfolio % | Price | Amount | Value |
---|
Loading...
Loading
A contract address hosts a smart contract, which is a set of code stored on the blockchain that runs when predetermined conditions are met. Learn more about addresses in our Knowledge Base.