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
This contract may be a proxy contract. Click on More Options and select Is this a proxy? to confirm and enable the "Read as Proxy" & "Write as Proxy" tabs.
Contract Source Code Verified (Exact Match)
Contract Name:
MainnetTaikoL1
Compiler Version
v0.8.27+commit.40a35a09
Optimization Enabled:
Yes with 200 runs
Other Settings:
cancun EvmVersion
Contract Source Code (Solidity Standard Json-Input format)
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/layer1/based/TaikoL1.sol"; import "../addrcache/RollupAddressCache.sol"; import "../reentrylock/LibFasterReentryLock.sol"; /// @title MainnetTaikoL1 /// @dev This contract shall be deployed to replace its parent contract on Ethereum for Taiko /// mainnet to reduce gas cost. /// @notice See the documentation in {TaikoL1}. /// @custom:security-contact [email protected] contract MainnetTaikoL1 is TaikoL1, RollupAddressCache { /// @inheritdoc ITaikoL1 function getConfig() public pure override returns (TaikoData.Config memory) { // All hard-coded configurations: // - treasury: the actual TaikoL2 address. // - anchorGasLimit: 250_000 (based on internal devnet, its ~220_000 // after 256 L2 blocks) return TaikoData.Config({ chainId: LibNetwork.TAIKO_MAINNET, // Ring buffers are being reused on the mainnet, therefore the following two // configuration values must NEVER be changed!!! blockMaxProposals: 324_000, // DO NOT CHANGE!!! blockRingBufferSize: 360_000, // DO NOT CHANGE!!! maxBlocksToVerify: 16, blockMaxGasLimit: 240_000_000, livenessBond: 125e18, // 125 Taiko token stateRootSyncInternal: 16, maxAnchorHeightOffset: 64, baseFeeConfig: LibSharedData.BaseFeeConfig({ adjustmentQuotient: 8, sharingPctg: 75, gasIssuancePerSecond: 5_000_000, minGasExcess: 1_340_000_000, // correspond to 0.008847185 gwei basefee maxGasIssuancePerBlock: 600_000_000 // two minutes: 5_000_000 * 120 }), ontakeForkHeight: 538_304 }); } function _getAddress(uint64 _chainId, bytes32 _name) internal view override returns (address) { return getAddress(_chainId, _name, super._getAddress); } function _storeReentryLock(uint8 _reentry) internal override { LibFasterReentryLock.storeReentryLock(_reentry); } function _loadReentryLock() internal view override returns (uint8) { return LibFasterReentryLock.loadReentryLock(); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/shared/common/EssentialContract.sol"; import "./LibData.sol"; import "./LibProposing.sol"; import "./LibProving.sol"; import "./LibVerifying.sol"; import "./TaikoEvents.sol"; import "./ITaikoL1.sol"; /// @title TaikoL1 /// @notice This contract serves as the "base layer contract" of the Taiko protocol, providing /// functionalities for proposing, proving, and verifying blocks. The term "base layer contract" /// means that although this is usually deployed on L1, it can also be deployed on L2s to create /// L3 "inception layers". The contract also handles the deposit and withdrawal of Taiko tokens /// and Ether. Additionally, this contract doesn't hold any Ether. Ether deposited to L2 are held /// by the Bridge contract. /// @dev Labeled in AddressResolver as "taiko" /// @custom:security-contact [email protected] contract TaikoL1 is EssentialContract, ITaikoL1, TaikoEvents { /// @notice The TaikoL1 state. TaikoData.State public state; uint256[50] private __gap; error L1_FORK_ERROR(); error L1_INVALID_PARAMS(); modifier whenProvingNotPaused() { if (state.slotB.provingPaused) revert LibProving.L1_PROVING_PAUSED(); _; } modifier emitEventForClient() { _; emit StateVariablesUpdated(state.slotB); } /// @notice Initializes the contract. /// @param _owner The owner of this contract. msg.sender will be used if this value is zero. /// @param _rollupAddressManager The address of the {AddressManager} contract. /// @param _genesisBlockHash The block hash of the genesis block. /// @param _toPause true to pause the contract by default. function init( address _owner, address _rollupAddressManager, bytes32 _genesisBlockHash, bool _toPause ) external initializer { __Essential_init(_owner, _rollupAddressManager); LibUtils.init(state, getConfig(), _genesisBlockHash); if (_toPause) _pause(); } /// @notice This function shall be called by previously deployed contracts. function init2() external onlyOwner reinitializer(2) { // reset some previously used slots for future reuse state.slotB.__reservedB1 = 0; state.slotB.__reservedB2 = 0; state.slotB.__reservedB3 = 0; state.__reserve1 = 0; } /// @inheritdoc ITaikoL1 function proposeBlock( bytes calldata _params, bytes calldata _txList ) external payable whenNotPaused nonReentrant emitEventForClient returns (TaikoData.BlockMetadata memory meta_, TaikoData.EthDeposit[] memory deposits_) { TaikoData.Config memory config = getConfig(); TaikoData.BlockMetadataV2 memory metaV2; (meta_, metaV2) = LibProposing.proposeBlock(state, config, this, _params, _txList); if (metaV2.id >= config.ontakeForkHeight) revert L1_FORK_ERROR(); deposits_ = new TaikoData.EthDeposit[](0); } function proposeBlockV2( bytes calldata _params, bytes calldata _txList ) external whenNotPaused nonReentrant emitEventForClient returns (TaikoData.BlockMetadataV2 memory meta_) { TaikoData.Config memory config = getConfig(); (, meta_) = LibProposing.proposeBlock(state, config, this, _params, _txList); if (meta_.id < config.ontakeForkHeight) revert L1_FORK_ERROR(); } /// @inheritdoc ITaikoL1 function proposeBlocksV2( bytes[] calldata _paramsArr, bytes[] calldata _txListArr ) external whenNotPaused nonReentrant emitEventForClient returns (TaikoData.BlockMetadataV2[] memory metaArr_) { TaikoData.Config memory config = getConfig(); (, metaArr_) = LibProposing.proposeBlocks(state, config, this, _paramsArr, _txListArr); for (uint256 i; i < metaArr_.length; ++i) { if (metaArr_[i].id < config.ontakeForkHeight) revert L1_FORK_ERROR(); } } /// @inheritdoc ITaikoL1 function proveBlock( uint64 _blockId, bytes calldata _input ) external whenNotPaused whenProvingNotPaused nonReentrant emitEventForClient { LibProving.proveBlock(state, getConfig(), this, _blockId, _input); } /// @inheritdoc ITaikoL1 function proveBlocks( uint64[] calldata _blockIds, bytes[] calldata _inputs, bytes calldata _batchProof ) external whenNotPaused whenProvingNotPaused nonReentrant emitEventForClient { LibProving.proveBlocks(state, getConfig(), this, _blockIds, _inputs, _batchProof); } /// @inheritdoc ITaikoL1 function verifyBlocks(uint64 _maxBlocksToVerify) external whenNotPaused whenProvingNotPaused nonReentrant emitEventForClient { LibVerifying.verifyBlocks(state, getConfig(), this, _maxBlocksToVerify); } /// @inheritdoc ITaikoL1 function pauseProving(bool _pause) external { _authorizePause(msg.sender, _pause); LibProving.pauseProving(state, _pause); } /// @inheritdoc ITaikoL1 function depositBond(uint256 _amount) external whenNotPaused { LibBonds.depositBond(state, this, _amount); } /// @inheritdoc ITaikoL1 function withdrawBond(uint256 _amount) external whenNotPaused { LibBonds.withdrawBond(state, this, _amount); } /// @notice Gets the current bond balance of a given address. /// @return The current bond balance. function bondBalanceOf(address _user) external view returns (uint256) { return LibBonds.bondBalanceOf(state, _user); } /// @inheritdoc ITaikoL1 function getVerifiedBlockProver(uint64 _blockId) external view returns (address prover_) { return LibVerifying.getVerifiedBlockProver(state, getConfig(), _blockId); } /// @notice Gets the details of a block. /// @param _blockId Index of the block. /// @return blk_ The block. function getBlock(uint64 _blockId) external view returns (TaikoData.Block memory blk_) { (TaikoData.BlockV2 memory blk,) = LibUtils.getBlock(state, getConfig(), _blockId); blk_ = LibData.blockV2toV1(blk); } /// @inheritdoc ITaikoL1 function getBlockV2(uint64 _blockId) external view returns (TaikoData.BlockV2 memory blk_) { (blk_,) = LibUtils.getBlock(state, getConfig(), _blockId); } /// @notice This function will revert if the transition is not found. This function will revert /// if the transition is not found. /// @param _blockId Index of the block. /// @param _parentHash Parent hash of the block. /// @return The state transition data of the block. function getTransition( uint64 _blockId, bytes32 _parentHash ) external view returns (TaikoData.TransitionState memory) { return LibUtils.getTransition(state, getConfig(), _blockId, _parentHash); } /// @notice Gets the state transitions for a batch of block. For transition that doesn't exist, /// the corresponding transition state will be empty. /// @param _blockIds Index of the blocks. /// @param _parentHashes Parent hashes of the blocks. /// @return The state transition array of the blocks. function getTransitions( uint64[] calldata _blockIds, bytes32[] calldata _parentHashes ) external view returns (TaikoData.TransitionState[] memory) { return LibUtils.getTransitions(state, getConfig(), _blockIds, _parentHashes); } /// @inheritdoc ITaikoL1 function getTransition( uint64 _blockId, uint32 _tid ) external view returns (TaikoData.TransitionState memory) { return LibUtils.getTransition(state, getConfig(), _blockId, _tid); } /// @notice Returns information about the last verified block. /// @return blockId_ The last verified block's ID. /// @return blockHash_ The last verified block's blockHash. /// @return stateRoot_ The last verified block's stateRoot. /// @return verifiedAt_ The timestamp this block is proven at. function getLastVerifiedBlock() external view returns (uint64 blockId_, bytes32 blockHash_, bytes32 stateRoot_, uint64 verifiedAt_) { blockId_ = state.slotB.lastVerifiedBlockId; (blockHash_, stateRoot_, verifiedAt_) = LibUtils.getBlockInfo(state, getConfig(), blockId_); } /// @notice Returns information about the last synchronized block. /// @return blockId_ The last verified block's ID. /// @return blockHash_ The last verified block's blockHash. /// @return stateRoot_ The last verified block's stateRoot. /// @return verifiedAt_ The timestamp this block is proven at. function getLastSyncedBlock() external view returns (uint64 blockId_, bytes32 blockHash_, bytes32 stateRoot_, uint64 verifiedAt_) { blockId_ = state.slotA.lastSyncedBlockId; (blockHash_, stateRoot_, verifiedAt_) = LibUtils.getBlockInfo(state, getConfig(), blockId_); } /// @notice Gets the state variables of the TaikoL1 contract. /// @dev This method can be deleted once node/client stops using it. /// @return State variables stored at SlotA. /// @return State variables stored at SlotB. function getStateVariables() external view returns (TaikoData.SlotA memory, TaikoData.SlotB memory) { return (state.slotA, state.slotB); } /// @inheritdoc EssentialContract function unpause() public override { super.unpause(); // permission checked inside state.slotB.lastUnpausedAt = uint64(block.timestamp); } /// @inheritdoc ITaikoL1 function getConfig() public pure virtual returns (TaikoData.Config memory) { return TaikoData.Config({ chainId: LibNetwork.TAIKO_MAINNET, blockMaxProposals: 324_000, // = 7200 * 45 blockRingBufferSize: 360_000, // = 7200 * 50 maxBlocksToVerify: 16, blockMaxGasLimit: 240_000_000, livenessBond: 125e18, // 125 Taiko token stateRootSyncInternal: 16, maxAnchorHeightOffset: 64, baseFeeConfig: LibSharedData.BaseFeeConfig({ adjustmentQuotient: 8, sharingPctg: 75, gasIssuancePerSecond: 5_000_000, minGasExcess: 1_340_000_000, maxGasIssuancePerBlock: 600_000_000 // two minutes }), ontakeForkHeight: 374_400 // = 7200 * 52 }); } /// @dev chain_pauser is supposed to be a cold wallet. function _authorizePause( address, bool ) internal view virtual override onlyFromOwnerOrNamed(LibStrings.B_CHAIN_WATCHDOG) { } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/shared/common/LibStrings.sol"; import "src/shared/common/LibNetwork.sol"; import "./AddressCache.sol"; /// @title RollupAddressCache /// @custom:security-contact [email protected] contract RollupAddressCache is AddressCache { function getCachedAddress( uint64 _chainId, bytes32 _name ) internal pure override returns (bool found, address addr) { if (_chainId != LibNetwork.ETHEREUM_MAINNET) { return (false, address(0)); } if (_name == LibStrings.B_TAIKO_TOKEN) { return (true, 0x10dea67478c5F8C5E2D90e5E9B26dBe60c54d800); } if (_name == LibStrings.B_SIGNAL_SERVICE) { return (true, 0x9e0a24964e5397B566c1ed39258e21aB5E35C77C); } if (_name == LibStrings.B_BRIDGE) { return (true, 0xd60247c6848B7Ca29eDdF63AA924E53dB6Ddd8EC); } if (_name == LibStrings.B_TAIKO) { return (true, 0x06a9Ab27c7e2255df1815E6CC0168d7755Feb19a); } if (_name == LibStrings.B_TIER_ROUTER) { return (true, 0x8f1C1D58C858e9a9eeCc587d7D51AECfd16b5542); } if (_name == LibStrings.B_TIER_SGX) { return (true, 0xb0f3186FC1963f774f52ff455DC86aEdD0b31F81); } if (_name == LibStrings.B_TIER_GUARDIAN_MINORITY) { return (true, 0x579A8d63a2Db646284CBFE31FE5082c9989E985c); } if (_name == LibStrings.B_TIER_GUARDIAN) { return (true, 0xE3D777143Ea25A6E031d1e921F396750885f43aC); } if (_name == LibStrings.B_AUTOMATA_DCAP_ATTESTATION) { return (true, 0x8d7C954960a36a7596d7eA4945dDf891967ca8A3); } if (_name == LibStrings.B_PRECONF_REGISTRY) { return (true, address(0)); } if (_name == LibStrings.B_CHAIN_WATCHDOG) { return (true, 0xE3D777143Ea25A6E031d1e921F396750885f43aC); } return (false, address(0)); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title LibFasterReentryLock /// @custom:security-contact [email protected] library LibFasterReentryLock { /// @dev The slot in transient storage of the reentry lock. /// This is the result of keccak256("ownerUUPS.reentry_slot") plus 1. The addition aims to /// prevent hash collisions with slots defined in EIP-1967, where slots are derived by /// keccak256("something") - 1, and with slots in SignalService, calculated directly with /// keccak256("something"). bytes32 private constant _REENTRY_SLOT = 0xa5054f728453d3dbe953bdc43e4d0cb97e662ea32d7958190f3dc2da31d9721b; function storeReentryLock(uint8 _reentry) internal { assembly { tstore(_REENTRY_SLOT, _reentry) } } function loadReentryLock() internal view returns (uint8 reentry_) { assembly { reentry_ := tload(_REENTRY_SLOT) } } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/proxy/utils/UUPSUpgradeable.sol"; import "@openzeppelin/contracts-upgradeable/access/Ownable2StepUpgradeable.sol"; import "./AddressResolver.sol"; /// @title EssentialContract /// @custom:security-contact [email protected] abstract contract EssentialContract is UUPSUpgradeable, Ownable2StepUpgradeable, AddressResolver { uint8 private constant _FALSE = 1; uint8 private constant _TRUE = 2; /// @dev Slot 1. uint8 private __reentry; uint8 private __paused; uint64 public lastUnpausedAt; uint256[49] private __gap; /// @notice Emitted when the contract is paused. /// @param account The account that paused the contract. event Paused(address account); /// @notice Emitted when the contract is unpaused. /// @param account The account that unpaused the contract. event Unpaused(address account); error INVALID_PAUSE_STATUS(); error FUNC_NOT_IMPLEMENTED(); error REENTRANT_CALL(); error ZERO_ADDRESS(); error ZERO_VALUE(); /// @dev Modifier that ensures the caller is the owner or resolved address of a given name. /// @param _name The name to check against. modifier onlyFromOwnerOrNamed(bytes32 _name) { if (msg.sender != owner() && msg.sender != resolve(_name, true)) revert RESOLVER_DENIED(); _; } modifier notImplemented() { revert FUNC_NOT_IMPLEMENTED(); _; } modifier nonReentrant() { if (_loadReentryLock() == _TRUE) revert REENTRANT_CALL(); _storeReentryLock(_TRUE); _; _storeReentryLock(_FALSE); } modifier whenPaused() { if (!paused()) revert INVALID_PAUSE_STATUS(); _; } modifier whenNotPaused() { if (paused()) revert INVALID_PAUSE_STATUS(); _; } modifier nonZeroAddr(address _addr) { if (_addr == address(0)) revert ZERO_ADDRESS(); _; } modifier nonZeroValue(uint256 _value) { if (_value == 0) revert ZERO_VALUE(); _; } /// @custom:oz-upgrades-unsafe-allow constructor constructor() { _disableInitializers(); } /// @notice Pauses the contract. function pause() public virtual { _pause(); // We call the authorize function here to avoid: // Warning (5740): Unreachable code. _authorizePause(msg.sender, true); } /// @notice Unpauses the contract. function unpause() public virtual { _unpause(); // We call the authorize function here to avoid: // Warning (5740): Unreachable code. _authorizePause(msg.sender, false); } function impl() public view returns (address) { return _getImplementation(); } /// @notice Returns true if the contract is paused, and false otherwise. /// @return true if paused, false otherwise. function paused() public view returns (bool) { return __paused == _TRUE; } function inNonReentrant() public view returns (bool) { return _loadReentryLock() == _TRUE; } /// @notice Initializes the contract. /// @param _owner The owner of this contract. msg.sender will be used if this value is zero. /// @param _addressManager The address of the {AddressManager} contract. function __Essential_init( address _owner, address _addressManager ) internal nonZeroAddr(_addressManager) { __Essential_init(_owner); __AddressResolver_init(_addressManager); } function __Essential_init(address _owner) internal virtual onlyInitializing { __Context_init(); _transferOwnership(_owner == address(0) ? msg.sender : _owner); __paused = _FALSE; } function _pause() internal whenNotPaused { __paused = _TRUE; emit Paused(msg.sender); } function _unpause() internal whenPaused { __paused = _FALSE; lastUnpausedAt = uint64(block.timestamp); emit Unpaused(msg.sender); } function _authorizeUpgrade(address) internal virtual override onlyOwner { } function _authorizePause(address, bool) internal virtual onlyOwner { } // Stores the reentry lock function _storeReentryLock(uint8 _reentry) internal virtual { __reentry = _reentry; } // Loads the reentry lock function _loadReentryLock() internal view virtual returns (uint8 reentry_) { reentry_ = __reentry; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "../verifiers/IVerifier.sol"; import "./TaikoData.sol"; /// @title LibData /// @notice A library that offers helper functions. /// @custom:security-contact [email protected] library LibData { // = keccak256(abi.encode(new TaikoData.EthDeposit[](0))) bytes32 internal constant EMPTY_ETH_DEPOSIT_HASH = 0x569e75fc77c1a856f6daaf9e69d8a9566ca34aa47f9133711ce065a571af0cfd; function blockParamsV1ToV2(TaikoData.BlockParams memory _v1) internal pure returns (TaikoData.BlockParamsV2 memory) { return TaikoData.BlockParamsV2({ proposer: address(0), coinbase: _v1.coinbase, parentMetaHash: _v1.parentMetaHash, anchorBlockId: 0, timestamp: 0, blobTxListOffset: 0, blobTxListLength: 0, blobIndex: 0 }); } function blockMetadataV2toV1(TaikoData.BlockMetadataV2 memory _v2) internal pure returns (TaikoData.BlockMetadata memory) { return TaikoData.BlockMetadata({ l1Hash: _v2.anchorBlockHash, difficulty: _v2.difficulty, blobHash: _v2.blobHash, extraData: _v2.extraData, depositsHash: EMPTY_ETH_DEPOSIT_HASH, coinbase: _v2.coinbase, id: _v2.id, gasLimit: _v2.gasLimit, timestamp: _v2.timestamp, l1Height: _v2.anchorBlockId, minTier: _v2.minTier, blobUsed: _v2.blobUsed, parentMetaHash: _v2.parentMetaHash, sender: _v2.proposer }); } function blockMetadataV1toV2(TaikoData.BlockMetadata memory _v1) internal pure returns (TaikoData.BlockMetadataV2 memory) { return TaikoData.BlockMetadataV2({ anchorBlockHash: _v1.l1Hash, difficulty: _v1.difficulty, blobHash: _v1.blobHash, extraData: _v1.extraData, coinbase: _v1.coinbase, id: _v1.id, gasLimit: _v1.gasLimit, timestamp: _v1.timestamp, anchorBlockId: _v1.l1Height, minTier: _v1.minTier, blobUsed: _v1.blobUsed, parentMetaHash: _v1.parentMetaHash, proposer: _v1.sender, livenessBond: 0, proposedAt: 0, proposedIn: 0, blobTxListOffset: 0, blobTxListLength: 0, blobIndex: 0, baseFeeConfig: LibSharedData.BaseFeeConfig(0, 0, 0, 0, 0) }); } function blockV2toV1(TaikoData.BlockV2 memory _v2) internal pure returns (TaikoData.Block memory) { return TaikoData.Block({ metaHash: _v2.metaHash, assignedProver: _v2.assignedProver, livenessBond: _v2.livenessBond, blockId: _v2.blockId, proposedAt: _v2.proposedAt, proposedIn: _v2.proposedIn, nextTransitionId: _v2.nextTransitionId, verifiedTransitionId: _v2.verifiedTransitionId }); } function verifierContextV2toV1(IVerifier.ContextV2 memory _v2) internal pure returns (IVerifier.Context memory) { return IVerifier.Context({ metaHash: _v2.metaHash, blobHash: _v2.blobHash, prover: _v2.prover, blockId: _v2.blockId, isContesting: _v2.isContesting, blobUsed: _v2.blobUsed, msgSender: _v2.msgSender }); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/shared/common/LibAddress.sol"; import "src/shared/common/LibNetwork.sol"; import "./LibBonds.sol"; import "./LibData.sol"; import "./LibUtils.sol"; import "./LibVerifying.sol"; /// @title LibProposing /// @notice A library for handling block proposals in the Taiko protocol. /// @custom:security-contact [email protected] library LibProposing { using LibAddress for address; uint256 internal constant SECONDS_PER_BLOCK = 12; struct Local { TaikoData.SlotB b; TaikoData.BlockParamsV2 params; ITierProvider tierProvider; bytes32 parentMetaHash; bool postFork; bool allowCustomProposer; bytes32 extraData; } /// @notice Emitted when a block is proposed. /// @param blockId The ID of the proposed block. /// @param assignedProver The address of the assigned prover. /// @param livenessBond The liveness bond of the proposed block. /// @param meta The metadata of the proposed block. /// @param depositsProcessed The EthDeposit array about processed deposits in this proposed /// block. event BlockProposed( uint256 indexed blockId, address indexed assignedProver, uint96 livenessBond, TaikoData.BlockMetadata meta, TaikoData.EthDeposit[] depositsProcessed ); /// @notice Emitted when a block is proposed. /// @param blockId The ID of the proposed block. /// @param meta The metadata of the proposed block. event BlockProposedV2(uint256 indexed blockId, TaikoData.BlockMetadataV2 meta); /// @notice Emitted when a block's txList is in the calldata. /// @param blockId The ID of the proposed block. /// @param txList The txList. event CalldataTxList(uint256 indexed blockId, bytes txList); error L1_BLOB_NOT_AVAILABLE(); error L1_BLOB_NOT_FOUND(); error L1_INVALID_ANCHOR_BLOCK(); error L1_INVALID_CUSTOM_PROPOSER(); error L1_INVALID_PARAMS(); error L1_INVALID_PROPOSER(); error L1_INVALID_TIMESTAMP(); error L1_LIVENESS_BOND_NOT_RECEIVED(); error L1_TOO_MANY_BLOCKS(); error L1_UNEXPECTED_PARENT(); /// @notice Proposes multiple Taiko L2 blocks. /// @param _state The current state of the Taiko protocol. /// @param _config The configuration parameters for the Taiko protocol. /// @param _resolver The address resolver interface. /// @param _paramsArr An array of encoded data bytes containing the block parameters. /// @param _txListArr An array of transaction list bytes (if not blob). /// @return metaV1s_ An array of metadata objects for the proposed L2 blocks (version 1). /// @return metas_ An array of metadata objects for the proposed L2 blocks (version 2). function proposeBlocks( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, bytes[] calldata _paramsArr, bytes[] calldata _txListArr ) public returns ( TaikoData.BlockMetadata[] memory metaV1s_, TaikoData.BlockMetadataV2[] memory metas_ ) { if (_paramsArr.length == 0 || _paramsArr.length != _txListArr.length) { revert L1_INVALID_PARAMS(); } metaV1s_ = new TaikoData.BlockMetadata[](_paramsArr.length); metas_ = new TaikoData.BlockMetadataV2[](_paramsArr.length); for (uint256 i; i < _paramsArr.length; ++i) { (metaV1s_[i], metas_[i]) = _proposeBlock(_state, _config, _resolver, _paramsArr[i], _txListArr[i]); } if (!_state.slotB.provingPaused) { for (uint256 i; i < _paramsArr.length; ++i) { if (LibUtils.shouldVerifyBlocks(_config, metas_[i].id, false)) { LibVerifying.verifyBlocks(_state, _config, _resolver, _config.maxBlocksToVerify); } } } } /// @notice Proposes a single Taiko L2 block. /// @param _state The current state of the Taiko protocol. /// @param _config The configuration parameters for the Taiko protocol. /// @param _resolver The address resolver interface. /// @param _params Encoded data bytes containing the block parameters. /// @param _txList Transaction list bytes (if not blob). /// @return metaV1_ The metadata of the proposed block (version 1). /// @return meta_ The metadata of the proposed block (version 2). function proposeBlock( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, bytes calldata _params, bytes calldata _txList ) public returns (TaikoData.BlockMetadata memory metaV1_, TaikoData.BlockMetadataV2 memory meta_) { (metaV1_, meta_) = _proposeBlock(_state, _config, _resolver, _params, _txList); if (!_state.slotB.provingPaused) { if (LibUtils.shouldVerifyBlocks(_config, meta_.id, false)) { LibVerifying.verifyBlocks(_state, _config, _resolver, _config.maxBlocksToVerify); } } } function _proposeBlock( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, bytes calldata _params, bytes calldata _txList ) private returns (TaikoData.BlockMetadata memory metaV1_, TaikoData.BlockMetadataV2 memory meta_) { // Checks proposer access. Local memory local; local.b = _state.slotB; local.postFork = local.b.numBlocks >= _config.ontakeForkHeight; // It's essential to ensure that the ring buffer for proposed blocks // still has space for at least one more block. if (local.b.numBlocks >= local.b.lastVerifiedBlockId + _config.blockMaxProposals + 1) { revert L1_TOO_MANY_BLOCKS(); } address preconfRegistry = _resolver.resolve(LibStrings.B_PRECONF_REGISTRY, true); if (preconfRegistry != address(0)) { if (preconfRegistry != msg.sender) revert L1_INVALID_PROPOSER(); local.allowCustomProposer = true; } if (local.postFork) { if (_params.length != 0) { local.params = abi.decode(_params, (TaikoData.BlockParamsV2)); } } else { TaikoData.BlockParams memory paramsV1 = abi.decode(_params, (TaikoData.BlockParams)); local.params = LibData.blockParamsV1ToV2(paramsV1); local.extraData = paramsV1.extraData; } if (local.params.proposer == address(0)) { local.params.proposer = msg.sender; } else { if (local.params.proposer != msg.sender && !local.allowCustomProposer) { revert L1_INVALID_CUSTOM_PROPOSER(); } } if (local.params.coinbase == address(0)) { local.params.coinbase = local.params.proposer; } if (local.params.anchorBlockId == 0) { unchecked { local.params.anchorBlockId = uint64(block.number - 1); } } if (local.params.timestamp == 0) { local.params.timestamp = uint64(block.timestamp); } // Verify params against the parent block. TaikoData.BlockV2 storage parentBlk; unchecked { parentBlk = _state.blocks[(local.b.numBlocks - 1) % _config.blockRingBufferSize]; } if (local.postFork) { // Verify the passed in L1 state block number. // We only allow the L1 block to be 2 epochs old. // The other constraint is that the L1 block number needs to be larger than or equal // the one in the previous L2 block. if ( local.params.anchorBlockId + _config.maxAnchorHeightOffset < block.number // || local.params.anchorBlockId >= block.number || local.params.anchorBlockId < parentBlk.proposedIn ) { revert L1_INVALID_ANCHOR_BLOCK(); } // Verify the passed in timestamp. // We only allow the timestamp to be 2 epochs old. // The other constraint is that the timestamp needs to be larger than or equal the // one in the previous L2 block. if ( local.params.timestamp + _config.maxAnchorHeightOffset * SECONDS_PER_BLOCK < block.timestamp || local.params.timestamp > block.timestamp || local.params.timestamp < parentBlk.proposedAt ) { revert L1_INVALID_TIMESTAMP(); } } // Check if parent block has the right meta hash. This is to allow the proposer to make // sure the block builds on the expected latest chain state. if (local.params.parentMetaHash == 0) { local.params.parentMetaHash = parentBlk.metaHash; } else if (local.params.parentMetaHash != parentBlk.metaHash) { revert L1_UNEXPECTED_PARENT(); } // Initialize metadata to compute a metaHash, which forms a part of // the block data to be stored on-chain for future integrity checks. // If we choose to persist all data fields in the metadata, it will // require additional storage slots. meta_ = TaikoData.BlockMetadataV2({ anchorBlockHash: blockhash(local.params.anchorBlockId), difficulty: keccak256(abi.encode("TAIKO_DIFFICULTY", local.b.numBlocks)), blobHash: 0, // to be initialized below // To make sure each L2 block can be exexucated deterministiclly by the client // without referering to its metadata on Ethereum, we need to encode // config.sharingPctg into the extraData. extraData: local.postFork ? _encodeBaseFeeConfig(_config.baseFeeConfig) : local.extraData, coinbase: local.params.coinbase, id: local.b.numBlocks, gasLimit: _config.blockMaxGasLimit, timestamp: local.params.timestamp, anchorBlockId: local.params.anchorBlockId, minTier: 0, // to be initialized below blobUsed: _txList.length == 0, parentMetaHash: local.params.parentMetaHash, proposer: local.params.proposer, livenessBond: _config.livenessBond, proposedAt: uint64(block.timestamp), proposedIn: uint64(block.number), blobTxListOffset: local.params.blobTxListOffset, blobTxListLength: local.params.blobTxListLength, blobIndex: local.params.blobIndex, baseFeeConfig: _config.baseFeeConfig }); // Update certain meta fields if (meta_.blobUsed) { if (!LibNetwork.isDencunSupported(block.chainid)) revert L1_BLOB_NOT_AVAILABLE(); // Always use the first blob in this transaction. If the // proposeBlock functions are called more than once in the same // L1 transaction, these multiple L2 blocks will share the same // blob. meta_.blobHash = blobhash(local.params.blobIndex); if (meta_.blobHash == 0) revert L1_BLOB_NOT_FOUND(); } else { meta_.blobHash = keccak256(_txList); emit CalldataTxList(meta_.id, _txList); } local.tierProvider = ITierProvider( ITierRouter(_resolver.resolve(LibStrings.B_TIER_ROUTER, false)).getProvider( local.b.numBlocks ) ); // Use the difficulty as a random number meta_.minTier = local.tierProvider.getMinTier(meta_.proposer, uint256(meta_.difficulty)); if (!local.postFork) { metaV1_ = LibData.blockMetadataV2toV1(meta_); } // Create the block that will be stored onchain TaikoData.BlockV2 memory blk = TaikoData.BlockV2({ metaHash: local.postFork ? keccak256(abi.encode(meta_)) : keccak256(abi.encode(metaV1_)), assignedProver: address(0), livenessBond: local.postFork ? 0 : meta_.livenessBond, blockId: local.b.numBlocks, proposedAt: local.postFork ? local.params.timestamp : uint64(block.timestamp), proposedIn: local.postFork ? local.params.anchorBlockId : uint64(block.number), // For a new block, the next transition ID is always 1, not 0. nextTransitionId: 1, livenessBondReturned: false, // For unverified block, its verifiedTransitionId is always 0. verifiedTransitionId: 0 }); // Store the block in the ring buffer _state.blocks[local.b.numBlocks % _config.blockRingBufferSize] = blk; // Increment the counter (cursor) by 1. unchecked { ++_state.slotB.numBlocks; } LibBonds.debitBond(_state, _resolver, local.params.proposer, _config.livenessBond); // Bribe the block builder. Unlike 1559-tips, this tip is only made // if this transaction succeeds. if (msg.value != 0 && block.coinbase != address(0)) { address(block.coinbase).sendEtherAndVerify(msg.value); } if (local.postFork) { emit BlockProposedV2(meta_.id, meta_); } else { emit BlockProposed({ blockId: metaV1_.id, assignedProver: local.params.proposer, livenessBond: _config.livenessBond, meta: metaV1_, depositsProcessed: new TaikoData.EthDeposit[](0) }); } } function _encodeBaseFeeConfig(LibSharedData.BaseFeeConfig memory _baseFeeConfig) private pure returns (bytes32) { return bytes32(uint256(_baseFeeConfig.sharingPctg)); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "../verifiers/IVerifier.sol"; import "./LibBonds.sol"; import "./LibData.sol"; import "./LibUtils.sol"; import "./LibVerifying.sol"; /// @title LibProving /// @notice A library for handling block contestation and proving in the Taiko /// protocol. /// @custom:security-contact [email protected] library LibProving { using LibMath for uint256; // A struct to get around stack too deep issue and to cache state variables for multiple reads. struct Local { TaikoData.SlotB b; ITierProvider.Tier tier; ITierProvider.Tier minTier; TaikoData.BlockMetadataV2 meta; TaikoData.TierProof proof; bytes32 metaHash; address assignedProver; bytes32 stateRoot; uint96 livenessBond; uint64 slot; uint64 blockId; uint24 tid; bool lastUnpausedAt; bool isTopTier; bool inProvingWindow; bool sameTransition; bool postFork; uint64 proposedAt; bool isSyncBlock; } /// @notice Emitted when a transition is proved. /// @param blockId The block ID. /// @param tran The transition data. /// @param prover The prover's address. /// @param validityBond The validity bond amount. /// @param tier The tier of the proof. event TransitionProved( uint256 indexed blockId, TaikoData.Transition tran, address prover, uint96 validityBond, uint16 tier ); /// @notice Emitted when a transition is proved. /// @param blockId The block ID. /// @param tran The transition data. /// @param prover The prover's address. /// @param validityBond The validity bond amount. /// @param tier The tier of the proof. /// @param proposedIn The L1 block in which a transition is proved. event TransitionProvedV2( uint256 indexed blockId, TaikoData.Transition tran, address prover, uint96 validityBond, uint16 tier, uint64 proposedIn ); /// @notice Emitted when a transition is contested. /// @param blockId The block ID. /// @param tran The transition data. /// @param contester The contester's address. /// @param contestBond The contest bond amount. /// @param tier The tier of the proof. event TransitionContested( uint256 indexed blockId, TaikoData.Transition tran, address contester, uint96 contestBond, uint16 tier ); /// @notice Emitted when a transition is contested. /// @param blockId The block ID. /// @param tran The transition data. /// @param contester The contester's address. /// @param contestBond The contest bond amount. /// @param tier The tier of the proof. /// @param proposedIn The L1 block in which this L2 block is proposed. event TransitionContestedV2( uint256 indexed blockId, TaikoData.Transition tran, address contester, uint96 contestBond, uint16 tier, uint64 proposedIn ); /// @notice Emitted when proving is paused or unpaused. /// @param paused The pause status. event ProvingPaused(bool paused); error L1_ALREADY_CONTESTED(); error L1_ALREADY_PROVED(); error L1_BLOCK_MISMATCH(); error L1_CANNOT_CONTEST(); error L1_DIFF_VERIFIER(); error L1_INVALID_PARAMS(); error L1_INVALID_PAUSE_STATUS(); error L1_INVALID_TIER(); error L1_INVALID_TRANSITION(); error L1_NOT_ASSIGNED_PROVER(); error L1_PROVING_PAUSED(); /// @notice Pauses or unpauses the proving process. /// @param _state Current TaikoData.State. /// @param _pause The pause status. function pauseProving(TaikoData.State storage _state, bool _pause) internal { if (_state.slotB.provingPaused == _pause) revert L1_INVALID_PAUSE_STATUS(); _state.slotB.provingPaused = _pause; if (!_pause) { _state.slotB.lastUnpausedAt = uint64(block.timestamp); } emit ProvingPaused(_pause); } /// @dev Proves or contests multiple Taiko L2 blocks. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _resolver Address resolver interface. /// @param _blockIds The index of the block to prove. This is also used to /// select the right implementation version. /// @param _inputs An abi-encoded (TaikoData.BlockMetadata, TaikoData.Transition, /// TaikoData.TierProof) tuple. /// @param _batchProof An abi-encoded TaikoData.TierProof that contains the batch/aggregated /// proof for the given blocks. function proveBlocks( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, uint64[] calldata _blockIds, bytes[] calldata _inputs, bytes calldata _batchProof ) public { if (_blockIds.length == 0 || _blockIds.length != _inputs.length) { revert L1_INVALID_PARAMS(); } TaikoData.TierProof memory batchProof; if (_batchProof.length != 0) { batchProof = abi.decode(_batchProof, (TaikoData.TierProof)); if (batchProof.tier == 0) revert L1_INVALID_TIER(); } IVerifier.ContextV2[] memory ctxs = new IVerifier.ContextV2[](_blockIds.length); bytes32 batchVerifierName; bool batchVerifierNameSet; // This loop iterates over each block ID in the _blockIds array. // For each block ID, it calls the _proveBlock function to get the context and verifier. for (uint256 i; i < _blockIds.length; ++i) { bytes32 _verifierName; (ctxs[i], _verifierName) = _proveBlock(_state, _config, _resolver, _blockIds[i], _inputs[i], batchProof); // Verify that if batchProof is used, the verifier is the same for all blocks. if (batchProof.tier != 0) { if (!batchVerifierNameSet) { batchVerifierNameSet = true; batchVerifierName = _verifierName; } else if (batchVerifierName != _verifierName) { revert L1_DIFF_VERIFIER(); } } } // If batch verifier name is not empty, verify the batch proof. if (batchVerifierName != "") { IVerifier(_resolver.resolve(batchVerifierName, false)).verifyBatchProof( ctxs, batchProof ); } } /// @dev Proves or contests a single Taiko L2 block. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _resolver Address resolver interface. /// @param _blockId The index of the block to prove. This is also used to /// select the right implementation version. /// @param _input An abi-encoded (TaikoData.BlockMetadata, TaikoData.Transition, /// TaikoData.TierProof) tuple. function proveBlock( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, uint64 _blockId, bytes calldata _input ) public { TaikoData.TierProof memory noBatchProof; _proveBlock(_state, _config, _resolver, _blockId, _input, noBatchProof); } function _proveBlock( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, uint64 _blockId, bytes calldata _input, TaikoData.TierProof memory _batchProof ) private returns (IVerifier.ContextV2 memory ctx_, bytes32 verifierName_) { Local memory local; local.b = _state.slotB; local.blockId = _blockId; local.postFork = _blockId >= _config.ontakeForkHeight; if (local.postFork) { if (_batchProof.tier == 0) { // No batch proof is available, each transition is proving using a separate proof. (local.meta, ctx_.tran, local.proof) = abi.decode( _input, (TaikoData.BlockMetadataV2, TaikoData.Transition, TaikoData.TierProof) ); } else { // All transitions are proving using the batch proof. (local.meta, ctx_.tran) = abi.decode(_input, (TaikoData.BlockMetadataV2, TaikoData.Transition)); local.proof = _batchProof; } } else { TaikoData.BlockMetadata memory metaV1; (metaV1, ctx_.tran, local.proof) = abi.decode( _input, (TaikoData.BlockMetadata, TaikoData.Transition, TaikoData.TierProof) ); local.meta = LibData.blockMetadataV1toV2(metaV1); } if (_blockId != local.meta.id) revert LibUtils.L1_INVALID_BLOCK_ID(); // Make sure parentHash is not zero // To contest an existing transition, simply use any non-zero value as // the blockHash and stateRoot. if (ctx_.tran.parentHash == 0 || ctx_.tran.blockHash == 0 || ctx_.tran.stateRoot == 0) { revert L1_INVALID_TRANSITION(); } // Check that the block has been proposed but has not yet been verified. if (local.meta.id <= local.b.lastVerifiedBlockId || local.meta.id >= local.b.numBlocks) { revert LibUtils.L1_INVALID_BLOCK_ID(); } local.slot = local.meta.id % _config.blockRingBufferSize; TaikoData.BlockV2 storage blk = _state.blocks[local.slot]; local.proposedAt = local.postFork ? local.meta.proposedAt : blk.proposedAt; local.isSyncBlock = LibUtils.shouldSyncStateRoot(_config.stateRootSyncInternal, local.blockId); if (local.isSyncBlock) { local.stateRoot = ctx_.tran.stateRoot; } local.assignedProver = blk.assignedProver; if (local.assignedProver == address(0)) { local.assignedProver = local.meta.proposer; } if (!blk.livenessBondReturned) { local.livenessBond = local.meta.livenessBond == 0 ? blk.livenessBond : local.meta.livenessBond; } local.metaHash = blk.metaHash; // Check the integrity of the block data. It's worth noting that in // theory, this check may be skipped, but it's included for added // caution. { bytes32 metaHash = local.postFork ? keccak256(abi.encode(local.meta)) : keccak256(abi.encode(LibData.blockMetadataV2toV1(local.meta))); if (local.metaHash != metaHash) revert L1_BLOCK_MISMATCH(); } // Each transition is uniquely identified by the parentHash, with the // blockHash and stateRoot open for later updates as higher-tier proofs // become available. In cases where a transition with the specified // parentHash does not exist, the transition ID (tid) will be set to 0. TaikoData.TransitionState memory ts; (local.tid, ts) = _fetchOrCreateTransition(_state, blk, ctx_.tran, local); // The new proof must meet or exceed the minimum tier required by the // block or the previous proof; it cannot be on a lower tier. if ( local.proof.tier == 0 || local.proof.tier < local.meta.minTier || local.proof.tier < ts.tier ) { revert L1_INVALID_TIER(); } // Retrieve the tier configurations. If the tier is not supported, the // subsequent action will result in a revert. { ITierRouter tierRouter = ITierRouter(_resolver.resolve(LibStrings.B_TIER_ROUTER, false)); ITierProvider tierProvider = ITierProvider(tierRouter.getProvider(local.blockId)); local.tier = tierProvider.getTier(local.proof.tier); local.minTier = tierProvider.getTier(local.meta.minTier); local.isTopTier = local.tier.contestBond == 0; } local.inProvingWindow = !LibUtils.isPostDeadline({ _tsTimestamp: ts.timestamp, _lastUnpausedAt: local.b.lastUnpausedAt, _windowMinutes: local.minTier.provingWindow }); // Checks if only the assigned prover is permissioned to prove the block. // The assigned prover is granted exclusive permission to prove only the first // transition. if ( !local.isTopTier && ts.contester == address(0) && local.tid == 1 && ts.tier == 0 && local.inProvingWindow ) { if (msg.sender != local.assignedProver) revert L1_NOT_ASSIGNED_PROVER(); } // We must verify the proof, and any failure in proof verification will // result in a revert. // // It's crucial to emphasize that the proof can be assessed in two // potential modes: "proving mode" and "contesting mode." However, the // precise verification logic is defined within each tier's IVerifier // contract implementation. We simply specify to the verifier contract // which mode it should utilize - if the new tier is higher than the // previous tier, we employ the proving mode; otherwise, we employ the // contesting mode (the new tier cannot be lower than the previous tier, // this has been checked above). // // It's obvious that proof verification is entirely decoupled from // Taiko's core protocol. if (local.tier.verifierName != "") { ctx_ = IVerifier.ContextV2({ metaHash: local.metaHash, blobHash: local.meta.blobHash, // Separate msgSender to allow the prover to be any address in the future. prover: msg.sender, msgSender: msg.sender, blockId: local.blockId, isContesting: local.proof.tier == ts.tier && !local.isTopTier, blobUsed: local.meta.blobUsed, tran: ctx_.tran }); verifierName_ = local.tier.verifierName; if (_batchProof.tier == 0) { // In the case of per-transition proof, we verify the proof. IVerifier(_resolver.resolve(local.tier.verifierName, false)).verifyProof( LibData.verifierContextV2toV1(ctx_), ctx_.tran, local.proof ); } } local.sameTransition = local.isSyncBlock ? ctx_.tran.blockHash == ts.blockHash && local.stateRoot == ts.stateRoot : ctx_.tran.blockHash == ts.blockHash; if (local.proof.tier > ts.tier) { // Handles the case when an incoming tier is higher than the current transition's tier. // Reverts when the incoming proof tries to prove the same transition // (L1_ALREADY_PROVED). _overrideWithHigherProof(_state, _resolver, blk, ts, ctx_.tran, local.proof, local); if (local.postFork) { emit TransitionProvedV2({ blockId: local.blockId, tran: ctx_.tran, prover: msg.sender, validityBond: local.tier.validityBond, tier: local.proof.tier, proposedIn: local.meta.proposedIn }); } else { emit TransitionProved({ blockId: local.blockId, tran: ctx_.tran, prover: msg.sender, validityBond: local.tier.validityBond, tier: local.proof.tier }); } } else { // New transition and old transition on the same tier - and if this transaction tries to // prove the same, it reverts if (local.sameTransition) revert L1_ALREADY_PROVED(); if (local.isTopTier) { // The top tier prover re-proves. assert(local.tier.validityBond == 0); assert(ts.validityBond == 0 && ts.contester == address(0)); ts.prover = msg.sender; ts.blockHash = ctx_.tran.blockHash; ts.stateRoot = local.stateRoot; if (local.postFork) { emit TransitionProvedV2({ blockId: local.blockId, tran: ctx_.tran, prover: msg.sender, validityBond: 0, tier: local.proof.tier, proposedIn: local.meta.proposedIn }); } else { emit TransitionProved({ blockId: local.blockId, tran: ctx_.tran, prover: msg.sender, validityBond: 0, tier: local.proof.tier }); } } else { // Contesting but not on the highest tier if (ts.contester != address(0)) revert L1_ALREADY_CONTESTED(); // Making it a non-sliding window, relative when ts.timestamp was registered (or to // lastUnpaused if that one is bigger) if ( LibUtils.isPostDeadline( ts.timestamp, local.b.lastUnpausedAt, local.tier.cooldownWindow ) ) { revert L1_CANNOT_CONTEST(); } // _checkIfContestable(/*_state,*/ tier.cooldownWindow, ts.timestamp); // Burn the contest bond from the prover. LibBonds.debitBond(_state, _resolver, msg.sender, local.tier.contestBond); // We retain the contest bond within the transition, just in // case this configuration is altered to a different value // before the contest is resolved. // // It's worth noting that the previous value of ts.contestBond // doesn't have any significance. ts.contestBond = local.tier.contestBond; ts.contester = msg.sender; if (local.postFork) { emit TransitionContestedV2({ blockId: local.blockId, tran: ctx_.tran, contester: msg.sender, contestBond: local.tier.contestBond, tier: local.proof.tier, proposedIn: local.meta.proposedIn }); } else { emit TransitionContested({ blockId: local.blockId, tran: ctx_.tran, contester: msg.sender, contestBond: local.tier.contestBond, tier: local.proof.tier }); } } } ts.timestamp = uint64(block.timestamp); _state.transitions[local.slot][local.tid] = ts; if ( !_state.slotB.provingPaused && LibUtils.shouldVerifyBlocks(_config, local.meta.id, true) ) { LibVerifying.verifyBlocks(_state, _config, _resolver, _config.maxBlocksToVerify); } } /// @dev Handle the transition initialization logic function _fetchOrCreateTransition( TaikoData.State storage _state, TaikoData.BlockV2 storage _blk, TaikoData.Transition memory _tran, Local memory _local ) private returns (uint24 tid_, TaikoData.TransitionState memory ts_) { tid_ = LibUtils.getTransitionId(_state, _blk, _local.slot, _tran.parentHash); if (tid_ == 0) { // In cases where a transition with the provided parentHash is not // found, we must essentially "create" one and set it to its initial // state. This initial state can be viewed as a special transition // on tier-0. // // Subsequently, we transform this tier-0 transition into a // non-zero-tier transition with a proof. This approach ensures that // the same logic is applicable for both 0-to-non-zero transition // updates and non-zero-to-non-zero transition updates. unchecked { // Unchecked is safe: Not realistic 2**32 different fork choice // per block will be proven and none of them is valid tid_ = _blk.nextTransitionId++; } // Keep in mind that state.transitions are also reusable storage // slots, so it's necessary to reinitialize all transition fields // below. ts_.timestamp = _local.proposedAt; if (tid_ == 1) { // This approach serves as a cost-saving technique for the // majority of blocks, where the first transition is expected to // be the correct one. Writing to `transitions` is more economical // since it resides in the ring buffer, whereas writing to // `transitionIds` is not as cost-effective. ts_.key = _tran.parentHash; // In the case of this first transition, the block's assigned // prover has the privilege to re-prove it, but only when the // assigned prover matches the previous prover. To ensure this, // we establish the transition's prover as the block's assigned // prover. Consequently, when we carry out a 0-to-non-zero // transition update, the previous prover will consistently be // the block's assigned prover. // // While alternative implementations are possible, introducing // such changes would require additional if-else logic. ts_.prover = _local.assignedProver; } else { // Furthermore, we index the transition for future retrieval. // It's worth emphasizing that this mapping for indexing is not // reusable. However, given that the majority of blocks will // only possess one transition — the correct one — we don't need // to be concerned about the cost in this case. // There is no need to initialize ts.key here because it's only used when tid == 1 _state.transitionIds[_local.blockId][_tran.parentHash] = tid_; } } else { // A transition with the provided parentHash has been located. ts_ = _state.transitions[_local.slot][tid_]; } } /// @dev Handles what happens when either the first transition is being proven or there is a /// higher tier proof incoming /// /// Assume Alice is the initial prover, Bob is the contester, and Cindy is the subsequent /// prover. The validity bond `V` is set at 100, and the contestation bond `C` at 500. If Bob /// successfully contests, he receives a reward of 65.625, calculated as 3/4 of 7/8 of 100. Cindy /// receives 21.875, which is 1/4 of 7/8 of 100, while the protocol retains 12.5 as friction. /// Bob's Return on Investment (ROI) is 13.125%, calculated from 65.625 divided by 500. // To establish the expected ROI `r` for valid contestations, where the contestation bond `C` to // validity bond `V` ratio is `C/V = 21/(32*r)`, and if `r` set at 10%, the C/V ratio will be // 6.5625. function _overrideWithHigherProof( TaikoData.State storage _state, IAddressResolver _resolver, TaikoData.BlockV2 storage _blk, TaikoData.TransitionState memory _ts, TaikoData.Transition memory _tran, TaikoData.TierProof memory _proof, Local memory _local ) private { // Higher tier proof overwriting lower tier proof uint256 reward; // reward to the new (current) prover if (_ts.contester != address(0)) { if (_local.sameTransition) { // The contested transition is proven to be valid, contester loses the game reward = _rewardAfterFriction(_ts.contestBond); // We return the validity bond back, but the original prover doesn't get any reward. LibBonds.creditBond(_state, _ts.prover, _ts.validityBond); } else { // The contested transition is proven to be invalid, contester wins the game. // Contester gets 3/4 of reward, the new prover gets 1/4. reward = _rewardAfterFriction(_ts.validityBond) >> 2; unchecked { LibBonds.creditBond(_state, _ts.contester, _ts.contestBond + reward * 3); } } } else { if (_local.sameTransition) revert L1_ALREADY_PROVED(); // The code below will be executed if // - 1) the transition is proved for the fist time, or // - 2) the transition is contested. reward = _rewardAfterFriction(_ts.validityBond); if (_local.livenessBond != 0) { // After the first proof, the block's liveness bond will always be reset to 0. // This means liveness bond will be handled only once for any given block. _blk.livenessBond = 0; _blk.livenessBondReturned = true; if (_returnLivenessBond(_local, _proof.data)) { if (_local.assignedProver == msg.sender) { unchecked { reward += _local.livenessBond; } } else { LibBonds.creditBond(_state, _local.assignedProver, _local.livenessBond); } } else { // Reward a majority of liveness bond to the actual prover unchecked { reward += _rewardAfterFriction(_local.livenessBond); } } } } unchecked { if (reward > _local.tier.validityBond) { LibBonds.creditBond(_state, msg.sender, reward - _local.tier.validityBond); } else if (reward < _local.tier.validityBond) { LibBonds.debitBond(_state, _resolver, msg.sender, _local.tier.validityBond - reward); } } _ts.validityBond = _local.tier.validityBond; _ts.contester = address(0); _ts.prover = msg.sender; _ts.tier = _proof.tier; if (!_local.sameTransition) { _ts.blockHash = _tran.blockHash; _ts.stateRoot = _local.stateRoot; } } /// @dev Returns the reward after applying 12.5% friction. function _rewardAfterFriction(uint256 _amount) private pure returns (uint256) { return (_amount * 7) >> 3; } /// @dev Returns if the liveness bond shall be returned. function _returnLivenessBond( Local memory _local, bytes memory _proofData ) private pure returns (bool) { return _local.inProvingWindow && _local.tid == 1 || _local.isTopTier && _proofData.length == 32 && bytes32(_proofData) == LibStrings.H_RETURN_LIVENESS_BOND; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/shared/signal/ISignalService.sol"; import "./LibBonds.sol"; import "./LibUtils.sol"; /// @title LibVerifying /// @notice A library for handling block verification in the Taiko protocol. /// @custom:security-contact [email protected] library LibVerifying { using LibMath for uint256; struct Local { TaikoData.SlotB b; uint64 blockId; uint64 slot; uint64 numBlocksVerified; uint24 tid; uint24 lastVerifiedTransitionId; uint16 tier; bytes32 blockHash; bytes32 syncStateRoot; uint64 syncBlockId; uint24 syncTransitionId; address prover; bool postFork; ITierRouter tierRouter; } error L1_BLOCK_MISMATCH(); error L1_INVALID_CONFIG(); error L1_TRANSITION_ID_ZERO(); error L1_TOO_LATE(); /// @dev Verifies up to N blocks. function verifyBlocks( TaikoData.State storage _state, TaikoData.Config memory _config, IAddressResolver _resolver, uint64 _maxBlocksToVerify ) internal { if (_maxBlocksToVerify == 0) { return; } Local memory local; local.b = _state.slotB; local.blockId = local.b.lastVerifiedBlockId; local.slot = local.blockId % _config.blockRingBufferSize; TaikoData.BlockV2 storage blk = _state.blocks[local.slot]; if (blk.blockId != local.blockId) revert L1_BLOCK_MISMATCH(); local.lastVerifiedTransitionId = blk.verifiedTransitionId; local.tid = local.lastVerifiedTransitionId; // The following scenario should never occur but is included as a // precaution. if (local.tid == 0) revert L1_TRANSITION_ID_ZERO(); // The `blockHash` variable represents the most recently trusted // blockHash on L2. local.blockHash = _state.transitions[local.slot][local.tid].blockHash; // Unchecked is safe: // - assignment is within ranges // - blockId and numBlocksVerified values incremented will still be OK in the // next 584K years if we verifying one block per every second unchecked { ++local.blockId; while ( local.blockId < local.b.numBlocks && local.numBlocksVerified < _maxBlocksToVerify ) { local.slot = local.blockId % _config.blockRingBufferSize; local.postFork = local.blockId >= _config.ontakeForkHeight; blk = _state.blocks[local.slot]; if (blk.blockId != local.blockId) revert L1_BLOCK_MISMATCH(); local.tid = LibUtils.getTransitionId(_state, blk, local.slot, local.blockHash); // When `tid` is 0, it indicates that there is no proven // transition with its parentHash equal to the blockHash of the // most recently verified block. if (local.tid == 0) break; // A transition with the correct `parentHash` has been located. TaikoData.TransitionState storage ts = _state.transitions[local.slot][local.tid]; // It's not possible to verify this block if either the // transition is contested and awaiting higher-tier proof or if // the transition is still within its cooldown period. local.tier = ts.tier; if (ts.contester != address(0)) { break; } if (local.tierRouter == ITierRouter(address(0))) { local.tierRouter = ITierRouter(_resolver.resolve(LibStrings.B_TIER_ROUTER, false)); } uint24 cooldown = ITierProvider(local.tierRouter.getProvider(local.blockId)).getTier( local.tier ).cooldownWindow; if (!LibUtils.isPostDeadline(ts.timestamp, local.b.lastUnpausedAt, cooldown)) { // If cooldownWindow is 0, the block can theoretically // be proved and verified within the same L1 block. break; } // Update variables local.lastVerifiedTransitionId = local.tid; local.blockHash = ts.blockHash; local.prover = ts.prover; LibBonds.creditBond(_state, local.prover, ts.validityBond); // Note: We exclusively address the bonds linked to the // transition used for verification. While there may exist // other transitions for this block, we disregard them entirely. // The bonds for these other transitions are burned (more precisely held in custody) // either when the transitions are generated or proven. In such cases, both the // provers and contesters of those transitions forfeit their bonds. if (local.postFork) { emit LibUtils.BlockVerifiedV2({ blockId: local.blockId, prover: local.prover, blockHash: local.blockHash, tier: local.tier }); } else { emit LibUtils.BlockVerified({ blockId: local.blockId, prover: local.prover, blockHash: local.blockHash, stateRoot: 0, // DEPRECATED and is always zero. tier: local.tier }); } if (LibUtils.shouldSyncStateRoot(_config.stateRootSyncInternal, local.blockId)) { bytes32 stateRoot = ts.stateRoot; if (stateRoot != 0) { local.syncStateRoot = stateRoot; local.syncBlockId = local.blockId; local.syncTransitionId = local.tid; } } ++local.blockId; ++local.numBlocksVerified; } if (local.numBlocksVerified != 0) { uint64 lastVerifiedBlockId = local.b.lastVerifiedBlockId + local.numBlocksVerified; local.slot = lastVerifiedBlockId % _config.blockRingBufferSize; _state.slotB.lastVerifiedBlockId = lastVerifiedBlockId; _state.blocks[local.slot].verifiedTransitionId = local.lastVerifiedTransitionId; if (local.syncStateRoot != 0) { _state.slotA.lastSyncedBlockId = local.syncBlockId; _state.slotA.lastSynecdAt = uint64(block.timestamp); // We write the synced block's verifiedTransitionId to storage if (local.syncBlockId != lastVerifiedBlockId) { local.slot = local.syncBlockId % _config.blockRingBufferSize; _state.blocks[local.slot].verifiedTransitionId = local.syncTransitionId; } // Ask signal service to write cross chain signal ISignalService(_resolver.resolve(LibStrings.B_SIGNAL_SERVICE, false)) .syncChainData( _config.chainId, LibStrings.H_STATE_ROOT, local.syncBlockId, local.syncStateRoot ); } } } } function getVerifiedBlockProver( TaikoData.State storage _state, TaikoData.Config memory _config, uint64 _blockId ) internal view returns (address) { (TaikoData.BlockV2 storage blk,) = LibUtils.getBlock(_state, _config, _blockId); uint24 tid = blk.verifiedTransitionId; if (tid == 0) return address(0); return LibUtils.getTransition(_state, _config, _blockId, tid).prover; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "./TaikoData.sol"; /// @title TaikoEvents /// @notice This abstract contract provides event declarations for the Taiko /// protocol, which are emitted during block proposal, proof, verification, and /// Ethereum deposit processes. /// @dev The events defined here must match the definitions in the corresponding /// L1 libraries. /// @custom:security-contact [email protected] abstract contract TaikoEvents { /// @dev Emitted when token is credited back to a user's bond balance. event BondCredited(address indexed user, uint256 amount); /// @dev Emitted when token is debited from a user's bond balance. event BondDebited(address indexed user, uint256 amount); /// @notice Emitted when a block is proposed. /// @param blockId The ID of the proposed block. /// @param assignedProver The address of the assigned prover. /// @param livenessBond The liveness bond of the proposed block. /// @param meta The metadata of the proposed block. /// @param depositsProcessed The EthDeposit array about processed deposits in this proposed /// block. event BlockProposed( uint256 indexed blockId, address indexed assignedProver, uint96 livenessBond, TaikoData.BlockMetadata meta, TaikoData.EthDeposit[] depositsProcessed ); /// @notice Emitted when a block is proposed. /// @param blockId The ID of the proposed block. /// @param meta The metadata of the proposed block. event BlockProposedV2(uint256 indexed blockId, TaikoData.BlockMetadataV2 meta); /// @notice Emitted when a block's txList is in the calldata. /// @param blockId The ID of the proposed block. /// @param txList The txList. event CalldataTxList(uint256 indexed blockId, bytes txList); /// @notice Emitted when a transition is proved. /// @param blockId The block ID. /// @param tran The transition data. /// @param prover The prover's address. /// @param validityBond The validity bond amount. /// @param tier The tier of the proof. event TransitionProved( uint256 indexed blockId, TaikoData.Transition tran, address prover, uint96 validityBond, uint16 tier ); /// @notice Emitted when a transition is proved. /// @param blockId The block ID. /// @param tran The transition data. /// @param prover The prover's address. /// @param validityBond The validity bond amount. /// @param tier The tier of the proof. /// @param proposedIn The L1 block in which a transition is proved. event TransitionProvedV2( uint256 indexed blockId, TaikoData.Transition tran, address prover, uint96 validityBond, uint16 tier, uint64 proposedIn ); /// @notice Emitted when a transition is contested. /// @param blockId The block ID. /// @param tran The transition data. /// @param contester The contester's address. /// @param contestBond The contest bond amount. /// @param tier The tier of the proof. event TransitionContested( uint256 indexed blockId, TaikoData.Transition tran, address contester, uint96 contestBond, uint16 tier ); /// @notice Emitted when a transition is contested. /// @param blockId The block ID. /// @param tran The transition data. /// @param contester The contester's address. /// @param contestBond The contest bond amount. /// @param tier The tier of the proof. /// @param proposedIn The L1 block in which this L2 block is proposed. event TransitionContestedV2( uint256 indexed blockId, TaikoData.Transition tran, address contester, uint96 contestBond, uint16 tier, uint64 proposedIn ); /// @notice Emitted when proving is paused or unpaused. /// @param paused The pause status. event ProvingPaused(bool paused); /// @dev Emitted when a block is verified. /// @param blockId The ID of the verified block. /// @param prover The prover whose transition is used for verifying the /// block. /// @param blockHash The hash of the verified block. /// @param stateRoot Deprecated and is always zero. /// @param tier The tier ID of the proof. event BlockVerified( uint256 indexed blockId, address indexed prover, bytes32 blockHash, bytes32 stateRoot, uint16 tier ); /// @dev Emitted when a block is verified. /// @param blockId The ID of the verified block. /// @param prover The prover whose transition is used for verifying the /// block. /// @param blockHash The hash of the verified block. /// @param tier The tier ID of the proof. event BlockVerifiedV2( uint256 indexed blockId, address indexed prover, bytes32 blockHash, uint16 tier ); /// @notice Emitted when some state variable values changed. /// @dev This event is currently used by Taiko node/client for block proposal/proving. /// @param slotB The SlotB data structure. event StateVariablesUpdated(TaikoData.SlotB slotB); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "./TaikoData.sol"; /// @title ITaikoL1 /// @custom:security-contact [email protected] interface ITaikoL1 { /// @notice Proposes a Taiko L2 block. /// @param _params Block parameters, currently an encoded BlockParams object. /// @param _txList txList data if calldata is used for DA. /// @return meta_ The metadata of the proposed L2 block. /// @return deposits_ The Ether deposits processed. function proposeBlock( bytes calldata _params, bytes calldata _txList ) external payable returns (TaikoData.BlockMetadata memory meta_, TaikoData.EthDeposit[] memory deposits_); /// @notice Proposes a Taiko L2 block (version 2) /// @param _params Block parameters, an encoded BlockParamsV2 object. /// @param _txList txList data if calldata is used for DA. /// @return meta_ The metadata of the proposed L2 block. function proposeBlockV2( bytes calldata _params, bytes calldata _txList ) external returns (TaikoData.BlockMetadataV2 memory meta_); /// @notice Proposes multiple Taiko L2 blocks (version 2) /// @param _paramsArr A list of encoded BlockParamsV2 objects. /// @param _txListArr A list of txList. /// @return metaArr_ The metadata objects of the proposed L2 blocks. function proposeBlocksV2( bytes[] calldata _paramsArr, bytes[] calldata _txListArr ) external returns (TaikoData.BlockMetadataV2[] memory metaArr_); /// @notice Proves or contests a block transition. /// @param _blockId The index of the block to prove. This is also used to /// select the right implementation version. /// @param _input An abi-encoded (TaikoData.BlockMetadata, TaikoData.Transition, /// TaikoData.TierProof) tuple. function proveBlock(uint64 _blockId, bytes calldata _input) external; /// @notice Proves or contests multiple block transitions (version 2) /// @param _blockIds The indices of the blocks to prove. /// @param _inputs An list of abi-encoded (TaikoData.BlockMetadata, TaikoData.Transition, /// TaikoData.TierProof) tuples. /// @param _batchProof An abi-encoded TaikoData.TierProof that contains the batch/aggregated /// proof for the given blocks. function proveBlocks( uint64[] calldata _blockIds, bytes[] calldata _inputs, bytes calldata _batchProof ) external; /// @notice Verifies up to a certain number of blocks. /// @param _maxBlocksToVerify Max number of blocks to verify. function verifyBlocks(uint64 _maxBlocksToVerify) external; /// @notice Pause block proving. /// @param _pause True if paused. function pauseProving(bool _pause) external; /// @notice Gets the details of a block. /// @param _blockId Index of the block. /// @return blk_ The block. function getBlockV2(uint64 _blockId) external view returns (TaikoData.BlockV2 memory blk_); /// @notice Gets the state transition for a specific block. /// @param _blockId Index of the block. /// @param _tid The transition id. /// @return The state transition data of the block. function getTransition( uint64 _blockId, uint32 _tid ) external view returns (TaikoData.TransitionState memory); /// @notice Deposits Taiko token to be used as bonds. /// @param _amount The amount of Taiko token to deposit. function depositBond(uint256 _amount) external; /// @notice Withdraws Taiko token. /// @param _amount The amount of Taiko token to withdraw. function withdrawBond(uint256 _amount) external; /// @notice Gets the prover that actually proved a verified block. /// @param _blockId The index of the block. /// @return The prover's address. If the block is not verified yet, address(0) will be returned. function getVerifiedBlockProver(uint64 _blockId) external view returns (address); /// @notice Gets the configuration of the TaikoL1 contract. /// @return Config struct containing configuration parameters. function getConfig() external pure returns (TaikoData.Config memory); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title LibStrings /// @custom:security-contact [email protected] library LibStrings { bytes32 internal constant B_AUTOMATA_DCAP_ATTESTATION = bytes32("automata_dcap_attestation"); bytes32 internal constant B_BRIDGE = bytes32("bridge"); bytes32 internal constant B_BRIDGE_WATCHDOG = bytes32("bridge_watchdog"); bytes32 internal constant B_BRIDGED_ERC1155 = bytes32("bridged_erc1155"); bytes32 internal constant B_BRIDGED_ERC20 = bytes32("bridged_erc20"); bytes32 internal constant B_BRIDGED_ERC721 = bytes32("bridged_erc721"); bytes32 internal constant B_CHAIN_WATCHDOG = bytes32("chain_watchdog"); bytes32 internal constant B_ERC1155_VAULT = bytes32("erc1155_vault"); bytes32 internal constant B_ERC20_VAULT = bytes32("erc20_vault"); bytes32 internal constant B_ERC721_VAULT = bytes32("erc721_vault"); bytes32 internal constant B_PRECONF_REGISTRY = bytes32("preconf_registry"); bytes32 internal constant B_PROVER_ASSIGNMENT = bytes32("PROVER_ASSIGNMENT"); bytes32 internal constant B_PROVER_SET = bytes32("prover_set"); bytes32 internal constant B_QUOTA_MANAGER = bytes32("quota_manager"); bytes32 internal constant B_SGX_WATCHDOG = bytes32("sgx_watchdog"); bytes32 internal constant B_SIGNAL_SERVICE = bytes32("signal_service"); bytes32 internal constant B_SP1_REMOTE_VERIFIER = bytes32("sp1_remote_verifier"); bytes32 internal constant B_TAIKO = bytes32("taiko"); bytes32 internal constant B_TAIKO_TOKEN = bytes32("taiko_token"); bytes32 internal constant B_TIER_GUARDIAN = bytes32("tier_guardian"); bytes32 internal constant B_TIER_GUARDIAN_MINORITY = bytes32("tier_guardian_minority"); bytes32 internal constant B_TIER_ROUTER = bytes32("tier_router"); bytes32 internal constant B_TIER_SGX = bytes32("tier_sgx"); bytes32 internal constant B_TIER_TDX = bytes32("tier_tdx"); bytes32 internal constant B_TIER_TEE_ANY = bytes32("tier_tee_any"); bytes32 internal constant B_TIER_ZKVM_RISC0 = bytes32("tier_zkvm_risc0"); bytes32 internal constant B_TIER_ZKVM_SP1 = bytes32("tier_zkvm_sp1"); bytes32 internal constant B_TIER_ZKVM_ANY = bytes32("tier_zkvm_any"); bytes32 internal constant B_TIER_ZKVM_AND_TEE = bytes32("tier_zkvm_and_tee"); bytes32 internal constant B_RISCZERO_GROTH16_VERIFIER = bytes32("risc0_groth16_verifier"); bytes32 internal constant B_WITHDRAWER = bytes32("withdrawer"); bytes32 internal constant H_RETURN_LIVENESS_BOND = keccak256("RETURN_LIVENESS_BOND"); bytes32 internal constant H_SIGNAL_ROOT = keccak256("SIGNAL_ROOT"); bytes32 internal constant H_STATE_ROOT = keccak256("STATE_ROOT"); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title LibNetwork library LibNetwork { uint256 internal constant ETHEREUM_MAINNET = 1; uint256 internal constant ETHEREUM_ROPSTEN = 2; uint256 internal constant ETHEREUM_RINKEBY = 4; uint256 internal constant ETHEREUM_GOERLI = 5; uint256 internal constant ETHEREUM_KOVAN = 42; uint256 internal constant ETHEREUM_HOLESKY = 17_000; uint256 internal constant ETHEREUM_SEPOLIA = 11_155_111; uint64 internal constant TAIKO_MAINNET = 167_000; uint64 internal constant TAIKO_HEKLA = 167_009; /// @dev Checks if the chain ID represents an Ethereum testnet. /// @param _chainId The chain ID. /// @return true if the chain ID represents an Ethereum testnet, false otherwise. function isEthereumTestnet(uint256 _chainId) internal pure returns (bool) { return _chainId == LibNetwork.ETHEREUM_ROPSTEN || _chainId == LibNetwork.ETHEREUM_RINKEBY || _chainId == LibNetwork.ETHEREUM_GOERLI || _chainId == LibNetwork.ETHEREUM_KOVAN || _chainId == LibNetwork.ETHEREUM_HOLESKY || _chainId == LibNetwork.ETHEREUM_SEPOLIA; } /// @dev Checks if the chain ID represents an Ethereum testnet or the Etheruem mainnet. /// @param _chainId The chain ID. /// @return true if the chain ID represents an Ethereum testnet or the Etheruem mainnet, false /// otherwise. function isEthereumMainnetOrTestnet(uint256 _chainId) internal pure returns (bool) { return _chainId == LibNetwork.ETHEREUM_MAINNET || isEthereumTestnet(_chainId); } /// @dev Checks if the chain ID represents the Taiko L2 mainnet. /// @param _chainId The chain ID. /// @return true if the chain ID represents the Taiko L2 mainnet. function isTaikoMainnet(uint256 _chainId) internal pure returns (bool) { return _chainId == TAIKO_MAINNET; } /// @dev Checks if the chain ID represents an internal Taiko devnet's base layer. /// @param _chainId The chain ID. /// @return true if the chain ID represents an internal Taiko devnet's base layer, false /// otherwise. function isTaikoDevnet(uint256 _chainId) internal pure returns (bool) { return _chainId >= 32_300 && _chainId <= 32_400; } /// @dev Checks if the chain supports Dencun hardfork. Note that this check doesn't need to be /// exhaustive. /// @param _chainId The chain ID. /// @return true if the chain supports Dencun hardfork, false otherwise. function isDencunSupported(uint256 _chainId) internal pure returns (bool) { return _chainId == LibNetwork.ETHEREUM_MAINNET || _chainId == LibNetwork.ETHEREUM_HOLESKY || _chainId == LibNetwork.ETHEREUM_SEPOLIA || isTaikoDevnet(_chainId); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title AddressCache /// @custom:security-contact [email protected] abstract contract AddressCache { /// @notice This function retrieves the address associated with a given chain ID and name. /// If the address is not found in the cache, it falls back to the provided function. /// @param _chainId The chain ID for which the address is to be retrieved. /// @param _name The name associated with the address to be retrieved. /// @param _fallbackFunc The fallback function to be used if the address is not found in the /// cache. /// @return The address associated with the given chain ID and name. function getAddress( uint64 _chainId, bytes32 _name, function (uint64, bytes32) view returns (address) _fallbackFunc ) internal view returns (address) { (bool found, address addr) = getCachedAddress(_chainId, _name); return found ? addr : _fallbackFunc(_chainId, _name); } /// @notice This function retrieves the cached address associated with a given chain ID and /// name. /// @dev This function is virtual and should be overridden in derived contracts. /// @param _chainId The chain ID for which the address is to be retrieved. /// @param _name The name associated with the address to be retrieved. /// @return found_ A boolean indicating whether the address was found in the cache. /// @return addr_ The address associated with the given chain ID and name, if found in the /// cache. function getCachedAddress( uint64 _chainId, bytes32 _name ) internal pure virtual returns (bool found_, address addr_); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/UUPSUpgradeable.sol) pragma solidity ^0.8.0; import "../../interfaces/draft-IERC1822.sol"; import "../ERC1967/ERC1967Upgrade.sol"; /** * @dev An upgradeability mechanism designed for UUPS proxies. The functions included here can perform an upgrade of an * {ERC1967Proxy}, when this contract is set as the implementation behind such a proxy. * * A security mechanism ensures that an upgrade does not turn off upgradeability accidentally, although this risk is * reinstated if the upgrade retains upgradeability but removes the security mechanism, e.g. by replacing * `UUPSUpgradeable` with a custom implementation of upgrades. * * The {_authorizeUpgrade} function must be overridden to include access restriction to the upgrade mechanism. * * _Available since v4.1._ */ abstract contract UUPSUpgradeable is IERC1822Proxiable, ERC1967Upgrade { /// @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(_getImplementation() == __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, "UUPSUpgradeable: 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 the implementation's compatibility when performing 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_SLOT; } /** * @dev Upgrade the implementation of the proxy to `newImplementation`. * * Calls {_authorizeUpgrade}. * * Emits an {Upgraded} event. * * @custom:oz-upgrades-unsafe-allow-reachable delegatecall */ function upgradeTo(address newImplementation) public virtual onlyProxy { _authorizeUpgrade(newImplementation); _upgradeToAndCallUUPS(newImplementation, new bytes(0), false); } /** * @dev Upgrade the implementation of the proxy to `newImplementation`, and subsequently execute the function call * encoded in `data`. * * Calls {_authorizeUpgrade}. * * Emits an {Upgraded} event. * * @custom:oz-upgrades-unsafe-allow-reachable delegatecall */ function upgradeToAndCall(address newImplementation, bytes memory data) public payable virtual onlyProxy { _authorizeUpgrade(newImplementation); _upgradeToAndCallUUPS(newImplementation, data, true); } /** * @dev Function that should revert when `msg.sender` is not authorized to upgrade the contract. Called by * {upgradeTo} and {upgradeToAndCall}. * * Normally, this function will use an xref:access.adoc[access control] modifier such as {Ownable-onlyOwner}. * * ```solidity * function _authorizeUpgrade(address) internal override onlyOwner {} * ``` */ function _authorizeUpgrade(address newImplementation) internal virtual; }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (access/Ownable2Step.sol) pragma solidity ^0.8.0; import "./OwnableUpgradeable.sol"; import {Initializable} from "../proxy/utils/Initializable.sol"; /** * @dev Contract module which provides access control mechanism, where * there is an account (an owner) that can be granted exclusive access to * specific functions. * * By default, the owner account will be the one that deploys the contract. This * can later be changed with {transferOwnership} and {acceptOwnership}. * * This module is used through inheritance. It will make available all functions * from parent (Ownable). */ abstract contract Ownable2StepUpgradeable is Initializable, OwnableUpgradeable { address private _pendingOwner; event OwnershipTransferStarted(address indexed previousOwner, address indexed newOwner); function __Ownable2Step_init() internal onlyInitializing { __Ownable_init_unchained(); } function __Ownable2Step_init_unchained() internal onlyInitializing { } /** * @dev Returns the address of the pending owner. */ function pendingOwner() public view virtual returns (address) { return _pendingOwner; } /** * @dev Starts the ownership transfer of the contract to a new account. Replaces the pending transfer if there is one. * Can only be called by the current owner. */ function transferOwnership(address newOwner) public virtual override onlyOwner { _pendingOwner = newOwner; emit OwnershipTransferStarted(owner(), newOwner); } /** * @dev Transfers ownership of the contract to a new account (`newOwner`) and deletes any pending owner. * Internal function without access restriction. */ function _transferOwnership(address newOwner) internal virtual override { delete _pendingOwner; super._transferOwnership(newOwner); } /** * @dev The new owner accepts the ownership transfer. */ function acceptOwnership() public virtual { address sender = _msgSender(); require(pendingOwner() == sender, "Ownable2Step: caller is not the new owner"); _transferOwnership(sender); } /** * @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 pragma solidity ^0.8.24; import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol"; import "./IAddressManager.sol"; import "./IAddressResolver.sol"; /// @title AddressResolver /// @notice See the documentation in {IAddressResolver}. /// @custom:security-contact [email protected] abstract contract AddressResolver is IAddressResolver, Initializable { /// @notice Address of the AddressManager. address public addressManager; uint256[49] private __gap; error RESOLVER_DENIED(); error RESOLVER_INVALID_MANAGER(); error RESOLVER_UNEXPECTED_CHAINID(); error RESOLVER_ZERO_ADDR(uint64 chainId, bytes32 name); /// @dev Modifier that ensures the caller is the resolved address of a given /// name. /// @param _name The name to check against. modifier onlyFromNamed(bytes32 _name) { if (msg.sender != resolve(_name, true)) revert RESOLVER_DENIED(); _; } /// @dev Modifier that ensures the caller is the resolved address of a given /// name, if the name is set. /// @param _name The name to check against. modifier onlyFromOptionalNamed(bytes32 _name) { address addr = resolve(_name, true); if (addr != address(0) && msg.sender != addr) revert RESOLVER_DENIED(); _; } /// @dev Modifier that ensures the caller is a resolved address to either _name1 or _name2 /// name. /// @param _name1 The first name to check against. /// @param _name2 The second name to check against. modifier onlyFromNamedEither(bytes32 _name1, bytes32 _name2) { if (msg.sender != resolve(_name1, true) && msg.sender != resolve(_name2, true)) { revert RESOLVER_DENIED(); } _; } /// @custom:oz-upgrades-unsafe-allow constructor constructor() { _disableInitializers(); } /// @inheritdoc IAddressResolver function resolve(bytes32 _name, bool _allowZeroAddress) public view virtual returns (address) { return _resolve(uint64(block.chainid), _name, _allowZeroAddress); } /// @inheritdoc IAddressResolver function resolve( uint64 _chainId, bytes32 _name, bool _allowZeroAddress ) public view virtual returns (address) { return _resolve(_chainId, _name, _allowZeroAddress); } /// @dev Initialization method for setting up AddressManager reference. /// @param _addressManager Address of the AddressManager. function __AddressResolver_init(address _addressManager) internal virtual onlyInitializing { if (block.chainid > type(uint64).max) { revert RESOLVER_UNEXPECTED_CHAINID(); } addressManager = _addressManager; } /// @dev Helper method to resolve name-to-address. /// @param _chainId The chainId of interest. /// @param _name Name whose address is to be resolved. /// @param _allowZeroAddress If set to true, does not throw if the resolved /// address is `address(0)`. /// @return addr_ Address associated with the given name on the specified /// chain. function _resolve( uint64 _chainId, bytes32 _name, bool _allowZeroAddress ) internal view returns (address addr_) { addr_ = _getAddress(_chainId, _name); if (!_allowZeroAddress && addr_ == address(0)) { revert RESOLVER_ZERO_ADDR(_chainId, _name); } } function _getAddress(uint64 _chainId, bytes32 _name) internal view virtual returns (address) { address _addressManager = addressManager; if (_addressManager == address(0)) revert RESOLVER_INVALID_MANAGER(); return IAddressManager(_addressManager).getAddress(_chainId, _name); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "../based/TaikoData.sol"; /// @title IVerifier /// @notice Defines the function that handles proof verification. /// @custom:security-contact [email protected] interface IVerifier { struct Context { bytes32 metaHash; bytes32 blobHash; address prover; uint64 blockId; bool isContesting; bool blobUsed; address msgSender; } struct ContextV2 { bytes32 metaHash; bytes32 blobHash; address prover; uint64 blockId; bool isContesting; bool blobUsed; address msgSender; TaikoData.Transition tran; } /// @notice Verifies a proof. /// @param _ctx The context of the proof verification. /// @param _tran The transition to verify. /// @param _proof The proof to verify. function verifyProof( Context calldata _ctx, TaikoData.Transition calldata _tran, TaikoData.TierProof calldata _proof ) external; /// @notice Verifies multiple proofs. /// @param _ctxs The array of contexts for the proof verifications. /// @param _proof The batch proof to verify. function verifyBatchProof( ContextV2[] calldata _ctxs, TaikoData.TierProof calldata _proof ) external; }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "src/shared/data/LibSharedData.sol"; /// @title TaikoData /// @notice This library defines various data structures used in the Taiko /// protocol. /// @custom:security-contact [email protected] library TaikoData { /// @dev Struct holding Taiko configuration parameters. See {TaikoConfig}. struct Config { // --------------------------------------------------------------------- // Group 1: General configs // --------------------------------------------------------------------- // The chain ID of the network where Taiko contracts are deployed. uint64 chainId; // --------------------------------------------------------------------- // Group 2: Block level configs // --------------------------------------------------------------------- // The maximum number of proposals allowed in a single block. uint64 blockMaxProposals; // Size of the block ring buffer, allowing extra space for proposals. uint64 blockRingBufferSize; // The maximum number of verifications allowed when a block is proposed // or proved. uint64 maxBlocksToVerify; // The maximum gas limit allowed for a block. uint32 blockMaxGasLimit; // --------------------------------------------------------------------- // Group 3: Proof related configs // --------------------------------------------------------------------- // The amount of Taiko token as a prover liveness bond uint96 livenessBond; // --------------------------------------------------------------------- // Group 4: Cross-chain sync // --------------------------------------------------------------------- // The number of L2 blocks between each L2-to-L1 state root sync. uint8 stateRootSyncInternal; uint64 maxAnchorHeightOffset; // --------------------------------------------------------------------- // Group 5: Previous configs in TaikoL2 // --------------------------------------------------------------------- LibSharedData.BaseFeeConfig baseFeeConfig; // --------------------------------------------------------------------- // Group 6: Others // --------------------------------------------------------------------- uint64 ontakeForkHeight; } /// @dev A proof and the tier of proof it belongs to struct TierProof { uint16 tier; bytes data; } /// @dev Hook and it's data (currently used only during proposeBlock) struct HookCall { address hook; bytes data; } /// @dev Represents proposeBlock's _data input parameter struct BlockParams { address assignedProver; // DEPRECATED, value ignored. address coinbase; bytes32 extraData; bytes32 parentMetaHash; HookCall[] hookCalls; // DEPRECATED, value ignored. bytes signature; // DEPRECATED, value ignored. } struct BlockParamsV2 { address proposer; address coinbase; bytes32 parentMetaHash; uint64 anchorBlockId; // NEW uint64 timestamp; // NEW uint32 blobTxListOffset; // NEW uint32 blobTxListLength; // NEW uint8 blobIndex; // NEW } /// @dev Struct containing data only required for proving a block /// Note: On L2, `block.difficulty` is the pseudo name of /// `block.prevrandao`, which returns a random number provided by the layer /// 1 chain. struct BlockMetadata { bytes32 l1Hash; bytes32 difficulty; bytes32 blobHash; //or txListHash (if Blob not yet supported) bytes32 extraData; bytes32 depositsHash; address coinbase; // L2 coinbase, uint64 id; uint32 gasLimit; uint64 timestamp; uint64 l1Height; uint16 minTier; bool blobUsed; bytes32 parentMetaHash; address sender; // a.k.a proposer } struct BlockMetadataV2 { bytes32 anchorBlockHash; // `_l1BlockHash` in TaikoL2's anchor tx. bytes32 difficulty; bytes32 blobHash; bytes32 extraData; address coinbase; uint64 id; uint32 gasLimit; uint64 timestamp; uint64 anchorBlockId; // `_l1BlockId` in TaikoL2's anchor tx. uint16 minTier; bool blobUsed; bytes32 parentMetaHash; address proposer; uint96 livenessBond; // Time this block is proposed at, used to check proving window and cooldown window. uint64 proposedAt; // L1 block number, required/used by node/client. uint64 proposedIn; uint32 blobTxListOffset; uint32 blobTxListLength; uint8 blobIndex; LibSharedData.BaseFeeConfig baseFeeConfig; } /// @dev Struct representing transition to be proven. struct Transition { bytes32 parentHash; bytes32 blockHash; bytes32 stateRoot; bytes32 graffiti; // Arbitrary data that the prover can use for various purposes. } /// @dev Struct representing state transition data. /// 6 slots used. struct TransitionState { bytes32 key; // slot 1, only written/read for the 1st state transition. bytes32 blockHash; // slot 2 bytes32 stateRoot; // slot 3 address prover; // slot 4 uint96 validityBond; address contester; // slot 5 uint96 contestBond; uint64 timestamp; // slot 6 (90 bits) uint16 tier; uint8 __reserved1; } /// @dev Struct containing data required for verifying a block. /// 3 slots used. struct Block { bytes32 metaHash; // slot 1 address assignedProver; // slot 2 uint96 livenessBond; uint64 blockId; // slot 3 uint64 proposedAt; // timestamp uint64 proposedIn; // L1 block number, required/used by node/client. uint32 nextTransitionId; // The ID of the transaction that is used to verify this block. However, if // this block is not verified as the last block in a batch, verifiedTransitionId // will remain zero. uint32 verifiedTransitionId; } /// @dev Struct containing data required for verifying a block. /// 3 slots used. struct BlockV2 { bytes32 metaHash; // slot 1 address assignedProver; // slot 2 uint96 livenessBond; uint64 blockId; // slot 3 // Before the fork, this field is the L1 timestamp when this block is proposed. // After the fork, this is the timestamp of the L2 block. // In a later fork, we an rename this field to `timestamp`. uint64 proposedAt; // Before the fork, this field is the L1 block number where this block is proposed. // After the fork, this is the L1 block number input for the anchor transaction. // In a later fork, we an rename this field to `anchorBlockId`. uint64 proposedIn; uint24 nextTransitionId; bool livenessBondReturned; // The ID of the transaction that is used to verify this block. However, if // this block is not verified as the last block in a batch, verifiedTransitionId // will remain zero. uint24 verifiedTransitionId; } /// @dev Struct representing an Ethereum deposit. /// 2 slot used. Currently removed from protocol, but to be backwards compatible, the struct and /// return values stayed for now. struct EthDeposit { address recipient; uint96 amount; uint64 id; } /// @dev Forge is only able to run coverage in case the contracts by default /// capable of compiling without any optimization (neither optimizer runs, /// no compiling --via-ir flag). /// In order to resolve stack too deep without optimizations, we needed to /// introduce outsourcing vars into structs below. struct SlotA { uint64 genesisHeight; uint64 genesisTimestamp; uint64 lastSyncedBlockId; uint64 lastSynecdAt; // typo! } struct SlotB { uint64 numBlocks; uint64 lastVerifiedBlockId; bool provingPaused; uint8 __reservedB1; uint16 __reservedB2; uint32 __reservedB3; uint64 lastUnpausedAt; } /// @dev Struct holding the state variables for the {TaikoL1} contract. struct State { // Ring buffer for proposed blocks and a some recent verified blocks. mapping(uint64 blockId_mod_blockRingBufferSize => BlockV2 blk) blocks; // Indexing to transition ids (ring buffer not possible) mapping(uint64 blockId => mapping(bytes32 parentHash => uint24 transitionId)) transitionIds; // Ring buffer for transitions mapping( uint64 blockId_mod_blockRingBufferSize => mapping(uint32 transitionId => TransitionState ts) ) transitions; bytes32 __reserve1; // Used as a ring buffer for Ether deposits SlotA slotA; // slot 5 SlotB slotB; // slot 6 mapping(address account => uint256 bond) bondBalance; uint256[43] __gap; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/utils/introspection/IERC165.sol"; /// @title LibAddress /// @dev Provides utilities for address-related operations. /// @custom:security-contact [email protected] library LibAddress { error ETH_TRANSFER_FAILED(); /// @dev Sends Ether to the specified address. This method will not revert even if sending ether /// fails. /// This function is inspired by /// https://github.com/nomad-xyz/ExcessivelySafeCall/blob/main/src/ExcessivelySafeCall.sol /// @param _to The recipient address. /// @param _amount The amount of Ether to send in wei. /// @param _gasLimit The max amount gas to pay for this transaction. /// @return success_ true if the call is successful, false otherwise. function sendEther( address _to, uint256 _amount, uint256 _gasLimit, bytes memory _calldata ) internal returns (bool success_) { // Check for zero-address transactions if (_to == address(0)) revert ETH_TRANSFER_FAILED(); // dispatch message to recipient // by assembly calling "handle" function // we call via assembly to avoid memcopying a very large returndata // returned by a malicious contract assembly { success_ := call( _gasLimit, // gas _to, // recipient _amount, // ether value add(_calldata, 0x20), // inloc mload(_calldata), // inlen 0, // outloc 0 // outlen ) } } /// @dev Sends Ether to the specified address. This method will revert if sending ether fails. /// @param _to The recipient address. /// @param _amount The amount of Ether to send in wei. /// @param _gasLimit The max amount gas to pay for this transaction. function sendEtherAndVerify(address _to, uint256 _amount, uint256 _gasLimit) internal { if (_amount == 0) return; if (!sendEther(_to, _amount, _gasLimit, "")) { revert ETH_TRANSFER_FAILED(); } } /// @dev Sends Ether to the specified address. This method will revert if sending ether fails. /// @param _to The recipient address. /// @param _amount The amount of Ether to send in wei. function sendEtherAndVerify(address _to, uint256 _amount) internal { sendEtherAndVerify(_to, _amount, gasleft()); } function supportsInterface( address _addr, bytes4 _interfaceId ) internal view returns (bool result_) { (bool success, bytes memory data) = _addr.staticcall(abi.encodeCall(IERC165.supportsInterface, (_interfaceId))); if (success && data.length == 32) { result_ = abi.decode(data, (bool)); } } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import "src/shared/common/IAddressResolver.sol"; import "src/shared/common/LibStrings.sol"; import "./TaikoData.sol"; /// @title LibBonds /// @notice A library that offers helper functions to handle bonds. /// @custom:security-contact [email protected] library LibBonds { /// @dev Emitted when token is credited back to a user's bond balance. event BondCredited(address indexed user, uint256 amount); /// @dev Emitted when token is debited from a user's bond balance. event BondDebited(address indexed user, uint256 amount); /// @dev Deposits Taiko token to be used as bonds. /// @param _state Current TaikoData.State. /// @param _resolver Address resolver interface. /// @param _amount The amount of token to deposit. function depositBond( TaikoData.State storage _state, IAddressResolver _resolver, uint256 _amount ) internal { _state.bondBalance[msg.sender] += _amount; _tko(_resolver).transferFrom(msg.sender, address(this), _amount); } /// @dev Withdraws Taiko token. /// @param _state Current TaikoData.State. /// @param _resolver Address resolver interface. /// @param _amount The amount of token to withdraw. function withdrawBond( TaikoData.State storage _state, IAddressResolver _resolver, uint256 _amount ) internal { _state.bondBalance[msg.sender] -= _amount; _tko(_resolver).transfer(msg.sender, _amount); } /// @dev Debits Taiko tokens as bonds. /// @param _state Current TaikoData.State. /// @param _resolver Address resolver interface. /// @param _user The user address to debit. /// @param _amount The amount of token to debit. function debitBond( TaikoData.State storage _state, IAddressResolver _resolver, address _user, uint256 _amount ) internal { uint256 balance = _state.bondBalance[_user]; if (balance >= _amount) { unchecked { _state.bondBalance[_user] = balance - _amount; } emit BondDebited(_user, _amount); } else { _tko(_resolver).transferFrom(_user, address(this), _amount); } } /// @dev Credits Taiko tokens to user's bond balance. /// @param _state Current TaikoData.State. /// @param _user The user address to credit. /// @param _amount The amount of token to credit. function creditBond(TaikoData.State storage _state, address _user, uint256 _amount) internal { _state.bondBalance[_user] += _amount; emit BondCredited(_user, _amount); } /// @dev Gets a user's current Taiko token bond balance. /// @param _state Current TaikoData.State. /// @param _user The user address to credit. /// @return The current token balance. function bondBalanceOf( TaikoData.State storage _state, address _user ) internal view returns (uint256) { return _state.bondBalance[_user]; } function _tko(IAddressResolver _resolver) private view returns (IERC20) { return IERC20(_resolver.resolve(LibStrings.B_TAIKO_TOKEN, false)); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; import "@openzeppelin/contracts/token/ERC20/IERC20.sol"; import "src/shared/common/IAddressResolver.sol"; import "src/shared/common/LibStrings.sol"; import "src/shared/common/LibMath.sol"; import "../tiers/ITierProvider.sol"; import "../tiers/ITierRouter.sol"; import "./TaikoData.sol"; /// @title LibUtils /// @notice A library that offers helper functions. /// @custom:security-contact [email protected] library LibUtils { using LibMath for uint256; /// @dev Emitted when a block is verified. /// @param blockId The ID of the verified block. /// @param prover The prover whose transition is used for verifying the /// block. /// @param blockHash The hash of the verified block. /// @param stateRoot Deprecated and is always zero. /// @param tier The tier ID of the proof. event BlockVerified( uint256 indexed blockId, address indexed prover, bytes32 blockHash, bytes32 stateRoot, uint16 tier ); /// @dev Emitted when a block is verified. /// @param blockId The ID of the verified block. /// @param prover The prover whose transition is used for verifying the /// block. /// @param blockHash The hash of the verified block. /// @param tier The tier ID of the proof. event BlockVerifiedV2( uint256 indexed blockId, address indexed prover, bytes32 blockHash, uint16 tier ); error L1_BLOCK_MISMATCH(); error L1_INVALID_BLOCK_ID(); error L1_INVALID_PARAMS(); error L1_INVALID_GENESIS_HASH(); error L1_TRANSITION_NOT_FOUND(); error L1_UNEXPECTED_TRANSITION_ID(); /// @notice Initializes the Taiko protocol state. /// @param _state The state to initialize. /// @param _genesisBlockHash The block hash of the genesis block. function init( TaikoData.State storage _state, TaikoData.Config memory _config, bytes32 _genesisBlockHash ) internal { if (_genesisBlockHash == 0) revert L1_INVALID_GENESIS_HASH(); // Init state _state.slotA.genesisHeight = uint64(block.number); _state.slotA.genesisTimestamp = uint64(block.timestamp); _state.slotB.numBlocks = 1; // Init the genesis block TaikoData.BlockV2 storage blk = _state.blocks[0]; blk.nextTransitionId = 2; blk.proposedAt = uint64(block.timestamp); blk.verifiedTransitionId = 1; blk.metaHash = bytes32(uint256(1)); // Give the genesis metahash a non-zero value. // Init the first state transition TaikoData.TransitionState storage ts = _state.transitions[0][1]; ts.blockHash = _genesisBlockHash; ts.prover = address(0); ts.timestamp = uint64(block.timestamp); if (_config.ontakeForkHeight == 0) { emit BlockVerifiedV2({ blockId: 0, prover: address(0), blockHash: _genesisBlockHash, tier: 0 }); } else { emit BlockVerified({ blockId: 0, prover: address(0), blockHash: _genesisBlockHash, stateRoot: 0, tier: 0 }); } } /// @dev Retrieves a block based on its ID. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _blockId Id of the block. /// @return blk_ The block storage pointer. /// @return slot_ The slot value. function getBlock( TaikoData.State storage _state, TaikoData.Config memory _config, uint64 _blockId ) internal view returns (TaikoData.BlockV2 storage blk_, uint64 slot_) { slot_ = _blockId % _config.blockRingBufferSize; blk_ = _state.blocks[slot_]; if (blk_.blockId != _blockId) revert L1_INVALID_BLOCK_ID(); } /// @dev Retrieves a block's block hash and state root. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _blockId Id of the block. /// @return blockHash_ The block's block hash. /// @return stateRoot_ The block's storage root. function getBlockInfo( TaikoData.State storage _state, TaikoData.Config memory _config, uint64 _blockId ) internal view returns (bytes32 blockHash_, bytes32 stateRoot_, uint64 verifiedAt_) { (TaikoData.BlockV2 storage blk, uint64 slot) = getBlock(_state, _config, _blockId); if (blk.verifiedTransitionId != 0) { TaikoData.TransitionState storage transition = _state.transitions[slot][blk.verifiedTransitionId]; blockHash_ = transition.blockHash; stateRoot_ = transition.stateRoot; verifiedAt_ = transition.timestamp; } } /// @notice This function will revert if the transition is not found. /// @dev Retrieves the transition with a given parentHash. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _blockId Id of the block. /// @param _tid The transition id. /// @return The state transition pointer. function getTransition( TaikoData.State storage _state, TaikoData.Config memory _config, uint64 _blockId, uint32 _tid ) internal view returns (TaikoData.TransitionState storage) { (TaikoData.BlockV2 storage blk, uint64 slot) = getBlock(_state, _config, _blockId); if (_tid == 0 || _tid >= blk.nextTransitionId) revert L1_TRANSITION_NOT_FOUND(); return _state.transitions[slot][_tid]; } /// @notice This function will revert if the transition is not found. This function will revert /// if the transition is not found. /// @dev Retrieves the transition with a given parentHash. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _blockId Id of the block. /// @param _parentHash Parent hash of the block. /// @return The state transition pointer. function getTransition( TaikoData.State storage _state, TaikoData.Config memory _config, uint64 _blockId, bytes32 _parentHash ) internal view returns (TaikoData.TransitionState storage) { (TaikoData.BlockV2 storage blk, uint64 slot) = getBlock(_state, _config, _blockId); uint24 tid = getTransitionId(_state, blk, slot, _parentHash); if (tid == 0) revert L1_TRANSITION_NOT_FOUND(); return _state.transitions[slot][tid]; } /// @notice Gets the state transitions for a batch of block. For transition that doesn't exist, /// the corresponding transition state will be empty. /// @param _state Current TaikoData.State. /// @param _config Actual TaikoData.Config. /// @param _blockIds Id array of the blocks. /// @param _parentHashes Parent hashes of the blocks. /// @return transitions_ The state transition pointer array. function getTransitions( TaikoData.State storage _state, TaikoData.Config memory _config, uint64[] calldata _blockIds, bytes32[] calldata _parentHashes ) internal view returns (TaikoData.TransitionState[] memory transitions_) { if (_blockIds.length == 0 || _blockIds.length != _parentHashes.length) { revert L1_INVALID_PARAMS(); } transitions_ = new TaikoData.TransitionState[](_blockIds.length); for (uint256 i; i < _blockIds.length; ++i) { (TaikoData.BlockV2 storage blk, uint64 slot) = getBlock(_state, _config, _blockIds[i]); uint24 tid = getTransitionId(_state, blk, slot, _parentHashes[i]); if (tid != 0) { transitions_[i] = _state.transitions[slot][tid]; } } } /// @dev Retrieves the ID of the transition with a given parentHash. /// This function will return 0 if the transition is not found. function getTransitionId( TaikoData.State storage _state, TaikoData.BlockV2 storage _blk, uint64 _slot, bytes32 _parentHash ) internal view returns (uint24 tid_) { if (_state.transitions[_slot][1].key == _parentHash) { tid_ = 1; if (tid_ >= _blk.nextTransitionId) revert L1_UNEXPECTED_TRANSITION_ID(); } else { tid_ = _state.transitionIds[_blk.blockId][_parentHash]; if (tid_ != 0 && tid_ >= _blk.nextTransitionId) revert L1_UNEXPECTED_TRANSITION_ID(); } } function isPostDeadline( uint256 _tsTimestamp, uint256 _lastUnpausedAt, uint256 _windowMinutes ) internal view returns (bool) { unchecked { uint256 deadline = _tsTimestamp.max(_lastUnpausedAt) + _windowMinutes * 60; return block.timestamp >= deadline; } } function shouldVerifyBlocks( TaikoData.Config memory _config, uint64 _blockId, bool _isBlockProposed ) internal pure returns (bool) { if (_config.maxBlocksToVerify == 0) return false; // Consider each segment of 8 blocks, verification is attempted either on block 3 if it has // been // proved, or on block 7 if it has been proposed. Over time, the ratio of blocks to // verification attempts averages 4:1, meaning each verification attempt typically covers 4 // blocks. However, considering worst cases caused by blocks being proved out of order, some // verification attempts may verify few or no blocks. In such cases, additional // verifications are needed to catch up. Consequently, the `maxBlocksToVerify` parameter // should be set high enough, for example 16, to allow for efficient catch-up. // Now lets use `maxBlocksToVerify` as an input to calculate the size of each block // segment, instead of using 8 as a constant. uint256 segmentSize = _config.maxBlocksToVerify >> 1; if (segmentSize <= 1) return true; return _blockId % segmentSize == (_isBlockProposed ? 0 : segmentSize >> 1); } function shouldSyncStateRoot( uint256 _stateRootSyncInternal, uint256 _blockId ) internal pure returns (bool) { if (_stateRootSyncInternal <= 1) return true; unchecked { // We could use `_blockId % _stateRootSyncInternal == 0`, but this will break many unit // tests as in most of these tests, we test block#1, so by setting // config._stateRootSyncInternal = 2, we can keep the tests unchanged. return _blockId % _stateRootSyncInternal == _stateRootSyncInternal - 1; } } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title ISignalService /// @notice The SignalService contract serves as a secure cross-chain message /// passing system. It defines methods for sending and verifying signals with /// merkle proofs. The trust assumption is that the target chain has secure /// access to the merkle root (such as Taiko injects it in the anchor /// transaction). With this, verifying a signal is reduced to simply verifying /// a merkle proof. /// @custom:security-contact [email protected] interface ISignalService { enum CacheOption { CACHE_NOTHING, CACHE_SIGNAL_ROOT, CACHE_STATE_ROOT, CACHE_BOTH } struct HopProof { /// @notice This hop's destination chain ID. If there is a next hop, this ID is the next /// hop's source chain ID. uint64 chainId; /// @notice The ID of a source chain block whose state root has been synced to the hop's /// destination chain. /// Note that this block ID must be greater than or equal to the block ID where the signal /// was sent on the source chain. uint64 blockId; /// @notice The state root or signal root of the source chain at the above blockId. This /// value has been synced to the destination chain. /// @dev To get both the blockId and the rootHash, apps should subscribe to the /// ChainDataSynced event or query `topBlockId` first using the source chain's ID and /// LibStrings.H_STATE_ROOT to get the most recent block ID synced, then call /// `getSyncedChainData` to read the synchronized data. bytes32 rootHash; /// @notice Options to cache either the state roots or signal roots of middle-hops to the /// current chain. CacheOption cacheOption; /// @notice The signal service's account proof. If this value is empty, then `rootHash` will /// be used as the signal root, otherwise, `rootHash` will be used as the state root. bytes[] accountProof; /// @notice The signal service's storage proof. bytes[] storageProof; } /// @notice Emitted when a remote chain's state root or signal root is /// synced locally as a signal. /// @param chainId The remote chainId. /// @param blockId The chain data's corresponding blockId. /// @param kind A value to mark the data type. /// @param data The remote data. /// @param signal The signal for this chain data. event ChainDataSynced( uint64 indexed chainId, uint64 indexed blockId, bytes32 indexed kind, bytes32 data, bytes32 signal ); /// @notice Emitted when a signal is sent. /// @param app The address that initiated the signal. /// @param signal The signal (message) that was sent. /// @param slot The location in storage where this signal is stored. /// @param value The value of the signal. event SignalSent(address app, bytes32 signal, bytes32 slot, bytes32 value); /// @notice Emitted when an address is authorized or deauthorized. /// @param addr The address to be authorized or deauthorized. /// @param authorized True if authorized, false otherwise. event Authorized(address indexed addr, bool authorized); /// @notice Send a signal (message) by setting the storage slot to the same value as the signal /// itself. /// @param _signal The signal (message) to send. /// @return slot_ The location in storage where this signal is stored. function sendSignal(bytes32 _signal) external returns (bytes32 slot_); /// @notice Sync a data from a remote chain locally as a signal. The signal is calculated /// uniquely from chainId, kind, and data. /// @param _chainId The remote chainId. /// @param _kind A value to mark the data type. /// @param _blockId The chain data's corresponding blockId /// @param _chainData The remote data. /// @return signal_ The signal for this chain data. function syncChainData( uint64 _chainId, bytes32 _kind, uint64 _blockId, bytes32 _chainData ) external returns (bytes32 signal_); /// @notice Verifies if a signal has been received on the target chain. /// @param _chainId The identifier for the source chain from which the /// signal originated. /// @param _app The address that initiated the signal. /// @param _signal The signal (message) to send. /// @param _proof Merkle proof that the signal was persisted on the /// source chain. /// @return numCacheOps_ The number of newly cached items. function proveSignalReceived( uint64 _chainId, address _app, bytes32 _signal, bytes calldata _proof ) external returns (uint256 numCacheOps_); /// @notice Verifies if a signal has been received on the target chain. /// This is the "readonly" version of proveSignalReceived. /// @param _chainId The identifier for the source chain from which the /// signal originated. /// @param _app The address that initiated the signal. /// @param _signal The signal (message) to send. /// @param _proof Merkle proof that the signal was persisted on the /// source chain. function verifySignalReceived( uint64 _chainId, address _app, bytes32 _signal, bytes calldata _proof ) external view; /// @notice Verifies if a particular signal has already been sent. /// @param _app The address that initiated the signal. /// @param _signal The signal (message) that was sent. /// @return true if the signal has been sent, otherwise false. function isSignalSent(address _app, bytes32 _signal) external view returns (bool); /// @notice Checks if a chain data has been synced. /// @param _chainId The remote chainId. /// @param _kind A value to mark the data type. /// @param _blockId The chain data's corresponding blockId /// @param _chainData The remote data. /// @return true if the data has been synced, otherwise false. function isChainDataSynced( uint64 _chainId, bytes32 _kind, uint64 _blockId, bytes32 _chainData ) external view returns (bool); /// @notice Returns the given block's chain data. /// @param _chainId Identifier of the chainId. /// @param _kind A value to mark the data type. /// @param _blockId The chain data's corresponding block id. If this value is 0, use the top /// block id. /// @return blockId_ The actual block id. /// @return chainData_ The synced chain data. function getSyncedChainData( uint64 _chainId, bytes32 _kind, uint64 _blockId ) external view returns (uint64 blockId_, bytes32 chainData_); /// @notice Returns the data to be used for caching slot generation. /// @param _chainId Identifier of the chainId. /// @param _kind A value to mark the data type. /// @param _blockId The chain data's corresponding block id. If this value is 0, use the top /// block id. /// @return signal_ The signal used for caching slot creation. function signalForChainData( uint64 _chainId, bytes32 _kind, uint64 _blockId ) external pure returns (bytes32 signal_); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol) pragma solidity ^0.8.0; /** * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified * proxy whose upgrades are fully controlled by the current implementation. */ interface IERC1822Proxiable { /** * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation * address. * * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this * function revert if invoked through a proxy. */ function proxiableUUID() external view returns (bytes32); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (proxy/ERC1967/ERC1967Upgrade.sol) pragma solidity ^0.8.2; import "../beacon/IBeacon.sol"; import "../../interfaces/IERC1967.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._ */ abstract contract ERC1967Upgrade is IERC1967 { // 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 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 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 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.9.0) (access/Ownable.sol) pragma solidity ^0.8.0; import "../utils/ContextUpgradeable.sol"; import {Initializable} from "../proxy/utils/Initializable.sol"; /** * @dev Contract module which provides a basic access control mechanism, where * there is an account (an owner) that can be granted exclusive access to * specific functions. * * By default, the owner account will be the one that deploys the contract. This * can later be changed with {transferOwnership}. * * This module is used through inheritance. It will make available the modifier * `onlyOwner`, which can be applied to your functions to restrict their use to * the owner. */ abstract contract OwnableUpgradeable is Initializable, ContextUpgradeable { address private _owner; event OwnershipTransferred(address indexed previousOwner, address indexed newOwner); /** * @dev Initializes the contract setting the deployer as the initial owner. */ function __Ownable_init() internal onlyInitializing { __Ownable_init_unchained(); } function __Ownable_init_unchained() internal onlyInitializing { _transferOwnership(_msgSender()); } /** * @dev Throws if called by any account other than the owner. */ modifier onlyOwner() { _checkOwner(); _; } /** * @dev Returns the address of the current owner. */ function owner() public view virtual returns (address) { return _owner; } /** * @dev Throws if the sender is not the owner. */ function _checkOwner() internal view virtual { require(owner() == _msgSender(), "Ownable: caller is not the owner"); } /** * @dev Leaves the contract without owner. It will not be possible to call * `onlyOwner` functions. Can only be called by the current owner. * * NOTE: Renouncing ownership will leave the contract without an owner, * thereby disabling any functionality that is only available to the owner. */ function renounceOwnership() public virtual onlyOwner { _transferOwnership(address(0)); } /** * @dev Transfers ownership of the contract to a new account (`newOwner`). * Can only be called by the current owner. */ function transferOwnership(address newOwner) public virtual onlyOwner { require(newOwner != address(0), "Ownable: new owner is the zero address"); _transferOwnership(newOwner); } /** * @dev Transfers ownership of the contract to a new account (`newOwner`). * Internal function without access restriction. */ function _transferOwnership(address newOwner) internal virtual { address oldOwner = _owner; _owner = newOwner; emit OwnershipTransferred(oldOwner, newOwner); } /** * @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.9.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] * ```solidity * 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. * * Similar to `reinitializer(1)`, except that functions marked with `initializer` can be nested in the context of a * constructor. * * Emits an {Initialized} event. */ 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. * * 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. * * When `version` is 1, this modifier is similar to `initializer`, except that functions marked with `reinitializer` * cannot be nested. If one is invoked in the context of another, execution will revert. * * 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. * * WARNING: setting the version to 255 will prevent any future reinitialization. * * Emits an {Initialized} event. */ 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. * * Emits an {Initialized} event the first time it is successfully executed. */ function _disableInitializers() internal virtual { require(!_initializing, "Initializable: contract is initializing"); if (_initialized != type(uint8).max) { _initialized = type(uint8).max; emit Initialized(type(uint8).max); } } /** * @dev Returns the highest version that has been initialized. See {reinitializer}. */ function _getInitializedVersion() internal view returns (uint8) { return _initialized; } /** * @dev Returns `true` if the contract is currently initializing. See {onlyInitializing}. */ function _isInitializing() internal view returns (bool) { return _initializing; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title IAddressManager /// @notice Manages a mapping of (chainId, name) pairs to Ethereum addresses. /// @custom:security-contact [email protected] interface IAddressManager { /// @notice Gets the address mapped to a specific chainId-name pair. /// @dev Note that in production, this method shall be a pure function /// without any storage access. /// @param _chainId The chainId for which the address needs to be fetched. /// @param _name The name for which the address needs to be fetched. /// @return Address associated with the chainId-name pair. function getAddress(uint64 _chainId, bytes32 _name) external view returns (address); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title IAddressResolver /// @notice This contract acts as a bridge for name-to-address resolution. /// It delegates the resolution to the AddressManager. By separating the logic, /// we can maintain flexibility in address management without affecting the /// resolving process. /// @dev Note that the address manager should be changed using upgradability, there /// is no setAddressManager() function to guarantee atomicity across all /// contracts that are resolvers. /// @custom:security-contact [email protected] interface IAddressResolver { /// @notice Resolves a name to its address deployed on this chain. /// @param _name Name whose address is to be resolved. /// @param _allowZeroAddress If set to true, does not throw if the resolved /// address is `address(0)`. /// @return Address associated with the given name. function resolve(bytes32 _name, bool _allowZeroAddress) external view returns (address); /// @notice Resolves a name to its address deployed on a specified chain. /// @param _chainId The chainId of interest. /// @param _name Name whose address is to be resolved. /// @param _allowZeroAddress If set to true, does not throw if the resolved /// address is `address(0)`. /// @return Address associated with the given name on the specified /// chain. function resolve( uint64 _chainId, bytes32 _name, bool _allowZeroAddress ) external view returns (address); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; library LibSharedData { /// @dev Struct that represents L2 basefee configurations struct BaseFeeConfig { uint8 adjustmentQuotient; uint8 sharingPctg; uint32 gasIssuancePerSecond; uint64 minGasExcess; uint32 maxGasIssuancePerBlock; } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol) pragma solidity ^0.8.0; /** * @dev Interface of the ERC165 standard, as defined in the * https://eips.ethereum.org/EIPS/eip-165[EIP]. * * Implementers can declare support of contract interfaces, which can then be * queried by others ({ERC165Checker}). * * For an implementation, see {ERC165}. */ interface IERC165 { /** * @dev Returns true if this contract implements the interface defined by * `interfaceId`. See the corresponding * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section] * to learn more about how these ids are created. * * This function call must use less than 30 000 gas. */ function supportsInterface(bytes4 interfaceId) external view returns (bool); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.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 pragma solidity ^0.8.24; /// @title LibMath /// @dev This library offers additional math functions for uint256. /// @custom:security-contact [email protected] library LibMath { /// @dev Returns the smaller of the two given values. /// @param _a The first number to compare. /// @param _b The second number to compare. /// @return The smaller of the two numbers. function min(uint256 _a, uint256 _b) internal pure returns (uint256) { return _a > _b ? _b : _a; } /// @dev Returns the larger of the two given values. /// @param _a The first number to compare. /// @param _b The second number to compare. /// @return The larger of the two numbers. function max(uint256 _a, uint256 _b) internal pure returns (uint256) { return _a > _b ? _a : _b; } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title ITierProvider /// @notice Defines interface to return tier configuration. /// @custom:security-contact [email protected] interface ITierProvider { struct Tier { bytes32 verifierName; uint96 validityBond; uint96 contestBond; uint24 cooldownWindow; // in minutes uint16 provingWindow; // in minutes uint8 maxBlocksToVerifyPerProof; // DEPRECATED } error TIER_NOT_FOUND(); /// @dev Retrieves the configuration for a specified tier. /// @param tierId ID of the tier. /// @return Tier struct containing the tier's parameters. function getTier(uint16 tierId) external view returns (Tier memory); /// @dev Retrieves the IDs of all supported tiers. /// Note that the core protocol requires the number of tiers to be smaller /// than 256. In reality, this number should be much smaller. /// @return The ids of the tiers. function getTierIds() external view returns (uint16[] memory); /// @dev Determines the minimal tier for a block based on a random input. /// @param proposer The address of the block proposer. /// @param rand A pseudo-random number. /// @return The tier id. function getMinTier(address proposer, uint256 rand) external view returns (uint16); }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.24; /// @title ITierRouter /// @notice Defines interface to return an ITierProvider /// @custom:security-contact [email protected] interface ITierRouter { /// @dev Returns the address of the TierProvider for a given block. /// @param blockId ID of the block. /// @return The address of the corresponding TierProvider. function getProvider(uint256 blockId) external view returns (address); }
// 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.9.0) (interfaces/IERC1967.sol) pragma solidity ^0.8.0; /** * @dev ERC-1967: Proxy Storage Slots. This interface contains the events defined in the ERC. * * _Available since v4.8.3._ */ interface IERC1967 { /** * @dev Emitted when the implementation is upgraded. */ event Upgraded(address indexed implementation); /** * @dev Emitted when the admin account has changed. */ event AdminChanged(address previousAdmin, address newAdmin); /** * @dev Emitted when the beacon is changed. */ event BeaconUpgraded(address indexed beacon); }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.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 * * Furthermore, `isContract` will also return true if the target contract within * the same transaction is already scheduled for destruction by `SELFDESTRUCT`, * which only has an effect at the end of a transaction. * ==== * * [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://consensys.net/diligence/blog/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.8.0/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 functionCallWithValue(target, data, 0, "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"); (bool success, bytes memory returndata) = target.call{value: value}(data); return verifyCallResultFromTarget(target, 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) { (bool success, bytes memory returndata) = target.staticcall(data); return verifyCallResultFromTarget(target, 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) { (bool success, bytes memory returndata) = target.delegatecall(data); return verifyCallResultFromTarget(target, success, returndata, errorMessage); } /** * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract. * * _Available since v4.8._ */ function verifyCallResultFromTarget( address target, bool success, bytes memory returndata, string memory errorMessage ) internal view returns (bytes memory) { if (success) { if (returndata.length == 0) { // only check isContract if the call was successful and the return data is empty // otherwise we already know that it was a contract require(isContract(target), "Address: call to non-contract"); } return returndata; } else { _revert(returndata, errorMessage); } } /** * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the * revert reason or 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 { _revert(returndata, errorMessage); } } function _revert(bytes memory returndata, string memory errorMessage) private pure { // 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.9.0) (utils/StorageSlot.sol) // This file was procedurally generated from scripts/generate/templates/StorageSlot.js. 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: * ```solidity * 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`, `uint256`._ * _Available since v4.9 for `string`, `bytes`._ */ library StorageSlot { struct AddressSlot { address value; } struct BooleanSlot { bool value; } struct Bytes32Slot { bytes32 value; } struct Uint256Slot { uint256 value; } struct StringSlot { string value; } struct BytesSlot { bytes 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 } } /** * @dev Returns an `StringSlot` with member `value` located at `slot`. */ function getStringSlot(bytes32 slot) internal pure returns (StringSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `StringSlot` representation of the string storage pointer `store`. */ function getStringSlot(string storage store) internal pure returns (StringSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := store.slot } } /** * @dev Returns an `BytesSlot` with member `value` located at `slot`. */ function getBytesSlot(bytes32 slot) internal pure returns (BytesSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `BytesSlot` representation of the bytes storage pointer `store`. */ function getBytesSlot(bytes storage store) internal pure returns (BytesSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := store.slot } } }
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.4) (utils/Context.sol) pragma solidity ^0.8.0; import {Initializable} from "../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; } function _contextSuffixLength() internal view virtual returns (uint256) { return 0; } /** * @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.9.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 * * Furthermore, `isContract` will also return true if the target contract within * the same transaction is already scheduled for destruction by `SELFDESTRUCT`, * which only has an effect at the end of a transaction. * ==== * * [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://consensys.net/diligence/blog/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.8.0/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 functionCallWithValue(target, data, 0, "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"); (bool success, bytes memory returndata) = target.call{value: value}(data); return verifyCallResultFromTarget(target, 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) { (bool success, bytes memory returndata) = target.staticcall(data); return verifyCallResultFromTarget(target, 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) { (bool success, bytes memory returndata) = target.delegatecall(data); return verifyCallResultFromTarget(target, success, returndata, errorMessage); } /** * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract. * * _Available since v4.8._ */ function verifyCallResultFromTarget( address target, bool success, bytes memory returndata, string memory errorMessage ) internal view returns (bytes memory) { if (success) { if (returndata.length == 0) { // only check isContract if the call was successful and the return data is empty // otherwise we already know that it was a contract require(isContract(target), "Address: call to non-contract"); } return returndata; } else { _revert(returndata, errorMessage); } } /** * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the * revert reason or 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 { _revert(returndata, errorMessage); } } function _revert(bytes memory returndata, string memory errorMessage) private pure { // 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); } } }
{ "remappings": [ "@openzeppelin/contracts-upgradeable/=node_modules/@openzeppelin/contracts-upgradeable/", "openzeppelin/contracts-upgradeable/=node_modules/@openzeppelin/contracts-upgradeable/", "@openzeppelin/contracts/=node_modules/@openzeppelin/contracts/", "openzeppelin/contracts/=node_modules/@openzeppelin/contracts/", "@risc0/contracts/=node_modules/risc0-ethereum/contracts/src/", "@solady/=node_modules/solady/", "@optimism/=node_modules/optimism/", "@sp1-contracts/=node_modules/sp1-contracts/contracts/", "forge-std/=node_modules/forge-std/", "ds-test/=node_modules/ds-test/src/", "@p256-verifier/contracts/=node_modules/p256-verifier/src/", "src/=contracts/", "test/=test/", "script/=script/", "optimism/=node_modules/optimism/", "p256-verifier/=node_modules/p256-verifier/", "risc0-ethereum/=node_modules/risc0-ethereum/", "solady/=node_modules/solady/", "sp1-contracts/=node_modules/sp1-contracts/" ], "optimizer": { "enabled": true, "runs": 200 }, "metadata": { "useLiteralContent": false, "bytecodeHash": "ipfs", "appendCBOR": true }, "outputSelection": { "*": { "*": [ "evm.bytecode", "evm.deployedBytecode", "devdoc", "userdoc", "metadata", "abi" ] } }, "evmVersion": "cancun", "viaIR": false, "libraries": { "contracts/layer1/based/LibProposing.sol": { "LibProposing": "0x98371B6283aCe937b0367764Cc49e4C3EDc29D14" }, "contracts/layer1/based/LibProving.sol": { "LibProving": "0x7A3d8e58D9010945FD7541665eA384C7287dB6cb" } } }
Contract Security Audit
- No Contract Security Audit Submitted- Submit Audit Here
[{"inputs":[],"name":"FUNC_NOT_IMPLEMENTED","type":"error"},{"inputs":[],"name":"INVALID_PAUSE_STATUS","type":"error"},{"inputs":[],"name":"L1_BLOCK_MISMATCH","type":"error"},{"inputs":[],"name":"L1_FORK_ERROR","type":"error"},{"inputs":[],"name":"L1_INVALID_BLOCK_ID","type":"error"},{"inputs":[],"name":"L1_INVALID_GENESIS_HASH","type":"error"},{"inputs":[],"name":"L1_INVALID_PARAMS","type":"error"},{"inputs":[],"name":"L1_INVALID_PARAMS","type":"error"},{"inputs":[],"name":"L1_INVALID_PAUSE_STATUS","type":"error"},{"inputs":[],"name":"L1_PROVING_PAUSED","type":"error"},{"inputs":[],"name":"L1_TRANSITION_ID_ZERO","type":"error"},{"inputs":[],"name":"L1_TRANSITION_NOT_FOUND","type":"error"},{"inputs":[],"name":"L1_UNEXPECTED_TRANSITION_ID","type":"error"},{"inputs":[],"name":"REENTRANT_CALL","type":"error"},{"inputs":[],"name":"RESOLVER_DENIED","type":"error"},{"inputs":[],"name":"RESOLVER_INVALID_MANAGER","type":"error"},{"inputs":[],"name":"RESOLVER_UNEXPECTED_CHAINID","type":"error"},{"inputs":[{"internalType":"uint64","name":"chainId","type":"uint64"},{"internalType":"bytes32","name":"name","type":"bytes32"}],"name":"RESOLVER_ZERO_ADDR","type":"error"},{"inputs":[],"name":"ZERO_ADDRESS","type":"error"},{"inputs":[],"name":"ZERO_VALUE","type":"error"},{"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":"address","name":"beacon","type":"address"}],"name":"BeaconUpgraded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":true,"internalType":"address","name":"assignedProver","type":"address"},{"indexed":false,"internalType":"uint96","name":"livenessBond","type":"uint96"},{"components":[{"internalType":"bytes32","name":"l1Hash","type":"bytes32"},{"internalType":"bytes32","name":"difficulty","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"bytes32","name":"extraData","type":"bytes32"},{"internalType":"bytes32","name":"depositsHash","type":"bytes32"},{"internalType":"address","name":"coinbase","type":"address"},{"internalType":"uint64","name":"id","type":"uint64"},{"internalType":"uint32","name":"gasLimit","type":"uint32"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint64","name":"l1Height","type":"uint64"},{"internalType":"uint16","name":"minTier","type":"uint16"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"bytes32","name":"parentMetaHash","type":"bytes32"},{"internalType":"address","name":"sender","type":"address"}],"indexed":false,"internalType":"struct TaikoData.BlockMetadata","name":"meta","type":"tuple"},{"components":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint96","name":"amount","type":"uint96"},{"internalType":"uint64","name":"id","type":"uint64"}],"indexed":false,"internalType":"struct TaikoData.EthDeposit[]","name":"depositsProcessed","type":"tuple[]"}],"name":"BlockProposed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"components":[{"internalType":"bytes32","name":"anchorBlockHash","type":"bytes32"},{"internalType":"bytes32","name":"difficulty","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"bytes32","name":"extraData","type":"bytes32"},{"internalType":"address","name":"coinbase","type":"address"},{"internalType":"uint64","name":"id","type":"uint64"},{"internalType":"uint32","name":"gasLimit","type":"uint32"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint64","name":"anchorBlockId","type":"uint64"},{"internalType":"uint16","name":"minTier","type":"uint16"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"bytes32","name":"parentMetaHash","type":"bytes32"},{"internalType":"address","name":"proposer","type":"address"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint64","name":"proposedAt","type":"uint64"},{"internalType":"uint64","name":"proposedIn","type":"uint64"},{"internalType":"uint32","name":"blobTxListOffset","type":"uint32"},{"internalType":"uint32","name":"blobTxListLength","type":"uint32"},{"internalType":"uint8","name":"blobIndex","type":"uint8"},{"components":[{"internalType":"uint8","name":"adjustmentQuotient","type":"uint8"},{"internalType":"uint8","name":"sharingPctg","type":"uint8"},{"internalType":"uint32","name":"gasIssuancePerSecond","type":"uint32"},{"internalType":"uint64","name":"minGasExcess","type":"uint64"},{"internalType":"uint32","name":"maxGasIssuancePerBlock","type":"uint32"}],"internalType":"struct LibSharedData.BaseFeeConfig","name":"baseFeeConfig","type":"tuple"}],"indexed":false,"internalType":"struct TaikoData.BlockMetadataV2","name":"meta","type":"tuple"}],"name":"BlockProposedV2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"BlockVerified","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":false,"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"BlockVerified","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"BlockVerifiedV2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":true,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"BlockVerifiedV2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BondCredited","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BondCredited","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"user","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"BondDebited","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"indexed":false,"internalType":"bytes","name":"txList","type":"bytes"}],"name":"CalldataTxList","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint8","name":"version","type":"uint8"}],"name":"Initialized","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferStarted","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"paused","type":"bool"}],"name":"ProvingPaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bool","name":"paused","type":"bool"}],"name":"ProvingPaused","type":"event"},{"anonymous":false,"inputs":[{"components":[{"internalType":"uint64","name":"numBlocks","type":"uint64"},{"internalType":"uint64","name":"lastVerifiedBlockId","type":"uint64"},{"internalType":"bool","name":"provingPaused","type":"bool"},{"internalType":"uint8","name":"__reservedB1","type":"uint8"},{"internalType":"uint16","name":"__reservedB2","type":"uint16"},{"internalType":"uint32","name":"__reservedB3","type":"uint32"},{"internalType":"uint64","name":"lastUnpausedAt","type":"uint64"}],"indexed":false,"internalType":"struct TaikoData.SlotB","name":"slotB","type":"tuple"}],"name":"StateVariablesUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"components":[{"internalType":"bytes32","name":"parentHash","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"bytes32","name":"graffiti","type":"bytes32"}],"indexed":false,"internalType":"struct TaikoData.Transition","name":"tran","type":"tuple"},{"indexed":false,"internalType":"address","name":"contester","type":"address"},{"indexed":false,"internalType":"uint96","name":"contestBond","type":"uint96"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"TransitionContested","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"components":[{"internalType":"bytes32","name":"parentHash","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"bytes32","name":"graffiti","type":"bytes32"}],"indexed":false,"internalType":"struct TaikoData.Transition","name":"tran","type":"tuple"},{"indexed":false,"internalType":"address","name":"contester","type":"address"},{"indexed":false,"internalType":"uint96","name":"contestBond","type":"uint96"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"},{"indexed":false,"internalType":"uint64","name":"proposedIn","type":"uint64"}],"name":"TransitionContestedV2","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"components":[{"internalType":"bytes32","name":"parentHash","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"bytes32","name":"graffiti","type":"bytes32"}],"indexed":false,"internalType":"struct TaikoData.Transition","name":"tran","type":"tuple"},{"indexed":false,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"uint96","name":"validityBond","type":"uint96"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"}],"name":"TransitionProved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"blockId","type":"uint256"},{"components":[{"internalType":"bytes32","name":"parentHash","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"bytes32","name":"graffiti","type":"bytes32"}],"indexed":false,"internalType":"struct TaikoData.Transition","name":"tran","type":"tuple"},{"indexed":false,"internalType":"address","name":"prover","type":"address"},{"indexed":false,"internalType":"uint96","name":"validityBond","type":"uint96"},{"indexed":false,"internalType":"uint16","name":"tier","type":"uint16"},{"indexed":false,"internalType":"uint64","name":"proposedIn","type":"uint64"}],"name":"TransitionProvedV2","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"},{"inputs":[],"name":"acceptOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"addressManager","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"bondBalanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"depositBond","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"}],"name":"getBlock","outputs":[{"components":[{"internalType":"bytes32","name":"metaHash","type":"bytes32"},{"internalType":"address","name":"assignedProver","type":"address"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint64","name":"blockId","type":"uint64"},{"internalType":"uint64","name":"proposedAt","type":"uint64"},{"internalType":"uint64","name":"proposedIn","type":"uint64"},{"internalType":"uint32","name":"nextTransitionId","type":"uint32"},{"internalType":"uint32","name":"verifiedTransitionId","type":"uint32"}],"internalType":"struct TaikoData.Block","name":"blk_","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"}],"name":"getBlockV2","outputs":[{"components":[{"internalType":"bytes32","name":"metaHash","type":"bytes32"},{"internalType":"address","name":"assignedProver","type":"address"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint64","name":"blockId","type":"uint64"},{"internalType":"uint64","name":"proposedAt","type":"uint64"},{"internalType":"uint64","name":"proposedIn","type":"uint64"},{"internalType":"uint24","name":"nextTransitionId","type":"uint24"},{"internalType":"bool","name":"livenessBondReturned","type":"bool"},{"internalType":"uint24","name":"verifiedTransitionId","type":"uint24"}],"internalType":"struct TaikoData.BlockV2","name":"blk_","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getConfig","outputs":[{"components":[{"internalType":"uint64","name":"chainId","type":"uint64"},{"internalType":"uint64","name":"blockMaxProposals","type":"uint64"},{"internalType":"uint64","name":"blockRingBufferSize","type":"uint64"},{"internalType":"uint64","name":"maxBlocksToVerify","type":"uint64"},{"internalType":"uint32","name":"blockMaxGasLimit","type":"uint32"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint8","name":"stateRootSyncInternal","type":"uint8"},{"internalType":"uint64","name":"maxAnchorHeightOffset","type":"uint64"},{"components":[{"internalType":"uint8","name":"adjustmentQuotient","type":"uint8"},{"internalType":"uint8","name":"sharingPctg","type":"uint8"},{"internalType":"uint32","name":"gasIssuancePerSecond","type":"uint32"},{"internalType":"uint64","name":"minGasExcess","type":"uint64"},{"internalType":"uint32","name":"maxGasIssuancePerBlock","type":"uint32"}],"internalType":"struct LibSharedData.BaseFeeConfig","name":"baseFeeConfig","type":"tuple"},{"internalType":"uint64","name":"ontakeForkHeight","type":"uint64"}],"internalType":"struct TaikoData.Config","name":"","type":"tuple"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"getLastSyncedBlock","outputs":[{"internalType":"uint64","name":"blockId_","type":"uint64"},{"internalType":"bytes32","name":"blockHash_","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot_","type":"bytes32"},{"internalType":"uint64","name":"verifiedAt_","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getLastVerifiedBlock","outputs":[{"internalType":"uint64","name":"blockId_","type":"uint64"},{"internalType":"bytes32","name":"blockHash_","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot_","type":"bytes32"},{"internalType":"uint64","name":"verifiedAt_","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getStateVariables","outputs":[{"components":[{"internalType":"uint64","name":"genesisHeight","type":"uint64"},{"internalType":"uint64","name":"genesisTimestamp","type":"uint64"},{"internalType":"uint64","name":"lastSyncedBlockId","type":"uint64"},{"internalType":"uint64","name":"lastSynecdAt","type":"uint64"}],"internalType":"struct TaikoData.SlotA","name":"","type":"tuple"},{"components":[{"internalType":"uint64","name":"numBlocks","type":"uint64"},{"internalType":"uint64","name":"lastVerifiedBlockId","type":"uint64"},{"internalType":"bool","name":"provingPaused","type":"bool"},{"internalType":"uint8","name":"__reservedB1","type":"uint8"},{"internalType":"uint16","name":"__reservedB2","type":"uint16"},{"internalType":"uint32","name":"__reservedB3","type":"uint32"},{"internalType":"uint64","name":"lastUnpausedAt","type":"uint64"}],"internalType":"struct TaikoData.SlotB","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"},{"internalType":"uint32","name":"_tid","type":"uint32"}],"name":"getTransition","outputs":[{"components":[{"internalType":"bytes32","name":"key","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint96","name":"validityBond","type":"uint96"},{"internalType":"address","name":"contester","type":"address"},{"internalType":"uint96","name":"contestBond","type":"uint96"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint16","name":"tier","type":"uint16"},{"internalType":"uint8","name":"__reserved1","type":"uint8"}],"internalType":"struct TaikoData.TransitionState","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"},{"internalType":"bytes32","name":"_parentHash","type":"bytes32"}],"name":"getTransition","outputs":[{"components":[{"internalType":"bytes32","name":"key","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint96","name":"validityBond","type":"uint96"},{"internalType":"address","name":"contester","type":"address"},{"internalType":"uint96","name":"contestBond","type":"uint96"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint16","name":"tier","type":"uint16"},{"internalType":"uint8","name":"__reserved1","type":"uint8"}],"internalType":"struct TaikoData.TransitionState","name":"","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64[]","name":"_blockIds","type":"uint64[]"},{"internalType":"bytes32[]","name":"_parentHashes","type":"bytes32[]"}],"name":"getTransitions","outputs":[{"components":[{"internalType":"bytes32","name":"key","type":"bytes32"},{"internalType":"bytes32","name":"blockHash","type":"bytes32"},{"internalType":"bytes32","name":"stateRoot","type":"bytes32"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint96","name":"validityBond","type":"uint96"},{"internalType":"address","name":"contester","type":"address"},{"internalType":"uint96","name":"contestBond","type":"uint96"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint16","name":"tier","type":"uint16"},{"internalType":"uint8","name":"__reserved1","type":"uint8"}],"internalType":"struct TaikoData.TransitionState[]","name":"","type":"tuple[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"}],"name":"getVerifiedBlockProver","outputs":[{"internalType":"address","name":"prover_","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"impl","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"inNonReentrant","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_owner","type":"address"},{"internalType":"address","name":"_rollupAddressManager","type":"address"},{"internalType":"bytes32","name":"_genesisBlockHash","type":"bytes32"},{"internalType":"bool","name":"_toPause","type":"bool"}],"name":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"init2","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"lastUnpausedAt","outputs":[{"internalType":"uint64","name":"","type":"uint64"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"_pause","type":"bool"}],"name":"pauseProving","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pendingOwner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes","name":"_params","type":"bytes"},{"internalType":"bytes","name":"_txList","type":"bytes"}],"name":"proposeBlock","outputs":[{"components":[{"internalType":"bytes32","name":"l1Hash","type":"bytes32"},{"internalType":"bytes32","name":"difficulty","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"bytes32","name":"extraData","type":"bytes32"},{"internalType":"bytes32","name":"depositsHash","type":"bytes32"},{"internalType":"address","name":"coinbase","type":"address"},{"internalType":"uint64","name":"id","type":"uint64"},{"internalType":"uint32","name":"gasLimit","type":"uint32"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint64","name":"l1Height","type":"uint64"},{"internalType":"uint16","name":"minTier","type":"uint16"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"bytes32","name":"parentMetaHash","type":"bytes32"},{"internalType":"address","name":"sender","type":"address"}],"internalType":"struct TaikoData.BlockMetadata","name":"meta_","type":"tuple"},{"components":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint96","name":"amount","type":"uint96"},{"internalType":"uint64","name":"id","type":"uint64"}],"internalType":"struct TaikoData.EthDeposit[]","name":"deposits_","type":"tuple[]"}],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"bytes","name":"_params","type":"bytes"},{"internalType":"bytes","name":"_txList","type":"bytes"}],"name":"proposeBlockV2","outputs":[{"components":[{"internalType":"bytes32","name":"anchorBlockHash","type":"bytes32"},{"internalType":"bytes32","name":"difficulty","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"bytes32","name":"extraData","type":"bytes32"},{"internalType":"address","name":"coinbase","type":"address"},{"internalType":"uint64","name":"id","type":"uint64"},{"internalType":"uint32","name":"gasLimit","type":"uint32"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint64","name":"anchorBlockId","type":"uint64"},{"internalType":"uint16","name":"minTier","type":"uint16"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"bytes32","name":"parentMetaHash","type":"bytes32"},{"internalType":"address","name":"proposer","type":"address"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint64","name":"proposedAt","type":"uint64"},{"internalType":"uint64","name":"proposedIn","type":"uint64"},{"internalType":"uint32","name":"blobTxListOffset","type":"uint32"},{"internalType":"uint32","name":"blobTxListLength","type":"uint32"},{"internalType":"uint8","name":"blobIndex","type":"uint8"},{"components":[{"internalType":"uint8","name":"adjustmentQuotient","type":"uint8"},{"internalType":"uint8","name":"sharingPctg","type":"uint8"},{"internalType":"uint32","name":"gasIssuancePerSecond","type":"uint32"},{"internalType":"uint64","name":"minGasExcess","type":"uint64"},{"internalType":"uint32","name":"maxGasIssuancePerBlock","type":"uint32"}],"internalType":"struct LibSharedData.BaseFeeConfig","name":"baseFeeConfig","type":"tuple"}],"internalType":"struct TaikoData.BlockMetadataV2","name":"meta_","type":"tuple"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes[]","name":"_paramsArr","type":"bytes[]"},{"internalType":"bytes[]","name":"_txListArr","type":"bytes[]"}],"name":"proposeBlocksV2","outputs":[{"components":[{"internalType":"bytes32","name":"anchorBlockHash","type":"bytes32"},{"internalType":"bytes32","name":"difficulty","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"bytes32","name":"extraData","type":"bytes32"},{"internalType":"address","name":"coinbase","type":"address"},{"internalType":"uint64","name":"id","type":"uint64"},{"internalType":"uint32","name":"gasLimit","type":"uint32"},{"internalType":"uint64","name":"timestamp","type":"uint64"},{"internalType":"uint64","name":"anchorBlockId","type":"uint64"},{"internalType":"uint16","name":"minTier","type":"uint16"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"bytes32","name":"parentMetaHash","type":"bytes32"},{"internalType":"address","name":"proposer","type":"address"},{"internalType":"uint96","name":"livenessBond","type":"uint96"},{"internalType":"uint64","name":"proposedAt","type":"uint64"},{"internalType":"uint64","name":"proposedIn","type":"uint64"},{"internalType":"uint32","name":"blobTxListOffset","type":"uint32"},{"internalType":"uint32","name":"blobTxListLength","type":"uint32"},{"internalType":"uint8","name":"blobIndex","type":"uint8"},{"components":[{"internalType":"uint8","name":"adjustmentQuotient","type":"uint8"},{"internalType":"uint8","name":"sharingPctg","type":"uint8"},{"internalType":"uint32","name":"gasIssuancePerSecond","type":"uint32"},{"internalType":"uint64","name":"minGasExcess","type":"uint64"},{"internalType":"uint32","name":"maxGasIssuancePerBlock","type":"uint32"}],"internalType":"struct LibSharedData.BaseFeeConfig","name":"baseFeeConfig","type":"tuple"}],"internalType":"struct TaikoData.BlockMetadataV2[]","name":"metaArr_","type":"tuple[]"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint64","name":"_blockId","type":"uint64"},{"internalType":"bytes","name":"_input","type":"bytes"}],"name":"proveBlock","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint64[]","name":"_blockIds","type":"uint64[]"},{"internalType":"bytes[]","name":"_inputs","type":"bytes[]"},{"internalType":"bytes","name":"_batchProof","type":"bytes"}],"name":"proveBlocks","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"proxiableUUID","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint64","name":"_chainId","type":"uint64"},{"internalType":"bytes32","name":"_name","type":"bytes32"},{"internalType":"bool","name":"_allowZeroAddress","type":"bool"}],"name":"resolve","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"bytes32","name":"_name","type":"bytes32"},{"internalType":"bool","name":"_allowZeroAddress","type":"bool"}],"name":"resolve","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"state","outputs":[{"internalType":"bytes32","name":"__reserve1","type":"bytes32"},{"components":[{"internalType":"uint64","name":"genesisHeight","type":"uint64"},{"internalType":"uint64","name":"genesisTimestamp","type":"uint64"},{"internalType":"uint64","name":"lastSyncedBlockId","type":"uint64"},{"internalType":"uint64","name":"lastSynecdAt","type":"uint64"}],"internalType":"struct TaikoData.SlotA","name":"slotA","type":"tuple"},{"components":[{"internalType":"uint64","name":"numBlocks","type":"uint64"},{"internalType":"uint64","name":"lastVerifiedBlockId","type":"uint64"},{"internalType":"bool","name":"provingPaused","type":"bool"},{"internalType":"uint8","name":"__reservedB1","type":"uint8"},{"internalType":"uint16","name":"__reservedB2","type":"uint16"},{"internalType":"uint32","name":"__reservedB3","type":"uint32"},{"internalType":"uint64","name":"lastUnpausedAt","type":"uint64"}],"internalType":"struct TaikoData.SlotB","name":"slotB","type":"tuple"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"unpause","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"}],"name":"upgradeTo","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newImplementation","type":"address"},{"internalType":"bytes","name":"data","type":"bytes"}],"name":"upgradeToAndCall","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"uint64","name":"_maxBlocksToVerify","type":"uint64"}],"name":"verifyBlocks","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"withdrawBond","outputs":[],"stateMutability":"nonpayable","type":"function"}]
Contract Creation Code
60a060405230608052348015610013575f5ffd5b5061001c610029565b610024610029565b6100e5565b5f54610100900460ff16156100945760405162461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b606482015260840160405180910390fd5b5f5460ff908116146100e3575f805460ff191660ff9081179091556040519081527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b565b6080516156f56101195f395f8181610e2301528181610e63015281816111b7015281816111f7015261127201526156f55ff3fe608060405260043610610233575f3560e01c8063715018a611610129578063c19d93fb116100a8578063e30c39781161006d578063e30c3978146108b8578063ef16e845146108d5578063f2fde38b146108f6578063fd257e2914610915578063ff00c39114610934575f5ffd5b8063c19d93fb1461062a578063c3daab961461070a578063c3f909d414610729578063dde89cf51461074a578063e07baba61461087b575f5ffd5b80638da5cb5b116100ee5780638da5cb5b1461058f5780639413caa9146105ac578063a86f9d9e146105c0578063a9c2c835146105df578063b89c61bc146105fe575f5ffd5b8063715018a61461052057806379ba5097146105345780638456cb59146105485780638778209d1461055c5780638abf60771461057b575f5ffd5b80633f4ba83a116101b5578063563479a51161017a578063563479a51461045d5780635c975abb146104895780635fa15e79146104a95780636074b8c1146104d5578063648885fb146104f4575f5ffd5b80633f4ba83a146103d6578063440b6e18146103ea5780634dcb05f9146104095780634f1ef2861461042857806352d1902d1461043b575f5ffd5b80633075db56116101fb5780633075db56146103035780633659cfe6146103355780633ab76e9f146103545780633eb6b8cf1461038b5780633f0c544a146103aa575f5ffd5b8063069489a2146102375780630c8f4a101461024d57806310d008bd1461028257806326af7986146102a157806329d1b62f146102e4575b5f5ffd5b348015610242575f5ffd5b5061024b610953565b005b348015610258575f5ffd5b5061026c610267366004613d2c565b610a0a565b6040516102799190613f96565b60405180910390f35b34801561028d575f5ffd5b5061024b61029c366004614035565b610bb2565b3480156102ac575f5ffd5b506102b5610cf7565b604080516001600160401b03958616815260208101949094528301919091529091166060820152608001610279565b3480156102ef575f5ffd5b5061024b6102fe3660046140a6565b610d2e565b34801561030e575f5ffd5b5060025f5160206156395f395f51905f525c60ff16145b6040519015158152602001610279565b348015610340575f5ffd5b5061024b61034f3660046140f6565b610e19565b34801561035f575f5ffd5b50609754610373906001600160a01b031681565b6040516001600160a01b039091168152602001610279565b348015610396575f5ffd5b506103736103a5366004614111565b610ee0565b3480156103b5575f5ffd5b506103c96103c4366004614150565b610ef6565b604051610279919061416b565b3480156103e1575f5ffd5b5061024b610ff6565b3480156103f5575f5ffd5b5061024b610404366004614236565b611021565b348015610414575f5ffd5b5061024b6104233660046142d2565b61116f565b61024b61043636600461439b565b6111ad565b348015610446575f5ffd5b5061044f611266565b604051908152602001610279565b348015610468575f5ffd5b5061047c610477366004614451565b611317565b6040516102799190614555565b348015610494575f5ffd5b5061032560c954610100900460ff1660021490565b3480156104b4575f5ffd5b506104c86104c3366004614150565b6113db565b6040516102799190614564565b3480156104e0575f5ffd5b506103736104ef366004614150565b6115b7565b3480156104ff575f5ffd5b5061051361050e36600461460c565b6115cb565b604051610279919061466a565b34801561052b575f5ffd5b5061024b611733565b34801561053f575f5ffd5b5061024b611746565b348015610553575f5ffd5b5061024b6117bd565b348015610567575f5ffd5b5061024b610576366004614150565b6117d0565b348015610586575f5ffd5b506103736118af565b34801561059a575f5ffd5b506033546001600160a01b0316610373565b3480156105b7575f5ffd5b506102b56118bd565b3480156105cb575f5ffd5b506103736105da366004614679565b6118e0565b3480156105ea575f5ffd5b5061044f6105f93660046140f6565b6118ec565b348015610609575f5ffd5b5061061d610618366004613d2c565b61190a565b604051610279919061469c565b348015610635575f5ffd5b5060fe54604080516080808201835260ff80546001600160401b038082168552600160401b8083048216602080880191909152600160801b8085048416888a0152600160c01b9485900484166060808a0191909152895160e081018b526101005480871682529485048616938101939093529083048616151598820198909852600160881b82049094169684019690965261ffff600160901b8704169383019390935263ffffffff600160a01b86041660a08301529093041660c08301526106fb929183565b604051610279939291906147a2565b348015610715575f5ffd5b5061024b6107243660046142d2565b61192b565b348015610734575f5ffd5b5061073d611969565b60405161027991906147c4565b348015610755575f5ffd5b5061086d60408051608080820183525f80835260208084018290528385018290526060808501839052855160e08101875283815291820183905294810182905293840181905290830181905260a0830181905260c0830152905050604080516080808201835260ff80546001600160401b038082168552600160401b8083048216602080880191909152600160801b8085048416888a0152600160c01b9485900484166060808a0191909152895160e081018b526101005480871682529485048616938101939093529083048616151598820198909852600160881b82049094169684019690965261ffff600160901b8704169383019390935263ffffffff600160a01b86041660a08301529093041660c083015291565b6040516102799291906148ba565b348015610886575f5ffd5b5060c9546108a0906201000090046001600160401b031681565b6040516001600160401b039091168152602001610279565b3480156108c3575f5ffd5b506065546001600160a01b0316610373565b6108e86108e336600461460c565b611a8c565b604051610279929190614944565b348015610901575f5ffd5b5061024b6109103660046140f6565b611cc6565b348015610920575f5ffd5b5061047c61092f366004614a67565b611d37565b34801561093f575f5ffd5b5061024b61094e366004614a91565b611d53565b61095b611d68565b5f54600290610100900460ff1615801561097b57505f5460ff8083169116105b6109a05760405162461bcd60e51b815260040161099790614aac565b60405180910390fd5b5f8054610100805466ffffffffffffff60881b1916815560fe83905561ff001960ff851661ffff199093168317909117169091556040519081527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a150565b6060610a2060c954610100900460ff1660021490565b15610a3e5760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603610a705760405163dfc60d8560e01b815260040160405180910390fd5b610a7a6002611dc2565b5f610a83611969565b604051637f6cbe2960e11b81529091507398371b6283ace937b0367764cc49e4c3edc29d149063fed97c5290610aca9060fb90859030908c908c908c908c90600401614ca4565b5f60405180830381865af4158015610ae4573d5f5f3e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052610b0b91908101906150e3565b92505f90505b8251811015610b77578161012001516001600160401b0316838281518110610b3b57610b3b6151ab565b602002602001015160a001516001600160401b03161015610b6f57604051631d07260d60e11b815260040160405180910390fd5b600101610b11565b50506040515f5160206156795f395f51905f5290610b9890610100906151bf565b60405180910390a1610baa6001611dc2565b949350505050565b610bc660c954610100900460ff1660021490565b15610be45760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff1615610c10576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603610c425760405163dfc60d8560e01b815260040160405180910390fd5b610c4c6002611dc2565b737a3d8e58d9010945fd7541665ea384c7287db6cb638609dced60fb610c70611969565b308787876040518763ffffffff1660e01b8152600401610c9596959493929190615234565b5f6040518083038186803b158015610cab575f5ffd5b505af4158015610cbd573d5f5f3e3d5ffd5b50506040515f5160206156795f395f51905f529250610ce09150610100906151bf565b60405180910390a1610cf26001611dc2565b505050565b61010054600160401b90046001600160401b03165f8080610d2160fb610d1b611969565b86611dcb565b9596919590945092509050565b5f54610100900460ff1615808015610d4c57505f54600160ff909116105b80610d655750303b158015610d6557505f5460ff166001145b610d815760405162461bcd60e51b815260040161099790614aac565b5f805460ff191660011790558015610da2575f805461ff0019166101001790555b610dac8585611e4f565b610dbf60fb610db9611969565b85611e89565b8115610dcd57610dcd612028565b8015610e12575f805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b5050505050565b6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000163003610e615760405162461bcd60e51b81526004016109979061528a565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610e9361209f565b6001600160a01b031614610eb95760405162461bcd60e51b8152600401610997906152d6565b610ec2816120ba565b604080515f80825260208201909252610edd918391906120c2565b50565b5f610eec84848461222c565b90505b9392505050565b60408051610120810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810191909152610f5160fb610f4b611969565b8461227e565b5060408051610120810182528254815260018301546001600160a01b03811660208301526001600160601b03600160a01b90910416918101919091526002909101546001600160401b038082166060840152600160401b820481166080840152600160801b82041660a083015262ffffff600160c01b8204811660c084015260ff600160d81b830416151560e0840152600160e01b9091041661010082015292915050565b610ffe6122de565b61010080546001600160c01b0316600160c01b426001600160401b031602179055565b61103560c954610100900460ff1660021490565b156110535760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff161561107f576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036110b15760405163dfc60d8560e01b815260040160405180910390fd5b6110bb6002611dc2565b737a3d8e58d9010945fd7541665ea384c7287db6cb63805f2d2e60fb6110df611969565b308a8a8a8a8a8a6040518a63ffffffff1660e01b815260040161110a99989796959493929190615322565b5f6040518083038186803b158015611120575f5ffd5b505af4158015611132573d5f5f3e3d5ffd5b50506040515f5160206156795f395f51905f5292506111559150610100906151bf565b60405180910390a16111676001611dc2565b505050505050565b61118360c954610100900460ff1660021490565b156111a15760405163bae6e2a960e01b815260040160405180910390fd5b610edd60fb30836122f0565b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001630036111f55760405162461bcd60e51b81526004016109979061528a565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031661122761209f565b6001600160a01b03161461124d5760405162461bcd60e51b8152600401610997906152d6565b611256826120ba565b611262828260016120c2565b5050565b5f306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146113055760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608401610997565b505f5160206156595f395f51905f5290565b61131f613bd5565b61133360fb61132c611969565b858561239c565b6040805161014081018252825481526001830154602082015260028301549181019190915260038201546001600160a01b0380821660608401526001600160601b03600160a01b9283900481166080850152600485015491821660a08501529190041660c08201526005909101546001600160401b03811660e083015261ffff600160401b82041661010083015260ff600160501b9091041661012082015290505b92915050565b60408051610100810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290529061142e60fb611428611969565b8561227e565b5060408051610120810182528254815260018301546001600160a01b03811660208301526001600160601b03600160a01b90910416918101919091526002909101546001600160401b038082166060840152600160401b820481166080840152600160801b82041660a083015262ffffff600160c01b8204811660c084015260ff600160d81b830416151560e0840152600160e01b909104166101008201529050610eef8160408051610100810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810191909152604051806101000160405280835f0151815260200183602001516001600160a01b0316815260200183604001516001600160601b0316815260200183606001516001600160401b0316815260200183608001516001600160401b031681526020018360a001516001600160401b031681526020018360c0015162ffffff1663ffffffff16815260200183610100015162ffffff1663ffffffff168152509050919050565b5f6113d560fb6115c5611969565b8461242a565b6115d3613c28565b6115e760c954610100900460ff1660021490565b156116055760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036116375760405163dfc60d8560e01b815260040160405180910390fd5b6116416002611dc2565b5f61164a611969565b6040516397fa596560e01b81529091507398371b6283ace937b0367764cc49e4c3edc29d14906397fa5965906116919060fb90859030908c908c908c908c906004016153c8565b6104c060405180830381865af41580156116ad573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116d19190615416565b9050809250508061012001516001600160401b03168260a001516001600160401b0316101561171357604051631d07260d60e11b815260040160405180910390fd5b506040515f5160206156795f395f51905f5290610b9890610100906151bf565b61173b611d68565b6117445f612486565b565b60655433906001600160a01b031681146117b45760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b6064820152608401610997565b610edd81612486565b6117c5612028565b61174433600161249f565b6117e460c954610100900460ff1660021490565b156118025760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff161561182e576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036118605760405163dfc60d8560e01b815260040160405180910390fd5b61186a6002611dc2565b61187e60fb611877611969565b308461251e565b6040515f5160206156795f395f51905f529061189d90610100906151bf565b60405180910390a1610edd6001611dc2565b5f6118b861209f565b905090565b60ff54600160801b90046001600160401b03165f8080610d2160fb610d1b611969565b5f610eef46848461222c565b6001600160a01b0381165f90815261010160205260408120546113d5565b606061192260fb611919611969565b87878787612ed8565b95945050505050565b61193f60c954610100900460ff1660021490565b1561195d5760405163bae6e2a960e01b815260040160405180910390fd5b610edd60fb30836130c7565b6119e160408051610140810182525f80825260208083018290528284018290526060808401839052608080850184905260a080860185905260c0860185905260e08601859052865190810187528481529283018490529482018390528101829052928301529061010082019081525f60209091015290565b50604080516101408101825262028c5881526204f1a060208083019190915262057e408284015260106060808401829052630e4e1c006080808601919091526806c6b935b8bbd4000060a08087019190915260c086019390935260e085018690528551928301865260088352604b93830193909352624c4b4094820194909452634fdec700938101939093526323c3460090830152610100810191909152620836c061012082015290565b604080516101c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081018290526101408101829052610160810182905261018081018290526101a08101919091526060611b1260c954610100900460ff1660021490565b15611b305760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603611b625760405163dfc60d8560e01b815260040160405180910390fd5b611b6c6002611dc2565b5f611b75611969565b9050611b7f613c28565b6040516397fa596560e01b81527398371b6283ace937b0367764cc49e4c3edc29d14906397fa596590611bc39060fb90869030908e908e908e908e906004016153c8565b6104c060405180830381865af4158015611bdf573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611c039190615416565b80925081955050508161012001516001600160401b03168160a001516001600160401b031610611c4657604051631d07260d60e11b815260040160405180910390fd5b604080515f8082526020820190925290611c86565b604080516060810182525f80825260208083018290529282015282525f19909201910181611c5b5790505b50925050505f5160206156795f395f51905f5260fb600501604051611cab91906151bf565b60405180910390a1611cbd6001611dc2565b94509492505050565b611cce611d68565b606580546001600160a01b0383166001600160a01b03199091168117909155611cff6033546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b611d3f613bd5565b61133360fb611d4c611969565b858561312b565b611d5d338261249f565b610edd60fb826131a6565b6033546001600160a01b031633146117445760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610997565b610edd81613253565b5f5f5f5f5f611ddb88888861227e565b60028201549193509150600160e01b900462ffffff1615611e44576001600160401b038181165f90815260028a81016020908152604080842087840154600160e01b900462ffffff16855290915290912060018101549181015460059091015491975095501692505b505093509350939050565b806001600160a01b038116611e775760405163538ba4f960e01b815260040160405180910390fd5b611e8083613266565b610cf2826132c4565b5f819003611eaa5760405163d6d0f75560e01b815260040160405180910390fd5b600483018054426001600160401b03908116600160401b81026fffffffffffffffffffffffffffffffff199093164383161783179093556005808701805467ffffffffffffffff1990811660019081179092555f80805260208a815260408083206002808201805462ffffff60e01b197affffff0000000000000000ffffffffffffffff000000000000000019909116909b17600160c11b179a909a16600160e01b17909955858155978c01825280832085845290915281209283018890556003830180546001600160a01b031916905592820180549091169095179094556101208601519293929091169003611fdd57604080518481525f602082018190529182917fe5a390d9800811154279af0c1a80d3bdf558ea91f1301e7c6ec3c1ad83e80aef910160405180910390a3610e12565b604080518481525f6020820181905291810182905281907fdecbd2c61cbda254917d6fd4c980a470701e8f9f1b744f6ad163ca70ca5db2899060600160405180910390a35050505050565b61203c60c954610100900460ff1660021490565b1561205a5760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461ff0019166102001790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258906020015b60405180910390a1565b5f5160206156595f395f51905f52546001600160a01b031690565b610edd611d68565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156120f557610cf283613334565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa92505050801561214f575060408051601f3d908101601f1916820190925261214c9181019061544b565b60015b6121b25760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608401610997565b5f5160206156595f395f51905f5281146122205760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608401610997565b50610cf28383836133cf565b5f61223784846133f3565b90508115801561224e57506001600160a01b038116155b15610eef57604051632b0d65db60e01b81526001600160401b038516600482015260248101849052604401610997565b5f5f8360400151836122909190615476565b6001600160401b038181165f90815260208890526040902060028101549094509192508481169116146122d657604051638a1c400f60e01b815260040160405180910390fd5b935093915050565b6122e6613401565b611744335f61249f565b335f908152600684016020526040812080548392906123109084906154c3565b9091555061231f90508261348b565b6040516323b872dd60e01b8152336004820152306024820152604481018390526001600160a01b0391909116906323b872dd906064015b6020604051808303815f875af1158015612372573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061239691906154d6565b50505050565b5f5f5f6123aa87878761227e565b915091508363ffffffff165f14806123d857506002820154600160c01b900462ffffff1663ffffffff851610155b156123f65760405163727b1d6160e01b815260040160405180910390fd5b6001600160401b03165f908152600287016020908152604080832063ffffffff871684529091529020915050949350505050565b5f5f61243785858561227e565b506002810154909150600160e01b900462ffffff165f81900361245e575f92505050610eef565b61246f8686868462ffffff1661239c565b600301546001600160a01b03169695505050505050565b606580546001600160a01b0319169055610edd81613508565b6d636861696e5f7761746368646f6760901b6124c36033546001600160a01b031690565b6001600160a01b0316336001600160a01b03161415801561250057506124ea8160016118e0565b6001600160a01b0316336001600160a01b031614155b15610cf257604051630d85cccf60e11b815260040160405180910390fd5b6001600160401b0381161561239657604080516102a0810182525f6101c082018181526101e0830182905261020083018290526102208301829052610240830182905261026083018290526102808301829052825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081018290526101408101829052610160810182905261018081018290526101a08101919091526040805160e08101825260058701546001600160401b038082168352600160401b82048116602080850191825260ff600160801b85048116151586880152600160881b850416606086015261ffff600160901b850416608086015263ffffffff600160a01b85041660a0860152600160c01b909304821660c085015292855291519091169083018190529085015161266b91615476565b6001600160401b0390811660408084018290525f9182526020888152912090830151600282015491929182169116146126b757604051632ec3485560e11b815260040160405180910390fd5b6002810154600160e01b900462ffffff1660a08301819052608083018190525f036126f55760405163d4345b9760e01b815260040160405180910390fd5b6040808301516001600160401b039081165f908152600289016020908152838220608087015162ffffff168352815292902060019081015460e086015291840180519092011690525b81515160208301516001600160401b0391821691161080156127755750826001600160401b031682606001516001600160401b0316105b15612c165784604001516001600160401b031682602001516001600160401b0316816127a3576127a3615462565b066001600160401b0390811660408481018290526101208801516020808701805192861692861692909210156101808801525f9384528a9052912090516002820154919350821691161461280a57604051632ec3485560e11b815260040160405180910390fd5b61281e868284604001518560e00151613559565b62ffffff166080830181905215612c16576040828101516001600160401b03165f908152600288016020908152828220608086015162ffffff1683529052206005810154600160401b900461ffff1660c084015260048101546001600160a01b03161561288b5750612c16565b6101a08301516001600160a01b031661292857604051635437cecf60e11b81526a3a34b2b92fb937baba32b960a91b60048201525f60248201526001600160a01b0386169063a86f9d9e90604401602060405180830381865afa1580156128f4573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061291891906154f1565b6001600160a01b03166101a08401525b6101a08301516020840151604051635c42d07960e01b81526001600160401b0390911660048201525f916001600160a01b031690635c42d07990602401602060405180830381865afa158015612980573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906129a491906154f1565b60c085015160405163576c3de760e01b815261ffff90911660048201526001600160a01b03919091169063576c3de79060240160c060405180830381865afa1580156129f2573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612a16919061550c565b606001516005830154855160c00151919250612a44916001600160401b03918216911662ffffff841661362f565b612a4f575050612c16565b608084015162ffffff1660a0850152600182015460e085015260038201546001600160a01b0381166101608601819052612a9b918a9190600160a01b90046001600160601b031661364c565b83610180015115612b16578361016001516001600160a01b031684602001516001600160401b03167fe5a390d9800811154279af0c1a80d3bdf558ea91f1301e7c6ec3c1ad83e80aef8660e001518760c00151604051612b0992919091825261ffff16602082015260400190565b60405180910390a3612b8c565b8361016001516001600160a01b031684602001516001600160401b03167fdecbd2c61cbda254917d6fd4c980a470701e8f9f1b744f6ad163ca70ca5db2898660e001515f8860c00151604051612b8393929190928352602083019190915261ffff16604082015260600190565b60405180910390a35b612baa8760c0015160ff1685602001516001600160401b03166136bd565b15612be95760028201548015612be757610100850181905260208501516001600160401b0316610120860152608085015162ffffff166101408601525b505b50506020820180516001600160401b0360019182018116909252606084018051909101909116905261273e565b60608201516001600160401b03161561116757606082015182516020015160408701519101906001600160401b0390811690821681612c5757612c57615462565b6001600160401b039190068116604080860182905260058a018054938516600160401b026fffffffffffffffff0000000000000000199094169390931790925560a08501515f91825260208a9052919020600201805462ffffff909216600160e01b0262ffffff60e01b1990921691909117905561010083015115612ecf576101208301516004880180546fffffffffffffffffffffffffffffffff16600160801b6001600160401b039384169081026001600160c01b031691909117600160c01b428516021790915590821614612d9b5785604001516001600160401b03168361012001516001600160401b031681612d5357612d53615462565b066001600160401b031660408481018290526101408501515f92835260208a90529120600201805462ffffff60e01b1916600160e01b62ffffff909316929092029190911790555b604051635437cecf60e11b81526d7369676e616c5f7365727669636560901b60048201525f60248201526001600160a01b0386169063a86f9d9e90604401602060405180830381865afa158015612df4573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612e1891906154f1565b86516101208501516101008601516040516313e4299d60e21b81526001600160401b0393841660048201527f73e6d340850343cc6f001515dc593377337c95a6ffe034fe1e844d4dab5da169602482015292909116604483015260648201526001600160a01b039190911690634f90a674906084016020604051808303815f875af1158015612ea9573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612ecd919061544b565b505b50505050505050565b6060831580612ee75750838214155b15612f05576040516336c7c68960e01b815260040160405180910390fd5b836001600160401b03811115612f1d57612f1d6142e9565b604051908082528060200260200182016040528015612f5657816020015b612f43613bd5565b815260200190600190039081612f3b5790505b5090505f5b848110156130bc575f5f612f968a8a8a8a87818110612f7c57612f7c6151ab565b9050602002016020810190612f919190614150565b61227e565b915091505f612fbf8b84848a8a89818110612fb357612fb36151ab565b90506020020135613559565b905062ffffff8116156130ae576001600160401b038281165f90815260028d81016020908152604080842062ffffff8716855282529283902083516101408101855281548152600182015492810192909252918201549281019290925260038101546001600160a01b038082166060850152600160a01b918290046001600160601b039081166080860152600484015491821660a08601529190041660c08301526005015491821660e0820152600160401b820461ffff16610100820152600160501b90910460ff1661012082015285518690869081106130a2576130a26151ab565b60200260200101819052505b505050806001019050612f5b565b509695505050505050565b335f908152600684016020526040812080548392906130e790849061558f565b909155506130f690508261348b565b60405163a9059cbb60e01b8152336004820152602481018390526001600160a01b03919091169063a9059cbb90604401612356565b5f5f5f61313987878761227e565b915091505f61314a88848488613559565b90508062ffffff165f036131715760405163727b1d6160e01b815260040160405180910390fd5b6001600160401b039091165f908152600288016020908152604080832062ffffff909416835292905220915050949350505050565b6005820154811515600160801b90910460ff161515036131d95760405163689d009d60e11b815260040160405180910390fd5b60058201805460ff60801b1916600160801b831515021790558061321a576005820180546001600160c01b0316600160c01b426001600160401b0316021790555b60405181151581527fed64db85835d07c3c990b8ebdd55e32d64e5ed53143b6ef2179e7bfaf17ddc3b9060200160405180910390a15050565b805f5160206156395f395f51905f525d50565b5f54610100900460ff1661328c5760405162461bcd60e51b8152600401610997906155a2565b6132946136ea565b6132b26001600160a01b038216156132ac5781612486565b33612486565b5060c9805461ff001916610100179055565b5f54610100900460ff166132ea5760405162461bcd60e51b8152600401610997906155a2565b6001600160401b034611156133125760405163a12e8fa960e01b815260040160405180910390fd5b609780546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0381163b6133a15760405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608401610997565b5f5160206156595f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b6133d883613710565b5f825111806133e45750805b15610cf257612396838361374f565b5f610eef8383613774613816565b61341560c954610100900460ff1660021490565b6134325760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461010069ffffffffffffffffff001990911662010000426001600160401b031602171790556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa90602001612095565b604051635437cecf60e11b81526a3a30b4b5b7afba37b5b2b760a91b60048201525f60248201819052906001600160a01b0383169063a86f9d9e90604401602060405180830381865afa1580156134e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113d591906154f1565b603380546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b6001600160401b0382165f9081526002850160209081526040808320600184529091528120548290036135bf57506002830154600190600160c01b900462ffffff1681106135ba576040516367a1907f60e01b815260040160405180910390fd5b610baa565b5060028301546001600160401b03165f908152600185016020908152604080832084845290915290205462ffffff1680158015906136115750600284015462ffffff600160c01b909104811690821610155b15610baa576040516367a1907f60e01b815260040160405180910390fd5b5f80603c830261363f868661384b565b0142101595945050505050565b6001600160a01b0382165f908152600684016020526040812080548392906136759084906154c3565b90915550506040518181526001600160a01b038316907f6de6fe586196fa05b73b973026c5fda3968a2933989bff3a0b6bd57644fab6069060200160405180910390a2505050565b5f600183116136ce575060016113d5565b600183038383816136e1576136e1615462565b06149392505050565b5f54610100900460ff166117445760405162461bcd60e51b8152600401610997906155a2565b61371981613334565b6040516001600160a01b038216907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a250565b6060610eef838360405180606001604052806027815260200161569960279139613860565b6097545f906001600160a01b0316806137a057604051638ed88b2560e01b815260040160405180910390fd5b604051630a3dc4f360e21b81526001600160401b0385166004820152602481018490526001600160a01b038216906328f713cc90604401602060405180830381865afa1580156137f2573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610baa91906154f1565b5f5f5f61382386866138ca565b915091508161383f5761383a86868663ffffffff16565b613841565b805b9695505050505050565b5f8183116138595781610eef565b5090919050565b60605f5f856001600160a01b03168560405161387c91906155ed565b5f60405180830381855af49150503d805f81146138b4576040519150601f19603f3d011682016040523d82523d5f602084013e6138b9565b606091505b509150915061384186838387613b38565b5f5f6001846001600160401b0316146138e757505f905080613b31565b6a3a30b4b5b7afba37b5b2b760a91b830361391b5750600190507310dea67478c5f8c5e2d90e5e9b26dbe60c54d800613b31565b6d7369676e616c5f7365727669636560901b8303613952575060019050739e0a24964e5397b566c1ed39258e21ab5e35c77c613b31565b6562726964676560d01b830361398157506001905073d60247c6848b7ca29eddf63aa924e53db6ddd8ec613b31565b647461696b6f60d81b83036139af5750600190507306a9ab27c7e2255df1815e6cc0168d7755feb19a613b31565b6a3a34b2b92fb937baba32b960a91b83036139e3575060019050738f1c1d58c858e9a9eecc587d7d51aecfd16b5542613b31565b670e8d2cae4bee6cef60c31b8303613a1457506001905073b0f3186fc1963f774f52ff455dc86aedd0b31f81613b31565b75746965725f677561726469616e5f6d696e6f7269747960501b8303613a5357506001905073579a8d63a2db646284cbfe31fe5082c9989e985c613b31565b6c3a34b2b92fb3bab0b93234b0b760991b8303613a8957506001905073e3d777143ea25a6e031d1e921f396750885f43ac613b31565b7f6175746f6d6174615f646361705f6174746573746174696f6e000000000000008303613acf575060019050738d7c954960a36a7596d7ea4945ddf891967ca8a3613b31565b6f707265636f6e665f726567697374727960801b8303613af45750600190505f613b31565b6d636861696e5f7761746368646f6760901b8303613b2b57506001905073e3d777143ea25a6e031d1e921f396750885f43ac613b31565b505f9050805b9250929050565b60608315613ba65782515f03613b9f576001600160a01b0385163b613b9f5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610997565b5081610baa565b610baa8383815115613bbb5781518083602001fd5b8060405162461bcd60e51b81526004016109979190615603565b60408051610140810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b60408051610280810182525f80825260208083018290528284018290526060808401839052608080850184905260a080860185905260c0860185905260e08601859052610100860185905261012086018590526101408601859052610160860185905261018086018590526101a086018590526101c086018590526101e08601859052610200860185905261022086018590526102408601859052865190810187528481529283018490529482018390528101829052928301529061026082015290565b5f5f83601f840112613cfc575f5ffd5b5081356001600160401b03811115613d12575f5ffd5b6020830191508360208260051b8501011115613b31575f5ffd5b5f5f5f5f60408587031215613d3f575f5ffd5b84356001600160401b03811115613d54575f5ffd5b613d6087828801613cec565b90955093505060208501356001600160401b03811115613d7e575f5ffd5b613d8a87828801613cec565b95989497509550505050565b60ff815116825260ff602082015116602083015263ffffffff60408201511660408301526001600160401b03606082015116606083015263ffffffff60808201511660808301525050565b805182526020810151602083015260408101516040830152606081015160608301526080810151613e1d60808401826001600160a01b03169052565b5060a0810151613e3860a08401826001600160401b03169052565b5060c0810151613e5060c084018263ffffffff169052565b5060e0810151613e6b60e08401826001600160401b03169052565b50610100810151613e886101008401826001600160401b03169052565b50610120810151613ea061012084018261ffff169052565b50610140810151613eb661014084018215159052565b50610160810151610160830152610180810151613edf6101808401826001600160a01b03169052565b506101a0810151613efc6101a08401826001600160601b03169052565b506101c0810151613f196101c08401826001600160401b03169052565b506101e0810151613f366101e08401826001600160401b03169052565b50610200810151613f5061020084018263ffffffff169052565b50610220810151613f6a61022084018263ffffffff169052565b50610240810151613f8161024084018260ff169052565b50610260810151610cf2610260840182613d96565b602080825282518282018190525f918401906040840190835b81811015613fd957613fc2838551613de1565b602093909301926103009290920191600101613faf565b509095945050505050565b6001600160401b0381168114610edd575f5ffd5b5f5f83601f840112614008575f5ffd5b5081356001600160401b0381111561401e575f5ffd5b602083019150836020828501011115613b31575f5ffd5b5f5f5f60408486031215614047575f5ffd5b833561405281613fe4565b925060208401356001600160401b0381111561406c575f5ffd5b61407886828701613ff8565b9497909650939450505050565b6001600160a01b0381168114610edd575f5ffd5b8015158114610edd575f5ffd5b5f5f5f5f608085870312156140b9575f5ffd5b84356140c481614085565b935060208501356140d481614085565b92506040850135915060608501356140eb81614099565b939692955090935050565b5f60208284031215614106575f5ffd5b8135610eef81614085565b5f5f5f60608486031215614123575f5ffd5b833561412e81613fe4565b925060208401359150604084013561414581614099565b809150509250925092565b5f60208284031215614160575f5ffd5b8135610eef81613fe4565b815181526020808301516001600160a01b0316908201526040808301516001600160601b0316908201526060808301516101208301916141b5908401826001600160401b03169052565b5060808301516141d060808401826001600160401b03169052565b5060a08301516141eb60a08401826001600160401b03169052565b5060c083015161420260c084018262ffffff169052565b5060e083015161421660e084018215159052565b5061010083015161422f61010084018262ffffff169052565b5092915050565b5f5f5f5f5f5f6060878903121561424b575f5ffd5b86356001600160401b03811115614260575f5ffd5b61426c89828a01613cec565b90975095505060208701356001600160401b0381111561428a575f5ffd5b61429689828a01613cec565b90955093505060408701356001600160401b038111156142b4575f5ffd5b6142c089828a01613ff8565b979a9699509497509295939492505050565b5f602082840312156142e2575f5ffd5b5035919050565b634e487b7160e01b5f52604160045260245ffd5b6040516101c081016001600160401b0381118282101715614320576143206142e9565b60405290565b60405161028081016001600160401b0381118282101715614320576143206142e9565b60405160c081016001600160401b0381118282101715614320576143206142e9565b604051601f8201601f191681016001600160401b0381118282101715614393576143936142e9565b604052919050565b5f5f604083850312156143ac575f5ffd5b82356143b781614085565b915060208301356001600160401b038111156143d1575f5ffd5b8301601f810185136143e1575f5ffd5b80356001600160401b038111156143fa576143fa6142e9565b61440d601f8201601f191660200161436b565b818152866020838501011115614421575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b63ffffffff81168114610edd575f5ffd5b5f5f60408385031215614462575f5ffd5b823561446d81613fe4565b9150602083013561447d81614440565b809150509250929050565b80518252602081015160208301526040810151604083015260608101516144ba60608401826001600160a01b03169052565b5060808101516144d560808401826001600160601b03169052565b5060a08101516144f060a08401826001600160a01b03169052565b5060c081015161450b60c08401826001600160601b03169052565b5060e081015161452660e08401826001600160401b03169052565b5061010081015161453e61010084018261ffff169052565b50610120810151610cf261012084018260ff169052565b61014081016113d58284614488565b815181526020808301516001600160a01b0316908201526040808301516001600160601b0316908201526060808301516001600160401b0316908201526080808301516101008301916145c1908401826001600160401b03169052565b5060a08301516145dc60a08401826001600160401b03169052565b5060c08301516145f460c084018263ffffffff169052565b5060e083015161422f60e084018263ffffffff169052565b5f5f5f5f6040858703121561461f575f5ffd5b84356001600160401b03811115614634575f5ffd5b61464087828801613ff8565b90955093505060208501356001600160401b0381111561465e575f5ffd5b613d8a87828801613ff8565b61030081016113d58284613de1565b5f5f6040838503121561468a575f5ffd5b82359150602083013561447d81614099565b602080825282518282018190525f918401906040840190835b81811015613fd9576146c8838551614488565b6020939093019261014092909201916001016146b5565b6001600160401b0381511682526001600160401b0360208201511660208301526001600160401b0360408201511660408301526001600160401b0360608201511660608301525050565b6001600160401b0381511682526001600160401b03602082015116602083015260408101511515604083015260ff606082015116606083015261ffff608082015116608083015260a081015161478760a084018263ffffffff169052565b5060c0810151610cf260c08401826001600160401b03169052565b83815261018081016147b760208301856146df565b610baa60a0830184614729565b81516001600160401b031681526101c0810160208301516147f060208401826001600160401b03169052565b50604083015161480b60408401826001600160401b03169052565b50606083015161482660608401826001600160401b03169052565b50608083015161483e608084018263ffffffff169052565b5060a083015161485960a08401826001600160601b03169052565b5060c083015161486e60c084018260ff169052565b5060e083015161488960e08401826001600160401b03169052565b5061010083015161489e610100840182613d96565b506101208301516001600160401b0381166101a084015261422f565b61016081016148c982856146df565b610eef6080830184614729565b5f8151808452602084019350602083015f5b8281101561493a57815180516001600160a01b031687526020808201516001600160601b0316818901526040918201516001600160401b031691880191909152606090960195909101906001016148e8565b5093949350505050565b82518152602083015160208201526040830151604082015260608301516060820152608083015160808201525f60a084015161498b60a08401826001600160a01b03169052565b5060c08401516149a660c08401826001600160401b03169052565b5060e08401516149be60e084018263ffffffff169052565b506101008401516149db6101008401826001600160401b03169052565b506101208401516149f86101208401826001600160401b03169052565b50610140840151614a1061014084018261ffff169052565b50610160840151614a2661016084018215159052565b506101808401516101808301526101a0840151614a4f6101a08401826001600160a01b03169052565b506101e06101c0830152610eec6101e08301846148d6565b5f5f60408385031215614a78575f5ffd5b8235614a8381613fe4565b946020939093013593505050565b5f60208284031215614aa1575f5ffd5b8135610eef81614099565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b80516001600160401b031682526020810151614b2160208401826001600160401b03169052565b506040810151614b3c60408401826001600160401b03169052565b506060810151614b5760608401826001600160401b03169052565b506080810151614b6f608084018263ffffffff169052565b5060a0810151614b8a60a08401826001600160601b03169052565b5060c0810151614b9f60c084018260ff169052565b5060e0810151614bba60e08401826001600160401b03169052565b50610100810151614bcf610100840182613d96565b5061012001516001600160401b03166101a09190910152565b81835281816020850137505f828201602090810191909152601f909101601f19169091010190565b5f8383855260208501945060208460051b820101835f5b86811015614c9857838303601f19018852813536879003601e19018112614c4c575f5ffd5b86016020810190356001600160401b03811115614c67575f5ffd5b803603821315614c75575f5ffd5b614c80858284614be8565b60209a8b019a90955093909301925050600101614c27565b50909695505050505050565b878152614cb46020820188614afa565b6001600160a01b0386166101e082015261024061020082018190525f90614cde9083018688614c10565b828103610220840152614cf2818587614c10565b9a9950505050505050505050565b5f6001600160401b03821115614d1857614d186142e9565b5060051b60200190565b8051614d2d81614085565b919050565b8051614d2d81613fe4565b8051614d2d81614440565b805161ffff81168114614d2d575f5ffd5b8051614d2d81614099565b5f6101c08284031215614d75575f5ffd5b614d7d6142fd565b82518152602080840151908201526040808401519082015260608084015190820152608080840151908201529050614db760a08301614d22565b60a0820152614dc860c08301614d32565b60c0820152614dd960e08301614d3d565b60e0820152614deb6101008301614d32565b610100820152614dfe6101208301614d32565b610120820152614e116101408301614d48565b610140820152614e246101608301614d59565b6101608201526101808281015190820152614e426101a08301614d22565b6101a082015292915050565b80516001600160601b0381168114614d2d575f5ffd5b805160ff81168114614d2d575f5ffd5b5f60a08284031215614e84575f5ffd5b60405160a081016001600160401b0381118282101715614ea657614ea66142e9565b604052905080614eb583614e64565b8152614ec360208401614e64565b60208201526040830151614ed681614440565b60408201526060830151614ee981613fe4565b60608201526080830151614efc81614440565b6080919091015292915050565b5f6103008284031215614f1a575f5ffd5b614f22614326565b825181526020808401519082015260408084015190820152606080840151908201529050614f5260808301614d22565b6080820152614f6360a08301614d32565b60a0820152614f7460c08301614d3d565b60c0820152614f8560e08301614d32565b60e0820152614f976101008301614d32565b610100820152614faa6101208301614d48565b610120820152614fbd6101408301614d59565b6101408201526101608281015190820152614fdb6101808301614d22565b610180820152614fee6101a08301614e4e565b6101a08201526150016101c08301614d32565b6101c08201526150146101e08301614d32565b6101e08201526150276102008301614d3d565b61020082015261503a6102208301614d3d565b61022082015261504d6102408301614e64565b610240820152615061836102608401614e74565b61026082015292915050565b5f82601f83011261507c575f5ffd5b815161508f61508a82614d00565b61436b565b80828252602082019150602061030084028601019250858311156150b1575f5ffd5b602085015b838110156150d9576150c88782614f09565b8352602090920191610300016150b6565b5095945050505050565b5f5f604083850312156150f4575f5ffd5b82516001600160401b03811115615109575f5ffd5b8301601f81018513615119575f5ffd5b805161512761508a82614d00565b8082825260208201915060206101c08402850101925087831115615149575f5ffd5b6020840193505b82841015615176576151628885614d64565b82526020820191506101c084019350615150565b8095505050505060208301516001600160401b03811115615195575f5ffd5b6151a18582860161506d565b9150509250929050565b634e487b7160e01b5f52603260045260245ffd5b5f60e08201905082546001600160401b03811683526001600160401b038160401c16602084015260ff8160801c16151560408401526152096060840160ff8360881c1660ff169052565b609081901c61ffff16608084015260a081811c63ffffffff169084015260c081811c9084015261422f565b8681526152446020820187614afa565b6001600160a01b0385166101e08201526001600160401b03841661020082015261024061022082018190525f9061527e9083018486614be8565b98975050505050505050565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b19195b1959d85d1958d85b1b60a21b606082015260800190565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b6163746976652070726f787960a01b606082015260800190565b5f61026082018b8352615338602084018c614afa565b6001600160a01b038a166101e08401526102606102008401528790528761028083015f5b8981101561538c57823561536f81613fe4565b6001600160401b031682526020928301929091019060010161535c565b508381036102208501526153a181888a614c10565b9150508281036102408401526153b8818587614be8565b9c9b505050505050505050505050565b8781526153d86020820188614afa565b6001600160a01b0386166101e082015261024061020082018190525f906154029083018688614be8565b828103610220840152614cf2818587614be8565b5f5f6104c08385031215615428575f5ffd5b6154328484614d64565b9150615442846101c08501614f09565b90509250929050565b5f6020828403121561545b575f5ffd5b5051919050565b634e487b7160e01b5f52601260045260245ffd5b5f6001600160401b0383168061549a57634e487b7160e01b5f52601260045260245ffd5b806001600160401b0384160691505092915050565b634e487b7160e01b5f52601160045260245ffd5b808201808211156113d5576113d56154af565b5f602082840312156154e6575f5ffd5b8151610eef81614099565b5f60208284031215615501575f5ffd5b8151610eef81614085565b5f60c082840312801561551d575f5ffd5b50615526614349565b8251815261553660208401614e4e565b602082015261554760408401614e4e565b6040820152606083015162ffffff81168114615561575f5ffd5b606082015261557260808401614d48565b608082015261558360a08401614e64565b60a08201529392505050565b818103818111156113d5576113d56154af565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b5f82518060208501845e5f920191825250919050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f8301168401019150509291505056fea5054f728453d3dbe953bdc43e4d0cb97e662ea32d7958190f3dc2da31d9721b360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbcdf66aee38ea9fe523cfd238705d455a354305a646748dbb931898b51cee4727b416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c206661696c6564a2646970667358221220e0fa798777b4c7a7de0377f7d3ed0cc42841c4cac4af2038db27125de52433f064736f6c634300081b0033
Deployed Bytecode
0x608060405260043610610233575f3560e01c8063715018a611610129578063c19d93fb116100a8578063e30c39781161006d578063e30c3978146108b8578063ef16e845146108d5578063f2fde38b146108f6578063fd257e2914610915578063ff00c39114610934575f5ffd5b8063c19d93fb1461062a578063c3daab961461070a578063c3f909d414610729578063dde89cf51461074a578063e07baba61461087b575f5ffd5b80638da5cb5b116100ee5780638da5cb5b1461058f5780639413caa9146105ac578063a86f9d9e146105c0578063a9c2c835146105df578063b89c61bc146105fe575f5ffd5b8063715018a61461052057806379ba5097146105345780638456cb59146105485780638778209d1461055c5780638abf60771461057b575f5ffd5b80633f4ba83a116101b5578063563479a51161017a578063563479a51461045d5780635c975abb146104895780635fa15e79146104a95780636074b8c1146104d5578063648885fb146104f4575f5ffd5b80633f4ba83a146103d6578063440b6e18146103ea5780634dcb05f9146104095780634f1ef2861461042857806352d1902d1461043b575f5ffd5b80633075db56116101fb5780633075db56146103035780633659cfe6146103355780633ab76e9f146103545780633eb6b8cf1461038b5780633f0c544a146103aa575f5ffd5b8063069489a2146102375780630c8f4a101461024d57806310d008bd1461028257806326af7986146102a157806329d1b62f146102e4575b5f5ffd5b348015610242575f5ffd5b5061024b610953565b005b348015610258575f5ffd5b5061026c610267366004613d2c565b610a0a565b6040516102799190613f96565b60405180910390f35b34801561028d575f5ffd5b5061024b61029c366004614035565b610bb2565b3480156102ac575f5ffd5b506102b5610cf7565b604080516001600160401b03958616815260208101949094528301919091529091166060820152608001610279565b3480156102ef575f5ffd5b5061024b6102fe3660046140a6565b610d2e565b34801561030e575f5ffd5b5060025f5160206156395f395f51905f525c60ff16145b6040519015158152602001610279565b348015610340575f5ffd5b5061024b61034f3660046140f6565b610e19565b34801561035f575f5ffd5b50609754610373906001600160a01b031681565b6040516001600160a01b039091168152602001610279565b348015610396575f5ffd5b506103736103a5366004614111565b610ee0565b3480156103b5575f5ffd5b506103c96103c4366004614150565b610ef6565b604051610279919061416b565b3480156103e1575f5ffd5b5061024b610ff6565b3480156103f5575f5ffd5b5061024b610404366004614236565b611021565b348015610414575f5ffd5b5061024b6104233660046142d2565b61116f565b61024b61043636600461439b565b6111ad565b348015610446575f5ffd5b5061044f611266565b604051908152602001610279565b348015610468575f5ffd5b5061047c610477366004614451565b611317565b6040516102799190614555565b348015610494575f5ffd5b5061032560c954610100900460ff1660021490565b3480156104b4575f5ffd5b506104c86104c3366004614150565b6113db565b6040516102799190614564565b3480156104e0575f5ffd5b506103736104ef366004614150565b6115b7565b3480156104ff575f5ffd5b5061051361050e36600461460c565b6115cb565b604051610279919061466a565b34801561052b575f5ffd5b5061024b611733565b34801561053f575f5ffd5b5061024b611746565b348015610553575f5ffd5b5061024b6117bd565b348015610567575f5ffd5b5061024b610576366004614150565b6117d0565b348015610586575f5ffd5b506103736118af565b34801561059a575f5ffd5b506033546001600160a01b0316610373565b3480156105b7575f5ffd5b506102b56118bd565b3480156105cb575f5ffd5b506103736105da366004614679565b6118e0565b3480156105ea575f5ffd5b5061044f6105f93660046140f6565b6118ec565b348015610609575f5ffd5b5061061d610618366004613d2c565b61190a565b604051610279919061469c565b348015610635575f5ffd5b5060fe54604080516080808201835260ff80546001600160401b038082168552600160401b8083048216602080880191909152600160801b8085048416888a0152600160c01b9485900484166060808a0191909152895160e081018b526101005480871682529485048616938101939093529083048616151598820198909852600160881b82049094169684019690965261ffff600160901b8704169383019390935263ffffffff600160a01b86041660a08301529093041660c08301526106fb929183565b604051610279939291906147a2565b348015610715575f5ffd5b5061024b6107243660046142d2565b61192b565b348015610734575f5ffd5b5061073d611969565b60405161027991906147c4565b348015610755575f5ffd5b5061086d60408051608080820183525f80835260208084018290528385018290526060808501839052855160e08101875283815291820183905294810182905293840181905290830181905260a0830181905260c0830152905050604080516080808201835260ff80546001600160401b038082168552600160401b8083048216602080880191909152600160801b8085048416888a0152600160c01b9485900484166060808a0191909152895160e081018b526101005480871682529485048616938101939093529083048616151598820198909852600160881b82049094169684019690965261ffff600160901b8704169383019390935263ffffffff600160a01b86041660a08301529093041660c083015291565b6040516102799291906148ba565b348015610886575f5ffd5b5060c9546108a0906201000090046001600160401b031681565b6040516001600160401b039091168152602001610279565b3480156108c3575f5ffd5b506065546001600160a01b0316610373565b6108e86108e336600461460c565b611a8c565b604051610279929190614944565b348015610901575f5ffd5b5061024b6109103660046140f6565b611cc6565b348015610920575f5ffd5b5061047c61092f366004614a67565b611d37565b34801561093f575f5ffd5b5061024b61094e366004614a91565b611d53565b61095b611d68565b5f54600290610100900460ff1615801561097b57505f5460ff8083169116105b6109a05760405162461bcd60e51b815260040161099790614aac565b60405180910390fd5b5f8054610100805466ffffffffffffff60881b1916815560fe83905561ff001960ff851661ffff199093168317909117169091556040519081527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a150565b6060610a2060c954610100900460ff1660021490565b15610a3e5760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603610a705760405163dfc60d8560e01b815260040160405180910390fd5b610a7a6002611dc2565b5f610a83611969565b604051637f6cbe2960e11b81529091507398371b6283ace937b0367764cc49e4c3edc29d149063fed97c5290610aca9060fb90859030908c908c908c908c90600401614ca4565b5f60405180830381865af4158015610ae4573d5f5f3e3d5ffd5b505050506040513d5f823e601f3d908101601f19168201604052610b0b91908101906150e3565b92505f90505b8251811015610b77578161012001516001600160401b0316838281518110610b3b57610b3b6151ab565b602002602001015160a001516001600160401b03161015610b6f57604051631d07260d60e11b815260040160405180910390fd5b600101610b11565b50506040515f5160206156795f395f51905f5290610b9890610100906151bf565b60405180910390a1610baa6001611dc2565b949350505050565b610bc660c954610100900460ff1660021490565b15610be45760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff1615610c10576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603610c425760405163dfc60d8560e01b815260040160405180910390fd5b610c4c6002611dc2565b737a3d8e58d9010945fd7541665ea384c7287db6cb638609dced60fb610c70611969565b308787876040518763ffffffff1660e01b8152600401610c9596959493929190615234565b5f6040518083038186803b158015610cab575f5ffd5b505af4158015610cbd573d5f5f3e3d5ffd5b50506040515f5160206156795f395f51905f529250610ce09150610100906151bf565b60405180910390a1610cf26001611dc2565b505050565b61010054600160401b90046001600160401b03165f8080610d2160fb610d1b611969565b86611dcb565b9596919590945092509050565b5f54610100900460ff1615808015610d4c57505f54600160ff909116105b80610d655750303b158015610d6557505f5460ff166001145b610d815760405162461bcd60e51b815260040161099790614aac565b5f805460ff191660011790558015610da2575f805461ff0019166101001790555b610dac8585611e4f565b610dbf60fb610db9611969565b85611e89565b8115610dcd57610dcd612028565b8015610e12575f805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b5050505050565b6001600160a01b037f000000000000000000000000a3e75eda1be2114816f388a5cf53eba142dcdb17163003610e615760405162461bcd60e51b81526004016109979061528a565b7f000000000000000000000000a3e75eda1be2114816f388a5cf53eba142dcdb176001600160a01b0316610e9361209f565b6001600160a01b031614610eb95760405162461bcd60e51b8152600401610997906152d6565b610ec2816120ba565b604080515f80825260208201909252610edd918391906120c2565b50565b5f610eec84848461222c565b90505b9392505050565b60408051610120810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810191909152610f5160fb610f4b611969565b8461227e565b5060408051610120810182528254815260018301546001600160a01b03811660208301526001600160601b03600160a01b90910416918101919091526002909101546001600160401b038082166060840152600160401b820481166080840152600160801b82041660a083015262ffffff600160c01b8204811660c084015260ff600160d81b830416151560e0840152600160e01b9091041661010082015292915050565b610ffe6122de565b61010080546001600160c01b0316600160c01b426001600160401b031602179055565b61103560c954610100900460ff1660021490565b156110535760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff161561107f576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036110b15760405163dfc60d8560e01b815260040160405180910390fd5b6110bb6002611dc2565b737a3d8e58d9010945fd7541665ea384c7287db6cb63805f2d2e60fb6110df611969565b308a8a8a8a8a8a6040518a63ffffffff1660e01b815260040161110a99989796959493929190615322565b5f6040518083038186803b158015611120575f5ffd5b505af4158015611132573d5f5f3e3d5ffd5b50506040515f5160206156795f395f51905f5292506111559150610100906151bf565b60405180910390a16111676001611dc2565b505050505050565b61118360c954610100900460ff1660021490565b156111a15760405163bae6e2a960e01b815260040160405180910390fd5b610edd60fb30836122f0565b6001600160a01b037f000000000000000000000000a3e75eda1be2114816f388a5cf53eba142dcdb171630036111f55760405162461bcd60e51b81526004016109979061528a565b7f000000000000000000000000a3e75eda1be2114816f388a5cf53eba142dcdb176001600160a01b031661122761209f565b6001600160a01b03161461124d5760405162461bcd60e51b8152600401610997906152d6565b611256826120ba565b611262828260016120c2565b5050565b5f306001600160a01b037f000000000000000000000000a3e75eda1be2114816f388a5cf53eba142dcdb1716146113055760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608401610997565b505f5160206156595f395f51905f5290565b61131f613bd5565b61133360fb61132c611969565b858561239c565b6040805161014081018252825481526001830154602082015260028301549181019190915260038201546001600160a01b0380821660608401526001600160601b03600160a01b9283900481166080850152600485015491821660a08501529190041660c08201526005909101546001600160401b03811660e083015261ffff600160401b82041661010083015260ff600160501b9091041661012082015290505b92915050565b60408051610100810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e081018290529061142e60fb611428611969565b8561227e565b5060408051610120810182528254815260018301546001600160a01b03811660208301526001600160601b03600160a01b90910416918101919091526002909101546001600160401b038082166060840152600160401b820481166080840152600160801b82041660a083015262ffffff600160c01b8204811660c084015260ff600160d81b830416151560e0840152600160e01b909104166101008201529050610eef8160408051610100810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e0810191909152604051806101000160405280835f0151815260200183602001516001600160a01b0316815260200183604001516001600160601b0316815260200183606001516001600160401b0316815260200183608001516001600160401b031681526020018360a001516001600160401b031681526020018360c0015162ffffff1663ffffffff16815260200183610100015162ffffff1663ffffffff168152509050919050565b5f6113d560fb6115c5611969565b8461242a565b6115d3613c28565b6115e760c954610100900460ff1660021490565b156116055760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036116375760405163dfc60d8560e01b815260040160405180910390fd5b6116416002611dc2565b5f61164a611969565b6040516397fa596560e01b81529091507398371b6283ace937b0367764cc49e4c3edc29d14906397fa5965906116919060fb90859030908c908c908c908c906004016153c8565b6104c060405180830381865af41580156116ad573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906116d19190615416565b9050809250508061012001516001600160401b03168260a001516001600160401b0316101561171357604051631d07260d60e11b815260040160405180910390fd5b506040515f5160206156795f395f51905f5290610b9890610100906151bf565b61173b611d68565b6117445f612486565b565b60655433906001600160a01b031681146117b45760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b6064820152608401610997565b610edd81612486565b6117c5612028565b61174433600161249f565b6117e460c954610100900460ff1660021490565b156118025760405163bae6e2a960e01b815260040160405180910390fd5b61010054600160801b900460ff161561182e576040516333018e5560e11b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff16036118605760405163dfc60d8560e01b815260040160405180910390fd5b61186a6002611dc2565b61187e60fb611877611969565b308461251e565b6040515f5160206156795f395f51905f529061189d90610100906151bf565b60405180910390a1610edd6001611dc2565b5f6118b861209f565b905090565b60ff54600160801b90046001600160401b03165f8080610d2160fb610d1b611969565b5f610eef46848461222c565b6001600160a01b0381165f90815261010160205260408120546113d5565b606061192260fb611919611969565b87878787612ed8565b95945050505050565b61193f60c954610100900460ff1660021490565b1561195d5760405163bae6e2a960e01b815260040160405180910390fd5b610edd60fb30836130c7565b6119e160408051610140810182525f80825260208083018290528284018290526060808401839052608080850184905260a080860185905260c0860185905260e08601859052865190810187528481529283018490529482018390528101829052928301529061010082019081525f60209091015290565b50604080516101408101825262028c5881526204f1a060208083019190915262057e408284015260106060808401829052630e4e1c006080808601919091526806c6b935b8bbd4000060a08087019190915260c086019390935260e085018690528551928301865260088352604b93830193909352624c4b4094820194909452634fdec700938101939093526323c3460090830152610100810191909152620836c061012082015290565b604080516101c0810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081018290526101408101829052610160810182905261018081018290526101a08101919091526060611b1260c954610100900460ff1660021490565b15611b305760405163bae6e2a960e01b815260040160405180910390fd5b60025f5160206156395f395f51905f525c60ff1603611b625760405163dfc60d8560e01b815260040160405180910390fd5b611b6c6002611dc2565b5f611b75611969565b9050611b7f613c28565b6040516397fa596560e01b81527398371b6283ace937b0367764cc49e4c3edc29d14906397fa596590611bc39060fb90869030908e908e908e908e906004016153c8565b6104c060405180830381865af4158015611bdf573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611c039190615416565b80925081955050508161012001516001600160401b03168160a001516001600160401b031610611c4657604051631d07260d60e11b815260040160405180910390fd5b604080515f8082526020820190925290611c86565b604080516060810182525f80825260208083018290529282015282525f19909201910181611c5b5790505b50925050505f5160206156795f395f51905f5260fb600501604051611cab91906151bf565b60405180910390a1611cbd6001611dc2565b94509492505050565b611cce611d68565b606580546001600160a01b0383166001600160a01b03199091168117909155611cff6033546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b611d3f613bd5565b61133360fb611d4c611969565b858561312b565b611d5d338261249f565b610edd60fb826131a6565b6033546001600160a01b031633146117445760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610997565b610edd81613253565b5f5f5f5f5f611ddb88888861227e565b60028201549193509150600160e01b900462ffffff1615611e44576001600160401b038181165f90815260028a81016020908152604080842087840154600160e01b900462ffffff16855290915290912060018101549181015460059091015491975095501692505b505093509350939050565b806001600160a01b038116611e775760405163538ba4f960e01b815260040160405180910390fd5b611e8083613266565b610cf2826132c4565b5f819003611eaa5760405163d6d0f75560e01b815260040160405180910390fd5b600483018054426001600160401b03908116600160401b81026fffffffffffffffffffffffffffffffff199093164383161783179093556005808701805467ffffffffffffffff1990811660019081179092555f80805260208a815260408083206002808201805462ffffff60e01b197affffff0000000000000000ffffffffffffffff000000000000000019909116909b17600160c11b179a909a16600160e01b17909955858155978c01825280832085845290915281209283018890556003830180546001600160a01b031916905592820180549091169095179094556101208601519293929091169003611fdd57604080518481525f602082018190529182917fe5a390d9800811154279af0c1a80d3bdf558ea91f1301e7c6ec3c1ad83e80aef910160405180910390a3610e12565b604080518481525f6020820181905291810182905281907fdecbd2c61cbda254917d6fd4c980a470701e8f9f1b744f6ad163ca70ca5db2899060600160405180910390a35050505050565b61203c60c954610100900460ff1660021490565b1561205a5760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461ff0019166102001790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258906020015b60405180910390a1565b5f5160206156595f395f51905f52546001600160a01b031690565b610edd611d68565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff16156120f557610cf283613334565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa92505050801561214f575060408051601f3d908101601f1916820190925261214c9181019061544b565b60015b6121b25760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608401610997565b5f5160206156595f395f51905f5281146122205760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608401610997565b50610cf28383836133cf565b5f61223784846133f3565b90508115801561224e57506001600160a01b038116155b15610eef57604051632b0d65db60e01b81526001600160401b038516600482015260248101849052604401610997565b5f5f8360400151836122909190615476565b6001600160401b038181165f90815260208890526040902060028101549094509192508481169116146122d657604051638a1c400f60e01b815260040160405180910390fd5b935093915050565b6122e6613401565b611744335f61249f565b335f908152600684016020526040812080548392906123109084906154c3565b9091555061231f90508261348b565b6040516323b872dd60e01b8152336004820152306024820152604481018390526001600160a01b0391909116906323b872dd906064015b6020604051808303815f875af1158015612372573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061239691906154d6565b50505050565b5f5f5f6123aa87878761227e565b915091508363ffffffff165f14806123d857506002820154600160c01b900462ffffff1663ffffffff851610155b156123f65760405163727b1d6160e01b815260040160405180910390fd5b6001600160401b03165f908152600287016020908152604080832063ffffffff871684529091529020915050949350505050565b5f5f61243785858561227e565b506002810154909150600160e01b900462ffffff165f81900361245e575f92505050610eef565b61246f8686868462ffffff1661239c565b600301546001600160a01b03169695505050505050565b606580546001600160a01b0319169055610edd81613508565b6d636861696e5f7761746368646f6760901b6124c36033546001600160a01b031690565b6001600160a01b0316336001600160a01b03161415801561250057506124ea8160016118e0565b6001600160a01b0316336001600160a01b031614155b15610cf257604051630d85cccf60e11b815260040160405180910390fd5b6001600160401b0381161561239657604080516102a0810182525f6101c082018181526101e0830182905261020083018290526102208301829052610240830182905261026083018290526102808301829052825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081018290526101408101829052610160810182905261018081018290526101a08101919091526040805160e08101825260058701546001600160401b038082168352600160401b82048116602080850191825260ff600160801b85048116151586880152600160881b850416606086015261ffff600160901b850416608086015263ffffffff600160a01b85041660a0860152600160c01b909304821660c085015292855291519091169083018190529085015161266b91615476565b6001600160401b0390811660408084018290525f9182526020888152912090830151600282015491929182169116146126b757604051632ec3485560e11b815260040160405180910390fd5b6002810154600160e01b900462ffffff1660a08301819052608083018190525f036126f55760405163d4345b9760e01b815260040160405180910390fd5b6040808301516001600160401b039081165f908152600289016020908152838220608087015162ffffff168352815292902060019081015460e086015291840180519092011690525b81515160208301516001600160401b0391821691161080156127755750826001600160401b031682606001516001600160401b0316105b15612c165784604001516001600160401b031682602001516001600160401b0316816127a3576127a3615462565b066001600160401b0390811660408481018290526101208801516020808701805192861692861692909210156101808801525f9384528a9052912090516002820154919350821691161461280a57604051632ec3485560e11b815260040160405180910390fd5b61281e868284604001518560e00151613559565b62ffffff166080830181905215612c16576040828101516001600160401b03165f908152600288016020908152828220608086015162ffffff1683529052206005810154600160401b900461ffff1660c084015260048101546001600160a01b03161561288b5750612c16565b6101a08301516001600160a01b031661292857604051635437cecf60e11b81526a3a34b2b92fb937baba32b960a91b60048201525f60248201526001600160a01b0386169063a86f9d9e90604401602060405180830381865afa1580156128f4573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061291891906154f1565b6001600160a01b03166101a08401525b6101a08301516020840151604051635c42d07960e01b81526001600160401b0390911660048201525f916001600160a01b031690635c42d07990602401602060405180830381865afa158015612980573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906129a491906154f1565b60c085015160405163576c3de760e01b815261ffff90911660048201526001600160a01b03919091169063576c3de79060240160c060405180830381865afa1580156129f2573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612a16919061550c565b606001516005830154855160c00151919250612a44916001600160401b03918216911662ffffff841661362f565b612a4f575050612c16565b608084015162ffffff1660a0850152600182015460e085015260038201546001600160a01b0381166101608601819052612a9b918a9190600160a01b90046001600160601b031661364c565b83610180015115612b16578361016001516001600160a01b031684602001516001600160401b03167fe5a390d9800811154279af0c1a80d3bdf558ea91f1301e7c6ec3c1ad83e80aef8660e001518760c00151604051612b0992919091825261ffff16602082015260400190565b60405180910390a3612b8c565b8361016001516001600160a01b031684602001516001600160401b03167fdecbd2c61cbda254917d6fd4c980a470701e8f9f1b744f6ad163ca70ca5db2898660e001515f8860c00151604051612b8393929190928352602083019190915261ffff16604082015260600190565b60405180910390a35b612baa8760c0015160ff1685602001516001600160401b03166136bd565b15612be95760028201548015612be757610100850181905260208501516001600160401b0316610120860152608085015162ffffff166101408601525b505b50506020820180516001600160401b0360019182018116909252606084018051909101909116905261273e565b60608201516001600160401b03161561116757606082015182516020015160408701519101906001600160401b0390811690821681612c5757612c57615462565b6001600160401b039190068116604080860182905260058a018054938516600160401b026fffffffffffffffff0000000000000000199094169390931790925560a08501515f91825260208a9052919020600201805462ffffff909216600160e01b0262ffffff60e01b1990921691909117905561010083015115612ecf576101208301516004880180546fffffffffffffffffffffffffffffffff16600160801b6001600160401b039384169081026001600160c01b031691909117600160c01b428516021790915590821614612d9b5785604001516001600160401b03168361012001516001600160401b031681612d5357612d53615462565b066001600160401b031660408481018290526101408501515f92835260208a90529120600201805462ffffff60e01b1916600160e01b62ffffff909316929092029190911790555b604051635437cecf60e11b81526d7369676e616c5f7365727669636560901b60048201525f60248201526001600160a01b0386169063a86f9d9e90604401602060405180830381865afa158015612df4573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612e1891906154f1565b86516101208501516101008601516040516313e4299d60e21b81526001600160401b0393841660048201527f73e6d340850343cc6f001515dc593377337c95a6ffe034fe1e844d4dab5da169602482015292909116604483015260648201526001600160a01b039190911690634f90a674906084016020604051808303815f875af1158015612ea9573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190612ecd919061544b565b505b50505050505050565b6060831580612ee75750838214155b15612f05576040516336c7c68960e01b815260040160405180910390fd5b836001600160401b03811115612f1d57612f1d6142e9565b604051908082528060200260200182016040528015612f5657816020015b612f43613bd5565b815260200190600190039081612f3b5790505b5090505f5b848110156130bc575f5f612f968a8a8a8a87818110612f7c57612f7c6151ab565b9050602002016020810190612f919190614150565b61227e565b915091505f612fbf8b84848a8a89818110612fb357612fb36151ab565b90506020020135613559565b905062ffffff8116156130ae576001600160401b038281165f90815260028d81016020908152604080842062ffffff8716855282529283902083516101408101855281548152600182015492810192909252918201549281019290925260038101546001600160a01b038082166060850152600160a01b918290046001600160601b039081166080860152600484015491821660a08601529190041660c08301526005015491821660e0820152600160401b820461ffff16610100820152600160501b90910460ff1661012082015285518690869081106130a2576130a26151ab565b60200260200101819052505b505050806001019050612f5b565b509695505050505050565b335f908152600684016020526040812080548392906130e790849061558f565b909155506130f690508261348b565b60405163a9059cbb60e01b8152336004820152602481018390526001600160a01b03919091169063a9059cbb90604401612356565b5f5f5f61313987878761227e565b915091505f61314a88848488613559565b90508062ffffff165f036131715760405163727b1d6160e01b815260040160405180910390fd5b6001600160401b039091165f908152600288016020908152604080832062ffffff909416835292905220915050949350505050565b6005820154811515600160801b90910460ff161515036131d95760405163689d009d60e11b815260040160405180910390fd5b60058201805460ff60801b1916600160801b831515021790558061321a576005820180546001600160c01b0316600160c01b426001600160401b0316021790555b60405181151581527fed64db85835d07c3c990b8ebdd55e32d64e5ed53143b6ef2179e7bfaf17ddc3b9060200160405180910390a15050565b805f5160206156395f395f51905f525d50565b5f54610100900460ff1661328c5760405162461bcd60e51b8152600401610997906155a2565b6132946136ea565b6132b26001600160a01b038216156132ac5781612486565b33612486565b5060c9805461ff001916610100179055565b5f54610100900460ff166132ea5760405162461bcd60e51b8152600401610997906155a2565b6001600160401b034611156133125760405163a12e8fa960e01b815260040160405180910390fd5b609780546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b0381163b6133a15760405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608401610997565b5f5160206156595f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b6133d883613710565b5f825111806133e45750805b15610cf257612396838361374f565b5f610eef8383613774613816565b61341560c954610100900460ff1660021490565b6134325760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461010069ffffffffffffffffff001990911662010000426001600160401b031602171790556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa90602001612095565b604051635437cecf60e11b81526a3a30b4b5b7afba37b5b2b760a91b60048201525f60248201819052906001600160a01b0383169063a86f9d9e90604401602060405180830381865afa1580156134e4573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906113d591906154f1565b603380546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b6001600160401b0382165f9081526002850160209081526040808320600184529091528120548290036135bf57506002830154600190600160c01b900462ffffff1681106135ba576040516367a1907f60e01b815260040160405180910390fd5b610baa565b5060028301546001600160401b03165f908152600185016020908152604080832084845290915290205462ffffff1680158015906136115750600284015462ffffff600160c01b909104811690821610155b15610baa576040516367a1907f60e01b815260040160405180910390fd5b5f80603c830261363f868661384b565b0142101595945050505050565b6001600160a01b0382165f908152600684016020526040812080548392906136759084906154c3565b90915550506040518181526001600160a01b038316907f6de6fe586196fa05b73b973026c5fda3968a2933989bff3a0b6bd57644fab6069060200160405180910390a2505050565b5f600183116136ce575060016113d5565b600183038383816136e1576136e1615462565b06149392505050565b5f54610100900460ff166117445760405162461bcd60e51b8152600401610997906155a2565b61371981613334565b6040516001600160a01b038216907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a250565b6060610eef838360405180606001604052806027815260200161569960279139613860565b6097545f906001600160a01b0316806137a057604051638ed88b2560e01b815260040160405180910390fd5b604051630a3dc4f360e21b81526001600160401b0385166004820152602481018490526001600160a01b038216906328f713cc90604401602060405180830381865afa1580156137f2573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610baa91906154f1565b5f5f5f61382386866138ca565b915091508161383f5761383a86868663ffffffff16565b613841565b805b9695505050505050565b5f8183116138595781610eef565b5090919050565b60605f5f856001600160a01b03168560405161387c91906155ed565b5f60405180830381855af49150503d805f81146138b4576040519150601f19603f3d011682016040523d82523d5f602084013e6138b9565b606091505b509150915061384186838387613b38565b5f5f6001846001600160401b0316146138e757505f905080613b31565b6a3a30b4b5b7afba37b5b2b760a91b830361391b5750600190507310dea67478c5f8c5e2d90e5e9b26dbe60c54d800613b31565b6d7369676e616c5f7365727669636560901b8303613952575060019050739e0a24964e5397b566c1ed39258e21ab5e35c77c613b31565b6562726964676560d01b830361398157506001905073d60247c6848b7ca29eddf63aa924e53db6ddd8ec613b31565b647461696b6f60d81b83036139af5750600190507306a9ab27c7e2255df1815e6cc0168d7755feb19a613b31565b6a3a34b2b92fb937baba32b960a91b83036139e3575060019050738f1c1d58c858e9a9eecc587d7d51aecfd16b5542613b31565b670e8d2cae4bee6cef60c31b8303613a1457506001905073b0f3186fc1963f774f52ff455dc86aedd0b31f81613b31565b75746965725f677561726469616e5f6d696e6f7269747960501b8303613a5357506001905073579a8d63a2db646284cbfe31fe5082c9989e985c613b31565b6c3a34b2b92fb3bab0b93234b0b760991b8303613a8957506001905073e3d777143ea25a6e031d1e921f396750885f43ac613b31565b7f6175746f6d6174615f646361705f6174746573746174696f6e000000000000008303613acf575060019050738d7c954960a36a7596d7ea4945ddf891967ca8a3613b31565b6f707265636f6e665f726567697374727960801b8303613af45750600190505f613b31565b6d636861696e5f7761746368646f6760901b8303613b2b57506001905073e3d777143ea25a6e031d1e921f396750885f43ac613b31565b505f9050805b9250929050565b60608315613ba65782515f03613b9f576001600160a01b0385163b613b9f5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610997565b5081610baa565b610baa8383815115613bbb5781518083602001fd5b8060405162461bcd60e51b81526004016109979190615603565b60408051610140810182525f80825260208201819052918101829052606081018290526080810182905260a0810182905260c0810182905260e08101829052610100810182905261012081019190915290565b60408051610280810182525f80825260208083018290528284018290526060808401839052608080850184905260a080860185905260c0860185905260e08601859052610100860185905261012086018590526101408601859052610160860185905261018086018590526101a086018590526101c086018590526101e08601859052610200860185905261022086018590526102408601859052865190810187528481529283018490529482018390528101829052928301529061026082015290565b5f5f83601f840112613cfc575f5ffd5b5081356001600160401b03811115613d12575f5ffd5b6020830191508360208260051b8501011115613b31575f5ffd5b5f5f5f5f60408587031215613d3f575f5ffd5b84356001600160401b03811115613d54575f5ffd5b613d6087828801613cec565b90955093505060208501356001600160401b03811115613d7e575f5ffd5b613d8a87828801613cec565b95989497509550505050565b60ff815116825260ff602082015116602083015263ffffffff60408201511660408301526001600160401b03606082015116606083015263ffffffff60808201511660808301525050565b805182526020810151602083015260408101516040830152606081015160608301526080810151613e1d60808401826001600160a01b03169052565b5060a0810151613e3860a08401826001600160401b03169052565b5060c0810151613e5060c084018263ffffffff169052565b5060e0810151613e6b60e08401826001600160401b03169052565b50610100810151613e886101008401826001600160401b03169052565b50610120810151613ea061012084018261ffff169052565b50610140810151613eb661014084018215159052565b50610160810151610160830152610180810151613edf6101808401826001600160a01b03169052565b506101a0810151613efc6101a08401826001600160601b03169052565b506101c0810151613f196101c08401826001600160401b03169052565b506101e0810151613f366101e08401826001600160401b03169052565b50610200810151613f5061020084018263ffffffff169052565b50610220810151613f6a61022084018263ffffffff169052565b50610240810151613f8161024084018260ff169052565b50610260810151610cf2610260840182613d96565b602080825282518282018190525f918401906040840190835b81811015613fd957613fc2838551613de1565b602093909301926103009290920191600101613faf565b509095945050505050565b6001600160401b0381168114610edd575f5ffd5b5f5f83601f840112614008575f5ffd5b5081356001600160401b0381111561401e575f5ffd5b602083019150836020828501011115613b31575f5ffd5b5f5f5f60408486031215614047575f5ffd5b833561405281613fe4565b925060208401356001600160401b0381111561406c575f5ffd5b61407886828701613ff8565b9497909650939450505050565b6001600160a01b0381168114610edd575f5ffd5b8015158114610edd575f5ffd5b5f5f5f5f608085870312156140b9575f5ffd5b84356140c481614085565b935060208501356140d481614085565b92506040850135915060608501356140eb81614099565b939692955090935050565b5f60208284031215614106575f5ffd5b8135610eef81614085565b5f5f5f60608486031215614123575f5ffd5b833561412e81613fe4565b925060208401359150604084013561414581614099565b809150509250925092565b5f60208284031215614160575f5ffd5b8135610eef81613fe4565b815181526020808301516001600160a01b0316908201526040808301516001600160601b0316908201526060808301516101208301916141b5908401826001600160401b03169052565b5060808301516141d060808401826001600160401b03169052565b5060a08301516141eb60a08401826001600160401b03169052565b5060c083015161420260c084018262ffffff169052565b5060e083015161421660e084018215159052565b5061010083015161422f61010084018262ffffff169052565b5092915050565b5f5f5f5f5f5f6060878903121561424b575f5ffd5b86356001600160401b03811115614260575f5ffd5b61426c89828a01613cec565b90975095505060208701356001600160401b0381111561428a575f5ffd5b61429689828a01613cec565b90955093505060408701356001600160401b038111156142b4575f5ffd5b6142c089828a01613ff8565b979a9699509497509295939492505050565b5f602082840312156142e2575f5ffd5b5035919050565b634e487b7160e01b5f52604160045260245ffd5b6040516101c081016001600160401b0381118282101715614320576143206142e9565b60405290565b60405161028081016001600160401b0381118282101715614320576143206142e9565b60405160c081016001600160401b0381118282101715614320576143206142e9565b604051601f8201601f191681016001600160401b0381118282101715614393576143936142e9565b604052919050565b5f5f604083850312156143ac575f5ffd5b82356143b781614085565b915060208301356001600160401b038111156143d1575f5ffd5b8301601f810185136143e1575f5ffd5b80356001600160401b038111156143fa576143fa6142e9565b61440d601f8201601f191660200161436b565b818152866020838501011115614421575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b63ffffffff81168114610edd575f5ffd5b5f5f60408385031215614462575f5ffd5b823561446d81613fe4565b9150602083013561447d81614440565b809150509250929050565b80518252602081015160208301526040810151604083015260608101516144ba60608401826001600160a01b03169052565b5060808101516144d560808401826001600160601b03169052565b5060a08101516144f060a08401826001600160a01b03169052565b5060c081015161450b60c08401826001600160601b03169052565b5060e081015161452660e08401826001600160401b03169052565b5061010081015161453e61010084018261ffff169052565b50610120810151610cf261012084018260ff169052565b61014081016113d58284614488565b815181526020808301516001600160a01b0316908201526040808301516001600160601b0316908201526060808301516001600160401b0316908201526080808301516101008301916145c1908401826001600160401b03169052565b5060a08301516145dc60a08401826001600160401b03169052565b5060c08301516145f460c084018263ffffffff169052565b5060e083015161422f60e084018263ffffffff169052565b5f5f5f5f6040858703121561461f575f5ffd5b84356001600160401b03811115614634575f5ffd5b61464087828801613ff8565b90955093505060208501356001600160401b0381111561465e575f5ffd5b613d8a87828801613ff8565b61030081016113d58284613de1565b5f5f6040838503121561468a575f5ffd5b82359150602083013561447d81614099565b602080825282518282018190525f918401906040840190835b81811015613fd9576146c8838551614488565b6020939093019261014092909201916001016146b5565b6001600160401b0381511682526001600160401b0360208201511660208301526001600160401b0360408201511660408301526001600160401b0360608201511660608301525050565b6001600160401b0381511682526001600160401b03602082015116602083015260408101511515604083015260ff606082015116606083015261ffff608082015116608083015260a081015161478760a084018263ffffffff169052565b5060c0810151610cf260c08401826001600160401b03169052565b83815261018081016147b760208301856146df565b610baa60a0830184614729565b81516001600160401b031681526101c0810160208301516147f060208401826001600160401b03169052565b50604083015161480b60408401826001600160401b03169052565b50606083015161482660608401826001600160401b03169052565b50608083015161483e608084018263ffffffff169052565b5060a083015161485960a08401826001600160601b03169052565b5060c083015161486e60c084018260ff169052565b5060e083015161488960e08401826001600160401b03169052565b5061010083015161489e610100840182613d96565b506101208301516001600160401b0381166101a084015261422f565b61016081016148c982856146df565b610eef6080830184614729565b5f8151808452602084019350602083015f5b8281101561493a57815180516001600160a01b031687526020808201516001600160601b0316818901526040918201516001600160401b031691880191909152606090960195909101906001016148e8565b5093949350505050565b82518152602083015160208201526040830151604082015260608301516060820152608083015160808201525f60a084015161498b60a08401826001600160a01b03169052565b5060c08401516149a660c08401826001600160401b03169052565b5060e08401516149be60e084018263ffffffff169052565b506101008401516149db6101008401826001600160401b03169052565b506101208401516149f86101208401826001600160401b03169052565b50610140840151614a1061014084018261ffff169052565b50610160840151614a2661016084018215159052565b506101808401516101808301526101a0840151614a4f6101a08401826001600160a01b03169052565b506101e06101c0830152610eec6101e08301846148d6565b5f5f60408385031215614a78575f5ffd5b8235614a8381613fe4565b946020939093013593505050565b5f60208284031215614aa1575f5ffd5b8135610eef81614099565b6020808252602e908201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160408201526d191e481a5b9a5d1a585b1a5e995960921b606082015260800190565b80516001600160401b031682526020810151614b2160208401826001600160401b03169052565b506040810151614b3c60408401826001600160401b03169052565b506060810151614b5760608401826001600160401b03169052565b506080810151614b6f608084018263ffffffff169052565b5060a0810151614b8a60a08401826001600160601b03169052565b5060c0810151614b9f60c084018260ff169052565b5060e0810151614bba60e08401826001600160401b03169052565b50610100810151614bcf610100840182613d96565b5061012001516001600160401b03166101a09190910152565b81835281816020850137505f828201602090810191909152601f909101601f19169091010190565b5f8383855260208501945060208460051b820101835f5b86811015614c9857838303601f19018852813536879003601e19018112614c4c575f5ffd5b86016020810190356001600160401b03811115614c67575f5ffd5b803603821315614c75575f5ffd5b614c80858284614be8565b60209a8b019a90955093909301925050600101614c27565b50909695505050505050565b878152614cb46020820188614afa565b6001600160a01b0386166101e082015261024061020082018190525f90614cde9083018688614c10565b828103610220840152614cf2818587614c10565b9a9950505050505050505050565b5f6001600160401b03821115614d1857614d186142e9565b5060051b60200190565b8051614d2d81614085565b919050565b8051614d2d81613fe4565b8051614d2d81614440565b805161ffff81168114614d2d575f5ffd5b8051614d2d81614099565b5f6101c08284031215614d75575f5ffd5b614d7d6142fd565b82518152602080840151908201526040808401519082015260608084015190820152608080840151908201529050614db760a08301614d22565b60a0820152614dc860c08301614d32565b60c0820152614dd960e08301614d3d565b60e0820152614deb6101008301614d32565b610100820152614dfe6101208301614d32565b610120820152614e116101408301614d48565b610140820152614e246101608301614d59565b6101608201526101808281015190820152614e426101a08301614d22565b6101a082015292915050565b80516001600160601b0381168114614d2d575f5ffd5b805160ff81168114614d2d575f5ffd5b5f60a08284031215614e84575f5ffd5b60405160a081016001600160401b0381118282101715614ea657614ea66142e9565b604052905080614eb583614e64565b8152614ec360208401614e64565b60208201526040830151614ed681614440565b60408201526060830151614ee981613fe4565b60608201526080830151614efc81614440565b6080919091015292915050565b5f6103008284031215614f1a575f5ffd5b614f22614326565b825181526020808401519082015260408084015190820152606080840151908201529050614f5260808301614d22565b6080820152614f6360a08301614d32565b60a0820152614f7460c08301614d3d565b60c0820152614f8560e08301614d32565b60e0820152614f976101008301614d32565b610100820152614faa6101208301614d48565b610120820152614fbd6101408301614d59565b6101408201526101608281015190820152614fdb6101808301614d22565b610180820152614fee6101a08301614e4e565b6101a08201526150016101c08301614d32565b6101c08201526150146101e08301614d32565b6101e08201526150276102008301614d3d565b61020082015261503a6102208301614d3d565b61022082015261504d6102408301614e64565b610240820152615061836102608401614e74565b61026082015292915050565b5f82601f83011261507c575f5ffd5b815161508f61508a82614d00565b61436b565b80828252602082019150602061030084028601019250858311156150b1575f5ffd5b602085015b838110156150d9576150c88782614f09565b8352602090920191610300016150b6565b5095945050505050565b5f5f604083850312156150f4575f5ffd5b82516001600160401b03811115615109575f5ffd5b8301601f81018513615119575f5ffd5b805161512761508a82614d00565b8082825260208201915060206101c08402850101925087831115615149575f5ffd5b6020840193505b82841015615176576151628885614d64565b82526020820191506101c084019350615150565b8095505050505060208301516001600160401b03811115615195575f5ffd5b6151a18582860161506d565b9150509250929050565b634e487b7160e01b5f52603260045260245ffd5b5f60e08201905082546001600160401b03811683526001600160401b038160401c16602084015260ff8160801c16151560408401526152096060840160ff8360881c1660ff169052565b609081901c61ffff16608084015260a081811c63ffffffff169084015260c081811c9084015261422f565b8681526152446020820187614afa565b6001600160a01b0385166101e08201526001600160401b03841661020082015261024061022082018190525f9061527e9083018486614be8565b98975050505050505050565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b19195b1959d85d1958d85b1b60a21b606082015260800190565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b6163746976652070726f787960a01b606082015260800190565b5f61026082018b8352615338602084018c614afa565b6001600160a01b038a166101e08401526102606102008401528790528761028083015f5b8981101561538c57823561536f81613fe4565b6001600160401b031682526020928301929091019060010161535c565b508381036102208501526153a181888a614c10565b9150508281036102408401526153b8818587614be8565b9c9b505050505050505050505050565b8781526153d86020820188614afa565b6001600160a01b0386166101e082015261024061020082018190525f906154029083018688614be8565b828103610220840152614cf2818587614be8565b5f5f6104c08385031215615428575f5ffd5b6154328484614d64565b9150615442846101c08501614f09565b90509250929050565b5f6020828403121561545b575f5ffd5b5051919050565b634e487b7160e01b5f52601260045260245ffd5b5f6001600160401b0383168061549a57634e487b7160e01b5f52601260045260245ffd5b806001600160401b0384160691505092915050565b634e487b7160e01b5f52601160045260245ffd5b808201808211156113d5576113d56154af565b5f602082840312156154e6575f5ffd5b8151610eef81614099565b5f60208284031215615501575f5ffd5b8151610eef81614085565b5f60c082840312801561551d575f5ffd5b50615526614349565b8251815261553660208401614e4e565b602082015261554760408401614e4e565b6040820152606083015162ffffff81168114615561575f5ffd5b606082015261557260808401614d48565b608082015261558360a08401614e64565b60a08201529392505050565b818103818111156113d5576113d56154af565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b5f82518060208501845e5f920191825250919050565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f8301168401019150509291505056fea5054f728453d3dbe953bdc43e4d0cb97e662ea32d7958190f3dc2da31d9721b360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbcdf66aee38ea9fe523cfd238705d455a354305a646748dbb931898b51cee4727b416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c206661696c6564a2646970667358221220e0fa798777b4c7a7de0377f7d3ed0cc42841c4cac4af2038db27125de52433f064736f6c634300081b0033
Loading...
Loading
Loading...
Loading
Multichain Portfolio | 30 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.