Transaction Hash:
Block:
19944295 at May-25-2024 03:46:35 AM +UTC
Transaction Fee:
0.000254222722239054 ETH
$0.48
Gas Used:
67,458 Gas / 3.768607463 Gwei
Emitted Events:
186 |
TransparentUpgradeableProxy.0xea3b023b4c8680d4b4824f0143132c95476359a2bb70a81d6c5a36f6918f6339( 0xea3b023b4c8680d4b4824f0143132c95476359a2bb70a81d6c5a36f6918f6339, 0x00000000000000000000000000000000000000000000000000000000000950b5, 0x505c6fc279ed46edaa0574c9235ef9d40d6934ab483ab2f3166c5e33208ea810, 0x7aa046acadd1ac189b0daf7dd9e50d2f49fc904ce89c1def2590148e1196f956 )
|
187 |
TransparentUpgradeableProxy.0xe856c2b8bd4eb0027ce32eeaf595c21b0b6b4644b326e5b7bd80a1cf8db72e6c( 0xe856c2b8bd4eb0027ce32eeaf595c21b0b6b4644b326e5b7bd80a1cf8db72e6c, 0x00000000000000000000000041ae920256b6a08196614434c72f29f3bcb6aae8, 0x00000000000000000000000041ae920256b6a08196614434c72f29f3bcb6aae8, 0x7aa046acadd1ac189b0daf7dd9e50d2f49fc904ce89c1def2590148e1196f956, 00000000000000000000000000000000000000000000000000000b919b2b84e0, 0000000000000000000000000000000000000000000000000ef960c880a58000, 00000000000000000000000000000000000000000000000000000000000950b5, 0000000000000000000000000000000000000000000000000000000000000080, 0000000000000000000000000000000000000000000000000000000000000000 )
|
Account State Difference:
Address | Before | After | State Difference | ||
---|---|---|---|---|---|
0x41ae9202...3bCb6Aae8 |
1.090143474752219193 Eth
Nonce: 39
|
0.010876532028496139 Eth
Nonce: 40
| 1.079266942723723054 | ||
0x95222290...5CC4BAfe5
Miner
| (beaverbuild) | 12.61797327665353924 Eth | 12.617975210206847842 Eth | 0.000001933553308602 | |
0xd19d4B5d...D11B0876F | (Linea: L1 Message Service) | 176,320.639445987976965443 Eth | 176,321.718458707978449443 Eth | 1.079012720001484 |
Execution Trace
ETH 1.079012720001484
TransparentUpgradeableProxy.9f3ce55a( )
- ETH 1.079012720001484
LineaRollup.sendMessage( _to=0x41ae920256B6a08196614434C72f29F3bCb6Aae8, _fee=12720001484000, _calldata=0x )
File 1 of 2: TransparentUpgradeableProxy
File 2 of 2: LineaRollup
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol) pragma solidity ^0.8.0; import "../utils/Context.sol"; /** * @dev Contract module which provides a basic access control mechanism, where * there is an account (an owner) that can be granted exclusive access to * specific functions. * * By default, the owner account will be the one that deploys the contract. This * can later be changed with {transferOwnership}. * * This module is used through inheritance. It will make available the modifier * `onlyOwner`, which can be applied to your functions to restrict their use to * the owner. */ abstract contract Ownable is Context { address private _owner; event OwnershipTransferred(address indexed previousOwner, address indexed newOwner); /** * @dev Initializes the contract setting the deployer as the initial owner. */ constructor() { _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 anymore. Can only be called by the current owner. * * NOTE: Renouncing ownership will leave the contract without an owner, * thereby removing any functionality that is only available to the owner. */ function renounceOwnership() public virtual onlyOwner { _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); } } // 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.8.3) (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.9._ */ 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.7.0) (proxy/beacon/BeaconProxy.sol) pragma solidity ^0.8.0; import "./IBeacon.sol"; import "../Proxy.sol"; import "../ERC1967/ERC1967Upgrade.sol"; /** * @dev This contract implements a proxy that gets the implementation address for each call from an {UpgradeableBeacon}. * * The beacon address is stored in storage slot `uint256(keccak256('eip1967.proxy.beacon')) - 1`, so that it doesn't * conflict with the storage layout of the implementation behind the proxy. * * _Available since v3.4._ */ contract BeaconProxy is Proxy, ERC1967Upgrade { /** * @dev Initializes the proxy with `beacon`. * * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon. This * will typically be an encoded function call, and allows initializing the storage of the proxy like a Solidity * constructor. * * Requirements: * * - `beacon` must be a contract with the interface {IBeacon}. */ constructor(address beacon, bytes memory data) payable { _upgradeBeaconToAndCall(beacon, data, false); } /** * @dev Returns the current beacon address. */ function _beacon() internal view virtual returns (address) { return _getBeacon(); } /** * @dev Returns the current implementation address of the associated beacon. */ function _implementation() internal view virtual override returns (address) { return IBeacon(_getBeacon()).implementation(); } /** * @dev Changes the proxy to use a new beacon. Deprecated: see {_upgradeBeaconToAndCall}. * * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon. * * Requirements: * * - `beacon` must be a contract. * - The implementation returned by `beacon` must be a contract. */ function _setBeacon(address beacon, bytes memory data) internal virtual { _upgradeBeaconToAndCall(beacon, data, false); } } // 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 v4.4.1 (proxy/beacon/UpgradeableBeacon.sol) pragma solidity ^0.8.0; import "./IBeacon.sol"; import "../../access/Ownable.sol"; import "../../utils/Address.sol"; /** * @dev This contract is used in conjunction with one or more instances of {BeaconProxy} to determine their * implementation contract, which is where they will delegate all function calls. * * An owner is able to change the implementation the beacon points to, thus upgrading the proxies that use this beacon. */ contract UpgradeableBeacon is IBeacon, Ownable { address private _implementation; /** * @dev Emitted when the implementation returned by the beacon is changed. */ event Upgraded(address indexed implementation); /** * @dev Sets the address of the initial implementation, and the deployer account as the owner who can upgrade the * beacon. */ constructor(address implementation_) { _setImplementation(implementation_); } /** * @dev Returns the current implementation address. */ function implementation() public view virtual override returns (address) { return _implementation; } /** * @dev Upgrades the beacon to a new implementation. * * Emits an {Upgraded} event. * * Requirements: * * - msg.sender must be the owner of the contract. * - `newImplementation` must be a contract. */ function upgradeTo(address newImplementation) public virtual onlyOwner { _setImplementation(newImplementation); emit Upgraded(newImplementation); } /** * @dev Sets the implementation contract address for this beacon * * Requirements: * * - `newImplementation` must be a contract. */ function _setImplementation(address newImplementation) private { require(Address.isContract(newImplementation), "UpgradeableBeacon: implementation is not a contract"); _implementation = newImplementation; } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (proxy/ERC1967/ERC1967Proxy.sol) pragma solidity ^0.8.0; import "../Proxy.sol"; import "./ERC1967Upgrade.sol"; /** * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an * implementation address that can be changed. This address is stored in storage in the location specified by * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the * implementation behind the proxy. */ contract ERC1967Proxy is Proxy, ERC1967Upgrade { /** * @dev Initializes the upgradeable proxy with an initial implementation specified by `_logic`. * * If `_data` is nonempty, it's used as data in a delegate call to `_logic`. This will typically be an encoded * function call, and allows initializing the storage of the proxy like a Solidity constructor. */ constructor(address _logic, bytes memory _data) payable { _upgradeToAndCall(_logic, _data, false); } /** * @dev Returns the current implementation address. */ function _implementation() internal view virtual override returns (address impl) { return ERC1967Upgrade._getImplementation(); } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.8.3) (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._ * * @custom:oz-upgrades-unsafe-allow delegatecall */ 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.6.0) (proxy/Proxy.sol) pragma solidity ^0.8.0; /** * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to * be specified by overriding the virtual {_implementation} function. * * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a * different contract through the {_delegate} function. * * The success and return data of the delegated call will be returned back to the caller of the proxy. */ abstract contract Proxy { /** * @dev Delegates the current call to `implementation`. * * This function does not return to its internal call site, it will return directly to the external caller. */ function _delegate(address implementation) internal virtual { assembly { // Copy msg.data. We take full control of memory in this inline assembly // block because it will not return to Solidity code. We overwrite the // Solidity scratch pad at memory position 0. calldatacopy(0, 0, calldatasize()) // Call the implementation. // out and outsize are 0 because we don't know the size yet. let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0) // Copy the returned data. returndatacopy(0, 0, returndatasize()) switch result // delegatecall returns 0 on error. case 0 { revert(0, returndatasize()) } default { return(0, returndatasize()) } } } /** * @dev This is a virtual function that should be overridden so it returns the address to which the fallback function * and {_fallback} should delegate. */ function _implementation() internal view virtual returns (address); /** * @dev Delegates the current call to the address returned by `_implementation()`. * * This function does not return to its internal call site, it will return directly to the external caller. */ function _fallback() internal virtual { _beforeFallback(); _delegate(_implementation()); } /** * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other * function in the contract matches the call data. */ fallback() external payable virtual { _fallback(); } /** * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data * is empty. */ receive() external payable virtual { _fallback(); } /** * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback` * call, or as part of the Solidity `fallback` or `receive` functions. * * If overridden should call `super._beforeFallback()`. */ function _beforeFallback() internal virtual {} } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.8.3) (proxy/transparent/ProxyAdmin.sol) pragma solidity ^0.8.0; import "./TransparentUpgradeableProxy.sol"; import "../../access/Ownable.sol"; /** * @dev This is an auxiliary contract meant to be assigned as the admin of a {TransparentUpgradeableProxy}. For an * explanation of why you would want to use this see the documentation for {TransparentUpgradeableProxy}. */ contract ProxyAdmin is Ownable { /** * @dev Returns the current implementation of `proxy`. * * Requirements: * * - This contract must be the admin of `proxy`. */ function getProxyImplementation(ITransparentUpgradeableProxy proxy) public view virtual returns (address) { // We need to manually run the static call since the getter cannot be flagged as view // bytes4(keccak256("implementation()")) == 0x5c60da1b (bool success, bytes memory returndata) = address(proxy).staticcall(hex"5c60da1b"); require(success); return abi.decode(returndata, (address)); } /** * @dev Returns the current admin of `proxy`. * * Requirements: * * - This contract must be the admin of `proxy`. */ function getProxyAdmin(ITransparentUpgradeableProxy proxy) public view virtual returns (address) { // We need to manually run the static call since the getter cannot be flagged as view // bytes4(keccak256("admin()")) == 0xf851a440 (bool success, bytes memory returndata) = address(proxy).staticcall(hex"f851a440"); require(success); return abi.decode(returndata, (address)); } /** * @dev Changes the admin of `proxy` to `newAdmin`. * * Requirements: * * - This contract must be the current admin of `proxy`. */ function changeProxyAdmin(ITransparentUpgradeableProxy proxy, address newAdmin) public virtual onlyOwner { proxy.changeAdmin(newAdmin); } /** * @dev Upgrades `proxy` to `implementation`. See {TransparentUpgradeableProxy-upgradeTo}. * * Requirements: * * - This contract must be the admin of `proxy`. */ function upgrade(ITransparentUpgradeableProxy proxy, address implementation) public virtual onlyOwner { proxy.upgradeTo(implementation); } /** * @dev Upgrades `proxy` to `implementation` and calls a function on the new implementation. See * {TransparentUpgradeableProxy-upgradeToAndCall}. * * Requirements: * * - This contract must be the admin of `proxy`. */ function upgradeAndCall( ITransparentUpgradeableProxy proxy, address implementation, bytes memory data ) public payable virtual onlyOwner { proxy.upgradeToAndCall{value: msg.value}(implementation, data); } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.8.3) (proxy/transparent/TransparentUpgradeableProxy.sol) pragma solidity ^0.8.0; import "../ERC1967/ERC1967Proxy.sol"; /** * @dev Interface for {TransparentUpgradeableProxy}. In order to implement transparency, {TransparentUpgradeableProxy} * does not implement this interface directly, and some of its functions are implemented by an internal dispatch * mechanism. The compiler is unaware that these functions are implemented by {TransparentUpgradeableProxy} and will not * include them in the ABI so this interface must be used to interact with it. */ interface ITransparentUpgradeableProxy is IERC1967 { function admin() external view returns (address); function implementation() external view returns (address); function changeAdmin(address) external; function upgradeTo(address) external; function upgradeToAndCall(address, bytes memory) external payable; } /** * @dev This contract implements a proxy that is upgradeable by an admin. * * To avoid https://medium.com/nomic-labs-blog/malicious-backdoors-in-ethereum-proxies-62629adf3357[proxy selector * clashing], which can potentially be used in an attack, this contract uses the * https://blog.openzeppelin.com/the-transparent-proxy-pattern/[transparent proxy pattern]. This pattern implies two * things that go hand in hand: * * 1. If any account other than the admin calls the proxy, the call will be forwarded to the implementation, even if * that call matches one of the admin functions exposed by the proxy itself. * 2. If the admin calls the proxy, it can access the admin functions, but its calls will never be forwarded to the * implementation. If the admin tries to call a function on the implementation it will fail with an error that says * "admin cannot fallback to proxy target". * * These properties mean that the admin account can only be used for admin actions like upgrading the proxy or changing * the admin, so it's best if it's a dedicated account that is not used for anything else. This will avoid headaches due * to sudden errors when trying to call a function from the proxy implementation. * * Our recommendation is for the dedicated account to be an instance of the {ProxyAdmin} contract. If set up this way, * you should think of the `ProxyAdmin` instance as the real administrative interface of your proxy. * * NOTE: The real interface of this proxy is that defined in `ITransparentUpgradeableProxy`. This contract does not * inherit from that interface, and instead the admin functions are implicitly implemented using a custom dispatch * mechanism in `_fallback`. Consequently, the compiler will not produce an ABI for this contract. This is necessary to * fully implement transparency without decoding reverts caused by selector clashes between the proxy and the * implementation. * * WARNING: It is not recommended to extend this contract to add additional external functions. If you do so, the compiler * will not check that there are no selector conflicts, due to the note above. A selector clash between any new function * and the functions declared in {ITransparentUpgradeableProxy} will be resolved in favor of the new one. This could * render the admin operations inaccessible, which could prevent upgradeability. Transparency may also be compromised. */ contract TransparentUpgradeableProxy is ERC1967Proxy { /** * @dev Initializes an upgradeable proxy managed by `_admin`, backed by the implementation at `_logic`, and * optionally initialized with `_data` as explained in {ERC1967Proxy-constructor}. */ constructor( address _logic, address admin_, bytes memory _data ) payable ERC1967Proxy(_logic, _data) { _changeAdmin(admin_); } /** * @dev Modifier used internally that will delegate the call to the implementation unless the sender is the admin. * * CAUTION: This modifier is deprecated, as it could cause issues if the modified function has arguments, and the * implementation provides a function with the same selector. */ modifier ifAdmin() { if (msg.sender == _getAdmin()) { _; } else { _fallback(); } } /** * @dev If caller is the admin process the call internally, otherwise transparently fallback to the proxy behavior */ function _fallback() internal virtual override { if (msg.sender == _getAdmin()) { bytes memory ret; bytes4 selector = msg.sig; if (selector == ITransparentUpgradeableProxy.upgradeTo.selector) { ret = _dispatchUpgradeTo(); } else if (selector == ITransparentUpgradeableProxy.upgradeToAndCall.selector) { ret = _dispatchUpgradeToAndCall(); } else if (selector == ITransparentUpgradeableProxy.changeAdmin.selector) { ret = _dispatchChangeAdmin(); } else if (selector == ITransparentUpgradeableProxy.admin.selector) { ret = _dispatchAdmin(); } else if (selector == ITransparentUpgradeableProxy.implementation.selector) { ret = _dispatchImplementation(); } else { revert("TransparentUpgradeableProxy: admin cannot fallback to proxy target"); } assembly { return(add(ret, 0x20), mload(ret)) } } else { super._fallback(); } } /** * @dev Returns the current admin. * * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call. * `0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103` */ function _dispatchAdmin() private returns (bytes memory) { _requireZeroValue(); address admin = _getAdmin(); return abi.encode(admin); } /** * @dev Returns the current implementation. * * TIP: To get this value clients can read directly from the storage slot shown below (specified by EIP1967) using the * https://eth.wiki/json-rpc/API#eth_getstorageat[`eth_getStorageAt`] RPC call. * `0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc` */ function _dispatchImplementation() private returns (bytes memory) { _requireZeroValue(); address implementation = _implementation(); return abi.encode(implementation); } /** * @dev Changes the admin of the proxy. * * Emits an {AdminChanged} event. */ function _dispatchChangeAdmin() private returns (bytes memory) { _requireZeroValue(); address newAdmin = abi.decode(msg.data[4:], (address)); _changeAdmin(newAdmin); return ""; } /** * @dev Upgrade the implementation of the proxy. */ function _dispatchUpgradeTo() private returns (bytes memory) { _requireZeroValue(); address newImplementation = abi.decode(msg.data[4:], (address)); _upgradeToAndCall(newImplementation, bytes(""), false); return ""; } /** * @dev Upgrade the implementation of the proxy, and then call a function from the new implementation as specified * by `data`, which should be an encoded function call. This is useful to initialize new storage variables in the * proxied contract. */ function _dispatchUpgradeToAndCall() private returns (bytes memory) { (address newImplementation, bytes memory data) = abi.decode(msg.data[4:], (address, bytes)); _upgradeToAndCall(newImplementation, data, true); return ""; } /** * @dev Returns the current admin. */ function _admin() internal view virtual returns (address) { return _getAdmin(); } /** * @dev To keep this contract fully transparent, all `ifAdmin` functions must be payable. This helper is here to * emulate some proxy functions being non-payable while still allowing value to pass through. */ function _requireZeroValue() private { require(msg.value == 0); } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.8.0) (utils/Address.sol) pragma solidity ^0.8.1; /** * @dev Collection of functions related to the address type */ library Address { /** * @dev Returns true if `account` is a contract. * * [IMPORTANT] * ==== * It is unsafe to assume that an address for which this function returns * false is an externally-owned account (EOA) and not a contract. * * Among others, `isContract` will return false for the following * types of addresses: * * - an externally-owned account * - a contract in construction * - an address where a contract will be created * - an address where a contract lived, but was destroyed * ==== * * [IMPORTANT] * ==== * You shouldn't rely on `isContract` to protect against flash loan attacks! * * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract * constructor. * ==== */ function isContract(address account) internal view returns (bool) { // This method relies on extcodesize/address.code.length, which returns 0 // for contracts in construction, since the code is only stored at the end // of the constructor execution. return account.code.length > 0; } /** * @dev Replacement for Solidity's `transfer`: sends `amount` wei to * `recipient`, forwarding all available gas and reverting on errors. * * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost * of certain opcodes, possibly making contracts go over the 2300 gas limit * imposed by `transfer`, making them unable to receive funds via * `transfer`. {sendValue} removes this limitation. * * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more]. * * IMPORTANT: because control is transferred to `recipient`, care must be * taken to not create reentrancy vulnerabilities. Consider using * {ReentrancyGuard} or the * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern]. */ function sendValue(address payable recipient, uint256 amount) internal { require(address(this).balance >= amount, "Address: insufficient balance"); (bool success, ) = recipient.call{value: amount}(""); require(success, "Address: unable to send value, recipient may have reverted"); } /** * @dev Performs a Solidity function call using a low level `call`. A * plain `call` is an unsafe replacement for a function call: use this * function instead. * * If `target` reverts with a revert reason, it is bubbled up by this * function (like regular Solidity function calls). * * Returns the raw returned data. To convert to the expected return value, * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`]. * * Requirements: * * - `target` must be a contract. * - calling `target` with `data` must not revert. * * _Available since v3.1._ */ function functionCall(address target, bytes memory data) internal returns (bytes memory) { return 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 v4.4.1 (utils/Context.sol) pragma solidity ^0.8.0; /** * @dev Provides information about the current execution context, including the * sender of the transaction and its data. While these are generally available * via msg.sender and msg.data, they should not be accessed in such a direct * manner, since when dealing with meta-transactions the account sending and * paying for execution may not be the actual sender (as far as an application * is concerned). * * This contract is only required for intermediate, library-like contracts. */ abstract contract Context { function _msgSender() internal view virtual returns (address) { return msg.sender; } function _msgData() internal view virtual returns (bytes calldata) { return msg.data; } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol) pragma solidity ^0.8.0; /** * @dev Library for reading and writing primitive types to specific storage slots. * * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts. * This library helps with reading and writing to such slots without the need for inline assembly. * * The functions in this library return Slot structs that contain a `value` member that can be used to read or write. * * Example usage to set ERC1967 implementation slot: * ``` * contract ERC1967 { * bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc; * * function _getImplementation() internal view returns (address) { * return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value; * } * * function _setImplementation(address newImplementation) internal { * require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract"); * StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation; * } * } * ``` * * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._ */ library StorageSlot { struct AddressSlot { address value; } struct BooleanSlot { bool value; } struct Bytes32Slot { bytes32 value; } struct Uint256Slot { uint256 value; } /** * @dev Returns an `AddressSlot` with member `value` located at `slot`. */ function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `BooleanSlot` with member `value` located at `slot`. */ function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `Bytes32Slot` with member `value` located at `slot`. */ function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } /** * @dev Returns an `Uint256Slot` with member `value` located at `slot`. */ function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) { /// @solidity memory-safe-assembly assembly { r.slot := slot } } }
File 2 of 2: LineaRollup
// SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (access/AccessControl.sol) pragma solidity ^0.8.0; import "./IAccessControlUpgradeable.sol"; import "../utils/ContextUpgradeable.sol"; import "../utils/StringsUpgradeable.sol"; import "../utils/introspection/ERC165Upgradeable.sol"; import {Initializable} from "../proxy/utils/Initializable.sol"; /** * @dev Contract module that allows children to implement role-based access * control mechanisms. This is a lightweight version that doesn't allow enumerating role * members except through off-chain means by accessing the contract event logs. Some * applications may benefit from on-chain enumerability, for those cases see * {AccessControlEnumerable}. * * Roles are referred to by their `bytes32` identifier. These should be exposed * in the external API and be unique. The best way to achieve this is by * using `public constant` hash digests: * * ```solidity * bytes32 public constant MY_ROLE = keccak256("MY_ROLE"); * ``` * * Roles can be used to represent a set of permissions. To restrict access to a * function call, use {hasRole}: * * ```solidity * function foo() public { * require(hasRole(MY_ROLE, msg.sender)); * ... * } * ``` * * Roles can be granted and revoked dynamically via the {grantRole} and * {revokeRole} functions. Each role has an associated admin role, and only * accounts that have a role's admin role can call {grantRole} and {revokeRole}. * * By default, the admin role for all roles is `DEFAULT_ADMIN_ROLE`, which means * that only accounts with this role will be able to grant or revoke other * roles. More complex role relationships can be created by using * {_setRoleAdmin}. * * WARNING: The `DEFAULT_ADMIN_ROLE` is also its own admin: it has permission to * grant and revoke this role. Extra precautions should be taken to secure * accounts that have been granted it. We recommend using {AccessControlDefaultAdminRules} * to enforce additional security measures for this role. */ abstract contract AccessControlUpgradeable is Initializable, ContextUpgradeable, IAccessControlUpgradeable, ERC165Upgradeable { struct RoleData { mapping(address => bool) members; bytes32 adminRole; } mapping(bytes32 => RoleData) private _roles; bytes32 public constant DEFAULT_ADMIN_ROLE = 0x00; /** * @dev Modifier that checks that an account has a specific role. Reverts * with a standardized message including the required role. * * The format of the revert reason is given by the following regular expression: * * /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/ * * _Available since v4.1._ */ modifier onlyRole(bytes32 role) { _checkRole(role); _; } function __AccessControl_init() internal onlyInitializing { } function __AccessControl_init_unchained() internal onlyInitializing { } /** * @dev See {IERC165-supportsInterface}. */ function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) { return interfaceId == type(IAccessControlUpgradeable).interfaceId || super.supportsInterface(interfaceId); } /** * @dev Returns `true` if `account` has been granted `role`. */ function hasRole(bytes32 role, address account) public view virtual override returns (bool) { return _roles[role].members[account]; } /** * @dev Revert with a standard message if `_msgSender()` is missing `role`. * Overriding this function changes the behavior of the {onlyRole} modifier. * * Format of the revert message is described in {_checkRole}. * * _Available since v4.6._ */ function _checkRole(bytes32 role) internal view virtual { _checkRole(role, _msgSender()); } /** * @dev Revert with a standard message if `account` is missing `role`. * * The format of the revert reason is given by the following regular expression: * * /^AccessControl: account (0x[0-9a-f]{40}) is missing role (0x[0-9a-f]{64})$/ */ function _checkRole(bytes32 role, address account) internal view virtual { if (!hasRole(role, account)) { revert( string( abi.encodePacked( "AccessControl: account ", StringsUpgradeable.toHexString(account), " is missing role ", StringsUpgradeable.toHexString(uint256(role), 32) ) ) ); } } /** * @dev Returns the admin role that controls `role`. See {grantRole} and * {revokeRole}. * * To change a role's admin, use {_setRoleAdmin}. */ function getRoleAdmin(bytes32 role) public view virtual override returns (bytes32) { return _roles[role].adminRole; } /** * @dev Grants `role` to `account`. * * If `account` had not been already granted `role`, emits a {RoleGranted} * event. * * Requirements: * * - the caller must have ``role``'s admin role. * * May emit a {RoleGranted} event. */ function grantRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) { _grantRole(role, account); } /** * @dev Revokes `role` from `account`. * * If `account` had been granted `role`, emits a {RoleRevoked} event. * * Requirements: * * - the caller must have ``role``'s admin role. * * May emit a {RoleRevoked} event. */ function revokeRole(bytes32 role, address account) public virtual override onlyRole(getRoleAdmin(role)) { _revokeRole(role, account); } /** * @dev Revokes `role` from the calling account. * * Roles are often managed via {grantRole} and {revokeRole}: this function's * purpose is to provide a mechanism for accounts to lose their privileges * if they are compromised (such as when a trusted device is misplaced). * * If the calling account had been revoked `role`, emits a {RoleRevoked} * event. * * Requirements: * * - the caller must be `account`. * * May emit a {RoleRevoked} event. */ function renounceRole(bytes32 role, address account) public virtual override { require(account == _msgSender(), "AccessControl: can only renounce roles for self"); _revokeRole(role, account); } /** * @dev Grants `role` to `account`. * * If `account` had not been already granted `role`, emits a {RoleGranted} * event. Note that unlike {grantRole}, this function doesn't perform any * checks on the calling account. * * May emit a {RoleGranted} event. * * [WARNING] * ==== * This function should only be called from the constructor when setting * up the initial roles for the system. * * Using this function in any other way is effectively circumventing the admin * system imposed by {AccessControl}. * ==== * * NOTE: This function is deprecated in favor of {_grantRole}. */ function _setupRole(bytes32 role, address account) internal virtual { _grantRole(role, account); } /** * @dev Sets `adminRole` as ``role``'s admin role. * * Emits a {RoleAdminChanged} event. */ function _setRoleAdmin(bytes32 role, bytes32 adminRole) internal virtual { bytes32 previousAdminRole = getRoleAdmin(role); _roles[role].adminRole = adminRole; emit RoleAdminChanged(role, previousAdminRole, adminRole); } /** * @dev Grants `role` to `account`. * * Internal function without access restriction. * * May emit a {RoleGranted} event. */ function _grantRole(bytes32 role, address account) internal virtual { if (!hasRole(role, account)) { _roles[role].members[account] = true; emit RoleGranted(role, account, _msgSender()); } } /** * @dev Revokes `role` from `account`. * * Internal function without access restriction. * * May emit a {RoleRevoked} event. */ function _revokeRole(bytes32 role, address account) internal virtual { if (hasRole(role, account)) { _roles[role].members[account] = false; emit RoleRevoked(role, account, _msgSender()); } } /** * @dev This empty reserved space is put in place to allow future versions to add new * variables without shifting down storage in the inheritance chain. * See https://docs.openzeppelin.com/contracts/4.x/upgradeable#storage_gaps */ uint256[49] private __gap; } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts v4.4.1 (access/IAccessControl.sol) pragma solidity ^0.8.0; /** * @dev External interface of AccessControl declared to support ERC165 detection. */ interface IAccessControlUpgradeable { /** * @dev Emitted when `newAdminRole` is set as ``role``'s admin role, replacing `previousAdminRole` * * `DEFAULT_ADMIN_ROLE` is the starting admin for all roles, despite * {RoleAdminChanged} not being emitted signaling this. * * _Available since v3.1._ */ event RoleAdminChanged(bytes32 indexed role, bytes32 indexed previousAdminRole, bytes32 indexed newAdminRole); /** * @dev Emitted when `account` is granted `role`. * * `sender` is the account that originated the contract call, an admin role * bearer except when using {AccessControl-_setupRole}. */ event RoleGranted(bytes32 indexed role, address indexed account, address indexed sender); /** * @dev Emitted when `account` is revoked `role`. * * `sender` is the account that originated the contract call: * - if using `revokeRole`, it is the admin role bearer * - if using `renounceRole`, it is the role bearer (i.e. `account`) */ event RoleRevoked(bytes32 indexed role, address indexed account, address indexed sender); /** * @dev Returns `true` if `account` has been granted `role`. */ function hasRole(bytes32 role, address account) external view returns (bool); /** * @dev Returns the admin role that controls `role`. See {grantRole} and * {revokeRole}. * * To change a role's admin, use {AccessControl-_setRoleAdmin}. */ function getRoleAdmin(bytes32 role) external view returns (bytes32); /** * @dev Grants `role` to `account`. * * If `account` had not been already granted `role`, emits a {RoleGranted} * event. * * Requirements: * * - the caller must have ``role``'s admin role. */ function grantRole(bytes32 role, address account) external; /** * @dev Revokes `role` from `account`. * * If `account` had been granted `role`, emits a {RoleRevoked} event. * * Requirements: * * - the caller must have ``role``'s admin role. */ function revokeRole(bytes32 role, address account) external; /** * @dev Revokes `role` from the calling account. * * Roles are often managed via {grantRole} and {revokeRole}: this function's * purpose is to provide a mechanism for accounts to lose their privileges * if they are compromised (such as when a trusted device is misplaced). * * If the calling account had been granted `role`, emits a {RoleRevoked} * event. * * Requirements: * * - the caller must be `account`. */ function renounceRole(bytes32 role, address account) external; } // 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 // OpenZeppelin Contracts (last updated v4.9.0) (security/ReentrancyGuard.sol) pragma solidity ^0.8.0; import {Initializable} from "../proxy/utils/Initializable.sol"; /** * @dev Contract module that helps prevent reentrant calls to a function. * * Inheriting from `ReentrancyGuard` will make the {nonReentrant} modifier * available, which can be applied to functions to make sure there are no nested * (reentrant) calls to them. * * Note that because there is a single `nonReentrant` guard, functions marked as * `nonReentrant` may not call one another. This can be worked around by making * those functions `private`, and then adding `external` `nonReentrant` entry * points to them. * * TIP: If you would like to learn more about reentrancy and alternative ways * to protect against it, check out our blog post * https://blog.openzeppelin.com/reentrancy-after-istanbul/[Reentrancy After Istanbul]. */ abstract contract ReentrancyGuardUpgradeable is Initializable { // Booleans are more expensive than uint256 or any type that takes up a full // word because each write operation emits an extra SLOAD to first read the // slot's contents, replace the bits taken up by the boolean, and then write // back. This is the compiler's defense against contract upgrades and // pointer aliasing, and it cannot be disabled. // The values being non-zero value makes deployment a bit more expensive, // but in exchange the refund on every call to nonReentrant will be lower in // amount. Since refunds are capped to a percentage of the total // transaction's gas, it is best to keep them low in cases like this one, to // increase the likelihood of the full refund coming into effect. uint256 private constant _NOT_ENTERED = 1; uint256 private constant _ENTERED = 2; uint256 private _status; function __ReentrancyGuard_init() internal onlyInitializing { __ReentrancyGuard_init_unchained(); } function __ReentrancyGuard_init_unchained() internal onlyInitializing { _status = _NOT_ENTERED; } /** * @dev Prevents a contract from calling itself, directly or indirectly. * Calling a `nonReentrant` function from another `nonReentrant` * function is not supported. It is possible to prevent this from happening * by making the `nonReentrant` function external, and making it call a * `private` function that does the actual work. */ modifier nonReentrant() { _nonReentrantBefore(); _; _nonReentrantAfter(); } function _nonReentrantBefore() private { // On the first call to nonReentrant, _status will be _NOT_ENTERED require(_status != _ENTERED, "ReentrancyGuard: reentrant call"); // Any calls to nonReentrant after this point will fail _status = _ENTERED; } function _nonReentrantAfter() private { // By storing the original value once again, a refund is triggered (see // https://eips.ethereum.org/EIPS/eip-2200) _status = _NOT_ENTERED; } /** * @dev Returns true if the reentrancy guard is currently set to "entered", which indicates there is a * `nonReentrant` function in the call stack. */ function _reentrancyGuardEntered() internal view returns (bool) { return _status == _ENTERED; } /** * @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) (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); } } } // 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 v4.4.1 (utils/introspection/ERC165.sol) pragma solidity ^0.8.0; import "./IERC165Upgradeable.sol"; import {Initializable} from "../../proxy/utils/Initializable.sol"; /** * @dev Implementation of the {IERC165} interface. * * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check * for the additional interface id that will be supported. For example: * * ```solidity * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) { * return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId); * } * ``` * * Alternatively, {ERC165Storage} provides an easier to use but more expensive implementation. */ abstract contract ERC165Upgradeable is Initializable, IERC165Upgradeable { function __ERC165_init() internal onlyInitializing { } function __ERC165_init_unchained() internal onlyInitializing { } /** * @dev See {IERC165-supportsInterface}. */ function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) { return interfaceId == type(IERC165Upgradeable).interfaceId; } /** * @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 v4.4.1 (utils/introspection/IERC165.sol) pragma solidity ^0.8.0; /** * @dev Interface of the ERC165 standard, as defined in the * https://eips.ethereum.org/EIPS/eip-165[EIP]. * * Implementers can declare support of contract interfaces, which can then be * queried by others ({ERC165Checker}). * * For an implementation, see {ERC165}. */ interface IERC165Upgradeable { /** * @dev Returns true if this contract implements the interface defined by * `interfaceId`. See the corresponding * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section] * to learn more about how these ids are created. * * This function call must use less than 30 000 gas. */ function supportsInterface(bytes4 interfaceId) external view returns (bool); } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (utils/math/Math.sol) pragma solidity ^0.8.0; /** * @dev Standard math utilities missing in the Solidity language. */ library MathUpgradeable { enum Rounding { Down, // Toward negative infinity Up, // Toward infinity Zero // Toward zero } /** * @dev Returns the largest of two numbers. */ function max(uint256 a, uint256 b) internal pure returns (uint256) { return a > b ? a : b; } /** * @dev Returns the smallest of two numbers. */ function min(uint256 a, uint256 b) internal pure returns (uint256) { return a < b ? a : b; } /** * @dev Returns the average of two numbers. The result is rounded towards * zero. */ function average(uint256 a, uint256 b) internal pure returns (uint256) { // (a + b) / 2 can overflow. return (a & b) + (a ^ b) / 2; } /** * @dev Returns the ceiling of the division of two numbers. * * This differs from standard division with `/` in that it rounds up instead * of rounding down. */ function ceilDiv(uint256 a, uint256 b) internal pure returns (uint256) { // (a + b - 1) / b can overflow on addition, so we distribute. return a == 0 ? 0 : (a - 1) / b + 1; } /** * @notice Calculates floor(x * y / denominator) with full precision. Throws if result overflows a uint256 or denominator == 0 * @dev Original credit to Remco Bloemen under MIT license (https://xn--2-umb.com/21/muldiv) * with further edits by Uniswap Labs also under MIT license. */ function mulDiv(uint256 x, uint256 y, uint256 denominator) internal pure returns (uint256 result) { unchecked { // 512-bit multiply [prod1 prod0] = x * y. Compute the product mod 2^256 and mod 2^256 - 1, then use // use the Chinese Remainder Theorem to reconstruct the 512 bit result. The result is stored in two 256 // variables such that product = prod1 * 2^256 + prod0. uint256 prod0; // Least significant 256 bits of the product uint256 prod1; // Most significant 256 bits of the product assembly { let mm := mulmod(x, y, not(0)) prod0 := mul(x, y) prod1 := sub(sub(mm, prod0), lt(mm, prod0)) } // Handle non-overflow cases, 256 by 256 division. if (prod1 == 0) { // Solidity will revert if denominator == 0, unlike the div opcode on its own. // The surrounding unchecked block does not change this fact. // See https://docs.soliditylang.org/en/latest/control-structures.html#checked-or-unchecked-arithmetic. return prod0 / denominator; } // Make sure the result is less than 2^256. Also prevents denominator == 0. require(denominator > prod1, "Math: mulDiv overflow"); /////////////////////////////////////////////// // 512 by 256 division. /////////////////////////////////////////////// // Make division exact by subtracting the remainder from [prod1 prod0]. uint256 remainder; assembly { // Compute remainder using mulmod. remainder := mulmod(x, y, denominator) // Subtract 256 bit number from 512 bit number. prod1 := sub(prod1, gt(remainder, prod0)) prod0 := sub(prod0, remainder) } // Factor powers of two out of denominator and compute largest power of two divisor of denominator. Always >= 1. // See https://cs.stackexchange.com/q/138556/92363. // Does not overflow because the denominator cannot be zero at this stage in the function. uint256 twos = denominator & (~denominator + 1); assembly { // Divide denominator by twos. denominator := div(denominator, twos) // Divide [prod1 prod0] by twos. prod0 := div(prod0, twos) // Flip twos such that it is 2^256 / twos. If twos is zero, then it becomes one. twos := add(div(sub(0, twos), twos), 1) } // Shift in bits from prod1 into prod0. prod0 |= prod1 * twos; // Invert denominator mod 2^256. Now that denominator is an odd number, it has an inverse modulo 2^256 such // that denominator * inv = 1 mod 2^256. Compute the inverse by starting with a seed that is correct for // four bits. That is, denominator * inv = 1 mod 2^4. uint256 inverse = (3 * denominator) ^ 2; // Use the Newton-Raphson iteration to improve the precision. Thanks to Hensel's lifting lemma, this also works // in modular arithmetic, doubling the correct bits in each step. inverse *= 2 - denominator * inverse; // inverse mod 2^8 inverse *= 2 - denominator * inverse; // inverse mod 2^16 inverse *= 2 - denominator * inverse; // inverse mod 2^32 inverse *= 2 - denominator * inverse; // inverse mod 2^64 inverse *= 2 - denominator * inverse; // inverse mod 2^128 inverse *= 2 - denominator * inverse; // inverse mod 2^256 // Because the division is now exact we can divide by multiplying with the modular inverse of denominator. // This will give us the correct result modulo 2^256. Since the preconditions guarantee that the outcome is // less than 2^256, this is the final result. We don't need to compute the high bits of the result and prod1 // is no longer required. result = prod0 * inverse; return result; } } /** * @notice Calculates x * y / denominator with full precision, following the selected rounding direction. */ function mulDiv(uint256 x, uint256 y, uint256 denominator, Rounding rounding) internal pure returns (uint256) { uint256 result = mulDiv(x, y, denominator); if (rounding == Rounding.Up && mulmod(x, y, denominator) > 0) { result += 1; } return result; } /** * @dev Returns the square root of a number. If the number is not a perfect square, the value is rounded down. * * Inspired by Henry S. Warren, Jr.'s "Hacker's Delight" (Chapter 11). */ function sqrt(uint256 a) internal pure returns (uint256) { if (a == 0) { return 0; } // For our first guess, we get the biggest power of 2 which is smaller than the square root of the target. // // We know that the "msb" (most significant bit) of our target number `a` is a power of 2 such that we have // `msb(a) <= a < 2*msb(a)`. This value can be written `msb(a)=2**k` with `k=log2(a)`. // // This can be rewritten `2**log2(a) <= a < 2**(log2(a) + 1)` // → `sqrt(2**k) <= sqrt(a) < sqrt(2**(k+1))` // → `2**(k/2) <= sqrt(a) < 2**((k+1)/2) <= 2**(k/2 + 1)` // // Consequently, `2**(log2(a) / 2)` is a good first approximation of `sqrt(a)` with at least 1 correct bit. uint256 result = 1 << (log2(a) >> 1); // At this point `result` is an estimation with one bit of precision. We know the true value is a uint128, // since it is the square root of a uint256. Newton's method converges quadratically (precision doubles at // every iteration). We thus need at most 7 iteration to turn our partial result with one bit of precision // into the expected uint128 result. unchecked { result = (result + a / result) >> 1; result = (result + a / result) >> 1; result = (result + a / result) >> 1; result = (result + a / result) >> 1; result = (result + a / result) >> 1; result = (result + a / result) >> 1; result = (result + a / result) >> 1; return min(result, a / result); } } /** * @notice Calculates sqrt(a), following the selected rounding direction. */ function sqrt(uint256 a, Rounding rounding) internal pure returns (uint256) { unchecked { uint256 result = sqrt(a); return result + (rounding == Rounding.Up && result * result < a ? 1 : 0); } } /** * @dev Return the log in base 2, rounded down, of a positive value. * Returns 0 if given 0. */ function log2(uint256 value) internal pure returns (uint256) { uint256 result = 0; unchecked { if (value >> 128 > 0) { value >>= 128; result += 128; } if (value >> 64 > 0) { value >>= 64; result += 64; } if (value >> 32 > 0) { value >>= 32; result += 32; } if (value >> 16 > 0) { value >>= 16; result += 16; } if (value >> 8 > 0) { value >>= 8; result += 8; } if (value >> 4 > 0) { value >>= 4; result += 4; } if (value >> 2 > 0) { value >>= 2; result += 2; } if (value >> 1 > 0) { result += 1; } } return result; } /** * @dev Return the log in base 2, following the selected rounding direction, of a positive value. * Returns 0 if given 0. */ function log2(uint256 value, Rounding rounding) internal pure returns (uint256) { unchecked { uint256 result = log2(value); return result + (rounding == Rounding.Up && 1 << result < value ? 1 : 0); } } /** * @dev Return the log in base 10, rounded down, of a positive value. * Returns 0 if given 0. */ function log10(uint256 value) internal pure returns (uint256) { uint256 result = 0; unchecked { if (value >= 10 ** 64) { value /= 10 ** 64; result += 64; } if (value >= 10 ** 32) { value /= 10 ** 32; result += 32; } if (value >= 10 ** 16) { value /= 10 ** 16; result += 16; } if (value >= 10 ** 8) { value /= 10 ** 8; result += 8; } if (value >= 10 ** 4) { value /= 10 ** 4; result += 4; } if (value >= 10 ** 2) { value /= 10 ** 2; result += 2; } if (value >= 10 ** 1) { result += 1; } } return result; } /** * @dev Return the log in base 10, following the selected rounding direction, of a positive value. * Returns 0 if given 0. */ function log10(uint256 value, Rounding rounding) internal pure returns (uint256) { unchecked { uint256 result = log10(value); return result + (rounding == Rounding.Up && 10 ** result < value ? 1 : 0); } } /** * @dev Return the log in base 256, rounded down, of a positive value. * Returns 0 if given 0. * * Adding one to the result gives the number of pairs of hex symbols needed to represent `value` as a hex string. */ function log256(uint256 value) internal pure returns (uint256) { uint256 result = 0; unchecked { if (value >> 128 > 0) { value >>= 128; result += 16; } if (value >> 64 > 0) { value >>= 64; result += 8; } if (value >> 32 > 0) { value >>= 32; result += 4; } if (value >> 16 > 0) { value >>= 16; result += 2; } if (value >> 8 > 0) { result += 1; } } return result; } /** * @dev Return the log in base 256, following the selected rounding direction, of a positive value. * Returns 0 if given 0. */ function log256(uint256 value, Rounding rounding) internal pure returns (uint256) { unchecked { uint256 result = log256(value); return result + (rounding == Rounding.Up && 1 << (result << 3) < value ? 1 : 0); } } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SignedMath.sol) pragma solidity ^0.8.0; /** * @dev Standard signed math utilities missing in the Solidity language. */ library SignedMathUpgradeable { /** * @dev Returns the largest of two signed numbers. */ function max(int256 a, int256 b) internal pure returns (int256) { return a > b ? a : b; } /** * @dev Returns the smallest of two signed numbers. */ function min(int256 a, int256 b) internal pure returns (int256) { return a < b ? a : b; } /** * @dev Returns the average of two signed numbers without overflow. * The result is rounded towards zero. */ function average(int256 a, int256 b) internal pure returns (int256) { // Formula from the book "Hacker's Delight" int256 x = (a & b) + ((a ^ b) >> 1); return x + (int256(uint256(x) >> 255) & (a ^ b)); } /** * @dev Returns the absolute unsigned value of a signed value. */ function abs(int256 n) internal pure returns (uint256) { unchecked { // must be unchecked in order to support `n = type(int256).min` return uint256(n >= 0 ? n : -n); } } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (utils/Strings.sol) pragma solidity ^0.8.0; import "./math/MathUpgradeable.sol"; import "./math/SignedMathUpgradeable.sol"; /** * @dev String operations. */ library StringsUpgradeable { bytes16 private constant _SYMBOLS = "0123456789abcdef"; uint8 private constant _ADDRESS_LENGTH = 20; /** * @dev Converts a `uint256` to its ASCII `string` decimal representation. */ function toString(uint256 value) internal pure returns (string memory) { unchecked { uint256 length = MathUpgradeable.log10(value) + 1; string memory buffer = new string(length); uint256 ptr; /// @solidity memory-safe-assembly assembly { ptr := add(buffer, add(32, length)) } while (true) { ptr--; /// @solidity memory-safe-assembly assembly { mstore8(ptr, byte(mod(value, 10), _SYMBOLS)) } value /= 10; if (value == 0) break; } return buffer; } } /** * @dev Converts a `int256` to its ASCII `string` decimal representation. */ function toString(int256 value) internal pure returns (string memory) { return string(abi.encodePacked(value < 0 ? "-" : "", toString(SignedMathUpgradeable.abs(value)))); } /** * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation. */ function toHexString(uint256 value) internal pure returns (string memory) { unchecked { return toHexString(value, MathUpgradeable.log256(value) + 1); } } /** * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length. */ function toHexString(uint256 value, uint256 length) internal pure returns (string memory) { bytes memory buffer = new bytes(2 * length + 2); buffer[0] = "0"; buffer[1] = "x"; for (uint256 i = 2 * length + 1; i > 1; --i) { buffer[i] = _SYMBOLS[value & 0xf]; value >>= 4; } require(value == 0, "Strings: hex length insufficient"); return string(buffer); } /** * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation. */ function toHexString(address addr) internal pure returns (string memory) { return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH); } /** * @dev Returns true if the two strings are equal. */ function equal(string memory a, string memory b) internal pure returns (bool) { return keccak256(bytes(a)) == keccak256(bytes(b)); } } // SPDX-License-Identifier: MIT // OpenZeppelin Contracts (last updated v4.9.0) (utils/structs/BitMaps.sol) pragma solidity ^0.8.0; /** * @dev Library for managing uint256 to bool mapping in a compact and efficient way, providing the keys are sequential. * Largely inspired by Uniswap's https://github.com/Uniswap/merkle-distributor/blob/master/contracts/MerkleDistributor.sol[merkle-distributor]. */ library BitMaps { struct BitMap { mapping(uint256 => uint256) _data; } /** * @dev Returns whether the bit at `index` is set. */ function get(BitMap storage bitmap, uint256 index) internal view returns (bool) { uint256 bucket = index >> 8; uint256 mask = 1 << (index & 0xff); return bitmap._data[bucket] & mask != 0; } /** * @dev Sets the bit at `index` to the boolean `value`. */ function setTo(BitMap storage bitmap, uint256 index, bool value) internal { if (value) { set(bitmap, index); } else { unset(bitmap, index); } } /** * @dev Sets the bit at `index`. */ function set(BitMap storage bitmap, uint256 index) internal { uint256 bucket = index >> 8; uint256 mask = 1 << (index & 0xff); bitmap._data[bucket] |= mask; } /** * @dev Unsets the bit at `index`. */ function unset(BitMap storage bitmap, uint256 index) internal { uint256 bucket = index >> 8; uint256 mask = 1 << (index & 0xff); bitmap._data[bucket] &= ~mask; } } // SPDX-License-Identifier: Apache-2.0 pragma solidity >=0.8.19 <=0.8.24; /** * @title Interface declaring generic errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IGenericErrors { /** * @dev Thrown when a parameter is the zero address. */ error ZeroAddressNotAllowed(); } // SPDX-License-Identifier: Apache-2.0 pragma solidity >=0.8.19 <=0.8.24; /** * @title Interface declaring pre-existing cross-chain messaging functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IMessageService { /** * @notice Emitted when a message is sent. * @param _from The indexed sender address of the message (msg.sender). * @param _to The indexed intended recipient address of the message on the other layer. * @param _fee The fee being being paid to deliver the message to the recipient in Wei. * @param _value The value being sent to the recipient in Wei. * @param _nonce The unique message number. * @param _calldata The calldata being passed to the intended recipient when being called on claiming. * @param _messageHash The indexed hash of the message parameters. * @dev _calldata has the _ because calldata is a reserved word. * @dev We include the message hash to save hashing costs on the rollup. * @dev This event is used on both L1 and L2. */ event MessageSent( address indexed _from, address indexed _to, uint256 _fee, uint256 _value, uint256 _nonce, bytes _calldata, bytes32 indexed _messageHash ); /** * @notice Emitted when a message is claimed. * @param _messageHash The indexed hash of the message that was claimed. */ event MessageClaimed(bytes32 indexed _messageHash); /** * @dev Thrown when fees are lower than the minimum fee. */ error FeeTooLow(); /** * @dev Thrown when the value sent is less than the fee. * @dev Value to forward on is msg.value - _fee. */ error ValueSentTooLow(); /** * @dev Thrown when the destination address reverts. */ error MessageSendingFailed(address destination); /** * @dev Thrown when the recipient address reverts. */ error FeePaymentFailed(address recipient); /** * @notice Sends a message for transporting from the given chain. * @dev This function should be called with a msg.value = _value + _fee. The fee will be paid on the destination chain. * @param _to The destination address on the destination chain. * @param _fee The message service fee on the origin chain. * @param _calldata The calldata used by the destination message service to call the destination contract. */ function sendMessage(address _to, uint256 _fee, bytes calldata _calldata) external payable; /** * @notice Deliver a message to the destination chain. * @notice Is called by the Postman, dApp or end user. * @param _from The msg.sender calling the origin message service. * @param _to The destination address on the destination chain. * @param _value The value to be transferred to the destination address. * @param _fee The message service fee on the origin chain. * @param _feeRecipient Address that will receive the fees. * @param _calldata The calldata used by the destination message service to call/forward to the destination contract. * @param _nonce Unique message number. */ function claimMessage( address _from, address _to, uint256 _fee, uint256 _value, address payable _feeRecipient, bytes calldata _calldata, uint256 _nonce ) external; /** * @notice Returns the original sender of the message on the origin layer. * @return The original sender of the message on the origin layer. */ function sender() external view returns (address); } // SPDX-License-Identifier: Apache-2.0 pragma solidity >=0.8.19 <=0.8.24; /** * @title Interface declaring pre-existing pausing functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IPauseManager { /** * @notice Emitted when a pause type is paused. * @param messageSender The address performing the pause. * @param pauseType The indexed pause type that was paused. */ event Paused(address messageSender, uint256 indexed pauseType); /** * @notice Emitted when a pause type is unpaused. * @param messageSender The address performing the unpause. * @param pauseType The indexed pause type that was unpaused. */ event UnPaused(address messageSender, uint256 indexed pauseType); /** * @dev Thrown when a specific pause type is paused. */ error IsPaused(uint256 pauseType); /** * @dev Thrown when a specific pause type is not paused and expected to be. */ error IsNotPaused(uint256 pauseType); } // SPDX-License-Identifier: Apache-2.0 pragma solidity >=0.8.19 <=0.8.24; /** * @title Interface declaring rate limiting messaging functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IRateLimiter { /** * @notice Emitted when the Rate Limit is initialized. * @param periodInSeconds The time period in seconds the rate limiter has been initialized to. * @param limitInWei The limit in Wei the rate limiter has been initialized to. * @param currentPeriodEnd The time the current rate limit period will end. */ event RateLimitInitialized(uint256 periodInSeconds, uint256 limitInWei, uint256 currentPeriodEnd); /** * @notice Emitted when the amount in the period is reset to zero. * @param resettingAddress The indexed address of who reset the used amount back to zero. */ event AmountUsedInPeriodReset(address indexed resettingAddress); /** * @notice Emitted when the limit is changed. * @param amountChangeBy The indexed address of who changed the rate limit. * @param amount The rate limited amount in Wei that was set. * @param amountUsedLoweredToLimit Indicates if the amount used was lowered to the limit to avoid confusion. * @param usedAmountResetToZero Indicates if the amount used was set to zero because of the current period expiring. * @dev If the current used amount is higher than the new limit, the used amount is lowered to the limit. * @dev amountUsedLoweredToLimit and usedAmountResetToZero cannot be true at the same time. */ event LimitAmountChanged( address indexed amountChangeBy, uint256 amount, bool amountUsedLoweredToLimit, bool usedAmountResetToZero ); /** * @dev Thrown when an amount breaches the limit in the period. */ error RateLimitExceeded(); /** * @dev Thrown when the period is initialised to zero. */ error PeriodIsZero(); /** * @dev Thrown when the limit is initialised to zero. */ error LimitIsZero(); /** * @notice Resets the rate limit amount to the amount specified. * @param _amount sets the new limit amount. */ function resetRateLimitAmount(uint256 _amount) external; /** * @notice Resets the amount used in the period to zero. */ function resetAmountUsedInPeriod() external; } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; /** * @title L1 Message manager interface for current functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IL1MessageManager { /** * @notice Emitted when a new message is sent and the rolling hash updated. * @param messageNumber The unique indexed message number for the message. * @param rollingHash The indexed rolling hash computed for the current message number. * @param messageHash The indexed hash of the message parameters. */ event RollingHashUpdated(uint256 indexed messageNumber, bytes32 indexed rollingHash, bytes32 indexed messageHash); /** * @notice Emitted when the L2 merkle root has been anchored on L1. * @param l2MerkleRoot The indexed L2 Merkle root that has been anchored on L1 Ethereum. * @param treeDepth The indexed tree depth of the Merkle root. * @dev There may be more than one of these in a finalization depending on the amount of L2->L1 messages in the finalization. */ event L2MerkleRootAdded(bytes32 indexed l2MerkleRoot, uint256 indexed treeDepth); /** * @notice Emitted when the l2 block contains L2 messages during finalization. * @param l2Block The indexed L2 block containing L2 to L1 messages. * @dev This is used externally in the logic for determining which messages belong to which Merkle root when claiming. */ event L2MessagingBlockAnchored(uint256 indexed l2Block); /** * @dev Thrown when the message has already been claimed. */ error MessageAlreadyClaimed(uint256 messageIndex); /** * @dev Thrown when the L2 merkle root has already been anchored on L1. */ error L2MerkleRootAlreadyAnchored(bytes32 merkleRoot); /** * @dev Thrown when the L2 messaging blocks offsets bytes length is not a multiple of 2. */ error BytesLengthNotMultipleOfTwo(uint256 bytesLength); /** * @notice Check if the L2->L1 message is claimed or not. * @param _messageNumber The message number on L2. */ function isMessageClaimed(uint256 _messageNumber) external view returns (bool); } // SPDX-License-Identifier: Apache-2.0 pragma solidity 0.8.24; /** * @title L1 Message manager V1 interface for pre-existing functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IL1MessageManagerV1 { /** * @notice Emitted when L2->L1 message hashes have been added to L1 storage. * @param messageHash The indexed hash of the message parameters. * @dev DEPRECATED - This is kept for backwards compatability for external consumers. */ event L2L1MessageHashAddedToInbox(bytes32 indexed messageHash); /** * @notice Emitted when L1->L2 messages have been anchored on L2 and updated on L1. * @param messageHashes The collection of hashes indicating which messages were added on L2. of the message parameters. * @dev DEPRECATED - This is kept for backwards compatability for external consumers. */ event L1L2MessagesReceivedOnL2(bytes32[] messageHashes); /** * @dev Thrown when the message has already been claimed. */ error MessageDoesNotExistOrHasAlreadyBeenClaimed(bytes32 messageHash); /** * @dev Thrown when the message has already been received. */ error MessageAlreadyReceived(bytes32 messageHash); /** * @dev Thrown when the L1->L2 message has not been sent. */ error L1L2MessageNotSent(bytes32 messageHash); } // SPDX-License-Identifier: Apache-2.0 pragma solidity 0.8.24; /** * @title L1 Message Service interface for pre-existing functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IL1MessageService { /** * @param proof The proof array related to the claimed message. * @param messageNumber The message number of the claimed message. * @param leafIndex The leaf index related to the merkle proof of the message. * @param from The address of the original sender. * @param to The address the message is intended for. * @param fee The fee being paid for the message delivery. * @param value The value to be transferred to the destination address. * @param feeRecipient The recipient for the fee. * @param merkleRoot The merkle root of the claimed message. * @param data The calldata to pass to the recipient. */ struct ClaimMessageWithProofParams { bytes32[] proof; uint256 messageNumber; uint32 leafIndex; address from; address to; uint256 fee; uint256 value; address payable feeRecipient; bytes32 merkleRoot; bytes data; } /** * @notice Emitted when initializing Linea Rollup contract with a system migration block. */ event SystemMigrationBlockInitialized(uint256 systemMigrationBlock); /** * @dev Thrown when L2 merkle root does not exist. */ error L2MerkleRootDoesNotExist(); /** * @dev Thrown when the merkle proof is invalid. */ error InvalidMerkleProof(); /** * @dev Thrown when merkle depth doesn't match proof length. */ error ProofLengthDifferentThanMerkleDepth(uint256 actual, uint256 expected); } // SPDX-License-Identifier: Apache-2.0 pragma solidity 0.8.24; /** * @title LineaRollup interface for current functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface ILineaRollup { /** * @notice Supporting data for compressed calldata submission including compressed data. * @dev parentStateRootHash is the starting root hash. * @dev dataParentHash is used in order to link data. * @dev finalStateRootHash is used to set next data. * @dev firstBlockInData is the first block that is included in the data submitted. * @dev finalBlockInData is the last block that is included in the data submitted. * @dev snarkHash is the computed hash for compressed data (using a SNARK-friendly hash function) that aggregates per data submission to be used in public input. * @dev compressedData is the compressed transaction data. It contains ordered data for each L2 block - l2Timestamps, the encoded txData. */ struct SubmissionData { bytes32 parentStateRootHash; bytes32 dataParentHash; bytes32 finalStateRootHash; uint256 firstBlockInData; uint256 finalBlockInData; bytes32 snarkHash; bytes compressedData; } /** * @notice Supporting data for compressed blob data submission. * @dev parentStateRootHash is the starting root hash. * @dev dataParentHash is used in order to link data. * @dev finalStateRootHash is used to set next data. * @dev firstBlockInData is the first block that is included in the data submitted. * @dev finalBlockInData is the last block that is included in the data submitted. * @dev snarkHash is the computed hash for compressed data (using a SNARK-friendly hash function) that aggregates per data submission to be used in public input. */ struct SupportingSubmissionData { bytes32 parentStateRootHash; bytes32 dataParentHash; bytes32 finalStateRootHash; uint256 firstBlockInData; uint256 finalBlockInData; bytes32 snarkHash; } /** * @notice Supporting data for finalization with or without proof. * @dev parentStateRootHash is the expected last state root hash finalized. * @dev dataHashes is the required previously submitted compressed data item hashes. * @dev dataParentHash is the last finalized compressed data item hash. * @dev finalBlockNumber is the last block that is being finalized. * @dev lastFinalizedTimestamp is the expected last finalized block's timestamp. * @dev finalTimestamp is the timestamp of the last block being finalized. * @dev l1RollingHash is the calculated rolling hash on L2 that is expected to match L1 at l1RollingHashMessageNumber. * This value will be used along with the stored last finalized L2 calculated rolling hash in the public input. * @dev l1RollingHashMessageNumber is the calculated message number on L2 that is expected to match the existing L1 rolling hash. * This value will be used along with the stored last finalized L2 calculated message number in the public input. * @dev l2MerkleRoots is an array of L2 message merkle roots of depth l2MerkleTreesDepth between last finalized block and finalBlockNumber. * @dev l2MerkleTreesDepth is the depth of all l2MerkleRoots. * @dev l2MessagingBlocksOffsets indicates by offset from currentL2BlockNumber which L2 blocks contain MessageSent events. */ struct FinalizationData { bytes32 parentStateRootHash; bytes32[] dataHashes; bytes32 dataParentHash; uint256 finalBlockNumber; uint256 lastFinalizedTimestamp; uint256 finalTimestamp; bytes32 l1RollingHash; uint256 l1RollingHashMessageNumber; bytes32[] l2MerkleRoots; uint256 l2MerkleTreesDepth; bytes l2MessagingBlocksOffsets; } /** * @notice Emitted when a verifier is set for a particular proof type. * @param verifierAddress The indexed new verifier address being set. * @param proofType The indexed proof type/index that the verifier is mapped to. * @param verifierSetBy The index address who set the verifier at the mapping. * @param oldVerifierAddress Indicates the previous address mapped to the proof type. * @dev The verifier will be set by an account with the VERIFIER_SETTER_ROLE. Typically the Safe. * @dev The oldVerifierAddress can be the zero address. */ event VerifierAddressChanged( address indexed verifierAddress, uint256 indexed proofType, address indexed verifierSetBy, address oldVerifierAddress ); /** * @notice Emitted when compressed data is being submitted and verified succesfully on L1. * @param dataHash The indexed data hash for the data being submitted. * @param startBlock The indexed L2 block number indicating which block the data starts from. * @param endBlock The indexed L2 block number indicating which block the data ends on. */ event DataSubmitted(bytes32 indexed dataHash, uint256 indexed startBlock, uint256 indexed endBlock); /** * @notice Emitted when L2 blocks have been finalized on L1. * @param lastBlockFinalized The indexed last L2 block that is finalized in the finalization. * @param startingRootHash The indexed initial (also last finalized) L2 state root hash that the finalization is from. * @param finalRootHash The indexed L2 state root hash that the current finalization is up until. * @param withProof Indicates if the finalization is proven or not. */ event DataFinalized( uint256 indexed lastBlockFinalized, bytes32 indexed startingRootHash, bytes32 indexed finalRootHash, bool withProof ); /** * @dev Thrown when the Y point polynomial is greater than the BLS12-381 curve modulus. */ error YPointGreaterThanCurveModulus(); /** * @dev Thrown when the point evaluation precompile call return data field(s) are wrong. */ error PointEvaluationResponseInvalid(uint256 fieldElements, uint256 blsCurveModulus); /** * @dev Thrown when the point evaluation precompile call return data length is wrong. */ error PrecompileReturnDataLengthWrong(uint256 expected, uint256 actual); /** * @dev Thrown when the point evaluation precompile call returns false. */ error PointEvaluationFailed(); /** * @dev Thrown when the blobhash equals to the zero hash. */ error EmptyBlobData(); /** * @dev Thrown when the starting block in the data item is out of sequence with the last block number. */ error DataStartingBlockDoesNotMatch(uint256 expected, uint256 actual); /** * @dev Thrown when the ending block in the data item is out of sequence with the finalization data. */ error DataEndingBlockDoesNotMatch(uint256 expected, uint256 actual); /** * @dev Thrown when the expected data item's shnarf is empty. */ error DataParentHasEmptyShnarf(); /** * @dev Thrown when the current data was already submitted. */ error DataAlreadySubmitted(bytes32 currentDataHash); /** * @dev Thrown when parent stateRootHash does not match or is empty. */ error StateRootHashInvalid(bytes32 expected, bytes32 actual); /** * @dev Thrown when the last finalized shnarf does not match the parent finalizing from. */ error LastFinalizedShnarfWrong(bytes32 expected, bytes32 actual); /** * @dev Thrown when submissionData is empty. */ error EmptySubmissionData(); /** * @dev Thrown when finalizationData.dataHashes is empty. */ error FinalizationDataMissing(); /** * @dev Thrown when finalizationData.l1RollingHash does not exist on L1 (Feedback loop). */ error L1RollingHashDoesNotExistOnL1(uint256 messageNumber, bytes32 rollingHash); /** * @dev Thrown when finalizationData.lastFinalizedTimestamp does not match currentTimestamp. */ error TimestampsNotInSequence(uint256 expected, uint256 value); /** * @dev Thrown when finalizationData.dataParentHash does not match parent of _finalizationData.dataHashes[0]. */ error ParentHashesDoesNotMatch(bytes32 firstHash, bytes32 secondHash); /** * @dev Thrown when parent finalStateRootHash does not match _finalizationData.parentStateRootHash. */ error FinalStateRootHashDoesNotMatch(bytes32 firstHash, bytes32 secondHash); /** * @dev Thrown when data hashes are not in sequence. */ error DataHashesNotInSequence(bytes32 expected, bytes32 value); /** * @dev Thrown when the first block is greater than final block in submission data. */ error FirstBlockGreaterThanFinalBlock(uint256 firstBlockNumber, uint256 finalBlockNumber); /** * @dev Thrown when the first block in data is less than or equal to the last finalized block during data submission. */ error FirstBlockLessThanOrEqualToLastFinalizedBlock(uint256 firstBlockNumber, uint256 lastFinalizedBlock); /** * @dev Thrown when the final block number in finalization data is less than or equal to the last finalized block during finalization. */ error FinalBlockNumberLessThanOrEqualToLastFinalizedBlock(uint256 finalBlockNumber, uint256 lastFinalizedBlock); /** * @dev Thrown when the final block state equals the zero hash during finalization. */ error FinalBlockStateEqualsZeroHash(); /** * @dev Thrown when final l2 block timestamp higher than current block.timestamp during finalization. */ error FinalizationInTheFuture(uint256 l2BlockTimestamp, uint256 currentBlockTimestamp); /** * @dev Thrown when a rolling hash is provided without a corresponding message number. */ error MissingMessageNumberForRollingHash(bytes32 rollingHash); /** * @dev Thrown when a message number is provided without a corresponding rolling hash. */ error MissingRollingHashForMessageNumber(uint256 messageNumber); /** * @dev Thrown when the first byte is not zero. * @dev This is used explicitly with the four bytes in assembly 0x729eebce. */ error FirstByteIsNotZero(); /** * @dev Thrown when bytes length is not a multiple of 32. */ error BytesLengthNotMultipleOf32(); /** * @notice Adds or updated the verifier contract address for a proof type. * @dev VERIFIER_SETTER_ROLE is required to execute. * @param _newVerifierAddress The address for the verifier contract. * @param _proofType The proof type being set/updated. */ function setVerifierAddress(address _newVerifierAddress, uint256 _proofType) external; /** * @notice Submit compressed blob data using EIP-4844 blobs. * @dev OPERATOR_ROLE is required to execute. * @dev This should be a blob carrying transaction. * @param _submissionData The supporting data for blob data submission excluding the compressed data. * @param _dataEvaluationClaim The data evaluation claim. * @param _kzgCommitment The blob KZG commitment. * @param _kzgProof The blob KZG point proof. */ function submitBlobData( SupportingSubmissionData calldata _submissionData, uint256 _dataEvaluationClaim, bytes calldata _kzgCommitment, bytes calldata _kzgProof ) external; /** * @notice Submit blobs using compressed data via calldata. * @dev OPERATOR_ROLE is required to execute. * @param _submissionData The supporting data for compressed data submission including compressed data. */ function submitData(SubmissionData calldata _submissionData) external; /** * @notice Finalize compressed blocks without proof. * @dev DEFAULT_ADMIN_ROLE is required to execute. * @param _finalizationData The full finalization data. */ function finalizeCompressedBlocksWithoutProof(FinalizationData calldata _finalizationData) external; /** * @notice Finalize compressed blocks with proof. * @dev OPERATOR_ROLE is required to execute. * @param _aggregatedProof The aggregated proof. * @param _proofType The proof type. * @param _finalizationData The full finalization data. */ function finalizeCompressedBlocksWithProof( bytes calldata _aggregatedProof, uint256 _proofType, FinalizationData calldata _finalizationData ) external; } // SPDX-License-Identifier: Apache-2.0 pragma solidity 0.8.24; /** * @title Interface declaring verifier functions. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IPlonkVerifier { /** * @notice Interface for verifier contracts. * @param _proof The proof used to verify. * @param _public_inputs The computed public inputs for the proof verification. */ function Verify(bytes calldata _proof, uint256[] calldata _public_inputs) external returns (bool); } // SPDX-License-Identifier: Apache-2.0 pragma solidity 0.8.24; /** * @title ZkEvm rollup interface for pre-existing functions, events and errors. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ interface IZkEvmV2 { /** * @notice Emitted when a L2 block has been finalized on L1. * @param blockNumber The indexed L2 block number that is finalized in the finalization. * @param stateRootHash The indexed state root hash for the L2 block. * @param finalizedWithProof Indicates if the L2 block in the finalization is proven or not. * @dev DEPRECATED. This has been left for existing consumers. */ event BlockFinalized(uint256 indexed blockNumber, bytes32 indexed stateRootHash, bool indexed finalizedWithProof); /** * @notice Emitted when a L2 blocks have been finalized on L1. * @param lastBlockFinalized The indexed L2 block number the finalization is up until. * @param startingRootHash The state root hash the finalization started from. This is the last finalized block's state root. * @param finalRootHash The L2 block state root hash the finalization ended on. */ event BlocksVerificationDone(uint256 indexed lastBlockFinalized, bytes32 startingRootHash, bytes32 finalRootHash); /** * @dev Thrown when the starting rootHash does not match the existing state */ error StartingRootHashDoesNotMatch(); /** * @dev Thrown when zk proof is empty bytes */ error ProofIsEmpty(); /** * @dev Thrown when zk proof type is invalid */ error InvalidProofType(); /** * @dev Thrown when zk proof is invalid */ error InvalidProof(); } // SPDX-License-Identifier: AGPL-3.0 pragma solidity >=0.8.19 <=0.8.24; library Utils { /** * @notice Performs a gas optimized keccak hash. * @param _left Left value. * @param _right Right value. */ function _efficientKeccak(bytes32 _left, bytes32 _right) internal pure returns (bytes32 value) { /// @solidity memory-safe-assembly assembly { mstore(0x00, _left) mstore(0x20, _right) value := keccak256(0x00, 0x40) } } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol"; import { L1MessageService } from "./messageService/l1/L1MessageService.sol"; import { ZkEvmV2 } from "./ZkEvmV2.sol"; import { ILineaRollup } from "./interfaces/l1/ILineaRollup.sol"; /** * @title Contract to manage cross-chain messaging on L1 and rollup proving. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ contract LineaRollup is AccessControlUpgradeable, ZkEvmV2, L1MessageService, ILineaRollup { bytes32 public constant VERIFIER_SETTER_ROLE = keccak256("VERIFIER_SETTER_ROLE"); bytes32 public constant GENESIS_SHNARF = keccak256("0x0000000000000000000000000000000000000000000000000000000000000000"); bytes32 internal constant EMPTY_HASH = 0x0; uint256 internal constant BLS_CURVE_MODULUS = 52435875175126190479447740508185965837690552500527637822603658699938581184513; address internal constant POINT_EVALUATION_PRECOMPILE_ADDRESS = address(0x0a); uint256 internal constant POINT_EVALUATION_RETURN_DATA_LENGTH = 64; uint256 internal constant POINT_EVALUATION_FIELD_ELEMENTS_LENGTH = 4096; mapping(bytes32 dataHash => bytes32 finalStateRootHash) public dataFinalStateRootHashes; mapping(bytes32 dataHash => bytes32 parentHash) public dataParents; mapping(bytes32 dataHash => bytes32 shnarfHash) public dataShnarfHashes; mapping(bytes32 dataHash => uint256 startingBlock) public dataStartingBlock; mapping(bytes32 dataHash => uint256 endingBlock) public dataEndingBlock; uint256 public currentL2StoredL1MessageNumber; bytes32 public currentL2StoredL1RollingHash; bytes32 public currentFinalizedShnarf; /// @dev Total contract storage is 8 slots. /// @custom:oz-upgrades-unsafe-allow constructor constructor() { _disableInitializers(); } /** * @notice Initializes LineaRollup and underlying service dependencies. * @dev DEFAULT_ADMIN_ROLE is set for the security council. * @dev OPERATOR_ROLE is set for operators. * @param _initialStateRootHash The initial hash at migration used for proof verification. * @param _initialL2BlockNumber The initial block number at migration. * @param _defaultVerifier The default verifier for rollup proofs. * @param _securityCouncil The address for the security council performing admin operations. * @param _operators The allowed rollup operators at initialization. * @param _rateLimitPeriodInSeconds The period in which withdrawal amounts and fees will be accumulated. * @param _rateLimitAmountInWei The limit allowed for withdrawing in the period. * @param _genesisTimestamp The L2 genesis timestamp for first finalization. */ function initialize( bytes32 _initialStateRootHash, uint256 _initialL2BlockNumber, address _defaultVerifier, address _securityCouncil, address[] calldata _operators, uint256 _rateLimitPeriodInSeconds, uint256 _rateLimitAmountInWei, uint256 _genesisTimestamp ) external initializer { if (_defaultVerifier == address(0)) { revert ZeroAddressNotAllowed(); } for (uint256 i; i < _operators.length; ++i) { if (_operators[i] == address(0)) { revert ZeroAddressNotAllowed(); } _grantRole(OPERATOR_ROLE, _operators[i]); } _grantRole(DEFAULT_ADMIN_ROLE, _securityCouncil); _grantRole(VERIFIER_SETTER_ROLE, _securityCouncil); __ReentrancyGuard_init(); __MessageService_init(_securityCouncil, _securityCouncil, _rateLimitPeriodInSeconds, _rateLimitAmountInWei); verifiers[0] = _defaultVerifier; currentL2BlockNumber = _initialL2BlockNumber; stateRootHashes[_initialL2BlockNumber] = _initialStateRootHash; dataFinalStateRootHashes[EMPTY_HASH] = _initialStateRootHash; dataShnarfHashes[EMPTY_HASH] = GENESIS_SHNARF; currentFinalizedShnarf = GENESIS_SHNARF; currentTimestamp = _genesisTimestamp; } /** * @notice Initializes LineaRollup and sets the last finalized shnarf. * @dev Finalization will be paused to make sure there are no overlaps. * @param _lastFinalizedShnarf The last finalizedShnarf. */ function initializeLastFinalizedShnarf(bytes32 _lastFinalizedShnarf) external reinitializer(3) { currentFinalizedShnarf = _lastFinalizedShnarf; } /** * @notice Adds or updates the verifier contract address for a proof type. * @dev VERIFIER_SETTER_ROLE is required to execute. * @param _newVerifierAddress The address for the verifier contract. * @param _proofType The proof type being set/updated. */ function setVerifierAddress(address _newVerifierAddress, uint256 _proofType) external onlyRole(VERIFIER_SETTER_ROLE) { if (_newVerifierAddress == address(0)) { revert ZeroAddressNotAllowed(); } emit VerifierAddressChanged(_newVerifierAddress, _proofType, msg.sender, verifiers[_proofType]); verifiers[_proofType] = _newVerifierAddress; } /** * @notice Submit compressed blob data using EIP-4844 blobs. * @dev OPERATOR_ROLE is required to execute. * @dev This should be a blob carrying transaction. * @param _submissionData The supporting data for blob data submission excluding the compressed data. * @param _dataEvaluationClaim The data evaluation claim. * @param _kzgCommitment The blob KZG commitment. * @param _kzgProof The blob KZG point proof. */ function submitBlobData( SupportingSubmissionData calldata _submissionData, uint256 _dataEvaluationClaim, bytes calldata _kzgCommitment, bytes calldata _kzgProof ) external whenTypeAndGeneralNotPaused(PROVING_SYSTEM_PAUSE_TYPE) onlyRole(OPERATOR_ROLE) { bytes32 currentDataHash = blobhash(0); if (currentDataHash == EMPTY_HASH) { revert EmptyBlobData(); } if (_dataEvaluationClaim >= BLS_CURVE_MODULUS) revert YPointGreaterThanCurveModulus(); bytes32 dataEvaluationPoint = keccak256(abi.encode(_submissionData.snarkHash, currentDataHash)); _validateSubmissionData(_submissionData, currentDataHash); _verifyPointEvaluation( currentDataHash, uint256(dataEvaluationPoint), _dataEvaluationClaim, _kzgCommitment, _kzgProof ); _calculateShnarfAndSave(dataEvaluationPoint, bytes32(_dataEvaluationClaim), currentDataHash, _submissionData); } /** * @notice Submit blobs using compressed data via calldata. * @dev OPERATOR_ROLE is required to execute. * @param _submissionData The supporting data for compressed data submission. */ function submitData( SubmissionData calldata _submissionData ) external whenTypeAndGeneralNotPaused(PROVING_SYSTEM_PAUSE_TYPE) onlyRole(OPERATOR_ROLE) { if (_submissionData.compressedData.length == 0) { revert EmptySubmissionData(); } SupportingSubmissionData memory submissionData = SupportingSubmissionData({ parentStateRootHash: _submissionData.parentStateRootHash, dataParentHash: _submissionData.dataParentHash, finalStateRootHash: _submissionData.finalStateRootHash, firstBlockInData: _submissionData.firstBlockInData, finalBlockInData: _submissionData.finalBlockInData, snarkHash: _submissionData.snarkHash }); bytes32 currentDataHash = keccak256(_submissionData.compressedData); _validateSubmissionData(submissionData, currentDataHash); bytes32 dataEvaluationPoint = keccak256(abi.encode(_submissionData.snarkHash, currentDataHash)); bytes32 compressedDataComputedY = _calculateY(_submissionData.compressedData, dataEvaluationPoint); _calculateShnarfAndSave(dataEvaluationPoint, compressedDataComputedY, currentDataHash, submissionData); } /** * @notice Calculates the shnarf and saves submission data. * @param _dataEvaluationPoint The data evaluation point. * @param _dataEvaluationClaim The data evaluation claim. * @param _currentDataHash The current data hash, blob or compressed data. * @param _submissionData The supporting data for compressed data submission excluding compressed data. */ function _calculateShnarfAndSave( bytes32 _dataEvaluationPoint, bytes32 _dataEvaluationClaim, bytes32 _currentDataHash, SupportingSubmissionData memory _submissionData ) internal { bytes32 shnarf = dataShnarfHashes[_submissionData.dataParentHash]; if (shnarf == EMPTY_HASH) { revert DataParentHasEmptyShnarf(); } shnarf = keccak256( abi.encode( shnarf, _submissionData.snarkHash, _submissionData.finalStateRootHash, _dataEvaluationPoint, _dataEvaluationClaim ) ); dataParents[_currentDataHash] = _submissionData.dataParentHash; dataFinalStateRootHashes[_currentDataHash] = _submissionData.finalStateRootHash; dataStartingBlock[_currentDataHash] = _submissionData.firstBlockInData; dataEndingBlock[_currentDataHash] = _submissionData.finalBlockInData; dataShnarfHashes[_currentDataHash] = shnarf; emit DataSubmitted(_currentDataHash, _submissionData.firstBlockInData, _submissionData.finalBlockInData); } /** * @notice Internal function to validate submission data. * @param _submissionData The supporting data for compressed data submission excluding compressed data. * @param _currentDataHash The current data hash, blob or compressed data. */ function _validateSubmissionData( SupportingSubmissionData memory _submissionData, bytes32 _currentDataHash ) internal view { if (_submissionData.finalStateRootHash == EMPTY_HASH) { revert FinalBlockStateEqualsZeroHash(); } bytes32 parentFinalStateRootHash = dataFinalStateRootHashes[_submissionData.dataParentHash]; uint256 lastFinalizedBlock = currentL2BlockNumber; uint256 parentEndingBlock = dataEndingBlock[_submissionData.dataParentHash]; if (parentFinalStateRootHash == EMPTY_HASH) { revert StateRootHashInvalid(parentFinalStateRootHash, _submissionData.parentStateRootHash); } uint256 expectedStartingBlock = parentEndingBlock + 1; if (expectedStartingBlock != _submissionData.firstBlockInData) { revert DataStartingBlockDoesNotMatch(expectedStartingBlock, _submissionData.firstBlockInData); } if (_submissionData.firstBlockInData <= lastFinalizedBlock) { revert FirstBlockLessThanOrEqualToLastFinalizedBlock(_submissionData.firstBlockInData, lastFinalizedBlock); } if (_submissionData.firstBlockInData > _submissionData.finalBlockInData) { revert FirstBlockGreaterThanFinalBlock(_submissionData.firstBlockInData, _submissionData.finalBlockInData); } if (_submissionData.parentStateRootHash != parentFinalStateRootHash) { revert StateRootHashInvalid(parentFinalStateRootHash, _submissionData.parentStateRootHash); } if (dataFinalStateRootHashes[_currentDataHash] != EMPTY_HASH) { revert DataAlreadySubmitted(_currentDataHash); } } /** * @notice Performs point evaluation for the compressed blob. * @dev _dataEvaluationPoint is modular reduced to be lower than the BLS_CURVE_MODULUS for precompile checks. * @param _currentDataHash The current blob versioned hash. * @param _dataEvaluationPoint The data evaluation point. * @param _dataEvaluationClaim The data evaluation claim. * @param _kzgCommitment The blob KZG commitment. * @param _kzgProof The blob KZG point proof. */ function _verifyPointEvaluation( bytes32 _currentDataHash, uint256 _dataEvaluationPoint, uint256 _dataEvaluationClaim, bytes calldata _kzgCommitment, bytes calldata _kzgProof ) internal view { assembly { _dataEvaluationPoint := mod(_dataEvaluationPoint, BLS_CURVE_MODULUS) } (bool success, bytes memory returnData) = POINT_EVALUATION_PRECOMPILE_ADDRESS.staticcall( abi.encodePacked(_currentDataHash, _dataEvaluationPoint, _dataEvaluationClaim, _kzgCommitment, _kzgProof) ); if (!success) { revert PointEvaluationFailed(); } if (returnData.length != POINT_EVALUATION_RETURN_DATA_LENGTH) { revert PrecompileReturnDataLengthWrong(POINT_EVALUATION_RETURN_DATA_LENGTH, returnData.length); } uint256 fieldElements; uint256 blsCurveModulus; assembly { fieldElements := mload(add(returnData, 32)) blsCurveModulus := mload(add(returnData, POINT_EVALUATION_RETURN_DATA_LENGTH)) } if (fieldElements != POINT_EVALUATION_FIELD_ELEMENTS_LENGTH || blsCurveModulus != BLS_CURVE_MODULUS) { revert PointEvaluationResponseInvalid(fieldElements, blsCurveModulus); } } /** * @notice Finalize compressed blocks with proof. * @dev OPERATOR_ROLE is required to execute. * @param _aggregatedProof The aggregated proof. * @param _proofType The proof type. * @param _finalizationData The full finalization data. */ function finalizeCompressedBlocksWithProof( bytes calldata _aggregatedProof, uint256 _proofType, FinalizationData calldata _finalizationData ) external whenTypeAndGeneralNotPaused(PROVING_SYSTEM_PAUSE_TYPE) onlyRole(OPERATOR_ROLE) { if (_aggregatedProof.length == 0) { revert ProofIsEmpty(); } uint256 lastFinalizedBlockNumber = currentL2BlockNumber; if (stateRootHashes[lastFinalizedBlockNumber] != _finalizationData.parentStateRootHash) { revert StartingRootHashDoesNotMatch(); } if (dataShnarfHashes[_finalizationData.dataParentHash] != currentFinalizedShnarf) { revert LastFinalizedShnarfWrong(currentFinalizedShnarf, dataShnarfHashes[_finalizationData.dataParentHash]); } uint256 lastFinalizedL2StoredL1MessageNumber = currentL2StoredL1MessageNumber; bytes32 lastFinalizedL2StoredL1RollingHash = currentL2StoredL1RollingHash; bytes32 shnarf = _finalizeCompressedBlocks(_finalizationData, lastFinalizedBlockNumber, true); uint256 publicInput = uint256( keccak256( bytes.concat( abi.encode( shnarf, _finalizationData.parentStateRootHash, _finalizationData.lastFinalizedTimestamp, _finalizationData.finalTimestamp, lastFinalizedBlockNumber, _finalizationData.finalBlockNumber ), abi.encode( lastFinalizedL2StoredL1RollingHash, _finalizationData.l1RollingHash, lastFinalizedL2StoredL1MessageNumber, _finalizationData.l1RollingHashMessageNumber, _finalizationData.l2MerkleTreesDepth, keccak256(abi.encodePacked(_finalizationData.l2MerkleRoots)) ) ) ) ); assembly { publicInput := mod(publicInput, MODULO_R) } _verifyProof( publicInput, _proofType, _aggregatedProof, _finalizationData.parentStateRootHash, _finalizationData.finalBlockNumber ); } /** * @notice Finalize compressed blocks without proof. * @dev DEFAULT_ADMIN_ROLE is required to execute. * @param _finalizationData The simplified finalization data without proof. */ function finalizeCompressedBlocksWithoutProof( FinalizationData calldata _finalizationData ) external whenTypeNotPaused(GENERAL_PAUSE_TYPE) onlyRole(DEFAULT_ADMIN_ROLE) { uint256 lastFinalizedBlock = currentL2BlockNumber; _finalizeCompressedBlocks(_finalizationData, lastFinalizedBlock, false); } /** * @notice Internal function to finalize compressed blocks. * @param _finalizationData The full finalization data. * @param _lastFinalizedBlock The last finalized block. * @param _withProof If we are finalizing with a proof. * @return shnarf The shnarf stored at the last data hash being finalized. */ function _finalizeCompressedBlocks( FinalizationData calldata _finalizationData, uint256 _lastFinalizedBlock, bool _withProof ) internal returns (bytes32 shnarf) { uint256 finalizationDataDataHashesLength = _finalizationData.dataHashes.length; if (finalizationDataDataHashesLength == 0) { revert FinalizationDataMissing(); } if (_finalizationData.finalBlockNumber <= _lastFinalizedBlock) { revert FinalBlockNumberLessThanOrEqualToLastFinalizedBlock( _finalizationData.finalBlockNumber, _lastFinalizedBlock ); } _validateL2ComputedRollingHash(_finalizationData.l1RollingHashMessageNumber, _finalizationData.l1RollingHash); if (currentTimestamp != _finalizationData.lastFinalizedTimestamp) { revert TimestampsNotInSequence(currentTimestamp, _finalizationData.lastFinalizedTimestamp); } if (_finalizationData.finalTimestamp >= block.timestamp) { revert FinalizationInTheFuture(_finalizationData.finalTimestamp, block.timestamp); } bytes32 startingDataParentHash = dataParents[_finalizationData.dataHashes[0]]; if (startingDataParentHash != _finalizationData.dataParentHash) { revert ParentHashesDoesNotMatch(startingDataParentHash, _finalizationData.dataParentHash); } bytes32 startingParentFinalStateRootHash = dataFinalStateRootHashes[startingDataParentHash]; if (startingParentFinalStateRootHash != _finalizationData.parentStateRootHash) { revert FinalStateRootHashDoesNotMatch(startingParentFinalStateRootHash, _finalizationData.parentStateRootHash); } bytes32 finalBlockState = dataFinalStateRootHashes[ _finalizationData.dataHashes[finalizationDataDataHashesLength - 1] ]; if (finalBlockState == EMPTY_HASH) { revert FinalBlockStateEqualsZeroHash(); } unchecked { shnarf = dataShnarfHashes[_finalizationData.dataHashes[_finalizationData.dataHashes.length - 1]]; if (shnarf == EMPTY_HASH) { revert DataParentHasEmptyShnarf(); } } _addL2MerkleRoots(_finalizationData.l2MerkleRoots, _finalizationData.l2MerkleTreesDepth); _anchorL2MessagingBlocks(_finalizationData.l2MessagingBlocksOffsets, _lastFinalizedBlock); for (uint256 i = 1; i < finalizationDataDataHashesLength; ++i) { unchecked { if (dataParents[_finalizationData.dataHashes[i]] != _finalizationData.dataHashes[i - 1]) { revert DataHashesNotInSequence( _finalizationData.dataHashes[i - 1], dataParents[_finalizationData.dataHashes[i]] ); } } } uint256 suppliedStartingBlock = dataStartingBlock[_finalizationData.dataHashes[0]]; uint256 suppliedFinalBlock = dataEndingBlock[_finalizationData.dataHashes[finalizationDataDataHashesLength - 1]]; // check final item supplied matches if (suppliedFinalBlock != _finalizationData.finalBlockNumber) { revert DataEndingBlockDoesNotMatch(suppliedFinalBlock, _finalizationData.finalBlockNumber); } // check suppliedStartingBlock is 1 more than the last finalized block if (suppliedStartingBlock != _lastFinalizedBlock + 1) { revert DataStartingBlockDoesNotMatch(_lastFinalizedBlock + 1, suppliedStartingBlock); } stateRootHashes[_finalizationData.finalBlockNumber] = finalBlockState; currentFinalizedShnarf = shnarf; currentTimestamp = _finalizationData.finalTimestamp; currentL2BlockNumber = _finalizationData.finalBlockNumber; currentL2StoredL1MessageNumber = _finalizationData.l1RollingHashMessageNumber; currentL2StoredL1RollingHash = _finalizationData.l1RollingHash; emit DataFinalized( _finalizationData.finalBlockNumber, _finalizationData.parentStateRootHash, finalBlockState, _withProof ); } /** * @notice Internal function to validate l1 rolling hash. * @param _rollingHashMessageNumber Message number associated with the rolling hash as computed on L2. * @param _rollingHash L1 rolling hash as computed on L2. */ function _validateL2ComputedRollingHash(uint256 _rollingHashMessageNumber, bytes32 _rollingHash) internal view { if (_rollingHashMessageNumber == 0) { if (_rollingHash != EMPTY_HASH) { revert MissingMessageNumberForRollingHash(_rollingHash); } } else { if (_rollingHash == EMPTY_HASH) { revert MissingRollingHashForMessageNumber(_rollingHashMessageNumber); } if (rollingHashes[_rollingHashMessageNumber] != _rollingHash) { revert L1RollingHashDoesNotExistOnL1(_rollingHashMessageNumber, _rollingHash); } } } /** * @notice Internal function to calculate Y for public input generation. * @param _data Compressed data from submission data. * @param _dataEvaluationPoint The data evaluation point. * @dev Each chunk of 32 bytes must start with a 0 byte. * @dev The dataEvaluationPoint value is modulo-ed down during the computation and scalar field checking is not needed. * @dev There is a hard constraint in the circuit to enforce the polynomial degree limit (4096), which will also be enforced with EIP-4844. * @return compressedDataComputedY The Y calculated value using the Horner method. */ function _calculateY( bytes calldata _data, bytes32 _dataEvaluationPoint ) internal pure returns (bytes32 compressedDataComputedY) { if (_data.length % 0x20 != 0) { revert BytesLengthNotMultipleOf32(); } bytes4 errorSelector = ILineaRollup.FirstByteIsNotZero.selector; assembly { for { let i := _data.length } gt(i, 0) { } { i := sub(i, 0x20) let chunk := calldataload(add(_data.offset, i)) if iszero(iszero(and(chunk, 0xFF00000000000000000000000000000000000000000000000000000000000000))) { let ptr := mload(0x40) mstore(ptr, errorSelector) revert(ptr, 0x4) } compressedDataComputedY := addmod( mulmod(compressedDataComputedY, _dataEvaluationPoint, BLS_CURVE_MODULUS), chunk, BLS_CURVE_MODULUS ) } } } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { BitMaps } from "@openzeppelin/contracts/utils/structs/BitMaps.sol"; import { L1MessageManagerV1 } from "./v1/L1MessageManagerV1.sol"; import { IL1MessageManager } from "../../interfaces/l1/IL1MessageManager.sol"; import { Utils } from "../../lib/Utils.sol"; /** * @title Contract to manage cross-chain message rolling hash computation and storage on L1. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract L1MessageManager is L1MessageManagerV1, IL1MessageManager { using BitMaps for BitMaps.BitMap; using Utils for *; mapping(uint256 messageNumber => bytes32 rollingHash) public rollingHashes; BitMaps.BitMap internal _messageClaimedBitMap; mapping(bytes32 merkleRoot => uint256 treeDepth) public l2MerkleRootsDepths; /// @dev Total contract storage is 53 slots including the gap below. /// @dev Keep 50 free storage slots for future implementation updates to avoid storage collision. uint256[50] private __gap_L1MessageManager; /** * @notice Take an existing message hash, calculates the rolling hash and stores at the message number. * @param _messageNumber The current message number being sent. * @param _messageHash The hash of the message being sent. */ function _addRollingHash(uint256 _messageNumber, bytes32 _messageHash) internal { unchecked { bytes32 newRollingHash = Utils._efficientKeccak(rollingHashes[_messageNumber - 1], _messageHash); rollingHashes[_messageNumber] = newRollingHash; emit RollingHashUpdated(_messageNumber, newRollingHash, _messageHash); } } /** * @notice Set the L2->L1 message as claimed when a user claims a message on L1. * @param _messageNumber The message number on L2. */ function _setL2L1MessageToClaimed(uint256 _messageNumber) internal { if (_messageClaimedBitMap.get(_messageNumber)) { revert MessageAlreadyClaimed(_messageNumber); } _messageClaimedBitMap.set(_messageNumber); } /** * @notice Add the L2 merkle roots to the storage. * @dev This function is called during block finalization. * @param _newRoots New L2 merkle roots. */ function _addL2MerkleRoots(bytes32[] calldata _newRoots, uint256 _treeDepth) internal { for (uint256 i; i < _newRoots.length; ++i) { if (l2MerkleRootsDepths[_newRoots[i]] != 0) { revert L2MerkleRootAlreadyAnchored(_newRoots[i]); } l2MerkleRootsDepths[_newRoots[i]] = _treeDepth; emit L2MerkleRootAdded(_newRoots[i], _treeDepth); } } /** * @notice Emit an event for each L2 block containing L2->L1 messages. * @dev This function is called during block finalization. * @param _l2MessagingBlocksOffsets Is a sequence of uint16 values, where each value plus the last finalized L2 block number. * indicates which L2 blocks have L2->L1 messages. * @param _currentL2BlockNumber Last L2 block number finalized on L1. */ function _anchorL2MessagingBlocks(bytes calldata _l2MessagingBlocksOffsets, uint256 _currentL2BlockNumber) internal { if (_l2MessagingBlocksOffsets.length % 2 != 0) { revert BytesLengthNotMultipleOfTwo(_l2MessagingBlocksOffsets.length); } uint256 l2BlockOffset; unchecked { for (uint256 i; i < _l2MessagingBlocksOffsets.length; ) { assembly { l2BlockOffset := shr(240, calldataload(add(_l2MessagingBlocksOffsets.offset, i))) } emit L2MessagingBlockAnchored(_currentL2BlockNumber + l2BlockOffset); i += 2; } } } /** * @notice Check if the L2->L1 message is claimed or not. * @param _messageNumber The message number on L2. */ function isMessageClaimed(uint256 _messageNumber) external view returns (bool) { return _messageClaimedBitMap.get(_messageNumber); } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol"; import { L1MessageServiceV1 } from "./v1/L1MessageServiceV1.sol"; import { L1MessageManager } from "./L1MessageManager.sol"; import { IL1MessageService } from "../../interfaces/l1/IL1MessageService.sol"; import { IGenericErrors } from "../../interfaces/IGenericErrors.sol"; import { SparseMerkleTreeVerifier } from "../lib/SparseMerkleTreeVerifier.sol"; /** * @title Contract to manage cross-chain messaging on L1. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract L1MessageService is AccessControlUpgradeable, L1MessageServiceV1, L1MessageManager, IL1MessageService, IGenericErrors { using SparseMerkleTreeVerifier for *; /// @dev This is currently not in use, but is reserved for future upgrades. uint256 public systemMigrationBlock; /// @dev Total contract storage is 51 slots including the gap below. /// @dev Keep 50 free storage slots for future implementation updates to avoid storage collision. uint256[50] private __gap_L1MessageService; /** * @notice Initialises underlying message service dependencies. * @dev _messageSender is initialised to a non-zero value for gas efficiency on claiming. * @param _limitManagerAddress The address owning the rate limiting management role. * @param _pauseManagerAddress The address owning the pause management role. * @param _rateLimitPeriod The period to rate limit against. * @param _rateLimitAmount The limit allowed for withdrawing the period. */ function __MessageService_init( address _limitManagerAddress, address _pauseManagerAddress, uint256 _rateLimitPeriod, uint256 _rateLimitAmount ) internal onlyInitializing { if (_limitManagerAddress == address(0)) { revert ZeroAddressNotAllowed(); } if (_pauseManagerAddress == address(0)) { revert ZeroAddressNotAllowed(); } __ERC165_init(); __Context_init(); __AccessControl_init(); __RateLimiter_init(_rateLimitPeriod, _rateLimitAmount); _grantRole(RATE_LIMIT_SETTER_ROLE, _limitManagerAddress); _grantRole(PAUSE_MANAGER_ROLE, _pauseManagerAddress); nextMessageNumber = 1; _messageSender = DEFAULT_SENDER_ADDRESS; } /** * @notice Adds a message for sending cross-chain and emits MessageSent. * @dev The message number is preset (nextMessageNumber) and only incremented at the end if successful for the next caller. * @dev This function should be called with a msg.value = _value + _fee. The fee will be paid on the destination chain. * @param _to The address the message is intended for. * @param _fee The fee being paid for the message delivery. * @param _calldata The calldata to pass to the recipient. */ function sendMessage( address _to, uint256 _fee, bytes calldata _calldata ) external payable whenTypeAndGeneralNotPaused(L1_L2_PAUSE_TYPE) { if (_to == address(0)) { revert ZeroAddressNotAllowed(); } if (_fee > msg.value) { revert ValueSentTooLow(); } uint256 messageNumber = nextMessageNumber++; uint256 valueSent = msg.value - _fee; bytes32 messageHash = keccak256(abi.encode(msg.sender, _to, _fee, valueSent, messageNumber, _calldata)); _addRollingHash(messageNumber, messageHash); emit MessageSent(msg.sender, _to, _fee, valueSent, messageNumber, _calldata, messageHash); } /** * @notice Claims and delivers a cross-chain message using merkle proof. * @dev if merkle depth is empty, it will revert with L2MerkleRootDoesNotExist. * @dev if merkle depth is different than proof size, it will revert with ProofLengthDifferentThanMerkleDepth. * @param _params Collection of claim data with proof and supporting data. */ function claimMessageWithProof( ClaimMessageWithProofParams calldata _params ) external nonReentrant distributeFees(_params.fee, _params.to, _params.data, _params.feeRecipient) { _requireTypeAndGeneralNotPaused(L2_L1_PAUSE_TYPE); uint256 merkleDepth = l2MerkleRootsDepths[_params.merkleRoot]; if (merkleDepth == 0) { revert L2MerkleRootDoesNotExist(); } if (merkleDepth != _params.proof.length) { revert ProofLengthDifferentThanMerkleDepth(merkleDepth, _params.proof.length); } _setL2L1MessageToClaimed(_params.messageNumber); _addUsedAmount(_params.fee + _params.value); bytes32 messageLeafHash = keccak256( abi.encode(_params.from, _params.to, _params.fee, _params.value, _params.messageNumber, _params.data) ); if ( !SparseMerkleTreeVerifier._verifyMerkleProof( messageLeafHash, _params.proof, _params.leafIndex, _params.merkleRoot ) ) { revert InvalidMerkleProof(); } _messageSender = _params.from; (bool callSuccess, bytes memory returnData) = _params.to.call{ value: _params.value }(_params.data); if (!callSuccess) { if (returnData.length > 0) { assembly { let data_size := mload(returnData) revert(add(32, returnData), data_size) } } else { revert MessageSendingFailed(_params.to); } } _messageSender = DEFAULT_SENDER_ADDRESS; emit MessageClaimed(messageLeafHash); } /** * @notice Claims and delivers a cross-chain message. * @dev _messageSender is set temporarily when claiming. */ function sender() external view returns (address) { return _messageSender; } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { IL1MessageManagerV1 } from "../../../interfaces/l1/IL1MessageManagerV1.sol"; /** * @title Contract to manage cross-chain message hashes storage and status on L1. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract L1MessageManagerV1 is IL1MessageManagerV1 { uint8 public constant INBOX_STATUS_UNKNOWN = 0; uint8 public constant INBOX_STATUS_RECEIVED = 1; uint8 public constant OUTBOX_STATUS_UNKNOWN = 0; uint8 public constant OUTBOX_STATUS_SENT = 1; uint8 public constant OUTBOX_STATUS_RECEIVED = 2; /// @dev Mapping to store L1->L2 message hashes status. /// @dev messageHash => messageStatus (0: unknown, 1: sent, 2: received). mapping(bytes32 messageHash => uint256 messageStatus) public outboxL1L2MessageStatus; /// @dev Mapping to store L2->L1 message hashes status. /// @dev messageHash => messageStatus (0: unknown, 1: received). mapping(bytes32 messageHash => uint256 messageStatus) public inboxL2L1MessageStatus; /// @dev Keep free storage slots for future implementation updates to avoid storage collision. // ******************************************************************************************* // NB: THIS GAP HAS BEEN PUSHED OUT IN FAVOUR OF THE GAP INSIDE THE REENTRANCY CODE //uint256[50] private __gap; // NB: DO NOT USE THIS GAP // ******************************************************************************************* /// @dev Total contract storage is 2 slots. /** * @notice Update the status of L2->L1 message when a user claims a message on L1. * @dev The L2->L1 message is removed from storage. * @dev Due to the nature of the rollup, we should not get a second entry of this. * @param _messageHash Hash of the message. */ function _updateL2L1MessageStatusToClaimed(bytes32 _messageHash) internal { if (inboxL2L1MessageStatus[_messageHash] != INBOX_STATUS_RECEIVED) { revert MessageDoesNotExistOrHasAlreadyBeenClaimed(_messageHash); } delete inboxL2L1MessageStatus[_messageHash]; } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol"; import { ReentrancyGuardUpgradeable } from "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol"; import { PauseManager } from "../../lib/PauseManager.sol"; import { RateLimiter } from "../../lib/RateLimiter.sol"; import { L1MessageManagerV1 } from "./L1MessageManagerV1.sol"; import { IMessageService } from "../../../interfaces/IMessageService.sol"; /** * @title Contract to manage cross-chain messaging on L1. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract L1MessageServiceV1 is Initializable, RateLimiter, L1MessageManagerV1, ReentrancyGuardUpgradeable, PauseManager, IMessageService { // @dev This is initialised to save user cost with existing slot. uint256 public nextMessageNumber; address internal _messageSender; /// @dev Total contract storage is 52 slots including the gap below. /// @dev Keep 50 free storage slots for future implementation updates to avoid storage collision. uint256[50] private __gap; /// @dev adding these should not affect storage as they are constants and are stored in bytecode. uint256 internal constant REFUND_OVERHEAD_IN_GAS = 48252; address internal constant DEFAULT_SENDER_ADDRESS = address(123456789); /** * @notice The unspent fee is refunded if applicable. * @param _feeInWei The fee paid for delivery in Wei. * @param _to The recipient of the message and gas refund. * @param _calldata The calldata of the message. */ modifier distributeFees( uint256 _feeInWei, address _to, bytes calldata _calldata, address _feeRecipient ) { //pre-execution uint256 startingGas = gasleft(); _; //post-execution // we have a fee if (_feeInWei > 0) { // default postman fee uint256 deliveryFee = _feeInWei; // do we have empty calldata? if (_calldata.length == 0) { bool isDestinationEOA; assembly { isDestinationEOA := iszero(extcodesize(_to)) } // are we calling an EOA if (isDestinationEOA) { // initial + cost to call and refund minus gasleft deliveryFee = (startingGas + REFUND_OVERHEAD_IN_GAS - gasleft()) * tx.gasprice; if (_feeInWei > deliveryFee) { payable(_to).send(_feeInWei - deliveryFee); } else { deliveryFee = _feeInWei; } } } address feeReceiver = _feeRecipient == address(0) ? msg.sender : _feeRecipient; bool callSuccess = payable(feeReceiver).send(deliveryFee); if (!callSuccess) { revert FeePaymentFailed(feeReceiver); } } } /** * @notice Claims and delivers a cross-chain message. * @dev _feeRecipient can be set to address(0) to receive as msg.sender. * @dev _messageSender is set temporarily when claiming and reset post. Used in sender(). * @dev _messageSender is reset to DEFAULT_SENDER_ADDRESS to be more gas efficient. * @param _from The address of the original sender. * @param _to The address the message is intended for. * @param _fee The fee being paid for the message delivery. * @param _value The value to be transferred to the destination address. * @param _feeRecipient The recipient for the fee. * @param _calldata The calldata to pass to the recipient. * @param _nonce The unique auto generated nonce used when sending the message. */ function claimMessage( address _from, address _to, uint256 _fee, uint256 _value, address payable _feeRecipient, bytes calldata _calldata, uint256 _nonce ) external nonReentrant distributeFees(_fee, _to, _calldata, _feeRecipient) { _requireTypeAndGeneralNotPaused(L2_L1_PAUSE_TYPE); bytes32 messageHash = keccak256(abi.encode(_from, _to, _fee, _value, _nonce, _calldata)); // @dev Status check and revert is in the message manager. _updateL2L1MessageStatusToClaimed(messageHash); _addUsedAmount(_fee + _value); _messageSender = _from; (bool callSuccess, bytes memory returnData) = _to.call{ value: _value }(_calldata); if (!callSuccess) { if (returnData.length > 0) { assembly { let data_size := mload(returnData) revert(add(32, returnData), data_size) } } else { revert MessageSendingFailed(_to); } } _messageSender = DEFAULT_SENDER_ADDRESS; emit MessageClaimed(messageHash); } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity >=0.8.19 <=0.8.24; import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol"; import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol"; import { IPauseManager } from "../../interfaces/IPauseManager.sol"; /** * @title Contract to manage cross-chain function pausing. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract PauseManager is Initializable, IPauseManager, AccessControlUpgradeable { bytes32 public constant PAUSE_MANAGER_ROLE = keccak256("PAUSE_MANAGER_ROLE"); uint8 public constant GENERAL_PAUSE_TYPE = 1; uint8 public constant L1_L2_PAUSE_TYPE = 2; uint8 public constant L2_L1_PAUSE_TYPE = 3; uint8 public constant PROVING_SYSTEM_PAUSE_TYPE = 4; // @dev DEPRECATED. USE _pauseTypeStatusesBitMap INSTEAD mapping(bytes32 pauseType => bool pauseStatus) public pauseTypeStatuses; uint256 private _pauseTypeStatusesBitMap; /// @dev Total contract storage is 11 slots with the gap below. /// @dev Keep 9 free storage slots for future implementation updates to avoid storage collision. /// @dev Note: This was reduced previously to cater for new functionality. uint256[9] private __gap; /** * @dev Modifier to make a function callable only when the specific and general types are not paused. * @param _pauseType The pause type value being checked. * Requirements: * * - The type must not be paused. */ modifier whenTypeAndGeneralNotPaused(uint8 _pauseType) { _requireTypeAndGeneralNotPaused(_pauseType); _; } /** * @dev Modifier to make a function callable only when the type is not paused. * @param _pauseType The pause type value being checked. * Requirements: * * - The type must not be paused. */ modifier whenTypeNotPaused(uint8 _pauseType) { _requireTypeNotPaused(_pauseType); _; } /** * @dev Throws if the specific or general types are paused. * @dev Checks the specific and general pause types. * @param _pauseType The pause type value being checked. */ function _requireTypeAndGeneralNotPaused(uint8 _pauseType) internal view virtual { uint256 pauseBitMap = _pauseTypeStatusesBitMap; if (pauseBitMap & (1 << uint256(_pauseType)) != 0) { revert IsPaused(_pauseType); } if (pauseBitMap & (1 << uint256(GENERAL_PAUSE_TYPE)) != 0) { revert IsPaused(GENERAL_PAUSE_TYPE); } } /** * @dev Throws if the type is paused. * @dev Checks the specific pause type. * @param _pauseType The pause type value being checked. */ function _requireTypeNotPaused(uint8 _pauseType) internal view virtual { if (isPaused(_pauseType)) { revert IsPaused(_pauseType); } } /** * @notice Pauses functionality by specific type. * @dev Requires PAUSE_MANAGER_ROLE. * @param _pauseType The pause type value. */ function pauseByType(uint8 _pauseType) external onlyRole(PAUSE_MANAGER_ROLE) { if (isPaused(_pauseType)) { revert IsPaused(_pauseType); } _pauseTypeStatusesBitMap |= 1 << uint256(_pauseType); emit Paused(_msgSender(), _pauseType); } /** * @notice Unpauses functionality by specific type. * @dev Requires PAUSE_MANAGER_ROLE. * @param _pauseType The pause type value. */ function unPauseByType(uint8 _pauseType) external onlyRole(PAUSE_MANAGER_ROLE) { if (!isPaused(_pauseType)) { revert IsNotPaused(_pauseType); } _pauseTypeStatusesBitMap &= ~(1 << uint256(_pauseType)); emit UnPaused(_msgSender(), _pauseType); } /** * @notice Check if a pause type is enabled. * @param _pauseType The pause type value. * @return boolean True if the pause type if enabled, false otherwise. */ function isPaused(uint8 _pauseType) public view returns (bool) { return (_pauseTypeStatusesBitMap & (1 << uint256(_pauseType))) != 0; } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity >=0.8.19 <=0.8.24; import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol"; import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol"; import { IRateLimiter } from "../../interfaces/IRateLimiter.sol"; /** * @title Rate Limiter by period and amount using the block timestamp. * @author ConsenSys Software Inc. * @notice You can use this control numeric limits over a period using timestamp. * @custom:security-contact [email protected] */ contract RateLimiter is Initializable, IRateLimiter, AccessControlUpgradeable { bytes32 public constant RATE_LIMIT_SETTER_ROLE = keccak256("RATE_LIMIT_SETTER_ROLE"); uint256 public periodInSeconds; // how much time before limit resets. uint256 public limitInWei; // max ether to withdraw per period. /// @dev Public for ease of consumption. /// @notice The time at which the current period ends at. uint256 public currentPeriodEnd; /// @dev Public for ease of consumption. /// @notice Amounts already withdrawn this period. uint256 public currentPeriodAmountInWei; /// @dev Total contract storage is 14 slots with the gap below. /// @dev Keep 10 free storage slots for future implementation updates to avoid storage collision. uint256[10] private __gap; /** * @notice Initialises the limits and period for the rate limiter. * @param _periodInSeconds The length of the period in seconds. * @param _limitInWei The limit allowed in the period in Wei. */ function __RateLimiter_init(uint256 _periodInSeconds, uint256 _limitInWei) internal onlyInitializing { if (_periodInSeconds == 0) { revert PeriodIsZero(); } if (_limitInWei == 0) { revert LimitIsZero(); } periodInSeconds = _periodInSeconds; limitInWei = _limitInWei; currentPeriodEnd = block.timestamp + _periodInSeconds; emit RateLimitInitialized(periodInSeconds, limitInWei, currentPeriodEnd); } /** * @notice Increments the amount used in the period. * @dev The amount determining logic is external to this (e.g. fees are included when calling here). * @dev Reverts if the limit is breached. * @param _usedAmount The amount used to be added. */ function _addUsedAmount(uint256 _usedAmount) internal { uint256 currentPeriodAmountTemp; if (currentPeriodEnd < block.timestamp) { currentPeriodEnd = block.timestamp + periodInSeconds; currentPeriodAmountTemp = _usedAmount; } else { currentPeriodAmountTemp = currentPeriodAmountInWei + _usedAmount; } if (currentPeriodAmountTemp > limitInWei) { revert RateLimitExceeded(); } currentPeriodAmountInWei = currentPeriodAmountTemp; } /** * @notice Resets the rate limit amount. * @dev If the used amount is higher, it is set to the limit to avoid confusion/issues. * @dev Only the RATE_LIMIT_SETTER_ROLE is allowed to execute this function. * @dev Emits the LimitAmountChanged event. * @dev usedLimitAmountToSet will use the default value of zero if period has expired * @param _amount The amount to reset the limit to. */ function resetRateLimitAmount(uint256 _amount) external onlyRole(RATE_LIMIT_SETTER_ROLE) { uint256 usedLimitAmountToSet; bool amountUsedLoweredToLimit; bool usedAmountResetToZero; if (currentPeriodEnd < block.timestamp) { currentPeriodEnd = block.timestamp + periodInSeconds; usedAmountResetToZero = true; } else { if (_amount < currentPeriodAmountInWei) { usedLimitAmountToSet = _amount; amountUsedLoweredToLimit = true; } } limitInWei = _amount; if (usedAmountResetToZero || amountUsedLoweredToLimit) { currentPeriodAmountInWei = usedLimitAmountToSet; } emit LimitAmountChanged(_msgSender(), _amount, amountUsedLoweredToLimit, usedAmountResetToZero); } /** * @notice Resets the amount used to zero. * @dev Only the RATE_LIMIT_SETTER_ROLE is allowed to execute this function. * @dev Emits the AmountUsedInPeriodReset event. */ function resetAmountUsedInPeriod() external onlyRole(RATE_LIMIT_SETTER_ROLE) { currentPeriodAmountInWei = 0; emit AmountUsedInPeriodReset(_msgSender()); } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; /** * @title Library to verify sparse merkle proofs and to get the leaf hash value * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ library SparseMerkleTreeVerifier { /** * @notice Verify merkle proof * @param _leafHash Leaf hash. * @param _proof Sparse merkle tree proof. * @param _leafIndex Index of the leaf. * @param _root Merkle root. */ function _verifyMerkleProof( bytes32 _leafHash, bytes32[] calldata _proof, uint32 _leafIndex, bytes32 _root ) internal pure returns (bool) { bytes32 node = _leafHash; for (uint256 height; height < _proof.length; ++height) { if (((_leafIndex >> height) & 1) == 1) { node = _efficientKeccak(_proof[height], node); } else { node = _efficientKeccak(node, _proof[height]); } } return node == _root; } /** * @notice Performs a gas optimized keccak hash * @param _left Left value. * @param _right Right value. */ function _efficientKeccak(bytes32 _left, bytes32 _right) internal pure returns (bytes32 value) { assembly { mstore(0x00, _left) mstore(0x20, _right) value := keccak256(0x00, 0x40) } } } // SPDX-License-Identifier: AGPL-3.0 pragma solidity 0.8.24; import { Initializable } from "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol"; import { AccessControlUpgradeable } from "@openzeppelin/contracts-upgradeable/access/AccessControlUpgradeable.sol"; import { L1MessageServiceV1 } from "./messageService/l1/v1/L1MessageServiceV1.sol"; import { IZkEvmV2 } from "./interfaces/l1/IZkEvmV2.sol"; import { IPlonkVerifier } from "./interfaces/l1/IPlonkVerifier.sol"; /** * @title Contract to manage cross-chain messaging on L1 and rollup proving. * @author ConsenSys Software Inc. * @custom:security-contact [email protected] */ abstract contract ZkEvmV2 is Initializable, AccessControlUpgradeable, L1MessageServiceV1, IZkEvmV2 { uint256 internal constant MODULO_R = 21888242871839275222246405745257275088548364400416034343698204186575808495617; bytes32 public constant OPERATOR_ROLE = keccak256("OPERATOR_ROLE"); uint256 public currentTimestamp; uint256 public currentL2BlockNumber; mapping(uint256 blockNumber => bytes32 stateRootHash) public stateRootHashes; mapping(uint256 proofType => address verifierAddress) public verifiers; /// @dev Total contract storage is 54 slots with the gap below. /// @dev Keep 50 free storage slots for future implementation updates to avoid storage collision. uint256[50] private __gap; /** * @notice Verifies the proof with locally computed public inputs. * @dev If the verifier based on proof type is not found, it reverts with InvalidProofType. * @param _publicInputHash The full BlockData collection - block, transaction and log data. * @param _proofType The proof type to determine which verifier contract to use. * @param _proof The proof to be verified with the proof type verifier contract. * @param _parentStateRootHash The beginning roothash to start with. * @param _finalizedL2BlockNumber The final L2 block number being finalized. */ function _verifyProof( uint256 _publicInputHash, uint256 _proofType, bytes calldata _proof, bytes32 _parentStateRootHash, uint256 _finalizedL2BlockNumber ) internal { uint256[] memory input = new uint256[](1); input[0] = _publicInputHash; address verifierToUse = verifiers[_proofType]; if (verifierToUse == address(0)) { revert InvalidProofType(); } bool success = IPlonkVerifier(verifierToUse).Verify(_proof, input); if (!success) { revert InvalidProof(); } emit BlocksVerificationDone( _finalizedL2BlockNumber, _parentStateRootHash, stateRootHashes[_finalizedL2BlockNumber] ); } }