Source Code
Overview
ETH Balance
0 ETH
More Info
ContractCreator
Multichain Info
N/A
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:
SP1Verifier
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 "@sp1-contracts/src/ISP1Verifier.sol"; import "src/shared/common/EssentialContract.sol"; import "src/shared/common/LibStrings.sol"; import "../based/ITaikoL1.sol"; import "./LibPublicInput.sol"; import "./IVerifier.sol"; /// @title SP1Verifier /// @custom:security-contact [email protected] contract SP1Verifier is EssentialContract, IVerifier { /// @notice The verification keys mappings for the proving programs. mapping(bytes32 provingProgramVKey => bool trusted) public isProgramTrusted; uint256[49] private __gap; /// @dev Emitted when a trusted image is set / unset. /// @param programVKey The id of the image /// @param trusted The block's assigned prover. event ProgramTrusted(bytes32 programVKey, bool trusted); error SP1_INVALID_PROGRAM_VKEY(); error SP1_INVALID_AGGREGATION_VKEY(); error SP1_INVALID_PARAMS(); error SP1_INVALID_PROOF(); /// @notice Initializes the contract with the provided address manager. /// @param _owner The address of the owner. /// @param _addressManager The address of the AddressManager. function init(address _owner, address _addressManager) external initializer { __Essential_init(_owner, _addressManager); } /// @notice Sets/unsets an the program's verification key as trusted entity /// @param _programVKey The verification key of the program. /// @param _trusted True if trusted, false otherwise. function setProgramTrusted(bytes32 _programVKey, bool _trusted) external onlyOwner { isProgramTrusted[_programVKey] = _trusted; emit ProgramTrusted(_programVKey, _trusted); } /// @inheritdoc IVerifier function verifyProof( Context calldata _ctx, TaikoData.Transition calldata _tran, TaikoData.TierProof calldata _proof ) external view { // Do not run proof verification to contest an existing proof if (_ctx.isContesting) return; // Avoid in-memory decoding, so in-place decode with slicing. // e.g.: bytes32 programVKey = bytes32(_proof.data[0:32]); require(isProgramTrusted[bytes32(_proof.data[0:32])], SP1_INVALID_PROGRAM_VKEY()); // Need to be converted from bytes32 to bytes bytes32 hashedPublicInput = LibPublicInput.hashPublicInputs( _tran, address(this), address(0), _ctx.prover, _ctx.metaHash, taikoChainId() ); // _proof.data[32:] is the succinct's proof position (bool success,) = sp1RemoteVerifier().staticcall( abi.encodeCall( ISP1Verifier.verifyProof, (bytes32(_proof.data[0:32]), abi.encode(hashedPublicInput), _proof.data[32:]) ) ); require(success, SP1_INVALID_PROOF()); } /// @inheritdoc IVerifier function verifyBatchProof( ContextV2[] calldata _ctxs, TaikoData.TierProof calldata _proof ) external view { require(_ctxs.length != 0 && _proof.data.length > 64, SP1_INVALID_PARAMS()); // Extract the necessary data bytes32 aggregationProgram = bytes32(_proof.data[0:32]); bytes32 blockProvingProgram = bytes32(_proof.data[32:64]); // Check if the aggregation program is trusted require(isProgramTrusted[aggregationProgram], SP1_INVALID_AGGREGATION_VKEY()); // Check if the block proving program is trusted require(isProgramTrusted[blockProvingProgram], SP1_INVALID_PROGRAM_VKEY()); // Collect public inputs bytes32[] memory publicInputs = new bytes32[](_ctxs.length + 1); // First public input is the block proving program key publicInputs[0] = blockProvingProgram; // All other inputs are the block program public inputs (a single 32 byte value) for (uint256 i; i < _ctxs.length; ++i) { publicInputs[i + 1] = LibPublicInput.hashPublicInputs( _ctxs[i].tran, address(this), address(0), _ctxs[i].prover, _ctxs[i].metaHash, taikoChainId() ); } // _proof.data[64:] is the succinct's proof position (bool success,) = sp1RemoteVerifier().staticcall( abi.encodeCall( ISP1Verifier.verifyProof, (aggregationProgram, abi.encodePacked(publicInputs), _proof.data[64:]) ) ); require(success, SP1_INVALID_PROOF()); } function taikoChainId() internal view virtual returns (uint64) { return ITaikoL1(resolve(LibStrings.B_TAIKO, false)).getConfig().chainId; } function sp1RemoteVerifier() public view virtual returns (address) { return resolve(LibStrings.B_SP1_REMOTE_VERIFIER, false); } }
// SPDX-License-Identifier: MIT pragma solidity ^0.8.20; /// @title SP1 Verifier Interface /// @author Succinct Labs /// @notice This contract is the interface for the SP1 Verifier. interface ISP1Verifier { /// @notice Verifies a proof with given public values and vkey. /// @dev It is expected that the first 4 bytes of proofBytes must match the first 4 bytes of /// target verifier's VERIFIER_HASH. /// @param programVKey The verification key for the RISC-V program. /// @param publicValues The public values encoded as bytes. /// @param proofBytes The proof of the program execution the SP1 zkVM encoded as bytes. function verifyProof( bytes32 programVKey, bytes calldata publicValues, bytes calldata proofBytes ) external view; } interface ISP1VerifierWithHash is ISP1Verifier { /// @notice Returns the hash of the verifier. function VERIFIER_HASH() external pure returns (bytes32); }
// 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 internal constant _FALSE = 1; uint8 internal constant _TRUE = 2; /// @dev Slot 1. uint8 internal __reentry; uint8 internal __paused; uint64 internal __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) { require(msg.sender == owner() || msg.sender == resolve(_name, true), RESOLVER_DENIED()); _; } modifier notImplemented() { revert FUNC_NOT_IMPLEMENTED(); _; } modifier nonReentrant() { require(_loadReentryLock() != _TRUE, REENTRANT_CALL()); _storeReentryLock(_TRUE); _; _storeReentryLock(_FALSE); } modifier whenPaused() { require(paused(), INVALID_PAUSE_STATUS()); _; } modifier whenNotPaused() { require(!paused(), INVALID_PAUSE_STATUS()); _; } modifier nonZeroAddr(address _addr) { require(_addr != address(0), ZERO_ADDRESS()); _; } modifier nonZeroValue(uint256 _value) { require(_value != 0, ZERO_VALUE()); _; } modifier nonZeroBytes32(bytes32 _value) { require(_value != 0, 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 lastUnpausedAt() public view virtual returns (uint64) { return __lastUnpausedAt; } 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; /// @title LibStrings /// @custom:security-contact [email protected] library LibStrings { bytes32 internal constant B_AUTOMATA_DCAP_ATTESTATION = bytes32("automata_dcap_attestation"); bytes32 internal constant B_BOND_TOKEN = bytes32("bond_token"); 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_TASK_MANAGER = bytes32("preconf_task_manager"); 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_OPTIMISTIC = bytes32(""); 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; import "./TaikoData.sol"; /// @title ITaikoL1 /// @custom:security-contact [email protected] interface ITaikoL1 { /// @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 Index of the block to prove. This is also used to select the right /// implementation version. /// @param _input 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 specified number of blocks. /// @param _maxBlocksToVerify Maximum number of blocks to verify. function verifyBlocks(uint64 _maxBlocksToVerify) external; /// @notice Pauses or unpauses block proving. /// @param _pause True to pause, false to unpause. function pauseProving(bool _pause) external; /// @notice Deposits bond ERC20 token or Ether. /// @param _amount The amount of Taiko token to deposit. function depositBond(uint256 _amount) external payable; /// @notice Withdraws bond ERC20 token or Ether. /// @param _amount Amount of Taiko tokens to withdraw. function withdrawBond(uint256 _amount) external; /// @notice Gets the prover that actually proved a verified block. /// @param _blockId 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 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. The transition's state root will be zero if /// the block is not a sync-block. function getTransition( uint64 _blockId, uint32 _tid ) external view returns (TaikoData.TransitionState memory); /// @notice Retrieves the ID of the L1 block where the most recent L2 block was proposed. /// @return The ID of the Li block where the most recent block was proposed. function lastProposedIn() external view returns (uint56); /// @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; import "../../layer1/based/TaikoData.sol"; /// @title LibPublicInput /// @notice A library for handling hashing the so-called public input hash, used by sgx and zk /// proofs. /// @custom:security-contact [email protected] library LibPublicInput { /// @notice Hashes the public input for the proof verification. /// @param _tran The transition to verify. /// @param _verifierContract The contract address which as current verifier. /// @param _newInstance The new instance address. For SGX it is the new signer address, for ZK /// this variable is not used and must have value address(0). /// @param _prover The prover address. /// @param _metaHash The meta hash. /// @param _chainId The chain id. /// @return The public input hash. function hashPublicInputs( TaikoData.Transition memory _tran, address _verifierContract, address _newInstance, address _prover, bytes32 _metaHash, uint64 _chainId ) internal pure returns (bytes32) { return keccak256( abi.encode( "VERIFY_PROOF", _chainId, _verifierContract, _tran, _newInstance, _prover, _metaHash ) ); } }
// 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 // 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) { require(msg.sender == resolve(_name, true), 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); require(addr == address(0) || msg.sender == addr, 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) { require( msg.sender == resolve(_name1, true) || msg.sender == resolve(_name2, true), 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 { require(block.chainid <= type(uint64).max, 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); require(_allowZeroAddress || addr_ != address(0), RESOLVER_ZERO_ADDR(_chainId, _name)); } function _getAddress(uint64 _chainId, bytes32 _name) internal view virtual returns (address) { address _addressManager = addressManager; require(_addressManager != address(0), RESOLVER_INVALID_MANAGER()); return IAddressManager(_addressManager).getAddress(_chainId, _name); } }
// 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 { /// @notice Struct holding Taiko configuration parameters. See {TaikoConfig}. struct Config { /// @notice The chain ID of the network where Taiko contracts are deployed. uint64 chainId; /// @notice The maximum number of verifications allowed when a block is proposed or proved. uint64 blockMaxProposals; /// @notice Size of the block ring buffer, allowing extra space for proposals. uint64 blockRingBufferSize; /// @notice The maximum number of verifications allowed when a block is proposed or proved. uint64 maxBlocksToVerify; /// @notice The maximum gas limit allowed for a block. uint32 blockMaxGasLimit; /// @notice The amount of Taiko token as a prover liveness bond. uint96 livenessBond; /// @notice The number of L2 blocks between each L2-to-L1 state root sync. uint8 stateRootSyncInternal; /// @notice The max differences of the anchor height and the current block number. uint64 maxAnchorHeightOffset; /// @notice Base fee configuration LibSharedData.BaseFeeConfig baseFeeConfig; /// @notie The Ontake fork height on L2. uint64 ontakeForkHeight; } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice A proof and the tier of proof it belongs to. struct TierProof { uint16 tier; bytes data; } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice Hook and its data (currently used only during proposeBlock) struct HookCall { address hook; bytes data; } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice 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 } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice Struct containing data only required for proving a block /// @notice 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; uint64 proposedAt; // Used by node/client post block proposal. uint64 proposedIn; // Used by node/client post block proposal. uint32 blobTxListOffset; uint32 blobTxListLength; uint8 blobIndex; LibSharedData.BaseFeeConfig baseFeeConfig; } /// @notice 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. } /// @notice Struct representing state transition data. /// @notice 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 (88 bits) uint16 tier; uint8 __reserved1; } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice Struct containing data required for verifying a block. /// @notice 3 slots used. struct Block { bytes32 metaHash; // slot 1 address assignedProver; uint96 livenessBond; uint64 blockId; // slot 3 uint64 proposedAt; uint64 proposedIn; 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; } /// @notice Struct containing data required for verifying a block. /// @notice 3 slots used. struct BlockV2 { bytes32 metaHash; // slot 1 address assignedProver; // DEPRECATED!!! uint96 livenessBond; // DEPRECATED!!! uint64 blockId; // slot 3 uint64 proposedAt; // Now represents L2 block's timestamp uint64 proposedIn; // Now represents L2 block's anchorBlockId 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; } /// @notice DEPRECATED but used by node/client for syncing old blocks /// @notice Struct representing an Ethereum deposit. /// @notice 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; } /// @notice 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). /// @notice 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; // known typo (lastSyncedAt) } struct SlotB { uint64 numBlocks; uint64 lastVerifiedBlockId; bool provingPaused; uint56 lastProposedIn; uint64 lastUnpausedAt; } /// @notice 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(uint24 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 // 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 (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/=node_modules/@openzeppelin/", "@openzeppelin/=node_modules/@openzeppelin/", "@openzeppelin-upgrades/contracts/=node_modules/@openzeppelin/contracts-upgradeable/", "@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/", "eigenlayer-middleware/=node_modules/eigenlayer-middleware/", "eigenlayer-contracts/=node_modules/eigenlayer-contracts/", "src/=contracts/", "test/=test/", "script/=script/", "@openzeppelin/=node_modules/@openzeppelin/", "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": {} }
Contract ABI
API[{"inputs":[],"name":"FUNC_NOT_IMPLEMENTED","type":"error"},{"inputs":[],"name":"INVALID_PAUSE_STATUS","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":"SP1_INVALID_AGGREGATION_VKEY","type":"error"},{"inputs":[],"name":"SP1_INVALID_PARAMS","type":"error"},{"inputs":[],"name":"SP1_INVALID_PROGRAM_VKEY","type":"error"},{"inputs":[],"name":"SP1_INVALID_PROOF","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":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":"bytes32","name":"programVKey","type":"bytes32"},{"indexed":false,"internalType":"bool","name":"trusted","type":"bool"}],"name":"ProgramTrusted","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":[],"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":"_addressManager","type":"address"}],"name":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bytes32","name":"provingProgramVKey","type":"bytes32"}],"name":"isProgramTrusted","outputs":[{"internalType":"bool","name":"trusted","type":"bool"}],"stateMutability":"view","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":[],"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":[],"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":[{"internalType":"bytes32","name":"_programVKey","type":"bytes32"},{"internalType":"bool","name":"_trusted","type":"bool"}],"name":"setProgramTrusted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"sp1RemoteVerifier","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[{"components":[{"internalType":"bytes32","name":"metaHash","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint64","name":"blockId","type":"uint64"},{"internalType":"bool","name":"isContesting","type":"bool"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"address","name":"msgSender","type":"address"},{"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"}],"internalType":"struct TaikoData.Transition","name":"tran","type":"tuple"}],"internalType":"struct IVerifier.ContextV2[]","name":"_ctxs","type":"tuple[]"},{"components":[{"internalType":"uint16","name":"tier","type":"uint16"},{"internalType":"bytes","name":"data","type":"bytes"}],"internalType":"struct TaikoData.TierProof","name":"_proof","type":"tuple"}],"name":"verifyBatchProof","outputs":[],"stateMutability":"view","type":"function"},{"inputs":[{"components":[{"internalType":"bytes32","name":"metaHash","type":"bytes32"},{"internalType":"bytes32","name":"blobHash","type":"bytes32"},{"internalType":"address","name":"prover","type":"address"},{"internalType":"uint64","name":"blockId","type":"uint64"},{"internalType":"bool","name":"isContesting","type":"bool"},{"internalType":"bool","name":"blobUsed","type":"bool"},{"internalType":"address","name":"msgSender","type":"address"}],"internalType":"struct IVerifier.Context","name":"_ctx","type":"tuple"},{"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"}],"internalType":"struct TaikoData.Transition","name":"_tran","type":"tuple"},{"components":[{"internalType":"uint16","name":"tier","type":"uint16"},{"internalType":"bytes","name":"data","type":"bytes"}],"internalType":"struct TaikoData.TierProof","name":"_proof","type":"tuple"}],"name":"verifyProof","outputs":[],"stateMutability":"view","type":"function"}]
Contract Creation Code
60a060405230608052348015610013575f5ffd5b5061001c610029565b610024610029565b6100e5565b5f54610100900460ff16156100945760405162461bcd60e51b815260206004820152602760248201527f496e697469616c697a61626c653a20636f6e747261637420697320696e697469604482015266616c697a696e6760c81b606482015260840160405180910390fd5b5f5460ff908116146100e3575f805460ff191660ff9081179091556040519081527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b565b608051611f8c6101195f395f81816105e901528181610632015281816107070152818161074701526107c20152611f8c5ff3fe60806040526004361061013c575f3560e01c80637103b6da116100b35780638da5cb5b1161006d5780638da5cb5b14610338578063a86f9d9e14610355578063e07baba614610374578063e30c3978146103aa578063f09a4016146103c7578063f2fde38b146103e6575f5ffd5b80637103b6da146102aa578063715018a6146102c957806379ba5097146102dd5780638456cb59146102f1578063899e3b1a146103055780638abf607714610324575f5ffd5b80633eb6b8cf116101045780633eb6b8cf1461020e5780633f4ba83a1461022d5780634ddd9b4a146102415780634f1ef2861461025557806352d1902d146102685780635c975abb1461028a575f5ffd5b80630c74de121461014057806321e89968146101835780633075db56146101a45780633659cfe6146101b85780633ab76e9f146101d7575b5f5ffd5b34801561014b575f5ffd5b5061016e61015a366004611680565b60fb6020525f908152604090205460ff1681565b60405190151581526020015b60405180910390f35b34801561018e575f5ffd5b506101a261019d3660046116ad565b610405565b005b3480156101af575f5ffd5b5061016e6105c7565b3480156101c3575f5ffd5b506101a26101d236600461172c565b6105df565b3480156101e2575f5ffd5b506097546101f6906001600160a01b031681565b6040516001600160a01b03909116815260200161017a565b348015610219575f5ffd5b506101f6610228366004611776565b6106af565b348015610238575f5ffd5b506101a26106c3565b34801561024c575f5ffd5b506101f66106d7565b6101a261026336600461181e565b6106fd565b348015610273575f5ffd5b5061027c6107b6565b60405190815260200161017a565b348015610295575f5ffd5b5061016e60c954610100900460ff1660021490565b3480156102b5575f5ffd5b506101a26102c43660046118c3565b610867565b3480156102d4575f5ffd5b506101a2610b74565b3480156102e8575f5ffd5b506101a2610b85565b3480156102fc575f5ffd5b506101a2610bfc565b348015610310575f5ffd5b506101a261031f366004611943565b610c0f565b34801561032f575f5ffd5b506101f6610c6f565b348015610343575f5ffd5b506033546001600160a01b03166101f6565b348015610360575f5ffd5b506101f661036f366004611943565b610c78565b34801561037f575f5ffd5b5060c9546201000090046001600160401b03166040516001600160401b03909116815260200161017a565b3480156103b5575f5ffd5b506065546001600160a01b03166101f6565b3480156103d2575f5ffd5b506101a26103e136600461196d565b610c8d565b3480156103f1575f5ffd5b506101a261040036600461172c565b610d9c565b61041560a08401608085016119a4565b1561041f57505050565b60fb5f61042f60208401846119bd565b61043d916020915f91611a06565b61044691611a2d565b815260208101919091526040015f205460ff166104765760405163503473e960e11b815260040160405180910390fd5b5f6104aa61048936859003850185611a4a565b305f61049b6060890160408a0161172c565b88356104a5610e0d565b610e86565b90505f6104b56106d7565b6001600160a01b03166104cb60208501856119bd565b6104d9916020915f91611a06565b6104e291611a2d565b60408051602081018690520160408051601f1981840301815291905261050b60208701876119bd565b610519916020908290611a06565b60405160240161052c9493929190611ada565b60408051601f198184030181529181526020820180516001600160e01b031663020a49e360e51b179052516105619190611b25565b5f60405180830381855afa9150503d805f8114610599576040519150601f19603f3d011682016040523d82523d5f602084013e61059e565b606091505b50509050806105c057604051635cf26e7960e11b815260040160405180910390fd5b5050505050565b5f60026105d660c95460ff1690565b60ff1614905090565b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001630036106305760405162461bcd60e51b815260040161062790611b3b565b60405180910390fd5b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610662610ec4565b6001600160a01b0316146106885760405162461bcd60e51b815260040161062790611b87565b61069181610edf565b604080515f808252602082019092526106ac91839190610ee7565b50565b5f6106bb848484611051565b949350505050565b6106cb6110ad565b6106d5335f61113d565b565b5f6106f87239b818afb932b6b7ba32afbb32b934b334b2b960691b5f610c78565b905090565b6001600160a01b037f00000000000000000000000000000000000000000000000000000000000000001630036107455760405162461bcd60e51b815260040161062790611b3b565b7f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316610777610ec4565b6001600160a01b03161461079d5760405162461bcd60e51b815260040161062790611b87565b6107a682610edf565b6107b282826001610ee7565b5050565b5f306001600160a01b037f000000000000000000000000000000000000000000000000000000000000000016146108555760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608401610627565b505f516020611f105f395f51905f5290565b81158015906108845750604061088060208301836119bd565b9050115b6108a15760405163a8907a0360e01b815260040160405180910390fd5b5f6108af60208301836119bd565b6108bd916020915f91611a06565b6108c691611a2d565b90505f6108d660208401846119bd565b6108e591604091602091611a06565b6108ee91611a2d565b5f83815260fb602052604090205490915060ff1661091f57604051630e5a298b60e01b815260040160405180910390fd5b5f81815260fb602052604090205460ff1661094d5760405163503473e960e11b815260040160405180910390fd5b5f610959856001611bd3565b6001600160401b03811115610970576109706117b1565b604051908082528060200260200182016040528015610999578160200160208202803683370190505b50905081815f815181106109af576109af611bf2565b6020026020010181815250505f5b85811015610a7457610a458787838181106109da576109da611bf2565b9050610160020160e0018036038101906109f49190611a4a565b305f8a8a86818110610a0857610a08611bf2565b905061016002016040016020810190610a21919061172c565b8b8b87818110610a3357610a33611bf2565b905061016002015f01356104a5610e0d565b82610a51836001611bd3565b81518110610a6157610a61611bf2565b60209081029190910101526001016109bd565b505f610a7e6106d7565b6001600160a01b03168483604051602001610a999190611c06565b60408051601f19818403018152919052610ab660208901896119bd565b610ac4916040908290611a06565b604051602401610ad79493929190611ada565b60408051601f198184030181529181526020820180516001600160e01b031663020a49e360e51b17905251610b0c9190611b25565b5f60405180830381855afa9150503d805f8114610b44576040519150601f19603f3d011682016040523d82523d5f602084013e610b49565b606091505b5050905080610b6b57604051635cf26e7960e11b815260040160405180910390fd5b50505050505050565b610b7c611141565b6106d55f61119b565b60655433906001600160a01b03168114610bf35760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b6064820152608401610627565b6106ac8161119b565b610c046111b4565b6106d533600161113d565b610c17611141565b5f82815260fb6020908152604091829020805460ff19168415159081179091558251858152918201527f4907f7df45057fc970c71422738e90d4fe5fa02f94ec0639584ccc7f6ad3af60910160405180910390a15050565b5f6106f8610ec4565b5f610c84468484611051565b90505b92915050565b5f54610100900460ff1615808015610cab57505f54600160ff909116105b80610cc45750303b158015610cc457505f5460ff166001145b610d275760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608401610627565b5f805460ff191660011790558015610d48575f805461ff0019166101001790555b610d528383611225565b8015610d97575f805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b505050565b610da4611141565b606580546001600160a01b0383166001600160a01b03199091168117909155610dd56033546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b5f610e20647461696b6f60d81b5f610c78565b6001600160a01b031663c3f909d46040518163ffffffff1660e01b81526004016101c060405180830381865afa158015610e5c573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e809190611d14565b51919050565b5f818688878787604051602001610ea296959493929190611ddf565b6040516020818303038152906040528051906020012090509695505050505050565b5f516020611f105f395f51905f52546001600160a01b031690565b6106ac611141565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff1615610f1a57610d978361125f565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015610f74575060408051601f3d908101601f19168201909252610f7191810190611e80565b60015b610fd75760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608401610627565b5f516020611f105f395f51905f5281146110455760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608401610627565b50610d978383836112fa565b5f61105c8484611324565b9050818061107257506001600160a01b03811615155b848490916110a457604051632b0d65db60e01b81526001600160401b0390921660048301526024820152604401610627565b50509392505050565b6110c160c954610100900460ff1660021490565b6110de5760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461010069ffffffffffffffffff001990911662010000426001600160401b031602171790556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa906020015b60405180910390a1565b6107b25b6033546001600160a01b031633146106d55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610627565b606580546001600160a01b03191690556106ac816113c6565b6111c860c954610100900460ff1660021490565b156111e65760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461ff0019166102001790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25890602001611133565b806001600160a01b03811661124d5760405163538ba4f960e01b815260040160405180910390fd5b61125683611417565b610d9782611475565b6001600160a01b0381163b6112cc5760405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608401610627565b5f516020611f105f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b611303836114e5565b5f8251118061130f5750805b15610d975761131e8383611524565b50505050565b6097545f906001600160a01b03168061135057604051638ed88b2560e01b815260040160405180910390fd5b604051630a3dc4f360e21b81526001600160401b0385166004820152602481018490526001600160a01b038216906328f713cc90604401602060405180830381865afa1580156113a2573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb9190611e97565b603380546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b5f54610100900460ff1661143d5760405162461bcd60e51b815260040161062790611eb2565b611445611549565b6114636001600160a01b0382161561145d578161119b565b3361119b565b5060c9805461ff001916610100179055565b5f54610100900460ff1661149b5760405162461bcd60e51b815260040161062790611eb2565b6001600160401b034611156114c35760405163a12e8fa960e01b815260040160405180910390fd5b609780546001600160a01b0319166001600160a01b0392909216919091179055565b6114ee8161125f565b6040516001600160a01b038216907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a250565b6060610c848383604051806060016040528060278152602001611f306027913961156f565b5f54610100900460ff166106d55760405162461bcd60e51b815260040161062790611eb2565b60605f5f856001600160a01b03168560405161158b9190611b25565b5f60405180830381855af49150503d805f81146115c3576040519150601f19603f3d011682016040523d82523d5f602084013e6115c8565b606091505b50915091506115d9868383876115e3565b9695505050505050565b606083156116515782515f0361164a576001600160a01b0385163b61164a5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610627565b50816106bb565b6106bb83838151156116665781518083602001fd5b8060405162461bcd60e51b81526004016106279190611efd565b5f60208284031215611690575f5ffd5b5035919050565b5f604082840312156116a7575f5ffd5b50919050565b5f5f5f8385036101808112156116c1575f5ffd5b60e08112156116ce575f5ffd5b849350608060df19820112156116e2575f5ffd5b5060e0840191506101608401356001600160401b03811115611702575f5ffd5b61170e86828701611697565b9150509250925092565b6001600160a01b03811681146106ac575f5ffd5b5f6020828403121561173c575f5ffd5b813561174781611718565b9392505050565b6001600160401b03811681146106ac575f5ffd5b80358015158114611771575f5ffd5b919050565b5f5f5f60608486031215611788575f5ffd5b83356117938161174e565b9250602084013591506117a860408501611762565b90509250925092565b634e487b7160e01b5f52604160045260245ffd5b60405161014081016001600160401b03811182821017156117e8576117e86117b1565b60405290565b604051601f8201601f191681016001600160401b0381118282101715611816576118166117b1565b604052919050565b5f5f6040838503121561182f575f5ffd5b823561183a81611718565b915060208301356001600160401b03811115611854575f5ffd5b8301601f81018513611864575f5ffd5b80356001600160401b0381111561187d5761187d6117b1565b611890601f8201601f19166020016117ee565b8181528660208385010111156118a4575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b5f5f5f604084860312156118d5575f5ffd5b83356001600160401b038111156118ea575f5ffd5b8401601f810186136118fa575f5ffd5b80356001600160401b0381111561190f575f5ffd5b86602061016083028401011115611924575f5ffd5b6020918201945092508401356001600160401b03811115611702575f5ffd5b5f5f60408385031215611954575f5ffd5b8235915061196460208401611762565b90509250929050565b5f5f6040838503121561197e575f5ffd5b823561198981611718565b9150602083013561199981611718565b809150509250929050565b5f602082840312156119b4575f5ffd5b610c8482611762565b5f5f8335601e198436030181126119d2575f5ffd5b8301803591506001600160401b038211156119eb575f5ffd5b6020019150368190038213156119ff575f5ffd5b9250929050565b5f5f85851115611a14575f5ffd5b83861115611a20575f5ffd5b5050820193919092039150565b80356020831015610c87575f19602084900360031b1b1692915050565b5f6080828403128015611a5b575f5ffd5b50604051608081016001600160401b0381118282101715611a7e57611a7e6117b1565b6040908152833582526020808501359083015283810135908201526060928301359281019290925250919050565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b848152606060208201525f611af26060830186611aac565b8281036040840152838152838560208301375f602085830101526020601f19601f86011682010191505095945050505050565b5f82518060208501845e5f920191825250919050565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b19195b1959d85d1958d85b1b60a21b606082015260800190565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b6163746976652070726f787960a01b606082015260800190565b80820180821115610c8757634e487b7160e01b5f52601160045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b81515f90829060208501835b82811015611c30578151845260209384019390910190600101611c12565b509195945050505050565b80516117718161174e565b805163ffffffff81168114611771575f5ffd5b80516bffffffffffffffffffffffff81168114611771575f5ffd5b805160ff81168114611771575f5ffd5b5f60a08284031215611c94575f5ffd5b60405160a081016001600160401b0381118282101715611cb657611cb66117b1565b604052905080611cc583611c74565b8152611cd360208401611c74565b6020820152611ce460408401611c46565b60408201526060830151611cf78161174e565b6060820152611d0860808401611c46565b60808201525092915050565b5f6101c0828403128015611d26575f5ffd5b50611d2f6117c5565b611d3883611c3b565b8152611d4660208401611c3b565b6020820152611d5760408401611c3b565b6040820152611d6860608401611c3b565b6060820152611d7960808401611c46565b6080820152611d8a60a08401611c59565b60a0820152611d9b60c08401611c74565b60c0820152611dac60e08401611c3b565b60e0820152611dbf846101008501611c84565b610100820152611dd26101a08401611c3b565b6101208201529392505050565b6101408152600c6101408201526b2b22a924a32cafa82927a7a360a11b6101608201525f610180820190506001600160401b038816602083015260018060a01b03871660408301528551606083015260208601516080830152604086015160a0830152606086015160c0830152611e6160e08301866001600160a01b03169052565b6001600160a01b03939093166101008201526101200152949350505050565b5f60208284031215611e90575f5ffd5b5051919050565b5f60208284031215611ea7575f5ffd5b815161174781611718565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b602081525f610c846020830184611aac56fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c206661696c6564a264697066735822122021cd4262507aeaacb5dd9d3409dfc57fe54e0339ae0edd50764fa94ff4e6286964736f6c634300081b0033
Deployed Bytecode
0x60806040526004361061013c575f3560e01c80637103b6da116100b35780638da5cb5b1161006d5780638da5cb5b14610338578063a86f9d9e14610355578063e07baba614610374578063e30c3978146103aa578063f09a4016146103c7578063f2fde38b146103e6575f5ffd5b80637103b6da146102aa578063715018a6146102c957806379ba5097146102dd5780638456cb59146102f1578063899e3b1a146103055780638abf607714610324575f5ffd5b80633eb6b8cf116101045780633eb6b8cf1461020e5780633f4ba83a1461022d5780634ddd9b4a146102415780634f1ef2861461025557806352d1902d146102685780635c975abb1461028a575f5ffd5b80630c74de121461014057806321e89968146101835780633075db56146101a45780633659cfe6146101b85780633ab76e9f146101d7575b5f5ffd5b34801561014b575f5ffd5b5061016e61015a366004611680565b60fb6020525f908152604090205460ff1681565b60405190151581526020015b60405180910390f35b34801561018e575f5ffd5b506101a261019d3660046116ad565b610405565b005b3480156101af575f5ffd5b5061016e6105c7565b3480156101c3575f5ffd5b506101a26101d236600461172c565b6105df565b3480156101e2575f5ffd5b506097546101f6906001600160a01b031681565b6040516001600160a01b03909116815260200161017a565b348015610219575f5ffd5b506101f6610228366004611776565b6106af565b348015610238575f5ffd5b506101a26106c3565b34801561024c575f5ffd5b506101f66106d7565b6101a261026336600461181e565b6106fd565b348015610273575f5ffd5b5061027c6107b6565b60405190815260200161017a565b348015610295575f5ffd5b5061016e60c954610100900460ff1660021490565b3480156102b5575f5ffd5b506101a26102c43660046118c3565b610867565b3480156102d4575f5ffd5b506101a2610b74565b3480156102e8575f5ffd5b506101a2610b85565b3480156102fc575f5ffd5b506101a2610bfc565b348015610310575f5ffd5b506101a261031f366004611943565b610c0f565b34801561032f575f5ffd5b506101f6610c6f565b348015610343575f5ffd5b506033546001600160a01b03166101f6565b348015610360575f5ffd5b506101f661036f366004611943565b610c78565b34801561037f575f5ffd5b5060c9546201000090046001600160401b03166040516001600160401b03909116815260200161017a565b3480156103b5575f5ffd5b506065546001600160a01b03166101f6565b3480156103d2575f5ffd5b506101a26103e136600461196d565b610c8d565b3480156103f1575f5ffd5b506101a261040036600461172c565b610d9c565b61041560a08401608085016119a4565b1561041f57505050565b60fb5f61042f60208401846119bd565b61043d916020915f91611a06565b61044691611a2d565b815260208101919091526040015f205460ff166104765760405163503473e960e11b815260040160405180910390fd5b5f6104aa61048936859003850185611a4a565b305f61049b6060890160408a0161172c565b88356104a5610e0d565b610e86565b90505f6104b56106d7565b6001600160a01b03166104cb60208501856119bd565b6104d9916020915f91611a06565b6104e291611a2d565b60408051602081018690520160408051601f1981840301815291905261050b60208701876119bd565b610519916020908290611a06565b60405160240161052c9493929190611ada565b60408051601f198184030181529181526020820180516001600160e01b031663020a49e360e51b179052516105619190611b25565b5f60405180830381855afa9150503d805f8114610599576040519150601f19603f3d011682016040523d82523d5f602084013e61059e565b606091505b50509050806105c057604051635cf26e7960e11b815260040160405180910390fd5b5050505050565b5f60026105d660c95460ff1690565b60ff1614905090565b6001600160a01b037f000000000000000000000000b83b7f7fa8f4e6332769d123b8c973f485ac4bbc1630036106305760405162461bcd60e51b815260040161062790611b3b565b60405180910390fd5b7f000000000000000000000000b83b7f7fa8f4e6332769d123b8c973f485ac4bbc6001600160a01b0316610662610ec4565b6001600160a01b0316146106885760405162461bcd60e51b815260040161062790611b87565b61069181610edf565b604080515f808252602082019092526106ac91839190610ee7565b50565b5f6106bb848484611051565b949350505050565b6106cb6110ad565b6106d5335f61113d565b565b5f6106f87239b818afb932b6b7ba32afbb32b934b334b2b960691b5f610c78565b905090565b6001600160a01b037f000000000000000000000000b83b7f7fa8f4e6332769d123b8c973f485ac4bbc1630036107455760405162461bcd60e51b815260040161062790611b3b565b7f000000000000000000000000b83b7f7fa8f4e6332769d123b8c973f485ac4bbc6001600160a01b0316610777610ec4565b6001600160a01b03161461079d5760405162461bcd60e51b815260040161062790611b87565b6107a682610edf565b6107b282826001610ee7565b5050565b5f306001600160a01b037f000000000000000000000000b83b7f7fa8f4e6332769d123b8c973f485ac4bbc16146108555760405162461bcd60e51b815260206004820152603860248201527f555550535570677261646561626c653a206d757374206e6f742062652063616c60448201527f6c6564207468726f7567682064656c656761746563616c6c00000000000000006064820152608401610627565b505f516020611f105f395f51905f5290565b81158015906108845750604061088060208301836119bd565b9050115b6108a15760405163a8907a0360e01b815260040160405180910390fd5b5f6108af60208301836119bd565b6108bd916020915f91611a06565b6108c691611a2d565b90505f6108d660208401846119bd565b6108e591604091602091611a06565b6108ee91611a2d565b5f83815260fb602052604090205490915060ff1661091f57604051630e5a298b60e01b815260040160405180910390fd5b5f81815260fb602052604090205460ff1661094d5760405163503473e960e11b815260040160405180910390fd5b5f610959856001611bd3565b6001600160401b03811115610970576109706117b1565b604051908082528060200260200182016040528015610999578160200160208202803683370190505b50905081815f815181106109af576109af611bf2565b6020026020010181815250505f5b85811015610a7457610a458787838181106109da576109da611bf2565b9050610160020160e0018036038101906109f49190611a4a565b305f8a8a86818110610a0857610a08611bf2565b905061016002016040016020810190610a21919061172c565b8b8b87818110610a3357610a33611bf2565b905061016002015f01356104a5610e0d565b82610a51836001611bd3565b81518110610a6157610a61611bf2565b60209081029190910101526001016109bd565b505f610a7e6106d7565b6001600160a01b03168483604051602001610a999190611c06565b60408051601f19818403018152919052610ab660208901896119bd565b610ac4916040908290611a06565b604051602401610ad79493929190611ada565b60408051601f198184030181529181526020820180516001600160e01b031663020a49e360e51b17905251610b0c9190611b25565b5f60405180830381855afa9150503d805f8114610b44576040519150601f19603f3d011682016040523d82523d5f602084013e610b49565b606091505b5050905080610b6b57604051635cf26e7960e11b815260040160405180910390fd5b50505050505050565b610b7c611141565b6106d55f61119b565b60655433906001600160a01b03168114610bf35760405162461bcd60e51b815260206004820152602960248201527f4f776e61626c6532537465703a2063616c6c6572206973206e6f7420746865206044820152683732bb9037bbb732b960b91b6064820152608401610627565b6106ac8161119b565b610c046111b4565b6106d533600161113d565b610c17611141565b5f82815260fb6020908152604091829020805460ff19168415159081179091558251858152918201527f4907f7df45057fc970c71422738e90d4fe5fa02f94ec0639584ccc7f6ad3af60910160405180910390a15050565b5f6106f8610ec4565b5f610c84468484611051565b90505b92915050565b5f54610100900460ff1615808015610cab57505f54600160ff909116105b80610cc45750303b158015610cc457505f5460ff166001145b610d275760405162461bcd60e51b815260206004820152602e60248201527f496e697469616c697a61626c653a20636f6e747261637420697320616c72656160448201526d191e481a5b9a5d1a585b1a5e995960921b6064820152608401610627565b5f805460ff191660011790558015610d48575f805461ff0019166101001790555b610d528383611225565b8015610d97575f805461ff0019169055604051600181527f7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb38474024989060200160405180910390a15b505050565b610da4611141565b606580546001600160a01b0383166001600160a01b03199091168117909155610dd56033546001600160a01b031690565b6001600160a01b03167f38d16b8cac22d99fc7c124b9cd0de2d3fa1faef420bfe791d8c362d765e2270060405160405180910390a350565b5f610e20647461696b6f60d81b5f610c78565b6001600160a01b031663c3f909d46040518163ffffffff1660e01b81526004016101c060405180830381865afa158015610e5c573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e809190611d14565b51919050565b5f818688878787604051602001610ea296959493929190611ddf565b6040516020818303038152906040528051906020012090509695505050505050565b5f516020611f105f395f51905f52546001600160a01b031690565b6106ac611141565b7f4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd91435460ff1615610f1a57610d978361125f565b826001600160a01b03166352d1902d6040518163ffffffff1660e01b8152600401602060405180830381865afa925050508015610f74575060408051601f3d908101601f19168201909252610f7191810190611e80565b60015b610fd75760405162461bcd60e51b815260206004820152602e60248201527f45524331393637557067726164653a206e657720696d706c656d656e7461746960448201526d6f6e206973206e6f74205555505360901b6064820152608401610627565b5f516020611f105f395f51905f5281146110455760405162461bcd60e51b815260206004820152602960248201527f45524331393637557067726164653a20756e737570706f727465642070726f786044820152681a58589b195555525160ba1b6064820152608401610627565b50610d978383836112fa565b5f61105c8484611324565b9050818061107257506001600160a01b03811615155b848490916110a457604051632b0d65db60e01b81526001600160401b0390921660048301526024820152604401610627565b50509392505050565b6110c160c954610100900460ff1660021490565b6110de5760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461010069ffffffffffffffffff001990911662010000426001600160401b031602171790556040513381527f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa906020015b60405180910390a1565b6107b25b6033546001600160a01b031633146106d55760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610627565b606580546001600160a01b03191690556106ac816113c6565b6111c860c954610100900460ff1660021490565b156111e65760405163bae6e2a960e01b815260040160405180910390fd5b60c9805461ff0019166102001790556040513381527f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25890602001611133565b806001600160a01b03811661124d5760405163538ba4f960e01b815260040160405180910390fd5b61125683611417565b610d9782611475565b6001600160a01b0381163b6112cc5760405162461bcd60e51b815260206004820152602d60248201527f455243313936373a206e657720696d706c656d656e746174696f6e206973206e60448201526c1bdd08184818dbdb9d1c9858dd609a1b6064820152608401610627565b5f516020611f105f395f51905f5280546001600160a01b0319166001600160a01b0392909216919091179055565b611303836114e5565b5f8251118061130f5750805b15610d975761131e8383611524565b50505050565b6097545f906001600160a01b03168061135057604051638ed88b2560e01b815260040160405180910390fd5b604051630a3dc4f360e21b81526001600160401b0385166004820152602481018490526001600160a01b038216906328f713cc90604401602060405180830381865afa1580156113a2573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106bb9190611e97565b603380546001600160a01b038381166001600160a01b0319831681179093556040519116919082907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0905f90a35050565b5f54610100900460ff1661143d5760405162461bcd60e51b815260040161062790611eb2565b611445611549565b6114636001600160a01b0382161561145d578161119b565b3361119b565b5060c9805461ff001916610100179055565b5f54610100900460ff1661149b5760405162461bcd60e51b815260040161062790611eb2565b6001600160401b034611156114c35760405163a12e8fa960e01b815260040160405180910390fd5b609780546001600160a01b0319166001600160a01b0392909216919091179055565b6114ee8161125f565b6040516001600160a01b038216907fbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b905f90a250565b6060610c848383604051806060016040528060278152602001611f306027913961156f565b5f54610100900460ff166106d55760405162461bcd60e51b815260040161062790611eb2565b60605f5f856001600160a01b03168560405161158b9190611b25565b5f60405180830381855af49150503d805f81146115c3576040519150601f19603f3d011682016040523d82523d5f602084013e6115c8565b606091505b50915091506115d9868383876115e3565b9695505050505050565b606083156116515782515f0361164a576001600160a01b0385163b61164a5760405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606401610627565b50816106bb565b6106bb83838151156116665781518083602001fd5b8060405162461bcd60e51b81526004016106279190611efd565b5f60208284031215611690575f5ffd5b5035919050565b5f604082840312156116a7575f5ffd5b50919050565b5f5f5f8385036101808112156116c1575f5ffd5b60e08112156116ce575f5ffd5b849350608060df19820112156116e2575f5ffd5b5060e0840191506101608401356001600160401b03811115611702575f5ffd5b61170e86828701611697565b9150509250925092565b6001600160a01b03811681146106ac575f5ffd5b5f6020828403121561173c575f5ffd5b813561174781611718565b9392505050565b6001600160401b03811681146106ac575f5ffd5b80358015158114611771575f5ffd5b919050565b5f5f5f60608486031215611788575f5ffd5b83356117938161174e565b9250602084013591506117a860408501611762565b90509250925092565b634e487b7160e01b5f52604160045260245ffd5b60405161014081016001600160401b03811182821017156117e8576117e86117b1565b60405290565b604051601f8201601f191681016001600160401b0381118282101715611816576118166117b1565b604052919050565b5f5f6040838503121561182f575f5ffd5b823561183a81611718565b915060208301356001600160401b03811115611854575f5ffd5b8301601f81018513611864575f5ffd5b80356001600160401b0381111561187d5761187d6117b1565b611890601f8201601f19166020016117ee565b8181528660208385010111156118a4575f5ffd5b816020840160208301375f602083830101528093505050509250929050565b5f5f5f604084860312156118d5575f5ffd5b83356001600160401b038111156118ea575f5ffd5b8401601f810186136118fa575f5ffd5b80356001600160401b0381111561190f575f5ffd5b86602061016083028401011115611924575f5ffd5b6020918201945092508401356001600160401b03811115611702575f5ffd5b5f5f60408385031215611954575f5ffd5b8235915061196460208401611762565b90509250929050565b5f5f6040838503121561197e575f5ffd5b823561198981611718565b9150602083013561199981611718565b809150509250929050565b5f602082840312156119b4575f5ffd5b610c8482611762565b5f5f8335601e198436030181126119d2575f5ffd5b8301803591506001600160401b038211156119eb575f5ffd5b6020019150368190038213156119ff575f5ffd5b9250929050565b5f5f85851115611a14575f5ffd5b83861115611a20575f5ffd5b5050820193919092039150565b80356020831015610c87575f19602084900360031b1b1692915050565b5f6080828403128015611a5b575f5ffd5b50604051608081016001600160401b0381118282101715611a7e57611a7e6117b1565b6040908152833582526020808501359083015283810135908201526060928301359281019290925250919050565b5f81518084528060208401602086015e5f602082860101526020601f19601f83011685010191505092915050565b848152606060208201525f611af26060830186611aac565b8281036040840152838152838560208301375f602085830101526020601f19601f86011682010191505095945050505050565b5f82518060208501845e5f920191825250919050565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b19195b1959d85d1958d85b1b60a21b606082015260800190565b6020808252602c908201527f46756e6374696f6e206d7573742062652063616c6c6564207468726f7567682060408201526b6163746976652070726f787960a01b606082015260800190565b80820180821115610c8757634e487b7160e01b5f52601160045260245ffd5b634e487b7160e01b5f52603260045260245ffd5b81515f90829060208501835b82811015611c30578151845260209384019390910190600101611c12565b509195945050505050565b80516117718161174e565b805163ffffffff81168114611771575f5ffd5b80516bffffffffffffffffffffffff81168114611771575f5ffd5b805160ff81168114611771575f5ffd5b5f60a08284031215611c94575f5ffd5b60405160a081016001600160401b0381118282101715611cb657611cb66117b1565b604052905080611cc583611c74565b8152611cd360208401611c74565b6020820152611ce460408401611c46565b60408201526060830151611cf78161174e565b6060820152611d0860808401611c46565b60808201525092915050565b5f6101c0828403128015611d26575f5ffd5b50611d2f6117c5565b611d3883611c3b565b8152611d4660208401611c3b565b6020820152611d5760408401611c3b565b6040820152611d6860608401611c3b565b6060820152611d7960808401611c46565b6080820152611d8a60a08401611c59565b60a0820152611d9b60c08401611c74565b60c0820152611dac60e08401611c3b565b60e0820152611dbf846101008501611c84565b610100820152611dd26101a08401611c3b565b6101208201529392505050565b6101408152600c6101408201526b2b22a924a32cafa82927a7a360a11b6101608201525f610180820190506001600160401b038816602083015260018060a01b03871660408301528551606083015260208601516080830152604086015160a0830152606086015160c0830152611e6160e08301866001600160a01b03169052565b6001600160a01b03939093166101008201526101200152949350505050565b5f60208284031215611e90575f5ffd5b5051919050565b5f60208284031215611ea7575f5ffd5b815161174781611718565b6020808252602b908201527f496e697469616c697a61626c653a20636f6e7472616374206973206e6f74206960408201526a6e697469616c697a696e6760a81b606082015260800190565b602081525f610c846020830184611aac56fe360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc416464726573733a206c6f772d6c6576656c2064656c65676174652063616c6c206661696c6564a264697066735822122021cd4262507aeaacb5dd9d3409dfc57fe54e0339ae0edd50764fa94ff4e6286964736f6c634300081b0033
Loading...
Loading
Loading...
Loading
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.