ETH Price: $3,964.86 (-3.32%)

Transaction Decoder

Block:
23285646 at Sep-03-2025 10:43:59 PM +UTC
Transaction Fee:
0.000032329714388144 ETH $0.13
Gas Used:
102,682 Gas / 0.314852792 Gwei

Emitted Events:

617 FiatTokenProxy.0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef( 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef, 0x0000000000000000000000003b4d794a66304f130a4db8f2551b0070dfcf5ca7, 0x00000000000000000000000005b7129788e3b6c9c9d12210882845821032068c, 0000000000000000000000000000000000000000000000000000000295e334f0 )
618 Proxy.0x557736d88d2d6dc50f9ffb2e3d7602f7047c5211e49c80d32757191ad7c6dc9e( 0x557736d88d2d6dc50f9ffb2e3d7602f7047c5211e49c80d32757191ad7c6dc9e, 0x00000000000000000000000005b7129788e3b6c9c9d12210882845821032068c, 0000000000000000000000000000000000000000000000000000000295e334f0 )

Account State Difference:

  Address   Before After State Difference Code
0x3B4D794a...0dfCf5ca7
(Lighter: ZkLighter)
0x40DC31da...382788738
1.457941365472318508 Eth
Nonce: 201075
1.457909035757930364 Eth
Nonce: 201076
0.000032329714388144
(Titan Builder)
15.896185832453670459 Eth15.896185835123402459 Eth0.000000002669732
0xA0b86991...E3606eB48

Execution Trace

Proxy.e8c8f3f9( )
  • ZkLighter.withdrawPendingBalance( _owner=0x05b7129788e3b6C9c9D12210882845821032068C, _amount=11104630000 )
    • Proxy.STATICCALL( )
      • 0x46d3c0c01d5daae4fe8e3f54f32901d9fbde1f08.DELEGATECALL( )
      • Proxy.68809a23( )
        • ZkLighter.transferERC20( _token=0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48, _to=0x05b7129788e3b6C9c9D12210882845821032068C, _amount=11104630000, _maxAmount=11104630000 ) => ( withdrawnAmount=11104630000 )
          • FiatTokenProxy.70a08231( )
            • FiatTokenV2_2.balanceOf( account=0x3B4D794a66304F130a4Db8F2551B0070dfCf5ca7 ) => ( 366373908529269 )
            • FiatTokenProxy.a9059cbb( )
              • FiatTokenV2_2.transfer( to=0x05b7129788e3b6C9c9D12210882845821032068C, value=11104630000 ) => ( True )
              • FiatTokenProxy.70a08231( )
                • FiatTokenV2_2.balanceOf( account=0x3B4D794a66304F130a4Db8F2551B0070dfCf5ca7 ) => ( 366362803899269 )
                  withdrawPendingBalance[ZkLighter (ln:3842)]
                  File 1 of 5: Proxy
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  /// @title Interface of the upgradeable contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Upgradeable.sol)
                  interface IUpgradeable {
                    /// @notice Upgrades target of upgradeable contract
                    /// @param newTarget New target
                    /// @param newTargetInitializationParameters New target initialization parameters
                    function upgradeTarget(address newTarget, bytes calldata newTargetInitializationParameters) external;
                  }
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  /// @title Ownable Contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Ownable.sol)
                  contract Ownable {
                    /// @dev Storage position of the masters address (keccak256('eip1967.proxy.admin') - 1)
                    bytes32 private constant MASTER_POSITION = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                    /// @notice Contract constructor
                    /// @dev Sets msg sender address as masters address
                    /// @param masterAddress Master address
                    constructor(address masterAddress) {
                      require(masterAddress != address(0), "1b"); // oro11 - master address can't be zero address
                      setMaster(masterAddress);
                    }
                    /// @notice Check if specified address is master
                    /// @param _address Address to check
                    function requireMaster(address _address) internal view {
                      require(_address == getMaster(), "1c"); // oro11 - only by master
                    }
                    /// @notice Returns contract masters address
                    /// @return master Master's address
                    function getMaster() public view returns (address master) {
                      bytes32 position = MASTER_POSITION;
                      assembly {
                        master := sload(position)
                      }
                    }
                    /// @dev Sets new masters address
                    /// @param _newMaster New master's address
                    function setMaster(address _newMaster) internal {
                      bytes32 position = MASTER_POSITION;
                      assembly {
                        sstore(position, _newMaster)
                      }
                    }
                    /// @notice Transfer mastership of the contract to new master
                    /// @param _newMaster New masters address
                    function transferMastership(address _newMaster) external {
                      requireMaster(msg.sender);
                      require(_newMaster != address(0), "1d"); // otp11 - new masters address can't be zero address
                      setMaster(_newMaster);
                    }
                  }
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  import "./Ownable.sol";
                  import "./IUpgradeable.sol";
                  /// @title Proxy Contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Proxy.sol)
                  /// @notice Modified to not implement UpgradeableMaster, UpgradeGatekeeper implements the UpgradeableMaster interface
                  contract Proxy is IUpgradeable, Ownable {
                    /// @dev Storage position of "target" (actual implementation address: keccak256('eip1967.proxy.implementation') - 1)
                    bytes32 private constant TARGET_POSITION = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                    /// @notice Contract constructor
                    /// @dev Calls Ownable contract constructor and initialize target
                    /// @param target Initial implementation address
                    /// @param targetInitializationParameters Target initialization parameters
                    constructor(address target, bytes memory targetInitializationParameters) Ownable(msg.sender) {
                      setTarget(target);
                      (bool initializationSuccess, ) = getTarget().delegatecall(abi.encodeWithSignature("initialize(bytes)", targetInitializationParameters));
                      require(initializationSuccess, "uin11"); // uin11 - target initialization failed
                    }
                    /// @notice Intercepts initialization calls
                    function initialize(bytes calldata) external pure {
                      revert("ini11"); // ini11 - interception of initialization call
                    }
                    /// @notice Intercepts upgrade calls
                    function upgrade(bytes calldata) external pure {
                      revert("upg11"); // upg11 - interception of upgrade call
                    }
                    /// @notice Returns target of contract
                    /// @return target Actual implementation address
                    function getTarget() public view returns (address target) {
                      bytes32 position = TARGET_POSITION;
                      assembly {
                        target := sload(position)
                      }
                    }
                    /// @notice Sets new target of contract
                    /// @param _newTarget New actual implementation address
                    function setTarget(address _newTarget) internal {
                      bytes32 position = TARGET_POSITION;
                      assembly {
                        sstore(position, _newTarget)
                      }
                    }
                    /// @notice Upgrades target
                    /// @param newTarget New target
                    /// @param newTargetUpgradeParameters New target upgrade parameters
                    function upgradeTarget(address newTarget, bytes calldata newTargetUpgradeParameters) external override {
                      requireMaster(msg.sender);
                      setTarget(newTarget);
                      (bool upgradeSuccess, ) = getTarget().delegatecall(abi.encodeWithSignature("upgrade(bytes)", newTargetUpgradeParameters));
                      require(upgradeSuccess, "ufu11"); // ufu11 - target upgrade failed
                    }
                    /// @notice Performs a delegatecall to the contract implementation
                    /// @dev Fallback function allowing to perform a delegatecall to the given implementation
                    /// This function will return whatever the implementation call returns
                    function _fallback() internal {
                      address _target = getTarget();
                      assembly {
                        // The pointer to the free memory slot
                        let ptr := mload(0x40)
                        // Copy function signature and arguments from calldata at zero position into memory at pointer position
                        calldatacopy(ptr, 0x0, calldatasize())
                        // Delegatecall method of the implementation contract, returns 0 on error
                        let result := delegatecall(gas(), _target, ptr, calldatasize(), 0x0, 0)
                        // Get the size of the last return data
                        let size := returndatasize()
                        // Copy the size length of bytes from return data at zero position to pointer position
                        returndatacopy(ptr, 0x0, size)
                        // Depending on result value
                        switch result
                        case 0 {
                          // End execution and revert state changes
                          revert(ptr, size)
                        }
                        default {
                          // Return data with length of size at pointers position
                          return(ptr, size)
                        }
                      }
                    }
                    /// @notice Will run when no functions matches call data
                    fallback() external payable {
                      _fallback();
                    }
                    /// @notice Same as fallback but called when calldata is empty
                    receive() external payable {
                      _fallback();
                    }
                  }
                  

                  File 2 of 5: FiatTokenProxy
                  pragma solidity ^0.4.24;
                  
                  // File: zos-lib/contracts/upgradeability/Proxy.sol
                  
                  /**
                   * @title Proxy
                   * @dev Implements delegation of calls to other contracts, with proper
                   * forwarding of return values and bubbling of failures.
                   * It defines a fallback function that delegates all calls to the address
                   * returned by the abstract _implementation() internal function.
                   */
                  contract Proxy {
                    /**
                     * @dev Fallback function.
                     * Implemented entirely in `_fallback`.
                     */
                    function () payable external {
                      _fallback();
                    }
                  
                    /**
                     * @return The Address of the implementation.
                     */
                    function _implementation() internal view returns (address);
                  
                    /**
                     * @dev Delegates execution to an implementation contract.
                     * This is a low level function that doesn't return to its internal call site.
                     * It will return to the external caller whatever the implementation returns.
                     * @param implementation Address to delegate.
                     */
                    function _delegate(address implementation) internal {
                      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 Function that is run as the first thing in the fallback function.
                     * Can be redefined in derived contracts to add functionality.
                     * Redefinitions must call super._willFallback().
                     */
                    function _willFallback() internal {
                    }
                  
                    /**
                     * @dev fallback implementation.
                     * Extracted to enable manual triggering.
                     */
                    function _fallback() internal {
                      _willFallback();
                      _delegate(_implementation());
                    }
                  }
                  
                  // File: openzeppelin-solidity/contracts/AddressUtils.sol
                  
                  /**
                   * Utility library of inline functions on addresses
                   */
                  library AddressUtils {
                  
                    /**
                     * Returns whether the target address is a contract
                     * @dev This function will return false if invoked during the constructor of a contract,
                     * as the code is not actually created until after the constructor finishes.
                     * @param addr address to check
                     * @return whether the target address is a contract
                     */
                    function isContract(address addr) internal view returns (bool) {
                      uint256 size;
                      // XXX Currently there is no better way to check if there is a contract in an address
                      // than to check the size of the code at that address.
                      // See https://ethereum.stackexchange.com/a/14016/36603
                      // for more details about how this works.
                      // TODO Check this again before the Serenity release, because all addresses will be
                      // contracts then.
                      // solium-disable-next-line security/no-inline-assembly
                      assembly { size := extcodesize(addr) }
                      return size > 0;
                    }
                  
                  }
                  
                  // File: zos-lib/contracts/upgradeability/UpgradeabilityProxy.sol
                  
                  /**
                   * @title UpgradeabilityProxy
                   * @dev This contract implements a proxy that allows to change the
                   * implementation address to which it will delegate.
                   * Such a change is called an implementation upgrade.
                   */
                  contract UpgradeabilityProxy is Proxy {
                    /**
                     * @dev Emitted when the implementation is upgraded.
                     * @param implementation Address of the new implementation.
                     */
                    event Upgraded(address implementation);
                  
                    /**
                     * @dev Storage slot with the address of the current implementation.
                     * This is the keccak-256 hash of "org.zeppelinos.proxy.implementation", and is
                     * validated in the constructor.
                     */
                    bytes32 private constant IMPLEMENTATION_SLOT = 0x7050c9e0f4ca769c69bd3a8ef740bc37934f8e2c036e5a723fd8ee048ed3f8c3;
                  
                    /**
                     * @dev Contract constructor.
                     * @param _implementation Address of the initial implementation.
                     */
                    constructor(address _implementation) public {
                      assert(IMPLEMENTATION_SLOT == keccak256("org.zeppelinos.proxy.implementation"));
                  
                      _setImplementation(_implementation);
                    }
                  
                    /**
                     * @dev Returns the current implementation.
                     * @return Address of the current implementation
                     */
                    function _implementation() internal view returns (address impl) {
                      bytes32 slot = IMPLEMENTATION_SLOT;
                      assembly {
                        impl := sload(slot)
                      }
                    }
                  
                    /**
                     * @dev Upgrades the proxy to a new implementation.
                     * @param newImplementation Address of the new implementation.
                     */
                    function _upgradeTo(address newImplementation) internal {
                      _setImplementation(newImplementation);
                      emit Upgraded(newImplementation);
                    }
                  
                    /**
                     * @dev Sets the implementation address of the proxy.
                     * @param newImplementation Address of the new implementation.
                     */
                    function _setImplementation(address newImplementation) private {
                      require(AddressUtils.isContract(newImplementation), "Cannot set a proxy implementation to a non-contract address");
                  
                      bytes32 slot = IMPLEMENTATION_SLOT;
                  
                      assembly {
                        sstore(slot, newImplementation)
                      }
                    }
                  }
                  
                  // File: zos-lib/contracts/upgradeability/AdminUpgradeabilityProxy.sol
                  
                  /**
                   * @title AdminUpgradeabilityProxy
                   * @dev This contract combines an upgradeability proxy with an authorization
                   * mechanism for administrative tasks.
                   * All external functions in this contract must be guarded by the
                   * `ifAdmin` modifier. See ethereum/solidity#3864 for a Solidity
                   * feature proposal that would enable this to be done automatically.
                   */
                  contract AdminUpgradeabilityProxy is UpgradeabilityProxy {
                    /**
                     * @dev Emitted when the administration has been transferred.
                     * @param previousAdmin Address of the previous admin.
                     * @param newAdmin Address of the new admin.
                     */
                    event AdminChanged(address previousAdmin, address newAdmin);
                  
                    /**
                     * @dev Storage slot with the admin of the contract.
                     * This is the keccak-256 hash of "org.zeppelinos.proxy.admin", and is
                     * validated in the constructor.
                     */
                    bytes32 private constant ADMIN_SLOT = 0x10d6a54a4754c8869d6886b5f5d7fbfa5b4522237ea5c60d11bc4e7a1ff9390b;
                  
                    /**
                     * @dev Modifier to check whether the `msg.sender` is the admin.
                     * If it is, it will run the function. Otherwise, it will delegate the call
                     * to the implementation.
                     */
                    modifier ifAdmin() {
                      if (msg.sender == _admin()) {
                        _;
                      } else {
                        _fallback();
                      }
                    }
                  
                    /**
                     * Contract constructor.
                     * It sets the `msg.sender` as the proxy administrator.
                     * @param _implementation address of the initial implementation.
                     */
                    constructor(address _implementation) UpgradeabilityProxy(_implementation) public {
                      assert(ADMIN_SLOT == keccak256("org.zeppelinos.proxy.admin"));
                  
                      _setAdmin(msg.sender);
                    }
                  
                    /**
                     * @return The address of the proxy admin.
                     */
                    function admin() external view ifAdmin returns (address) {
                      return _admin();
                    }
                  
                    /**
                     * @return The address of the implementation.
                     */
                    function implementation() external view ifAdmin returns (address) {
                      return _implementation();
                    }
                  
                    /**
                     * @dev Changes the admin of the proxy.
                     * Only the current admin can call this function.
                     * @param newAdmin Address to transfer proxy administration to.
                     */
                    function changeAdmin(address newAdmin) external ifAdmin {
                      require(newAdmin != address(0), "Cannot change the admin of a proxy to the zero address");
                      emit AdminChanged(_admin(), newAdmin);
                      _setAdmin(newAdmin);
                    }
                  
                    /**
                     * @dev Upgrade the backing implementation of the proxy.
                     * Only the admin can call this function.
                     * @param newImplementation Address of the new implementation.
                     */
                    function upgradeTo(address newImplementation) external ifAdmin {
                      _upgradeTo(newImplementation);
                    }
                  
                    /**
                     * @dev Upgrade the backing implementation of the proxy and call a function
                     * on the new implementation.
                     * This is useful to initialize the proxied contract.
                     * @param newImplementation Address of the new implementation.
                     * @param data Data to send as msg.data in the low level call.
                     * It should include the signature and the parameters of the function to be
                     * called, as described in
                     * https://solidity.readthedocs.io/en/develop/abi-spec.html#function-selector-and-argument-encoding.
                     */
                    function upgradeToAndCall(address newImplementation, bytes data) payable external ifAdmin {
                      _upgradeTo(newImplementation);
                      require(address(this).call.value(msg.value)(data));
                    }
                  
                    /**
                     * @return The admin slot.
                     */
                    function _admin() internal view returns (address adm) {
                      bytes32 slot = ADMIN_SLOT;
                      assembly {
                        adm := sload(slot)
                      }
                    }
                  
                    /**
                     * @dev Sets the address of the proxy admin.
                     * @param newAdmin Address of the new proxy admin.
                     */
                    function _setAdmin(address newAdmin) internal {
                      bytes32 slot = ADMIN_SLOT;
                  
                      assembly {
                        sstore(slot, newAdmin)
                      }
                    }
                  
                    /**
                     * @dev Only fall back when the sender is not the admin.
                     */
                    function _willFallback() internal {
                      require(msg.sender != _admin(), "Cannot call fallback function from the proxy admin");
                      super._willFallback();
                    }
                  }
                  
                  // File: contracts/FiatTokenProxy.sol
                  
                  /**
                  * Copyright CENTRE SECZ 2018
                  *
                  * Permission is hereby granted, free of charge, to any person obtaining a copy 
                  * of this software and associated documentation files (the "Software"), to deal 
                  * in the Software without restriction, including without limitation the rights 
                  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 
                  * copies of the Software, and to permit persons to whom the Software is furnished to 
                  * do so, subject to the following conditions:
                  *
                  * The above copyright notice and this permission notice shall be included in all 
                  * copies or substantial portions of the Software.
                  *
                  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
                  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
                  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
                  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
                  * WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN 
                  * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
                  */
                  
                  pragma solidity ^0.4.24;
                  
                  
                  /**
                   * @title FiatTokenProxy
                   * @dev This contract proxies FiatToken calls and enables FiatToken upgrades
                  */ 
                  contract FiatTokenProxy is AdminUpgradeabilityProxy {
                      constructor(address _implementation) public AdminUpgradeabilityProxy(_implementation) {
                      }
                  }

                  File 3 of 5: ZkLighter
                  // 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) (token/ERC20/extensions/IERC20Permit.sol)
                  pragma solidity ^0.8.0;
                  /**
                   * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
                   * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
                   *
                   * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
                   * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
                   * need to send a transaction, and thus is not required to hold Ether at all.
                   *
                   * ==== Security Considerations
                   *
                   * There are two important considerations concerning the use of `permit`. The first is that a valid permit signature
                   * expresses an allowance, and it should not be assumed to convey additional meaning. In particular, it should not be
                   * considered as an intention to spend the allowance in any specific way. The second is that because permits have
                   * built-in replay protection and can be submitted by anyone, they can be frontrun. A protocol that uses permits should
                   * take this into consideration and allow a `permit` call to fail. Combining these two aspects, a pattern that may be
                   * generally recommended is:
                   *
                   * ```solidity
                   * function doThingWithPermit(..., uint256 value, uint256 deadline, uint8 v, bytes32 r, bytes32 s) public {
                   *     try token.permit(msg.sender, address(this), value, deadline, v, r, s) {} catch {}
                   *     doThing(..., value);
                   * }
                   *
                   * function doThing(..., uint256 value) public {
                   *     token.safeTransferFrom(msg.sender, address(this), value);
                   *     ...
                   * }
                   * ```
                   *
                   * Observe that: 1) `msg.sender` is used as the owner, leaving no ambiguity as to the signer intent, and 2) the use of
                   * `try/catch` allows the permit to fail and makes the code tolerant to frontrunning. (See also
                   * {SafeERC20-safeTransferFrom}).
                   *
                   * Additionally, note that smart contract wallets (such as Argent or Safe) are not able to produce permit signatures, so
                   * contracts should have entry points that don't rely on permit.
                   */
                  interface IERC20Permit {
                      /**
                       * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
                       * given ``owner``'s signed approval.
                       *
                       * IMPORTANT: The same issues {IERC20-approve} has related to transaction
                       * ordering also apply here.
                       *
                       * Emits an {Approval} event.
                       *
                       * Requirements:
                       *
                       * - `spender` cannot be the zero address.
                       * - `deadline` must be a timestamp in the future.
                       * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
                       * over the EIP712-formatted function arguments.
                       * - the signature must use ``owner``'s current nonce (see {nonces}).
                       *
                       * For more information on the signature format, see the
                       * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
                       * section].
                       *
                       * CAUTION: See Security Considerations above.
                       */
                      function permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) external;
                      /**
                       * @dev Returns the current nonce for `owner`. This value must be
                       * included whenever a signature is generated for {permit}.
                       *
                       * Every successful call to {permit} increases ``owner``'s nonce by one. This
                       * prevents a signature from being used multiple times.
                       */
                      function nonces(address owner) external view returns (uint256);
                      /**
                       * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
                       */
                      // solhint-disable-next-line func-name-mixedcase
                      function DOMAIN_SEPARATOR() external view returns (bytes32);
                  }
                  // SPDX-License-Identifier: MIT
                  // OpenZeppelin Contracts (last updated v4.9.0) (token/ERC20/IERC20.sol)
                  pragma solidity ^0.8.0;
                  /**
                   * @dev Interface of the ERC20 standard as defined in the EIP.
                   */
                  interface IERC20 {
                      /**
                       * @dev Emitted when `value` tokens are moved from one account (`from`) to
                       * another (`to`).
                       *
                       * Note that `value` may be zero.
                       */
                      event Transfer(address indexed from, address indexed to, uint256 value);
                      /**
                       * @dev Emitted when the allowance of a `spender` for an `owner` is set by
                       * a call to {approve}. `value` is the new allowance.
                       */
                      event Approval(address indexed owner, address indexed spender, uint256 value);
                      /**
                       * @dev Returns the amount of tokens in existence.
                       */
                      function totalSupply() external view returns (uint256);
                      /**
                       * @dev Returns the amount of tokens owned by `account`.
                       */
                      function balanceOf(address account) external view returns (uint256);
                      /**
                       * @dev Moves `amount` tokens from the caller's account to `to`.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * Emits a {Transfer} event.
                       */
                      function transfer(address to, uint256 amount) external returns (bool);
                      /**
                       * @dev Returns the remaining number of tokens that `spender` will be
                       * allowed to spend on behalf of `owner` through {transferFrom}. This is
                       * zero by default.
                       *
                       * This value changes when {approve} or {transferFrom} are called.
                       */
                      function allowance(address owner, address spender) external view returns (uint256);
                      /**
                       * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * IMPORTANT: Beware that changing an allowance with this method brings the risk
                       * that someone may use both the old and the new allowance by unfortunate
                       * transaction ordering. One possible solution to mitigate this race
                       * condition is to first reduce the spender's allowance to 0 and set the
                       * desired value afterwards:
                       * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
                       *
                       * Emits an {Approval} event.
                       */
                      function approve(address spender, uint256 amount) external returns (bool);
                      /**
                       * @dev Moves `amount` tokens from `from` to `to` using the
                       * allowance mechanism. `amount` is then deducted from the caller's
                       * allowance.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * Emits a {Transfer} event.
                       */
                      function transferFrom(address from, address to, uint256 amount) external returns (bool);
                  }
                  // SPDX-License-Identifier: MIT
                  // OpenZeppelin Contracts (last updated v4.9.3) (token/ERC20/utils/SafeERC20.sol)
                  pragma solidity ^0.8.0;
                  import "../IERC20.sol";
                  import "../extensions/IERC20Permit.sol";
                  import "../../../utils/Address.sol";
                  /**
                   * @title SafeERC20
                   * @dev Wrappers around ERC20 operations that throw on failure (when the token
                   * contract returns false). Tokens that return no value (and instead revert or
                   * throw on failure) are also supported, non-reverting calls are assumed to be
                   * successful.
                   * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
                   * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
                   */
                  library SafeERC20 {
                      using Address for address;
                      /**
                       * @dev Transfer `value` amount of `token` from the calling contract to `to`. If `token` returns no value,
                       * non-reverting calls are assumed to be successful.
                       */
                      function safeTransfer(IERC20 token, address to, uint256 value) internal {
                          _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
                      }
                      /**
                       * @dev Transfer `value` amount of `token` from `from` to `to`, spending the approval given by `from` to the
                       * calling contract. If `token` returns no value, non-reverting calls are assumed to be successful.
                       */
                      function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
                          _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
                      }
                      /**
                       * @dev Deprecated. This function has issues similar to the ones found in
                       * {IERC20-approve}, and its usage is discouraged.
                       *
                       * Whenever possible, use {safeIncreaseAllowance} and
                       * {safeDecreaseAllowance} instead.
                       */
                      function safeApprove(IERC20 token, address spender, uint256 value) internal {
                          // safeApprove should only be called when setting an initial allowance,
                          // or when resetting it to zero. To increase and decrease it, use
                          // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
                          require(
                              (value == 0) || (token.allowance(address(this), spender) == 0),
                              "SafeERC20: approve from non-zero to non-zero allowance"
                          );
                          _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
                      }
                      /**
                       * @dev Increase the calling contract's allowance toward `spender` by `value`. If `token` returns no value,
                       * non-reverting calls are assumed to be successful.
                       */
                      function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
                          uint256 oldAllowance = token.allowance(address(this), spender);
                          _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, oldAllowance + value));
                      }
                      /**
                       * @dev Decrease the calling contract's allowance toward `spender` by `value`. If `token` returns no value,
                       * non-reverting calls are assumed to be successful.
                       */
                      function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
                          unchecked {
                              uint256 oldAllowance = token.allowance(address(this), spender);
                              require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
                              _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, oldAllowance - value));
                          }
                      }
                      /**
                       * @dev Set the calling contract's allowance toward `spender` to `value`. If `token` returns no value,
                       * non-reverting calls are assumed to be successful. Meant to be used with tokens that require the approval
                       * to be set to zero before setting it to a non-zero value, such as USDT.
                       */
                      function forceApprove(IERC20 token, address spender, uint256 value) internal {
                          bytes memory approvalCall = abi.encodeWithSelector(token.approve.selector, spender, value);
                          if (!_callOptionalReturnBool(token, approvalCall)) {
                              _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, 0));
                              _callOptionalReturn(token, approvalCall);
                          }
                      }
                      /**
                       * @dev Use a ERC-2612 signature to set the `owner` approval toward `spender` on `token`.
                       * Revert on invalid signature.
                       */
                      function safePermit(
                          IERC20Permit token,
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal {
                          uint256 nonceBefore = token.nonces(owner);
                          token.permit(owner, spender, value, deadline, v, r, s);
                          uint256 nonceAfter = token.nonces(owner);
                          require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed");
                      }
                      /**
                       * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
                       * on the return value: the return value is optional (but if data is returned, it must not be false).
                       * @param token The token targeted by the call.
                       * @param data The call data (encoded using abi.encode or one of its variants).
                       */
                      function _callOptionalReturn(IERC20 token, bytes memory data) private {
                          // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
                          // we're implementing it ourselves. We use {Address-functionCall} to perform this call, which verifies that
                          // the target address contains contract code and also asserts for success in the low-level call.
                          bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
                          require(returndata.length == 0 || abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
                      }
                      /**
                       * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
                       * on the return value: the return value is optional (but if data is returned, it must not be false).
                       * @param token The token targeted by the call.
                       * @param data The call data (encoded using abi.encode or one of its variants).
                       *
                       * This is a variant of {_callOptionalReturn} that silents catches all reverts and returns a bool instead.
                       */
                      function _callOptionalReturnBool(IERC20 token, bytes memory data) private returns (bool) {
                          // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
                          // we're implementing it ourselves. We cannot use {Address-functionCall} here since this should return false
                          // and not revert is the subcall reverts.
                          (bool success, bytes memory returndata) = address(token).call(data);
                          return
                              success && (returndata.length == 0 || abi.decode(returndata, (bool))) && Address.isContract(address(token));
                      }
                  }
                  // SPDX-License-Identifier: MIT
                  // OpenZeppelin Contracts (last updated v4.9.0) (utils/Address.sol)
                  pragma solidity ^0.8.1;
                  /**
                   * @dev Collection of functions related to the address type
                   */
                  library Address {
                      /**
                       * @dev Returns true if `account` is a contract.
                       *
                       * [IMPORTANT]
                       * ====
                       * It is unsafe to assume that an address for which this function returns
                       * false is an externally-owned account (EOA) and not a contract.
                       *
                       * Among others, `isContract` will return false for the following
                       * types of addresses:
                       *
                       *  - an externally-owned account
                       *  - a contract in construction
                       *  - an address where a contract will be created
                       *  - an address where a contract lived, but was destroyed
                       *
                       * Furthermore, `isContract` will also return true if the target contract within
                       * the same transaction is already scheduled for destruction by `SELFDESTRUCT`,
                       * which only has an effect at the end of a transaction.
                       * ====
                       *
                       * [IMPORTANT]
                       * ====
                       * You shouldn't rely on `isContract` to protect against flash loan attacks!
                       *
                       * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
                       * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
                       * constructor.
                       * ====
                       */
                      function isContract(address account) internal view returns (bool) {
                          // This method relies on extcodesize/address.code.length, which returns 0
                          // for contracts in construction, since the code is only stored at the end
                          // of the constructor execution.
                          return account.code.length > 0;
                      }
                      /**
                       * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                       * `recipient`, forwarding all available gas and reverting on errors.
                       *
                       * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                       * of certain opcodes, possibly making contracts go over the 2300 gas limit
                       * imposed by `transfer`, making them unable to receive funds via
                       * `transfer`. {sendValue} removes this limitation.
                       *
                       * https://consensys.net/diligence/blog/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                       *
                       * IMPORTANT: because control is transferred to `recipient`, care must be
                       * taken to not create reentrancy vulnerabilities. Consider using
                       * {ReentrancyGuard} or the
                       * https://solidity.readthedocs.io/en/v0.8.0/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                       */
                      function sendValue(address payable recipient, uint256 amount) internal {
                          require(address(this).balance >= amount, "Address: insufficient balance");
                          (bool success, ) = recipient.call{value: amount}("");
                          require(success, "Address: unable to send value, recipient may have reverted");
                      }
                      /**
                       * @dev Performs a Solidity function call using a low level `call`. A
                       * plain `call` is an unsafe replacement for a function call: use this
                       * function instead.
                       *
                       * If `target` reverts with a revert reason, it is bubbled up by this
                       * function (like regular Solidity function calls).
                       *
                       * Returns the raw returned data. To convert to the expected return value,
                       * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                       *
                       * Requirements:
                       *
                       * - `target` must be a contract.
                       * - calling `target` with `data` must not revert.
                       *
                       * _Available since v3.1._
                       */
                      function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                          return functionCallWithValue(target, data, 0, "Address: low-level call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                       * `errorMessage` as a fallback revert reason when `target` reverts.
                       *
                       * _Available since v3.1._
                       */
                      function functionCall(
                          address target,
                          bytes memory data,
                          string memory errorMessage
                      ) internal returns (bytes memory) {
                          return functionCallWithValue(target, data, 0, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but also transferring `value` wei to `target`.
                       *
                       * Requirements:
                       *
                       * - the calling contract must have an ETH balance of at least `value`.
                       * - the called Solidity function must be `payable`.
                       *
                       * _Available since v3.1._
                       */
                      function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
                          return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                       * with `errorMessage` as a fallback revert reason when `target` reverts.
                       *
                       * _Available since v3.1._
                       */
                      function functionCallWithValue(
                          address target,
                          bytes memory data,
                          uint256 value,
                          string memory errorMessage
                      ) internal returns (bytes memory) {
                          require(address(this).balance >= value, "Address: insufficient balance for call");
                          (bool success, bytes memory returndata) = target.call{value: value}(data);
                          return verifyCallResultFromTarget(target, success, returndata, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but performing a static call.
                       *
                       * _Available since v3.3._
                       */
                      function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                          return functionStaticCall(target, data, "Address: low-level static call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                       * but performing a static call.
                       *
                       * _Available since v3.3._
                       */
                      function functionStaticCall(
                          address target,
                          bytes memory data,
                          string memory errorMessage
                      ) internal view returns (bytes memory) {
                          (bool success, bytes memory returndata) = target.staticcall(data);
                          return verifyCallResultFromTarget(target, success, returndata, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but performing a delegate call.
                       *
                       * _Available since v3.4._
                       */
                      function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                          return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                       * but performing a delegate call.
                       *
                       * _Available since v3.4._
                       */
                      function functionDelegateCall(
                          address target,
                          bytes memory data,
                          string memory errorMessage
                      ) internal returns (bytes memory) {
                          (bool success, bytes memory returndata) = target.delegatecall(data);
                          return verifyCallResultFromTarget(target, success, returndata, errorMessage);
                      }
                      /**
                       * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
                       * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
                       *
                       * _Available since v4.8._
                       */
                      function verifyCallResultFromTarget(
                          address target,
                          bool success,
                          bytes memory returndata,
                          string memory errorMessage
                      ) internal view returns (bytes memory) {
                          if (success) {
                              if (returndata.length == 0) {
                                  // only check isContract if the call was successful and the return data is empty
                                  // otherwise we already know that it was a contract
                                  require(isContract(target), "Address: call to non-contract");
                              }
                              return returndata;
                          } else {
                              _revert(returndata, errorMessage);
                          }
                      }
                      /**
                       * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
                       * revert reason or using the provided one.
                       *
                       * _Available since v4.3._
                       */
                      function verifyCallResult(
                          bool success,
                          bytes memory returndata,
                          string memory errorMessage
                      ) internal pure returns (bytes memory) {
                          if (success) {
                              return returndata;
                          } else {
                              _revert(returndata, errorMessage);
                          }
                      }
                      function _revert(bytes memory returndata, string memory errorMessage) private pure {
                          // Look for revert reason and bubble it up if present
                          if (returndata.length > 0) {
                              // The easiest way to bubble the revert reason is using memory via assembly
                              /// @solidity memory-safe-assembly
                              assembly {
                                  let returndata_size := mload(returndata)
                                  revert(add(32, returndata), returndata_size)
                              }
                          } else {
                              revert(errorMessage);
                          }
                      }
                  }
                  // SPDX-License-Identifier: MIT
                  // OpenZeppelin Contracts (last updated v4.8.0) (utils/math/SafeCast.sol)
                  // This file was procedurally generated from scripts/generate/templates/SafeCast.js.
                  pragma solidity ^0.8.0;
                  /**
                   * @dev Wrappers over Solidity's uintXX/intXX casting operators with added overflow
                   * checks.
                   *
                   * Downcasting from uint256/int256 in Solidity does not revert on overflow. This can
                   * easily result in undesired exploitation or bugs, since developers usually
                   * assume that overflows raise errors. `SafeCast` restores this intuition by
                   * reverting the transaction when such an operation overflows.
                   *
                   * Using this library instead of the unchecked operations eliminates an entire
                   * class of bugs, so it's recommended to use it always.
                   *
                   * Can be combined with {SafeMath} and {SignedSafeMath} to extend it to smaller types, by performing
                   * all math on `uint256` and `int256` and then downcasting.
                   */
                  library SafeCast {
                      /**
                       * @dev Returns the downcasted uint248 from uint256, reverting on
                       * overflow (when the input is greater than largest uint248).
                       *
                       * Counterpart to Solidity's `uint248` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 248 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint248(uint256 value) internal pure returns (uint248) {
                          require(value <= type(uint248).max, "SafeCast: value doesn't fit in 248 bits");
                          return uint248(value);
                      }
                      /**
                       * @dev Returns the downcasted uint240 from uint256, reverting on
                       * overflow (when the input is greater than largest uint240).
                       *
                       * Counterpart to Solidity's `uint240` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 240 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint240(uint256 value) internal pure returns (uint240) {
                          require(value <= type(uint240).max, "SafeCast: value doesn't fit in 240 bits");
                          return uint240(value);
                      }
                      /**
                       * @dev Returns the downcasted uint232 from uint256, reverting on
                       * overflow (when the input is greater than largest uint232).
                       *
                       * Counterpart to Solidity's `uint232` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 232 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint232(uint256 value) internal pure returns (uint232) {
                          require(value <= type(uint232).max, "SafeCast: value doesn't fit in 232 bits");
                          return uint232(value);
                      }
                      /**
                       * @dev Returns the downcasted uint224 from uint256, reverting on
                       * overflow (when the input is greater than largest uint224).
                       *
                       * Counterpart to Solidity's `uint224` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 224 bits
                       *
                       * _Available since v4.2._
                       */
                      function toUint224(uint256 value) internal pure returns (uint224) {
                          require(value <= type(uint224).max, "SafeCast: value doesn't fit in 224 bits");
                          return uint224(value);
                      }
                      /**
                       * @dev Returns the downcasted uint216 from uint256, reverting on
                       * overflow (when the input is greater than largest uint216).
                       *
                       * Counterpart to Solidity's `uint216` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 216 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint216(uint256 value) internal pure returns (uint216) {
                          require(value <= type(uint216).max, "SafeCast: value doesn't fit in 216 bits");
                          return uint216(value);
                      }
                      /**
                       * @dev Returns the downcasted uint208 from uint256, reverting on
                       * overflow (when the input is greater than largest uint208).
                       *
                       * Counterpart to Solidity's `uint208` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 208 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint208(uint256 value) internal pure returns (uint208) {
                          require(value <= type(uint208).max, "SafeCast: value doesn't fit in 208 bits");
                          return uint208(value);
                      }
                      /**
                       * @dev Returns the downcasted uint200 from uint256, reverting on
                       * overflow (when the input is greater than largest uint200).
                       *
                       * Counterpart to Solidity's `uint200` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 200 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint200(uint256 value) internal pure returns (uint200) {
                          require(value <= type(uint200).max, "SafeCast: value doesn't fit in 200 bits");
                          return uint200(value);
                      }
                      /**
                       * @dev Returns the downcasted uint192 from uint256, reverting on
                       * overflow (when the input is greater than largest uint192).
                       *
                       * Counterpart to Solidity's `uint192` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 192 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint192(uint256 value) internal pure returns (uint192) {
                          require(value <= type(uint192).max, "SafeCast: value doesn't fit in 192 bits");
                          return uint192(value);
                      }
                      /**
                       * @dev Returns the downcasted uint184 from uint256, reverting on
                       * overflow (when the input is greater than largest uint184).
                       *
                       * Counterpart to Solidity's `uint184` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 184 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint184(uint256 value) internal pure returns (uint184) {
                          require(value <= type(uint184).max, "SafeCast: value doesn't fit in 184 bits");
                          return uint184(value);
                      }
                      /**
                       * @dev Returns the downcasted uint176 from uint256, reverting on
                       * overflow (when the input is greater than largest uint176).
                       *
                       * Counterpart to Solidity's `uint176` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 176 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint176(uint256 value) internal pure returns (uint176) {
                          require(value <= type(uint176).max, "SafeCast: value doesn't fit in 176 bits");
                          return uint176(value);
                      }
                      /**
                       * @dev Returns the downcasted uint168 from uint256, reverting on
                       * overflow (when the input is greater than largest uint168).
                       *
                       * Counterpart to Solidity's `uint168` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 168 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint168(uint256 value) internal pure returns (uint168) {
                          require(value <= type(uint168).max, "SafeCast: value doesn't fit in 168 bits");
                          return uint168(value);
                      }
                      /**
                       * @dev Returns the downcasted uint160 from uint256, reverting on
                       * overflow (when the input is greater than largest uint160).
                       *
                       * Counterpart to Solidity's `uint160` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 160 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint160(uint256 value) internal pure returns (uint160) {
                          require(value <= type(uint160).max, "SafeCast: value doesn't fit in 160 bits");
                          return uint160(value);
                      }
                      /**
                       * @dev Returns the downcasted uint152 from uint256, reverting on
                       * overflow (when the input is greater than largest uint152).
                       *
                       * Counterpart to Solidity's `uint152` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 152 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint152(uint256 value) internal pure returns (uint152) {
                          require(value <= type(uint152).max, "SafeCast: value doesn't fit in 152 bits");
                          return uint152(value);
                      }
                      /**
                       * @dev Returns the downcasted uint144 from uint256, reverting on
                       * overflow (when the input is greater than largest uint144).
                       *
                       * Counterpart to Solidity's `uint144` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 144 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint144(uint256 value) internal pure returns (uint144) {
                          require(value <= type(uint144).max, "SafeCast: value doesn't fit in 144 bits");
                          return uint144(value);
                      }
                      /**
                       * @dev Returns the downcasted uint136 from uint256, reverting on
                       * overflow (when the input is greater than largest uint136).
                       *
                       * Counterpart to Solidity's `uint136` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 136 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint136(uint256 value) internal pure returns (uint136) {
                          require(value <= type(uint136).max, "SafeCast: value doesn't fit in 136 bits");
                          return uint136(value);
                      }
                      /**
                       * @dev Returns the downcasted uint128 from uint256, reverting on
                       * overflow (when the input is greater than largest uint128).
                       *
                       * Counterpart to Solidity's `uint128` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 128 bits
                       *
                       * _Available since v2.5._
                       */
                      function toUint128(uint256 value) internal pure returns (uint128) {
                          require(value <= type(uint128).max, "SafeCast: value doesn't fit in 128 bits");
                          return uint128(value);
                      }
                      /**
                       * @dev Returns the downcasted uint120 from uint256, reverting on
                       * overflow (when the input is greater than largest uint120).
                       *
                       * Counterpart to Solidity's `uint120` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 120 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint120(uint256 value) internal pure returns (uint120) {
                          require(value <= type(uint120).max, "SafeCast: value doesn't fit in 120 bits");
                          return uint120(value);
                      }
                      /**
                       * @dev Returns the downcasted uint112 from uint256, reverting on
                       * overflow (when the input is greater than largest uint112).
                       *
                       * Counterpart to Solidity's `uint112` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 112 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint112(uint256 value) internal pure returns (uint112) {
                          require(value <= type(uint112).max, "SafeCast: value doesn't fit in 112 bits");
                          return uint112(value);
                      }
                      /**
                       * @dev Returns the downcasted uint104 from uint256, reverting on
                       * overflow (when the input is greater than largest uint104).
                       *
                       * Counterpart to Solidity's `uint104` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 104 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint104(uint256 value) internal pure returns (uint104) {
                          require(value <= type(uint104).max, "SafeCast: value doesn't fit in 104 bits");
                          return uint104(value);
                      }
                      /**
                       * @dev Returns the downcasted uint96 from uint256, reverting on
                       * overflow (when the input is greater than largest uint96).
                       *
                       * Counterpart to Solidity's `uint96` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 96 bits
                       *
                       * _Available since v4.2._
                       */
                      function toUint96(uint256 value) internal pure returns (uint96) {
                          require(value <= type(uint96).max, "SafeCast: value doesn't fit in 96 bits");
                          return uint96(value);
                      }
                      /**
                       * @dev Returns the downcasted uint88 from uint256, reverting on
                       * overflow (when the input is greater than largest uint88).
                       *
                       * Counterpart to Solidity's `uint88` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 88 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint88(uint256 value) internal pure returns (uint88) {
                          require(value <= type(uint88).max, "SafeCast: value doesn't fit in 88 bits");
                          return uint88(value);
                      }
                      /**
                       * @dev Returns the downcasted uint80 from uint256, reverting on
                       * overflow (when the input is greater than largest uint80).
                       *
                       * Counterpart to Solidity's `uint80` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 80 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint80(uint256 value) internal pure returns (uint80) {
                          require(value <= type(uint80).max, "SafeCast: value doesn't fit in 80 bits");
                          return uint80(value);
                      }
                      /**
                       * @dev Returns the downcasted uint72 from uint256, reverting on
                       * overflow (when the input is greater than largest uint72).
                       *
                       * Counterpart to Solidity's `uint72` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 72 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint72(uint256 value) internal pure returns (uint72) {
                          require(value <= type(uint72).max, "SafeCast: value doesn't fit in 72 bits");
                          return uint72(value);
                      }
                      /**
                       * @dev Returns the downcasted uint64 from uint256, reverting on
                       * overflow (when the input is greater than largest uint64).
                       *
                       * Counterpart to Solidity's `uint64` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 64 bits
                       *
                       * _Available since v2.5._
                       */
                      function toUint64(uint256 value) internal pure returns (uint64) {
                          require(value <= type(uint64).max, "SafeCast: value doesn't fit in 64 bits");
                          return uint64(value);
                      }
                      /**
                       * @dev Returns the downcasted uint56 from uint256, reverting on
                       * overflow (when the input is greater than largest uint56).
                       *
                       * Counterpart to Solidity's `uint56` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 56 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint56(uint256 value) internal pure returns (uint56) {
                          require(value <= type(uint56).max, "SafeCast: value doesn't fit in 56 bits");
                          return uint56(value);
                      }
                      /**
                       * @dev Returns the downcasted uint48 from uint256, reverting on
                       * overflow (when the input is greater than largest uint48).
                       *
                       * Counterpart to Solidity's `uint48` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 48 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint48(uint256 value) internal pure returns (uint48) {
                          require(value <= type(uint48).max, "SafeCast: value doesn't fit in 48 bits");
                          return uint48(value);
                      }
                      /**
                       * @dev Returns the downcasted uint40 from uint256, reverting on
                       * overflow (when the input is greater than largest uint40).
                       *
                       * Counterpart to Solidity's `uint40` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 40 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint40(uint256 value) internal pure returns (uint40) {
                          require(value <= type(uint40).max, "SafeCast: value doesn't fit in 40 bits");
                          return uint40(value);
                      }
                      /**
                       * @dev Returns the downcasted uint32 from uint256, reverting on
                       * overflow (when the input is greater than largest uint32).
                       *
                       * Counterpart to Solidity's `uint32` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 32 bits
                       *
                       * _Available since v2.5._
                       */
                      function toUint32(uint256 value) internal pure returns (uint32) {
                          require(value <= type(uint32).max, "SafeCast: value doesn't fit in 32 bits");
                          return uint32(value);
                      }
                      /**
                       * @dev Returns the downcasted uint24 from uint256, reverting on
                       * overflow (when the input is greater than largest uint24).
                       *
                       * Counterpart to Solidity's `uint24` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 24 bits
                       *
                       * _Available since v4.7._
                       */
                      function toUint24(uint256 value) internal pure returns (uint24) {
                          require(value <= type(uint24).max, "SafeCast: value doesn't fit in 24 bits");
                          return uint24(value);
                      }
                      /**
                       * @dev Returns the downcasted uint16 from uint256, reverting on
                       * overflow (when the input is greater than largest uint16).
                       *
                       * Counterpart to Solidity's `uint16` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 16 bits
                       *
                       * _Available since v2.5._
                       */
                      function toUint16(uint256 value) internal pure returns (uint16) {
                          require(value <= type(uint16).max, "SafeCast: value doesn't fit in 16 bits");
                          return uint16(value);
                      }
                      /**
                       * @dev Returns the downcasted uint8 from uint256, reverting on
                       * overflow (when the input is greater than largest uint8).
                       *
                       * Counterpart to Solidity's `uint8` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 8 bits
                       *
                       * _Available since v2.5._
                       */
                      function toUint8(uint256 value) internal pure returns (uint8) {
                          require(value <= type(uint8).max, "SafeCast: value doesn't fit in 8 bits");
                          return uint8(value);
                      }
                      /**
                       * @dev Converts a signed int256 into an unsigned uint256.
                       *
                       * Requirements:
                       *
                       * - input must be greater than or equal to 0.
                       *
                       * _Available since v3.0._
                       */
                      function toUint256(int256 value) internal pure returns (uint256) {
                          require(value >= 0, "SafeCast: value must be positive");
                          return uint256(value);
                      }
                      /**
                       * @dev Returns the downcasted int248 from int256, reverting on
                       * overflow (when the input is less than smallest int248 or
                       * greater than largest int248).
                       *
                       * Counterpart to Solidity's `int248` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 248 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt248(int256 value) internal pure returns (int248 downcasted) {
                          downcasted = int248(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 248 bits");
                      }
                      /**
                       * @dev Returns the downcasted int240 from int256, reverting on
                       * overflow (when the input is less than smallest int240 or
                       * greater than largest int240).
                       *
                       * Counterpart to Solidity's `int240` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 240 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt240(int256 value) internal pure returns (int240 downcasted) {
                          downcasted = int240(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 240 bits");
                      }
                      /**
                       * @dev Returns the downcasted int232 from int256, reverting on
                       * overflow (when the input is less than smallest int232 or
                       * greater than largest int232).
                       *
                       * Counterpart to Solidity's `int232` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 232 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt232(int256 value) internal pure returns (int232 downcasted) {
                          downcasted = int232(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 232 bits");
                      }
                      /**
                       * @dev Returns the downcasted int224 from int256, reverting on
                       * overflow (when the input is less than smallest int224 or
                       * greater than largest int224).
                       *
                       * Counterpart to Solidity's `int224` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 224 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt224(int256 value) internal pure returns (int224 downcasted) {
                          downcasted = int224(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 224 bits");
                      }
                      /**
                       * @dev Returns the downcasted int216 from int256, reverting on
                       * overflow (when the input is less than smallest int216 or
                       * greater than largest int216).
                       *
                       * Counterpart to Solidity's `int216` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 216 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt216(int256 value) internal pure returns (int216 downcasted) {
                          downcasted = int216(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 216 bits");
                      }
                      /**
                       * @dev Returns the downcasted int208 from int256, reverting on
                       * overflow (when the input is less than smallest int208 or
                       * greater than largest int208).
                       *
                       * Counterpart to Solidity's `int208` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 208 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt208(int256 value) internal pure returns (int208 downcasted) {
                          downcasted = int208(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 208 bits");
                      }
                      /**
                       * @dev Returns the downcasted int200 from int256, reverting on
                       * overflow (when the input is less than smallest int200 or
                       * greater than largest int200).
                       *
                       * Counterpart to Solidity's `int200` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 200 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt200(int256 value) internal pure returns (int200 downcasted) {
                          downcasted = int200(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 200 bits");
                      }
                      /**
                       * @dev Returns the downcasted int192 from int256, reverting on
                       * overflow (when the input is less than smallest int192 or
                       * greater than largest int192).
                       *
                       * Counterpart to Solidity's `int192` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 192 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt192(int256 value) internal pure returns (int192 downcasted) {
                          downcasted = int192(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 192 bits");
                      }
                      /**
                       * @dev Returns the downcasted int184 from int256, reverting on
                       * overflow (when the input is less than smallest int184 or
                       * greater than largest int184).
                       *
                       * Counterpart to Solidity's `int184` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 184 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt184(int256 value) internal pure returns (int184 downcasted) {
                          downcasted = int184(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 184 bits");
                      }
                      /**
                       * @dev Returns the downcasted int176 from int256, reverting on
                       * overflow (when the input is less than smallest int176 or
                       * greater than largest int176).
                       *
                       * Counterpart to Solidity's `int176` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 176 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt176(int256 value) internal pure returns (int176 downcasted) {
                          downcasted = int176(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 176 bits");
                      }
                      /**
                       * @dev Returns the downcasted int168 from int256, reverting on
                       * overflow (when the input is less than smallest int168 or
                       * greater than largest int168).
                       *
                       * Counterpart to Solidity's `int168` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 168 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt168(int256 value) internal pure returns (int168 downcasted) {
                          downcasted = int168(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 168 bits");
                      }
                      /**
                       * @dev Returns the downcasted int160 from int256, reverting on
                       * overflow (when the input is less than smallest int160 or
                       * greater than largest int160).
                       *
                       * Counterpart to Solidity's `int160` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 160 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt160(int256 value) internal pure returns (int160 downcasted) {
                          downcasted = int160(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 160 bits");
                      }
                      /**
                       * @dev Returns the downcasted int152 from int256, reverting on
                       * overflow (when the input is less than smallest int152 or
                       * greater than largest int152).
                       *
                       * Counterpart to Solidity's `int152` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 152 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt152(int256 value) internal pure returns (int152 downcasted) {
                          downcasted = int152(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 152 bits");
                      }
                      /**
                       * @dev Returns the downcasted int144 from int256, reverting on
                       * overflow (when the input is less than smallest int144 or
                       * greater than largest int144).
                       *
                       * Counterpart to Solidity's `int144` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 144 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt144(int256 value) internal pure returns (int144 downcasted) {
                          downcasted = int144(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 144 bits");
                      }
                      /**
                       * @dev Returns the downcasted int136 from int256, reverting on
                       * overflow (when the input is less than smallest int136 or
                       * greater than largest int136).
                       *
                       * Counterpart to Solidity's `int136` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 136 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt136(int256 value) internal pure returns (int136 downcasted) {
                          downcasted = int136(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 136 bits");
                      }
                      /**
                       * @dev Returns the downcasted int128 from int256, reverting on
                       * overflow (when the input is less than smallest int128 or
                       * greater than largest int128).
                       *
                       * Counterpart to Solidity's `int128` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 128 bits
                       *
                       * _Available since v3.1._
                       */
                      function toInt128(int256 value) internal pure returns (int128 downcasted) {
                          downcasted = int128(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 128 bits");
                      }
                      /**
                       * @dev Returns the downcasted int120 from int256, reverting on
                       * overflow (when the input is less than smallest int120 or
                       * greater than largest int120).
                       *
                       * Counterpart to Solidity's `int120` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 120 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt120(int256 value) internal pure returns (int120 downcasted) {
                          downcasted = int120(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 120 bits");
                      }
                      /**
                       * @dev Returns the downcasted int112 from int256, reverting on
                       * overflow (when the input is less than smallest int112 or
                       * greater than largest int112).
                       *
                       * Counterpart to Solidity's `int112` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 112 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt112(int256 value) internal pure returns (int112 downcasted) {
                          downcasted = int112(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 112 bits");
                      }
                      /**
                       * @dev Returns the downcasted int104 from int256, reverting on
                       * overflow (when the input is less than smallest int104 or
                       * greater than largest int104).
                       *
                       * Counterpart to Solidity's `int104` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 104 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt104(int256 value) internal pure returns (int104 downcasted) {
                          downcasted = int104(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 104 bits");
                      }
                      /**
                       * @dev Returns the downcasted int96 from int256, reverting on
                       * overflow (when the input is less than smallest int96 or
                       * greater than largest int96).
                       *
                       * Counterpart to Solidity's `int96` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 96 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt96(int256 value) internal pure returns (int96 downcasted) {
                          downcasted = int96(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 96 bits");
                      }
                      /**
                       * @dev Returns the downcasted int88 from int256, reverting on
                       * overflow (when the input is less than smallest int88 or
                       * greater than largest int88).
                       *
                       * Counterpart to Solidity's `int88` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 88 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt88(int256 value) internal pure returns (int88 downcasted) {
                          downcasted = int88(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 88 bits");
                      }
                      /**
                       * @dev Returns the downcasted int80 from int256, reverting on
                       * overflow (when the input is less than smallest int80 or
                       * greater than largest int80).
                       *
                       * Counterpart to Solidity's `int80` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 80 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt80(int256 value) internal pure returns (int80 downcasted) {
                          downcasted = int80(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 80 bits");
                      }
                      /**
                       * @dev Returns the downcasted int72 from int256, reverting on
                       * overflow (when the input is less than smallest int72 or
                       * greater than largest int72).
                       *
                       * Counterpart to Solidity's `int72` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 72 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt72(int256 value) internal pure returns (int72 downcasted) {
                          downcasted = int72(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 72 bits");
                      }
                      /**
                       * @dev Returns the downcasted int64 from int256, reverting on
                       * overflow (when the input is less than smallest int64 or
                       * greater than largest int64).
                       *
                       * Counterpart to Solidity's `int64` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 64 bits
                       *
                       * _Available since v3.1._
                       */
                      function toInt64(int256 value) internal pure returns (int64 downcasted) {
                          downcasted = int64(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 64 bits");
                      }
                      /**
                       * @dev Returns the downcasted int56 from int256, reverting on
                       * overflow (when the input is less than smallest int56 or
                       * greater than largest int56).
                       *
                       * Counterpart to Solidity's `int56` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 56 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt56(int256 value) internal pure returns (int56 downcasted) {
                          downcasted = int56(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 56 bits");
                      }
                      /**
                       * @dev Returns the downcasted int48 from int256, reverting on
                       * overflow (when the input is less than smallest int48 or
                       * greater than largest int48).
                       *
                       * Counterpart to Solidity's `int48` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 48 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt48(int256 value) internal pure returns (int48 downcasted) {
                          downcasted = int48(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 48 bits");
                      }
                      /**
                       * @dev Returns the downcasted int40 from int256, reverting on
                       * overflow (when the input is less than smallest int40 or
                       * greater than largest int40).
                       *
                       * Counterpart to Solidity's `int40` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 40 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt40(int256 value) internal pure returns (int40 downcasted) {
                          downcasted = int40(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 40 bits");
                      }
                      /**
                       * @dev Returns the downcasted int32 from int256, reverting on
                       * overflow (when the input is less than smallest int32 or
                       * greater than largest int32).
                       *
                       * Counterpart to Solidity's `int32` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 32 bits
                       *
                       * _Available since v3.1._
                       */
                      function toInt32(int256 value) internal pure returns (int32 downcasted) {
                          downcasted = int32(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 32 bits");
                      }
                      /**
                       * @dev Returns the downcasted int24 from int256, reverting on
                       * overflow (when the input is less than smallest int24 or
                       * greater than largest int24).
                       *
                       * Counterpart to Solidity's `int24` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 24 bits
                       *
                       * _Available since v4.7._
                       */
                      function toInt24(int256 value) internal pure returns (int24 downcasted) {
                          downcasted = int24(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 24 bits");
                      }
                      /**
                       * @dev Returns the downcasted int16 from int256, reverting on
                       * overflow (when the input is less than smallest int16 or
                       * greater than largest int16).
                       *
                       * Counterpart to Solidity's `int16` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 16 bits
                       *
                       * _Available since v3.1._
                       */
                      function toInt16(int256 value) internal pure returns (int16 downcasted) {
                          downcasted = int16(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 16 bits");
                      }
                      /**
                       * @dev Returns the downcasted int8 from int256, reverting on
                       * overflow (when the input is less than smallest int8 or
                       * greater than largest int8).
                       *
                       * Counterpart to Solidity's `int8` operator.
                       *
                       * Requirements:
                       *
                       * - input must fit into 8 bits
                       *
                       * _Available since v3.1._
                       */
                      function toInt8(int256 value) internal pure returns (int8 downcasted) {
                          downcasted = int8(value);
                          require(downcasted == value, "SafeCast: value doesn't fit in 8 bits");
                      }
                      /**
                       * @dev Converts an unsigned uint256 into a signed int256.
                       *
                       * Requirements:
                       *
                       * - input must be less than or equal to maxInt256.
                       *
                       * _Available since v3.0._
                       */
                      function toInt256(uint256 value) internal pure returns (int256) {
                          // Note: Unsafe cast below is okay because `type(int256).max` is guaranteed to be positive
                          require(value <= uint256(type(int256).max), "SafeCast: value doesn't fit in an int256");
                          return int256(value);
                      }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
                  import "@openzeppelin/contracts/utils/math/SafeCast.sol";
                  import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
                  import "./interfaces/IEvents.sol";
                  import "./interfaces/IZkLighter.sol";
                  import "./lib/Utils.sol";
                  import "./lib/Bytes.sol";
                  import "./lib/TxTypes.sol";
                  import "./Storage.sol";
                  /// @title zkLighter Additional Contract
                  /// @notice zkLighter Contract delegates some of its functionality to this contract
                  /// @author zkLighter Team
                  contract AdditionalZkLighter is IEvents, Storage, ReentrancyGuardUpgradeable {
                    error AdditionalZkLighter_StoredBatchHashMismatch();
                    error AdditionalZkLighter_CannotRevertGenesisBatch();
                    error AdditionalZkLighter_CannotRevertExecutedBatch();
                    error AdditionalZkLighter_InvalidDepositAmount();
                    error AdditionalZkLighter_InvalidWithdrawAmount();
                    error AdditionalZkLighter_InvalidAccountIndex();
                    error AdditionalZkLighter_InvalidDepositBatchLength();
                    error AdditionalZkLighter_InvalidApiKeyIndex();
                    error AdditionalZkLighter_InvalidPubKey();
                    error AdditionalZkLighter_RecipientAddressInvalid();
                    error AdditionalZkLighter_InvalidMarketIndex();
                    error AdditionalZkLighter_InvalidMarketStatus();
                    error AdditionalZkLighter_InvalidQuoteMultiplier();
                    error AdditionalZkLighter_InvalidFeeAmount();
                    error AdditionalZkLighter_InvalidMarginFraction();
                    error AdditionalZkLighter_InvalidInterestRate();
                    error AdditionalZkLighter_InvalidMinAmounts();
                    error AdditionalZkLighter_InvalidShareAmount();
                    error AdditionalZkLighter_MarketAlreadyExists();
                    error AdditionalZkLighter_TooManyRegisteredAccounts();
                    error AdditionalZkLighter_PubdataLengthMismatch();
                    error AdditionalZkLighter_DesertModeInactive();
                    error AdditionalZkLighter_PendingVerifiedRequestExecution();
                    error AdditionalZkLighter_InvalidDesertParameters();
                    error AdditionalZkLighter_DesertPerformedForAccount();
                    error AdditionalZkLighter_NoOutstandingDepositsForCancellation();
                    error AdditionalZkLighter_DepositPubdataHashMismatch();
                    error AdditionalZkLighter_InvalidCreateOrderParameters();
                    error AdditionalZkLighter_AccountIsNotRegistered();
                    error AdditionalZkLighter_StoredBatchInfoMismatch();
                    error AdditionalZkLighter_InvalidFundingClamps();
                    error AdditionalZkLighter_InvalidOpenInterestLimit();
                    error AdditionalZkLighter_InvalidOrderQuoteLimit();
                    /// @notice Reverts unverified batches
                    /// @param _batchesToRevert List of StoredBatchInfos to revert
                    /// @param _remainingBatch Last batch that is not reverted
                    function revertBatches(StoredBatchInfo[] memory _batchesToRevert, StoredBatchInfo memory _remainingBatch) external nonReentrant onlyActive {
                      governance.isActiveValidator(msg.sender);
                      for (uint32 i = 0; i < _batchesToRevert.length; ++i) {
                        StoredBatchInfo memory storedBatchInfo = _batchesToRevert[i];
                        if (storedBatchInfo.endBlockNumber == 0) {
                          revert AdditionalZkLighter_CannotRevertGenesisBatch();
                        }
                        if (storedBatchHashes[committedBatchesCount] != hashStoredBatchInfo(storedBatchInfo)) {
                          revert AdditionalZkLighter_StoredBatchHashMismatch();
                        }
                        if (storedBatchInfo.batchNumber != committedBatchesCount) {
                          revert AdditionalZkLighter_StoredBatchHashMismatch();
                        }
                        delete storedBatchHashes[committedBatchesCount];
                        if (storedBatchInfo.onChainOperationsHash != bytes32(0)) {
                          if (pendingOnChainBatchesCount == 0) {
                            revert AdditionalZkLighter_CannotRevertExecutedBatch();
                          }
                          pendingOnChainBatchesCount--;
                        }
                        committedBatchesCount--;
                        committedPriorityRequestCount -= storedBatchInfo.priorityRequestCount;
                        if (storedBatchInfo.batchNumber <= verifiedBatchesCount) {
                          verifiedBatchesCount--;
                          verifiedPriorityRequestCount -= storedBatchInfo.priorityRequestCount;
                        }
                      }
                      // Can not revert executed batch or priority requests
                      if (committedBatchesCount < executedBatchesCount || committedPriorityRequestCount < executedPriorityRequestCount) {
                        revert AdditionalZkLighter_CannotRevertExecutedBatch();
                      }
                      // Make sure the remaining batch is the last batch
                      if (storedBatchHashes[committedBatchesCount] != hashStoredBatchInfo(_remainingBatch)) {
                        revert AdditionalZkLighter_StoredBatchHashMismatch();
                      }
                      // If we reverted some verified batches, update the last verified variables for lazy update on executions
                      if (_remainingBatch.batchNumber == verifiedBatchesCount) {
                        lastVerifiedStateRoot = _remainingBatch.stateRoot;
                        lastVerifiedValidiumRoot = _remainingBatch.validiumRoot;
                        lastVerifiedEndBlockNumber = _remainingBatch.endBlockNumber;
                      }
                      emit BatchesRevert(committedBatchesCount);
                    }
                    function updateStateRoot(StoredBatchInfo calldata _lastStoredBatch, bytes32 _stateRoot, bytes32 _validiumRoot) external nonReentrant onlyActive {
                      governance.isActiveValidator(msg.sender);
                      if (storedBatchHashes[committedBatchesCount] != hashStoredBatchInfo(_lastStoredBatch)) {
                        revert AdditionalZkLighter_StoredBatchInfoMismatch();
                      }
                      if (executedBatchesCount != committedBatchesCount) {
                        revert AdditionalZkLighter_PendingVerifiedRequestExecution();
                      }
                      // TODO: verify transition proof
                      stateRoot = _stateRoot;
                      validiumRoot = _validiumRoot;
                      lastVerifiedStateRoot = _stateRoot;
                      lastVerifiedValidiumRoot = _validiumRoot;
                      stateRootUpdates[committedBatchesCount] = _stateRoot;
                      emit StateRootUpdate(committedBatchesCount, _lastStoredBatch.stateRoot, _stateRoot);
                    }
                    function _deposit(uint64[] memory _amount, address[] memory _to) internal {
                      IERC20 _token = governance.usdc();
                      uint256 totalAmount = 0;
                      for (uint256 i = 0; i < _amount.length; ++i) {
                        totalAmount += _amount[i];
                        if (_amount[i] == 0) {
                          revert AdditionalZkLighter_InvalidDepositAmount();
                        }
                        if (_to[i] == address(0)) {
                          revert AdditionalZkLighter_RecipientAddressInvalid();
                        }
                      }
                      uint256 balanceBefore = _token.balanceOf(address(this));
                      SafeERC20.safeTransferFrom(_token, msg.sender, address(this), totalAmount);
                      // token transfer failed deposit
                      uint256 balanceAfter = _token.balanceOf(address(this));
                      uint256 depositAmount = SafeCast.toUint128(balanceAfter - balanceBefore);
                      if (depositAmount == 0 || depositAmount > MAX_DEPOSIT_AMOUNT || balanceAfter > MAX_EXCHANGE_USDC_AMOUNT || depositAmount < totalAmount) {
                        revert AdditionalZkLighter_InvalidDepositAmount();
                      }
                      if (depositAmount > totalAmount) {
                        increaseBalanceToWithdraw(TREASURY_ACCOUNT_INDEX, SafeCast.toUint128(depositAmount - totalAmount));
                      }
                      for (uint256 i = 0; i < _amount.length; ++i) {
                        registerDeposit(_amount[i], _to[i]);
                      }
                    }
                    /// @notice Deposit collateral (usdc) to zkLighter
                    /// @param _amount usdc amount to deposit
                    /// @param _to The receiver L1 address
                    function deposit(uint64 _amount, address _to) external nonReentrant onlyActive {
                      uint64[] memory amount = new uint64[](1);
                      amount[0] = _amount;
                      address[] memory to = new address[](1);
                      to[0] = _to;
                      _deposit(amount, to);
                    }
                    /// @notice Deposit USDC to Lighter for multiple users
                    /// @param _amount Array of USDC Token amounts
                    /// @param _to Array of receiver L1 addresses
                    /// @param _accountIndex Array of account index values, will be used in the future
                    function depositBatch(uint64[] calldata _amount, address[] calldata _to, uint48[] calldata _accountIndex) external nonReentrant onlyActive {
                      if (_amount.length != _to.length || _amount.length != _accountIndex.length || _amount.length == 0 || _amount.length > MAX_BATCH_DEPOSIT_LENGTH) {
                        revert AdditionalZkLighter_InvalidDepositBatchLength();
                      }
                      _deposit(_amount, _to);
                    }
                    /// @notice Change Lighter public key for an account api key slot
                    function changePubKey(uint48 _accountIndex, uint8 _apiKeyIndex, bytes calldata _pubKey) external nonReentrant onlyActive {
                      if (_accountIndex > MAX_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      if (_apiKeyIndex > MAX_API_KEY_INDEX) {
                        revert AdditionalZkLighter_InvalidApiKeyIndex();
                      }
                      // verify that the public key is of the correct length
                      if (_pubKey.length != PUB_KEY_BYTES_SIZE) {
                        revert AdditionalZkLighter_InvalidPubKey();
                      }
                      // verify that the public key is not empty
                      for (uint8 i = 0; i < _pubKey.length; ++i) {
                        if (_pubKey[i] != 0) {
                          break;
                        }
                        if (i == _pubKey.length - 1) {
                          revert AdditionalZkLighter_InvalidPubKey();
                        }
                      }
                      // verify that the public key is in the field
                      for (uint8 i = 0; i < 5; i++) {
                        bytes memory elem = _pubKey[(8 * i):(8 * (i + 1))];
                        uint64 elemValue = 0;
                        for (uint8 j = 0; j < 8; j++) {
                          elemValue = elemValue + (uint64(uint8(elem[j])) << (8 * j));
                        }
                        if (elemValue >= GOLDILOCKS_MODULUS) {
                          revert AdditionalZkLighter_InvalidPubKey();
                        }
                      }
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(msg.sender);
                      if (_masterAccountIndex == NIL_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_AccountIsNotRegistered();
                      }
                      // add priority request to the queue
                      TxTypes.ChangePubKey memory _tx = TxTypes.ChangePubKey({
                        accountIndex: _accountIndex,
                        masterAccountIndex: _masterAccountIndex,
                        apiKeyIndex: _apiKeyIndex,
                        pubKey: _pubKey
                      });
                      bytes memory pubData = TxTypes.writeChangePubKeyPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1ChangePubKey, pubData, pubData);
                      emit ChangePubKey(_accountIndex, _apiKeyIndex, _pubKey);
                    }
                    /// @notice Create new market and an order book
                    /// @param _size_decimals [metadata] Number of decimals to represent size of an order in the order book
                    /// @param _price_decimals [metadata] Number of decimals to represent price of an order in the order book
                    /// @param _symbol [metadata] symbol of the market, formatted as bytes32
                    /// @param _params Market parameters
                    function createMarket(uint8 _size_decimals, uint8 _price_decimals, bytes32 _symbol, TxTypes.CreateMarket calldata _params) external onlyActive {
                      governance.requireGovernor(msg.sender);
                      validateCreateMarketParams(_params);
                      // add priority request to the queue
                      bytes memory priorityRequest = TxTypes.writeCreateMarketPubDataForPriorityQueue(_params);
                      bytes memory metadata = TxTypes.writeCreateMarketPubDataForPriorityQueueWithMetadata(priorityRequest, _size_decimals, _price_decimals, _symbol);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1CreateMarket, priorityRequest, metadata);
                      emit CreateMarket(_params, _size_decimals, _price_decimals, _symbol);
                    }
                    function validateCreateMarketParams(TxTypes.CreateMarket calldata _params) internal pure {
                      if (_params.marketIndex > MAX_MARKET_INDEX) {
                        revert AdditionalZkLighter_InvalidMarketIndex();
                      }
                      if (_params.quoteMultiplier == 0 || _params.quoteMultiplier > MAX_QUOTE_MULTIPLIER) {
                        revert AdditionalZkLighter_InvalidQuoteMultiplier();
                      }
                      if (_params.makerFee > FEE_TICK || _params.takerFee > FEE_TICK || _params.liquidationFee > FEE_TICK) {
                        revert AdditionalZkLighter_InvalidFeeAmount();
                      }
                      if (
                        _params.closeOutMarginFraction == 0 ||
                        _params.closeOutMarginFraction > _params.maintenanceMarginFraction ||
                        _params.maintenanceMarginFraction > _params.minInitialMarginFraction ||
                        _params.minInitialMarginFraction > _params.defaultInitialMarginFraction ||
                        _params.defaultInitialMarginFraction > MARGIN_TICK
                      ) {
                        revert AdditionalZkLighter_InvalidMarginFraction();
                      }
                      if (_params.interestRate > FUNDING_TICK) {
                        revert AdditionalZkLighter_InvalidInterestRate();
                      }
                      if (
                        _params.minBaseAmount == 0 ||
                        _params.minBaseAmount > MAX_POSITION_AMOUNT ||
                        _params.minQuoteAmount == 0 ||
                        _params.minQuoteAmount > MAX_POSITION_QUOTE_AMOUNT
                      ) {
                        revert AdditionalZkLighter_InvalidMinAmounts();
                      }
                      if (_params.fundingClampSmall > FUNDING_TICK || _params.fundingClampBig > FUNDING_TICK) {
                        revert AdditionalZkLighter_InvalidFundingClamps();
                      }
                      if (_params.orderQuoteLimit > _params.openInterestLimit) {
                        revert AdditionalZkLighter_InvalidOpenInterestLimit();
                      }
                      if (_params.minQuoteAmount > _params.orderQuoteLimit) {
                        revert AdditionalZkLighter_InvalidOrderQuoteLimit();
                      }
                    }
                    /// @notice Update order book status
                    /// @param _params Order book update parameters
                    function updateMarket(TxTypes.UpdateMarket calldata _params) external onlyActive {
                      governance.requireGovernor(msg.sender);
                      validateUpdateMarketParams(_params);
                      // add priority request to the queue
                      bytes memory pubData = TxTypes.writeUpdateMarketPubDataForPriorityQueue(_params);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1UpdateMarket, pubData, pubData);
                      emit UpdateMarket(_params);
                    }
                    function validateUpdateMarketParams(TxTypes.UpdateMarket calldata _params) internal pure {
                      if (_params.marketIndex > MAX_MARKET_INDEX) {
                        revert AdditionalZkLighter_InvalidMarketIndex();
                      }
                      if (_params.status != uint8(MarketStatus.ACTIVE) && _params.status != uint8(MarketStatus.NONE)) {
                        revert AdditionalZkLighter_InvalidMarketStatus();
                      }
                      if (_params.makerFee > FEE_TICK || _params.takerFee > FEE_TICK || _params.liquidationFee > FEE_TICK) {
                        revert AdditionalZkLighter_InvalidFeeAmount();
                      }
                      if (
                        _params.closeOutMarginFraction == 0 ||
                        _params.closeOutMarginFraction > _params.maintenanceMarginFraction ||
                        _params.maintenanceMarginFraction > _params.minInitialMarginFraction ||
                        _params.minInitialMarginFraction > _params.defaultInitialMarginFraction ||
                        _params.defaultInitialMarginFraction > MARGIN_TICK
                      ) {
                        revert AdditionalZkLighter_InvalidMarginFraction();
                      }
                      if (_params.interestRate > FUNDING_TICK) {
                        revert AdditionalZkLighter_InvalidInterestRate();
                      }
                      if (
                        _params.minBaseAmount == 0 ||
                        _params.minBaseAmount > MAX_POSITION_AMOUNT ||
                        _params.minQuoteAmount == 0 ||
                        _params.minQuoteAmount > MAX_POSITION_QUOTE_AMOUNT
                      ) {
                        revert AdditionalZkLighter_InvalidMinAmounts();
                      }
                      if (_params.fundingClampSmall > FUNDING_TICK || _params.fundingClampBig > FUNDING_TICK) {
                        revert AdditionalZkLighter_InvalidFundingClamps();
                      }
                      if (_params.orderQuoteLimit > _params.openInterestLimit) {
                        revert AdditionalZkLighter_InvalidOpenInterestLimit();
                      }
                      if (_params.minQuoteAmount > _params.orderQuoteLimit) {
                        revert AdditionalZkLighter_InvalidOrderQuoteLimit();
                      }
                    }
                    /// @notice Cancels all orders
                    function cancelAllOrders(uint48 _accountIndex) external nonReentrant onlyActive {
                      if (_accountIndex > MAX_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(msg.sender);
                      if (_masterAccountIndex == NIL_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_AccountIsNotRegistered();
                      }
                      // add priority request to the queue
                      TxTypes.CancelAllOrders memory _tx = TxTypes.CancelAllOrders({accountIndex: _accountIndex, masterAccountIndex: _masterAccountIndex});
                      bytes memory pubData = TxTypes.writeCancelAllOrdersPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1CancelAllOrders, pubData, pubData);
                      emit CancelAllOrders(_accountIndex);
                    }
                    /// @notice Withdraw USDC from zkLighter
                    /// @param _accountIndex Account index
                    /// @param _usdcAmount Amount to withdraw
                    function withdraw(uint48 _accountIndex, uint64 _usdcAmount) external nonReentrant onlyActive {
                      if (_accountIndex > MAX_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(msg.sender);
                      if (_masterAccountIndex == NIL_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_AccountIsNotRegistered();
                      }
                      if (_usdcAmount == 0 || _usdcAmount > MAX_EXCHANGE_USDC_AMOUNT) {
                        revert AdditionalZkLighter_InvalidWithdrawAmount();
                      }
                      TxTypes.L1Withdraw memory _tx = TxTypes.L1Withdraw({
                        accountIndex: _accountIndex,
                        masterAccountIndex: _masterAccountIndex,
                        usdcAmount: _usdcAmount
                      });
                      bytes memory pubData = TxTypes.writeWithdrawPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1Withdraw, pubData, pubData);
                      emit Withdraw(_accountIndex, _usdcAmount);
                    }
                    /// @notice Create an order for a Lighter account
                    /// @param _accountIndex Account index
                    /// @param _marketIndex Market index
                    /// @param _baseAmount Amount of base token
                    /// @param _price Price of the order
                    /// @param _isAsk Flag to indicate if the order is ask or bid
                    /// @param _orderType Order type
                    function createOrder(
                      uint48 _accountIndex,
                      uint8 _marketIndex,
                      uint48 _baseAmount,
                      uint32 _price,
                      uint8 _isAsk,
                      uint8 _orderType
                    ) external nonReentrant onlyActive {
                      if (_accountIndex > MAX_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(msg.sender);
                      if (_masterAccountIndex == NIL_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_AccountIsNotRegistered();
                      }
                      if (_isAsk != 0 && _isAsk != 1) {
                        revert AdditionalZkLighter_InvalidCreateOrderParameters();
                      }
                      if (_orderType != uint8(TxTypes.OrderType.LimitOrder) && _orderType != uint8(TxTypes.OrderType.MarketOrder)) {
                        revert AdditionalZkLighter_InvalidCreateOrderParameters();
                      }
                      if (_baseAmount > MAX_ORDER_BASE_AMOUNT || _baseAmount < MIN_ORDER_BASE_AMOUNT) {
                        revert AdditionalZkLighter_InvalidCreateOrderParameters();
                      }
                      if (_price > MAX_ORDER_PRICE || _price < MIN_ORDER_PRICE) {
                        revert AdditionalZkLighter_InvalidCreateOrderParameters();
                      }
                      TxTypes.CreateOrder memory _tx = TxTypes.CreateOrder({
                        accountIndex: _accountIndex,
                        masterAccountIndex: _masterAccountIndex,
                        marketIndex: _marketIndex,
                        baseAmount: _baseAmount,
                        price: _price,
                        isAsk: _isAsk,
                        orderType: _orderType
                      });
                      bytes memory pubData = TxTypes.writeCreateOrderPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1CreateOrder, pubData, pubData);
                      emit CreateOrder(_tx);
                    }
                    /// @notice Burn shares of an account in a public pool
                    /// @param _accountIndex Account index
                    /// @param _publicPoolIndex Public pool index
                    /// @param _shareAmount Amount of shares to burn
                    function burnShares(uint48 _accountIndex, uint48 _publicPoolIndex, uint64 _shareAmount) external nonReentrant onlyActive {
                      if (_accountIndex > MAX_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      if (_accountIndex == _publicPoolIndex) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(msg.sender);
                      if (_masterAccountIndex == NIL_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_AccountIsNotRegistered();
                      }
                      if (_publicPoolIndex > MAX_ACCOUNT_INDEX || _publicPoolIndex <= MAX_MASTER_ACCOUNT_INDEX) {
                        revert AdditionalZkLighter_InvalidAccountIndex();
                      }
                      if (_shareAmount < MIN_POOL_SHARES_TO_MINT_OR_BURN || _shareAmount > MAX_POOL_SHARES_TO_MINT_OR_BURN) {
                        revert AdditionalZkLighter_InvalidShareAmount();
                      }
                      TxTypes.BurnShares memory _tx = TxTypes.BurnShares({
                        accountIndex: _accountIndex,
                        masterAccountIndex: _masterAccountIndex,
                        publicPoolIndex: _publicPoolIndex,
                        sharesAmount: _shareAmount
                      });
                      bytes memory pubData = TxTypes.writeBurnSharesPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1BurnShares, pubData, pubData);
                      emit BurnShares(_tx);
                    }
                    /// @notice Register deposit request - pack pubdata, add into onchainOpsCheck and emit OnchainDeposit event
                    /// @param _amount Asset amount
                    /// @param _toAddress Receiver Account's L1 address
                    function registerDeposit(uint64 _amount, address _toAddress) internal {
                      uint48 _toAccountIndex = getAccountIndexFromAddress(_toAddress);
                      // no account could be found for the address
                      if (_toAccountIndex == 0 || _toAccountIndex == 1) {
                        _toAddress = address(0);
                      } else if (_toAccountIndex == NIL_ACCOUNT_INDEX) {
                        ++totalAccounts;
                        _toAccountIndex = totalAccounts;
                        if (_toAccountIndex > MAX_MASTER_ACCOUNT_INDEX) {
                          revert AdditionalZkLighter_TooManyRegisteredAccounts();
                        }
                        addressToAccountIndex[_toAddress] = _toAccountIndex;
                      }
                      // add priority request to the queue
                      TxTypes.Deposit memory _tx = TxTypes.Deposit({accountIndex: _toAccountIndex, toAddress: _toAddress, amount: _amount});
                      bytes memory pubData = TxTypes.writeDepositPubDataForPriorityQueue(_tx);
                      addPriorityRequest(TxTypes.PriorityPubDataTypeL1Deposit, pubData, pubData);
                      emit Deposit(_toAccountIndex, _toAddress, _amount);
                    }
                    /// @notice Saves priority request in storage
                    /// @dev Calculates expiration timestamp of the request and stores the request in priorityRequests
                    /// @param _pubdataType Priority request public data type
                    /// @param _priorityRequest Request public data that is hashed and stored in priorityRequests
                    /// @param _pubData Request public data that is emitted in NewPriorityRequest event, could be different from _priorityRequest
                    function addPriorityRequest(uint8 _pubdataType, bytes memory _priorityRequest, bytes memory _pubData) internal {
                      // expiration timestamp is current block number + priority expiration delta
                      uint64 expirationTimestamp = SafeCast.toUint64(block.timestamp + PRIORITY_EXPIRATION);
                      uint64 nextPriorityRequestId = executedPriorityRequestCount + openPriorityRequestCount;
                      bytes32 pubDataPrefix = bytes32(0);
                      if (nextPriorityRequestId > 0) {
                        pubDataPrefix = priorityRequests[nextPriorityRequestId - 1].prefixHash;
                      }
                      bytes memory paddedPubData = new bytes(PAD_PRIORITY_REQUEST_PUBDATA_SIZE);
                      bytes memory mergedData = abi.encodePacked(pubDataPrefix, _priorityRequest);
                      for (uint256 i = 0; i < mergedData.length; ++i) {
                        paddedPubData[i] = mergedData[i];
                      }
                      for (uint256 i = mergedData.length; i < PAD_PRIORITY_REQUEST_PUBDATA_SIZE; ++i) {
                        paddedPubData[i] = bytes1(0);
                      }
                      priorityRequests[nextPriorityRequestId] = PriorityRequest({prefixHash: keccak256(paddedPubData), expirationTimestamp: expirationTimestamp});
                      emit NewPriorityRequest(msg.sender, nextPriorityRequestId, _pubdataType, _pubData, expirationTimestamp);
                      ++openPriorityRequestCount;
                    }
                    function increaseBalanceToWithdraw(uint48 _masterAccountIndex, uint128 _amount) internal {
                      uint128 balance = pendingBalance[_masterAccountIndex].balanceToWithdraw;
                      pendingBalance[_masterAccountIndex] = PendingBalance(balance + _amount, FILLED_GAS_RESERVE_VALUE);
                    }
                    function createExitCommitment(uint256 stateRoot, bytes memory publicData) internal pure returns (bytes32) {
                      bytes32 converted = sha256(abi.encodePacked(stateRoot, publicData));
                      return converted;
                    }
                    /// @notice Performs exit from zkLighter in desert mode
                    function performDesert(bytes memory _pubdata, uint256[8] memory _proofs) external nonReentrant {
                      // must be in desert mode
                      if (!desertMode) {
                        revert AdditionalZkLighter_DesertModeInactive();
                      }
                      if (_pubdata.length == 0 || _pubdata.length != TxTypes.DESERT_EXIT_SIZE) {
                        revert AdditionalZkLighter_PubdataLengthMismatch();
                      }
                      // create commitment
                      bytes32 commitment = createExitCommitment(uint256(stateRoot), _pubdata);
                      uint256[1] memory inputs = [uint256(commitment) % BN254_MODULUS];
                      // verify proof
                      desertVerifier.verifyProof(_proofs, inputs);
                      // TODO: implement this
                    }
                    /// @param _n Number of requests to cancel
                    /// @param _depositsPubData The array of the pubdata for the deposits to be cancelled.
                    function cancelOutstandingDepositsForDesertMode(uint64 _n, bytes[] memory _depositsPubData) external nonReentrant {
                      // desert mode not active
                      if (!desertMode) {
                        revert AdditionalZkLighter_DesertModeInactive();
                      }
                      // TODO: implement this
                    }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  /// @title zkLighter Configuration Contract
                  /// @author zkLighter Team
                  contract Config {
                    /// @dev Max master account id that could be registered in the network (excluding treasury, which is set as accountIndex = 0)
                    /// Sub accounts and pool indexes start from 2**47 to 2**48 - 2 and are set by the sequencer
                    uint48 public constant MAX_MASTER_ACCOUNT_INDEX = 2 ** 47 - 1;
                    /// @dev Max account id that could be registered in the network
                    uint48 public constant MAX_ACCOUNT_INDEX = 2 ** 48 - 2;
                    /// @dev Nil account id, that represents an empty account
                    uint48 public constant NIL_ACCOUNT_INDEX = 2 ** 48 - 1;
                    /// @dev Max API key index that could be registered for an account
                    uint8 public constant MAX_API_KEY_INDEX = 254; // 2 ** 8 - 2
                    /// @dev Max market index that could be registered in the exchange
                    uint8 public constant MAX_MARKET_INDEX = 254; // 2 ** 8 - 2
                    /// @dev Max price an order can have
                    uint32 public constant MAX_ORDER_PRICE = 2 ** 32 - 1;
                    /// @dev Min price an order can have
                    uint32 public constant MIN_ORDER_PRICE = 1;
                    /// @dev Max order base amount
                    uint48 public constant MAX_ORDER_BASE_AMOUNT = 2 ** 48 - 1;
                    /// @dev Min order base amount
                    uint48 public constant MIN_ORDER_BASE_AMOUNT = 1;
                    /// @dev Max deposit of USDC token that is possible to deposit, 1 billion USDC
                    uint64 public constant MAX_DEPOSIT_AMOUNT = (1_000_000_000) * (1_000_000);
                    /// @dev Max amount of USDC that can be in the contract
                    uint64 public constant MAX_EXCHANGE_USDC_AMOUNT = 2 ** 60 - 1;
                    /// @dev Max amount of contracts a user can buy in a market
                    uint64 public constant MAX_POSITION_AMOUNT = 2 ** 56 - 1;
                    /// @dev Max amount of USDC that can be used to create or close positions
                    uint64 public constant MAX_POSITION_QUOTE_AMOUNT = 2 ** 56 - 1;
                    /// @dev Max amount of pool shares that can be minted or burned
                    uint64 public constant MAX_POOL_SHARES_TO_MINT_OR_BURN = 2 ** 60 - 1;
                    /// @dev Min amount of pool shares that can be minted or burned
                    uint64 public constant MIN_POOL_SHARES_TO_MINT_OR_BURN = 1;
                    /// @dev Expiration timestamp delta for priority request
                    /// @dev Priority expiration timestamp should be greater than the operation execution timestamp
                    uint256 public constant PRIORITY_EXPIRATION = 18 days;
                    /// @dev Margin tick to transform margin values in form x * 0.01%
                    uint16 constant MARGIN_TICK = 10_000;
                    /// @dev Funding tick to transform funding values in form x * 0.0001%
                    uint32 constant FUNDING_TICK = 1_000_000;
                    /// @dev Fee tick to transform fee values in form x * 0.0001%
                    uint32 constant FEE_TICK = 1_000_000;
                    /// @dev Max value for quote multiplier
                    uint32 constant MAX_QUOTE_MULTIPLIER = 10_000;
                    /// @dev Size of the public key for a Lighter API key
                    uint8 constant PUB_KEY_BYTES_SIZE = 40;
                    /// @dev Address of the blob point evaluation precompile (EIP-4844)
                    address constant POINT_EVALUATION_PRECOMPILE_ADDRESS = address(0x0A);
                    /// @dev Max priority request pubdata size stat is written to the priority request queue
                    uint256 constant MAX_PRIORITY_REQUEST_PUBDATA_SIZE = 100;
                    /// @dev Pad priority request pubdata size
                    uint256 constant PAD_PRIORITY_REQUEST_PUBDATA_SIZE = MAX_PRIORITY_REQUEST_PUBDATA_SIZE + 32;
                    /// @dev BLS Modulus value defined in EIP-4844, returned by the precompile if successfully evaluated
                    uint256 constant BLS_MODULUS = 52435875175126190479447740508185965837690552500527637822603658699938581184513;
                    /// @dev Scalar field of bn254
                    uint256 constant BN254_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617;
                    /// @dev evaluation point x (32 bytes) || evaluation point y (32 bytes) || commitment (48 bytes) || proof (48 bytes)) = 144 bytes
                    uint256 constant BLOB_DATA_COMMITMENT_BYTE_SIZE = 160;
                    /// @dev Goldilocks prime field modulus, 2^64 - 2^32 + 1
                    uint64 constant GOLDILOCKS_MODULUS = 0xffffffff00000001;
                    /// @dev Max open interest per market
                    uint64 constant MAX_MARKET_OPEN_INTEREST = (2 ** 56) - 1;
                    /// @dev Max batch deposit length
                    uint64 public constant MAX_BATCH_DEPOSIT_LENGTH = 1000;
                    /// @dev Treasury account index
                    uint48 public constant TREASURY_ACCOUNT_INDEX = 0;
                    /// @dev Insurance fund operator account index
                    uint48 public constant INSURANCE_FUND_OPERATOR_ACCOUNT_INDEX = 1;
                    function _isContract(address account) internal view returns (bool) {
                      return account.code.length > 0;
                    }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  /// @title zkLighter DesertVerifier Interface
                  /// @author zkLighter Team
                  interface IDesertVerifier {
                    function verifyProof(uint256[8] calldata proof, uint256[1] calldata input) external view;
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "../lib/TxTypes.sol";
                  /// @title zkLighter Events Interface
                  /// @author zkLighter Team
                  interface IEvents {
                    /// @notice Event emitted when a batch is committed
                    event BatchCommit(uint64 batchNumber, uint32 batchSize, uint64 endBlockNumber);
                    /// @notice Event emitted when a batch is verified
                    event BatchVerification(uint64 batchNumber, uint32 batchSize, uint64 endBlockNumber);
                    /// @notice Event emitted when batches until given batch number are executed
                    event BatchesExecuted(uint64 batchNumber, uint64 endBlockNumber);
                    /// @notice Event emitted when batches are reverted
                    event BatchesRevert(uint64 newTotalBlocksCommitted);
                    /// @notice Event emitted when priority requests and onChainL2 requests are executed
                    event VerifiedRequestsExecuted(uint64 executedPriorityRequestCount, uint64 executedOnChainL2RequestCount);
                    /// @notice Event emitted when user funds are deposited to a zkLighter account
                    event Deposit(uint48 toAccountIndex, address toAddress, uint128 amount);
                    /// @notice Event emitted when user requests to change their api public key
                    event ChangePubKey(uint48 accountIndex, uint8 apiKeyIndex, bytes pubKey);
                    /// @notice Market created event
                    event CreateMarket(
                      TxTypes.CreateMarket params,
                      // metadata
                      uint8 size_decimals,
                      uint8 price_decimals,
                      bytes32 symbol
                    );
                    /// @notice Market updated event
                    event UpdateMarket(TxTypes.UpdateMarket params);
                    /// @notice Event emitted when a cancel all orders request is created
                    event CancelAllOrders(uint48 accountIndex);
                    /// @notice Event emitted when a withdraw request is created
                    event Withdraw(uint48 accountIndex, uint64 usdcAmount);
                    /// @notice Event emitted when a new create order is created
                    event CreateOrder(TxTypes.CreateOrder params);
                    /// @notice Event emitted when a new burn shares is created
                    event BurnShares(TxTypes.BurnShares params);
                    /// @notice Event emitted when user funds are withdrawn from the zkLighter state but not from contract
                    event WithdrawPending(address indexed owner, uint128 amount);
                    /// @notice New priority request event. Emitted when a request is placed into mapping
                    event NewPriorityRequest(address sender, uint64 serialId, uint8 pubdataType, bytes pubData, uint64 expirationTimestamp);
                    /// @notice Desert mode entered event
                    event DesertMode();
                    /// @notice The treasury address changed
                    event TreasuryUpdate(address newTreasury);
                    /// @notice The insurance fund operator address changed
                    event InsuranceFundOperatorUpdate(address newInsuranceFundOperator);
                    /// @notice The state root upgrade event
                    event StateRootUpdate(uint64 batchNumber, bytes32 oldStateRoot, bytes32 newStateRoot);
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
                  /// @title zkLighter Events Interface
                  /// @author zkLighter Team
                  interface IGovernance {
                    /// @notice Governor changed
                    event NewGovernor(address newGovernor);
                    /// @notice Validator status changed
                    event ValidatorStatusUpdate(address validatorAddress, bool isActive);
                    /// @notice thrown in constructor when USDC is not a contract or zero address
                    error ZkLighter_Governance_InvalidUSDCAddress();
                    /// @notice thrown in constructor when Governor Address is zero
                    error ZkLighter_Governance_GovernorCannotBeZero();
                    ///@notice thrown by requireGovernor function and when the address is not a governor
                    error ZkLighter_Governance_OnlyGovernor();
                    /// @notice thrown when the validator address is zero
                    error ZkLighter_Governance_ValidatorCannotBeZero();
                    /// @notice thrown when the validator address is invalid
                    error ZkLighter_Governance_InvalidValidator();
                    /// @notice Change current governor
                    /// @param _newGovernor Address of the new governor
                    function changeGovernor(address _newGovernor) external;
                    /// @return the address of the USDC address
                    function usdc() external view returns (IERC20);
                    /// @notice Check if specified address is governor
                    /// @param _address Address to check
                    function requireGovernor(address _address) external view;
                    /// @notice Set validator address
                    /// @param _validator Address of the validator
                    /// @param _active Validator status
                    function setValidator(address _validator, bool _active) external;
                    /// @notice Check if specified address is validator
                    /// @param _address Address to check
                    function isActiveValidator(address _address) external view;
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
                  import "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
                  import "@openzeppelin/contracts/utils/math/SafeCast.sol";
                  import "../Storage.sol";
                  import "./IEvents.sol";
                  import "../lib/TxTypes.sol";
                  /// @title zkLighter Interface
                  /// @author zkLighter Team
                  interface IZkLighter is IEvents {
                    enum PubDataMode {
                      Blob,
                      Calldata
                    }
                    struct CommitBatchInfo {
                      uint64 endBlockNumber;
                      uint32 batchSize;
                      uint64 startTimestamp;
                      uint64 endTimestamp;
                      uint32 priorityRequestCount;
                      bytes32 prefixPriorityRequestHash;
                      bytes32 onChainOperationsHash;
                      bytes32 newStateRoot;
                      bytes32 newValidiumRoot;
                      bytes pubdataCommitments;
                    }
                    /// @notice Thrown when given commit batch data is inconsistent with the last stored batch
                    error ZkLighter_InvalidPubDataMode();
                    /// @notice Thrown when given commit batch data is inconsistent with the last stored batch
                    error ZkLighter_NonIncreasingBlockNumber();
                    /// @notice Thrown when given commit batch size is wrong
                    error ZkLighter_InvalidBatchSize();
                    /// @notice Thrown when given commit batch data is inconsistent with the last stored batch
                    error ZkLighter_NonIncreasingTimestamp();
                    /// @notice Thrown when given StoredBatchInfo hash doesn't match what is stored
                    error ZkLighter_StoredBatchInfoMismatch();
                    /// @notice Thrown when given priority request prefix hash doesn't match
                    error ZkLighter_PriorityRequestPrefixHashMismatch();
                    /// @notice Thrown when execute batches is called with different lengths of data
                    error ZkLighter_ExecuteInputLengthMismatch();
                    /// @notice Thrown when execute batches is called with input length greater than pending count
                    error ZkLighter_ExecuteInputLengthGreaterThanPendingCount();
                    /// @notice Thrown when given withdraw pubdata for a batch has invalid length
                    error ZkLighter_InvalidPubDataLength();
                    /// @notice Thrown when given withdraw pubdata for a batch has invalid data type
                    error ZkLighter_InvalidPubDataType();
                    /// @notice Thrown when given withdraw pubdata for a batch is invalid
                    error ZkLighter_OnChainOperationsHashMismatch();
                    /// @notice Thrown when implementation contract calls the initialise function on self
                    error ZkLighter_CannotBeInitialisedByImpl();
                    /// @notice Thrown when the initialisation parameters are invalid
                    error ZkLighter_InvalidInitializeParameters();
                    /// @notice Thrown when the upgrade parameters are invalid
                    error ZkLighter_InvalidUpgradeParameters();
                    /// @notice Thrown when pendingBalance to withdraw is zero
                    error ZkLighter_NothingToWithdraw();
                    /// @notice Thrown when upgrade address(this) is the implementation
                    error ZkLighter_OnlyProxyCanCallUpgrade();
                    /// @notice thrown when a restricted function which can be called only from zkLighterProxy is called by other address
                    error ZkLighter_OnlyZkLighter();
                    /// @notice Thrown when rollup balance difference (before and after transfer) is bigger than `_maxAmount`
                    error ZkLighter_RollUpBalanceBiggerThanMaxAmount();
                    /// @notice Thrown when verifyBatch is called on a batch which is not yet committed
                    error ZkLighter_CannotVerifyNonCommittedBatch();
                    /// @notice Thrown when verifyBatch is called for invalid batch
                    error ZkLighter_VerifyBatchNotInOrder();
                    /// @notice Thrown when verifyBatch is called with invalid proof
                    error ZkLighter_VerifyBatchProofFailed();
                    /// @notice Thrown when given batch is already executed
                    error ZkLighter_BatchAlreadyExecuted();
                    /// @notice Thrown when given batch is not yet verified
                    error ZkLighter_CannotExecuteNonVerifiedBatch();
                    /// @notice Thrown when given batch either doesn't contain on chain operations or the order is wrong
                    error ZkLighter_BatchNotInOnChainQueue();
                    /// @notice Thrown when omitted batch contains on chain operations
                    error ZkLighter_OmittedBatchContainsOnChainOperations();
                    /// @notice Thrown when non-omitted batch doesn't contain on chain operations
                    error ZkLighter_NonOmittedBatchDoesntContainOnChainOperations();
                    /// @notice Thrown when no outstanding deposits are available with given parameters in desert mode
                    error ZkLighter_NoOutstandingDepositsForCancellation();
                    /// @notice Thrown when transaction is not supported for execution
                    error ZkLighter_UnsupportedTransactionInExecution();
                    /// @notice ZkLighterImplementation cannot delegate to AdditionalZkLigher
                    error ZkLighter_ImplCantDelegateToAddl();
                    /// @notice thrown when the new treasury address is zero
                    error ZkLighter_TreasuryCannotBeZero();
                    /// @notice thrown when the new treasury address is already in use
                    error ZkLighter_TreasuryCannotBeInUse();
                    /// @notice thrown when the new insurance fund operator address is zero
                    error ZkLighter_InsuranceFundOperatorCannotBeZero();
                    /// @notice thrown when the new insurance fund operator address is already in use
                    error ZkLighter_InsuranceFundOperatorCannotBeInUse();
                    error ZkLighter_InvalidPointEvaluationParams();
                    error ZkLighter_InvalidBlobCommitmentParams();
                    /// @notice Checks if Desert mode must be entered. If true - enters desert mode and emits DesertMode event
                    /// @dev Desert mode must be entered in case of current L1 block timestamp is higher than the oldest priority request expiration timestamp
                    /// @return bool Flag that is true if the desert mode must be entered
                    function activateDesertMode() external returns (bool);
                    /// @notice Performs the Desert Exit, can be called only when desertMode is active
                    /// @param _pubdata Public data
                    /// @param _proofs Array of proofs on which desert
                    function performDesert(bytes memory _pubdata, uint256[8] memory _proofs) external;
                    /// @notice Cancels outstanding deposits, can be called only when desertMode is active
                    /// @param _n Number of outstanding priority requests to be cancelled
                    /// @param _depositsPubData Array of outstanding deposits to be cancelled
                    function cancelOutstandingDepositsForDesertMode(uint64 _n, bytes[] memory _depositsPubData) external;
                    /// @notice Deposit USDC to Lighter
                    /// @param _amount USDC Token amount
                    /// @param _to The receiver L1 address
                    function deposit(uint64 _amount, address _to) external;
                    /// @notice Deposit USDC to Lighter for multiple users
                    /// @param _amounts Array of USDC Token amounts
                    /// @param _to Array of receiver L1 addresses
                    /// @param _accountIndex Array of account index values, will be used in the future
                    function depositBatch(uint64[] calldata _amounts, address[] calldata _to, uint48[] calldata _accountIndex) external;
                    /// @notice Change public key of a Lighter account
                    /// @param _accountIndex Account index
                    /// @param _apiKeyIndex API key index
                    /// @param _pubKey New public key (40 bytes)
                    function changePubKey(uint48 _accountIndex, uint8 _apiKeyIndex, bytes calldata _pubKey) external;
                    /// @notice Create new market and an order book
                    /// @param _size_decimals [metadata] Number of decimals to represent size of an order in the order book
                    /// @param _price_decimals [metadata] Number of decimals to represent price of an order in the order book
                    /// @param _symbol [metadata] symbol of the market
                    /// @param _params Order book parameters
                    function createMarket(uint8 _size_decimals, uint8 _price_decimals, bytes32 _symbol, TxTypes.CreateMarket calldata _params) external;
                    /// @notice Updates the given order book, all values should be provided
                    /// @param _params Order book parameters to update
                    function updateMarket(TxTypes.UpdateMarket calldata _params) external;
                    /// @notice Cancel all orders of a Lighter account
                    /// @param _accountIndex Account index
                    function cancelAllOrders(uint48 _accountIndex) external;
                    /// @notice Withdraw USDC from Lighter
                    /// @param _accountIndex Account index
                    /// @param _usdcAmount Amount to withdraw
                    function withdraw(uint48 _accountIndex, uint64 _usdcAmount) external;
                    /// @notice Create an order for a Lighter account
                    /// @param _accountIndex Account index
                    /// @param _marketIndex Market index
                    /// @param _baseAmount Amount of base token
                    /// @param _price Price of the order
                    /// @param _isAsk Flag to indicate if the order is ask or bid
                    /// @param _orderType Order type
                    function createOrder(uint48 _accountIndex, uint8 _marketIndex, uint48 _baseAmount, uint32 _price, uint8 _isAsk, uint8 _orderType) external;
                    /// @notice Burn shares of an account in a public pool
                    /// @param _accountIndex Account index
                    /// @param _publicPoolIndex Public pool index
                    /// @param _shareAmount Amount of shares to burn
                    function burnShares(uint48 _accountIndex, uint48 _publicPoolIndex, uint64 _shareAmount) external;
                    /// @notice Withdraws tokens from ZkLighter contract to the owner
                    /// @param _owner Account address
                    /// @param _amount Amount to withdraw
                    function withdrawPendingBalance(address _owner, uint128 _amount) external;
                    /// @notice Sends tokens
                    /// @param _token Token address
                    /// @param _to Address of recipient
                    /// @param _amount Amount of tokens to transfer
                    /// @param _maxAmount Maximum possible amount of tokens to transfer to this account
                    /// @return withdrawnAmount Amount of tokens transferred
                    function transferERC20(IERC20 _token, address _to, uint128 _amount, uint128 _maxAmount) external returns (uint128 withdrawnAmount);
                    /// @notice Reverts unverified batches
                    /// @param _batchesToRevert Array of batches to be reverted
                    /// @param _remainingBatch Last batch that is not reverted
                    function revertBatches(Storage.StoredBatchInfo[] memory _batchesToRevert, Storage.StoredBatchInfo memory _remainingBatch) external;
                    /// @notice Get pending balance that the user can withdraw
                    /// @param _address Account address
                    /// @return uint128 Pending balance
                    function getPendingBalance(address _address) external view returns (uint128);
                    /// @notice Commit batch
                    /// @param _newBatchData  New batch to be committed
                    /// @param _lastStoredBatch Last committed batch
                    function commitBatch(CommitBatchInfo memory _newBatchData, Storage.StoredBatchInfo memory _lastStoredBatch) external;
                    /// @notice Execute verified on chain operations
                    /// @param _batches Array of batches that contains the on chain operations to be executed
                    /// @param _onChainOperationsPubData Array of on chain operations that are verified and to be executed
                    function executeBatches(Storage.StoredBatchInfo[] memory _batches, bytes[] memory _onChainOperationsPubData) external;
                    /// @notice Verify single Batch
                    /// @param batch Batch to be verified
                    /// @param proof Proof for the batch
                    function verifyBatch(Storage.StoredBatchInfo memory batch, bytes memory proof) external;
                    /// @notice Change the state root
                    /// @param _lastStoredBatch Last committed batch
                    /// @param _stateRoot New state root
                    /// @param _validiumRoot New validium root
                    function updateStateRoot(Storage.StoredBatchInfo calldata _lastStoredBatch, bytes32 _stateRoot, bytes32 _validiumRoot) external;
                    /// @notice Change the treasury address
                    /// @notice Can be called only by ZkLighter governor
                    /// @param _newTreasury Address of the new treasury
                    function setTreasury(address _newTreasury) external;
                    /// @notice Change the insurance fund operator address
                    /// @notice Can be called only by ZkLighter governor
                    /// @param _newInsuranceFundOperator Address of the new insurance fund operator
                    function setInsuranceFundOperator(address _newInsuranceFundOperator) external;
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  /// @title zkLighter DesertMode Interface
                  /// @author zkLighter Team
                  interface IZkLighterDesertMode {
                    /// @notice thrown when DesertMode is active
                    error ZkLighter_DesertModeActive();
                    function desertMode() external view returns (bool);
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  /// @title zkLighter Verifier Interface
                  /// @author zkLighter Team
                  interface IZkLighterVerifier {
                    function Verify(bytes calldata proof, uint256[] calldata public_inputs) external view returns (bool success);
                  }
                  // SPDX-License-Identifier: Apache-2.0
                  pragma solidity 0.8.25;
                  // Functions named bytesToX where X is some type of size N < 32 (size of one word)
                  // implements the following algorithm:
                  // f(bytes memory input, uint offset) -> X out
                  // where byte representation of out is N bytes from input at the given offset
                  // 1) We compute memory location of the word W such that last N bytes of W is input[offset..offset+N]
                  // W_address = input + 32 (skip stored length of bytes) + offset - (32 - N) == input + offset + N
                  // 2) We load W from memory into out, last N bytes of W are placed into out
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Bytes.sol)
                  /// Modified to add support for UInt64, removed unused code, combined toBytesFromUIntTruncated and toBytesFromUInt32 functionality
                  library Bytes {
                    // See comment at the top of this file for explanation of how this function works.
                    // NOTE: theoretically possible overflow of (_start + 20)
                    function bytesToAddress(bytes memory self, uint256 _start) internal pure returns (address addr) {
                      uint256 offset = _start + 20;
                      require(self.length >= offset, "R");
                      assembly {
                        addr := mload(add(self, offset))
                      }
                    }
                    // See comment at the top of this file for explanation of how this function works.
                    // NOTE: theoretically possible overflow of (_start + 0x2)
                    function bytesToUInt16(bytes memory _bytes, uint256 _start) internal pure returns (uint16 r) {
                      uint256 offset = _start + 0x2;
                      require(_bytes.length >= offset, "T");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // NOTE: theoretically possible overflow of (_start + 0x4)
                    function bytesToUInt32(bytes memory _bytes, uint256 _start) internal pure returns (uint32 r) {
                      uint256 offset = _start + 0x4;
                      require(_bytes.length >= offset, "V");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // NOTE: theoretically possible overflow of (_start + 0x10)
                    function bytesToUInt128(bytes memory _bytes, uint256 _start) internal pure returns (uint128 r) {
                      uint256 offset = _start + 0x10;
                      require(_bytes.length >= offset, "W");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // NOTE: theoretically possible overflow of (_start + 0x20)
                    function bytesToBytes32(bytes memory _bytes, uint256 _start) internal pure returns (bytes32 r) {
                      uint256 offset = _start + 0x20;
                      require(_bytes.length >= offset, "Y");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // Original source code: https://github.com/GNSPS/solidity-bytes-utils/blob/master/contracts/BytesLib.sol#L228
                    // Get slice from bytes arrays
                    // Returns the newly created 'bytes memory'
                    // NOTE: theoretically possible overflow of (_start + _length)
                    function slice(bytes memory _bytes, uint256 _start, uint256 _length) internal pure returns (bytes memory) {
                      require(_bytes.length >= (_start + _length), "Z"); // bytes length is less then start byte + length bytes
                      bytes memory tempBytes = new bytes(_length);
                      if (_length != 0) {
                        assembly {
                          let slice_curr := add(tempBytes, 0x20)
                          let slice_end := add(slice_curr, _length)
                          for {
                            let array_current := add(_bytes, add(_start, 0x20))
                          } lt(slice_curr, slice_end) {
                            slice_curr := add(slice_curr, 0x20)
                            array_current := add(array_current, 0x20)
                          } {
                            mstore(slice_curr, mload(array_current))
                          }
                        }
                      }
                      return tempBytes;
                    }
                    /// Reads byte stream
                    /// @return newOffset - offset + amount of bytes read
                    /// @return data - actually read data
                    // NOTE: theoretically possible overflow of (_offset + _length)
                    function read(bytes memory _data, uint256 _offset, uint256 _length) internal pure returns (uint256 newOffset, bytes memory data) {
                      data = slice(_data, _offset, _length);
                      newOffset = _offset + _length;
                    }
                    // NOTE: theoretically possible overflow of (_offset + 1)
                    function readUInt8(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, uint8 r) {
                      newOffset = _offset + 1;
                      r = uint8(_data[_offset]);
                    }
                    // NOTE: theoretically possible overflow of (_offset + 2)
                    function readUInt16(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, uint16 r) {
                      newOffset = _offset + 2;
                      r = bytesToUInt16(_data, _offset);
                    }
                    // NOTE: theoretically possible overflow of (_offset + 4)
                    function readUInt32(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, uint32 r) {
                      newOffset = _offset + 4;
                      r = bytesToUInt32(_data, _offset);
                    }
                    // NOTE: theoretically possible overflow of (_offset + 20)
                    function readAddress(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, address r) {
                      newOffset = _offset + 20;
                      r = bytesToAddress(_data, _offset);
                    }
                    // NOTE: theoretically possible overflow of (_offset + 32)
                    function readBytes32(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, bytes32 r) {
                      newOffset = _offset + 32;
                      r = bytesToBytes32(_data, _offset);
                    }
                    // Convert bytes to ASCII hex representation
                    function bytesToHexASCIIBytes(bytes memory _input) internal pure returns (bytes memory _output) {
                      bytes memory outStringBytes = new bytes(_input.length * 2);
                      // code in `assembly` construction is equivalent of the next code:
                      // for (uint i = 0; i < _input.length; ++i) {
                      //     outStringBytes[i*2] = halfByteToHex(_input[i] >> 4);
                      //     outStringBytes[i*2+1] = halfByteToHex(_input[i] & 0x0f);
                      // }
                      assembly {
                        let input_curr := add(_input, 0x20)
                        let input_end := add(input_curr, mload(_input))
                        for {
                          let out_curr := add(outStringBytes, 0x20)
                        } lt(input_curr, input_end) {
                          input_curr := add(input_curr, 0x01)
                          out_curr := add(out_curr, 0x02)
                        } {
                          let curr_input_byte := shr(0xf8, mload(input_curr))
                          // here outStringByte from each half of input byte calculates by the next:
                          //
                          // "FEDCBA9876543210" ASCII-encoded, shifted and automatically truncated.
                          // outStringByte = byte (uint8 (0x66656463626139383736353433323130 >> (uint8 (_byteHalf) * 8)))
                          mstore(out_curr, shl(0xf8, shr(mul(shr(0x04, curr_input_byte), 0x08), 0x66656463626139383736353433323130)))
                          mstore(add(out_curr, 0x01), shl(0xf8, shr(mul(and(0x0f, curr_input_byte), 0x08), 0x66656463626139383736353433323130)))
                        }
                      }
                      return outStringBytes;
                    }
                    // === Lighter Changes ===
                    // See comment at the top of this file for explanation of how this function works.
                    // NOTE: theoretically possible overflow of (_start + 0x8)
                    function bytesToUInt64(bytes memory _bytes, uint256 _start) internal pure returns (uint64 r) {
                      uint256 offset = _start + 0x8;
                      require(_bytes.length >= offset, "S");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // See comment at the top of this file for explanation of how this function works.
                    // NOTE: theoretically possible overflow of (_start + 0x6)
                    function bytesToUInt48(bytes memory _bytes, uint256 _start) internal pure returns (uint48 r) {
                      uint256 offset = _start + 0x6;
                      require(_bytes.length >= offset, "S");
                      assembly {
                        r := mload(add(_bytes, offset))
                      }
                    }
                    // NOTE: theoretically possible overflow of (_offset + 8)
                    function readUInt64(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, uint64 r) {
                      newOffset = _offset + 8;
                      r = bytesToUInt64(_data, _offset);
                    }
                    // NOTE: theoretically possible overflow of (_offset + 6)
                    function readUInt48(bytes memory _data, uint256 _offset) internal pure returns (uint256 newOffset, uint48 r) {
                      newOffset = _offset + 6;
                      r = bytesToUInt48(_data, _offset);
                    }
                    function toBytesFromUInt8(uint8 self) internal pure returns (bytes memory bts) {
                      bts = new bytes(1);
                      // Even though the bytes will allocate a full word, we don't want
                      // any potential garbage bytes in there.
                      uint256 data = uint256(self) << ((32 - 1) * 8);
                      assembly {
                        mstore(
                          add(bts, 32), // BYTES_HEADER_SIZE
                          data
                        )
                      }
                    }
                    function toBytesFromUInt32(uint32 self) internal pure returns (bytes memory bts) {
                      bts = new bytes(4);
                      // Even though the bytes will allocate a full word, we don't want
                      // any potential garbage bytes in there.
                      uint256 data = uint256(self) << ((32 - 4) * 8);
                      assembly {
                        mstore(
                          add(bts, 32), // BYTES_HEADER_SIZE
                          data
                        )
                      }
                    }
                    function toBytesFromUInt48(uint48 self) internal pure returns (bytes memory bts) {
                      bts = new bytes(6);
                      // Even though the bytes will allocate full words, we don't want
                      // any potential garbage bytes in there.
                      uint256 data = uint256(self) << ((32 - 6) * 8);
                      assembly {
                        mstore(
                          add(bts, 32), // BYTES_HEADER_SIZE
                          data
                        )
                      }
                    }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "./Bytes.sol";
                  import "./Utils.sol";
                  /// @title zkLighter TxTypes Library
                  /// @notice Implements helper functions to serialize and deserialize tx types
                  /// @author zkLighter Team
                  library TxTypes {
                    /// @notice zklighter priority request types
                    uint8 constant PriorityPubDataTypeEmpty = 30;
                    uint8 constant PriorityPubDataTypeL1Deposit = 31;
                    uint8 constant PriorityPubDataTypeL1ChangePubKey = 32;
                    uint8 constant PriorityPubDataTypeL1CreateMarket = 33;
                    uint8 constant PriorityPubDataTypeL1UpdateMarket = 34;
                    uint8 constant PriorityPubDataTypeL1CancelAllOrders = 35;
                    uint8 constant PriorityPubDataTypeL1Withdraw = 36;
                    uint8 constant PriorityPubDataTypeL1CreateOrder = 37;
                    uint8 constant PriorityPubDataTypeL1BurnShares = 38;
                    /// @notice zklighter onchain transaction types
                    enum OnChainPubDataType {
                      Empty,
                      Withdraw
                    }
                    uint32 internal constant WithdrawLogSize = 15; // 1 byte for type, 6 bytes for accountIndex, 8 bytes for usdcAmount
                    enum OrderType {
                      LimitOrder,
                      MarketOrder
                    }
                    uint8 internal constant TX_TYPE_BYTES = 1;
                    uint8 internal constant DESERT_EXIT_SIZE = 22;
                    uint256 internal constant PACKED_TX_MAX_PUBDATA_BYTES = 73;
                    struct Deposit {
                      uint48 accountIndex;
                      address toAddress; // include address so that the sequencer and the circuits are aware of the accountIndex and address mapping
                      uint64 amount;
                    }
                    /// @notice Serialize deposit pubData
                    function writeDepositPubDataForPriorityQueue(Deposit memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(uint8(PriorityPubDataTypeL1Deposit), _tx.accountIndex, _tx.toAddress, _tx.amount);
                    }
                    struct L1Withdraw {
                      uint48 accountIndex;
                      uint48 masterAccountIndex;
                      uint64 usdcAmount;
                    }
                    /// @notice Serialize withdraw pubData
                    function writeWithdrawPubDataForPriorityQueue(L1Withdraw memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(uint8(PriorityPubDataTypeL1Withdraw), _tx.accountIndex, _tx.masterAccountIndex, _tx.usdcAmount);
                    }
                    struct Withdraw {
                      uint48 masterAccountIndex;
                      uint64 usdcAmount;
                    }
                    /// @notice Deserialize withdraw pubData
                    function readWithdrawOnChainLog(bytes memory _data, uint256 _offset) internal pure returns (Withdraw memory parsed, uint256 newOffset) {
                      _offset++; // Skipping the type
                      (_offset, parsed.masterAccountIndex) = Bytes.readUInt48(_data, _offset);
                      (_offset, parsed.usdcAmount) = Bytes.readUInt64(_data, _offset);
                      return (parsed, _offset);
                    }
                    struct CreateMarket {
                      uint8 marketIndex;
                      uint32 quoteMultiplier;
                      uint32 takerFee;
                      uint32 makerFee;
                      uint32 liquidationFee;
                      uint64 minBaseAmount;
                      uint64 minQuoteAmount;
                      uint16 defaultInitialMarginFraction;
                      uint16 minInitialMarginFraction;
                      uint16 maintenanceMarginFraction;
                      uint16 closeOutMarginFraction;
                      uint32 interestRate;
                      uint24 fundingClampSmall;
                      uint24 fundingClampBig;
                      uint56 openInterestLimit;
                      uint48 orderQuoteLimit;
                    }
                    struct CreateOrder {
                      uint48 accountIndex;
                      uint48 masterAccountIndex;
                      uint8 marketIndex;
                      uint48 baseAmount;
                      uint32 price;
                      uint8 isAsk;
                      uint8 orderType;
                    }
                    /// @notice Serialize create order pubData
                    function writeCreateOrderPubDataForPriorityQueue(CreateOrder memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(
                        uint8(PriorityPubDataTypeL1CreateOrder),
                        _tx.accountIndex,
                        _tx.masterAccountIndex,
                        _tx.marketIndex,
                        _tx.baseAmount,
                        _tx.price,
                        _tx.isAsk,
                        _tx.orderType
                      );
                    }
                    struct BurnShares {
                      uint48 accountIndex;
                      uint48 masterAccountIndex;
                      uint48 publicPoolIndex;
                      uint64 sharesAmount;
                    }
                    /// @notice Serialize burn shares pubData
                    function writeBurnSharesPubDataForPriorityQueue(BurnShares memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(uint8(PriorityPubDataTypeL1BurnShares), _tx.accountIndex, _tx.masterAccountIndex, _tx.publicPoolIndex, _tx.sharesAmount);
                    }
                    /// @notice Serialize create order book pubData, it does not include metadata
                    function writeCreateMarketPubDataForPriorityQueue(CreateMarket memory _tx) internal pure returns (bytes memory buf) {
                      bytes memory suffix = writeCreateMarketPubDataSuffixForPriorityQueue2(_tx);
                      buf = abi.encodePacked(
                        uint8(PriorityPubDataTypeL1CreateMarket),
                        _tx.marketIndex,
                        _tx.quoteMultiplier,
                        _tx.takerFee,
                        _tx.makerFee,
                        _tx.liquidationFee,
                        _tx.minBaseAmount,
                        _tx.minQuoteAmount,
                        _tx.defaultInitialMarginFraction,
                        _tx.minInitialMarginFraction,
                        _tx.maintenanceMarginFraction,
                        _tx.closeOutMarginFraction,
                        _tx.interestRate,
                        suffix
                      );
                    }
                    function writeCreateMarketPubDataSuffixForPriorityQueue2(CreateMarket memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(_tx.fundingClampSmall, _tx.fundingClampBig, _tx.openInterestLimit, _tx.orderQuoteLimit);
                    }
                    /// @notice Serialize create order book pubData, includes metadata
                    function writeCreateMarketPubDataForPriorityQueueWithMetadata(
                      bytes memory _data,
                      uint8 size_decimals,
                      uint8 price_decimals,
                      bytes32 symbol
                    ) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(_data, size_decimals, price_decimals, symbol);
                    }
                    struct UpdateMarket {
                      uint8 marketIndex;
                      uint8 status;
                      uint32 takerFee;
                      uint32 makerFee;
                      uint32 liquidationFee;
                      uint64 minBaseAmount;
                      uint64 minQuoteAmount;
                      uint16 defaultInitialMarginFraction;
                      uint16 minInitialMarginFraction;
                      uint16 maintenanceMarginFraction;
                      uint16 closeOutMarginFraction;
                      uint32 interestRate;
                      uint24 fundingClampSmall;
                      uint24 fundingClampBig;
                      uint56 openInterestLimit;
                      uint48 orderQuoteLimit;
                    }
                    /// @notice Serialize update order book pubData
                    function writeUpdateMarketPubDataForPriorityQueue(UpdateMarket memory _tx) internal pure returns (bytes memory buf) {
                      bytes memory suffix = writeUpdateMarketPubDataSuffixForPriorityQueue(_tx);
                      buf = abi.encodePacked(
                        uint8(PriorityPubDataTypeL1UpdateMarket),
                        _tx.marketIndex,
                        _tx.status,
                        _tx.takerFee,
                        _tx.makerFee,
                        _tx.liquidationFee,
                        _tx.minBaseAmount,
                        _tx.minQuoteAmount,
                        _tx.defaultInitialMarginFraction,
                        _tx.minInitialMarginFraction,
                        _tx.maintenanceMarginFraction,
                        _tx.closeOutMarginFraction,
                        _tx.interestRate,
                        suffix
                      );
                    }
                    function writeUpdateMarketPubDataSuffixForPriorityQueue(UpdateMarket memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(_tx.fundingClampSmall, _tx.fundingClampBig, _tx.openInterestLimit, _tx.orderQuoteLimit);
                    }
                    struct CancelAllOrders {
                      uint48 accountIndex;
                      uint48 masterAccountIndex;
                    }
                    /// @notice Serialize cancel all orders pubData
                    function writeCancelAllOrdersPubDataForPriorityQueue(CancelAllOrders memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(uint8(PriorityPubDataTypeL1CancelAllOrders), _tx.accountIndex, _tx.masterAccountIndex);
                    }
                    struct ChangePubKey {
                      uint48 accountIndex;
                      uint48 masterAccountIndex;
                      uint8 apiKeyIndex;
                      bytes pubKey;
                    }
                    /// @notice Serialize change pub key pubData
                    function writeChangePubKeyPubDataForPriorityQueue(ChangePubKey memory _tx) internal pure returns (bytes memory buf) {
                      buf = abi.encodePacked(uint8(PriorityPubDataTypeL1ChangePubKey), _tx.accountIndex, _tx.masterAccountIndex, _tx.apiKeyIndex, _tx.pubKey);
                    }
                  }
                  // SPDX-License-Identifier: Apache-2.0
                  pragma solidity 0.8.25;
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Utils.sol)
                  /// Modified to removed unused code
                  library Utils {
                    /// @notice Returns lesser of two values
                    function minU64(uint64 a, uint64 b) internal pure returns (uint64) {
                      return a < b ? a : b;
                    }
                    /// @notice Returns lesser of two values
                    function minU128(uint128 a, uint128 b) internal pure returns (uint128) {
                      return a < b ? a : b;
                    }
                    /// @notice Recovers signer's address from ethereum signature for given message
                    /// @param _signature 65 bytes concatenated. R (32) + S (32) + V (1)
                    /// @param _messageHash signed message hash.
                    /// @return address of the signer
                    /// NOTE: will revert if signature is invalid
                    function recoverAddressFromEthSignature(bytes memory _signature, bytes32 _messageHash) internal pure returns (address) {
                      require(_signature.length == 65, "P"); // incorrect signature length
                      bytes32 signR;
                      bytes32 signS;
                      uint8 signV;
                      assembly {
                        signR := mload(add(_signature, 32))
                        signS := mload(add(_signature, 64))
                        signV := byte(0, mload(add(_signature, 96)))
                      }
                      address recoveredAddress = ecrecover(_messageHash, signV, signR, signS);
                      require(recoveredAddress != address(0), "p4"); // invalid signature
                      return recoveredAddress;
                    }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "./interfaces/IZkLighterDesertMode.sol";
                  import "./interfaces/IZkLighterVerifier.sol";
                  import "./interfaces/IDesertVerifier.sol";
                  import "./interfaces/IGovernance.sol";
                  import "./lib/TxTypes.sol";
                  import "./AdditionalZkLighter.sol";
                  import "./Config.sol";
                  /// @title zkLighter Storage Contract
                  /// @author zkLighter Team
                  contract Storage is IZkLighterDesertMode, Config {
                    // public tree roots
                    bytes32 public stateRoot;
                    bytes32 public validiumRoot;
                    struct PriorityRequest {
                      bytes32 prefixHash;
                      uint64 expirationTimestamp;
                    }
                    /// @dev Priority Request mapping
                    /// @dev Requests are indexed by their receiving order
                    mapping(uint64 => PriorityRequest) internal priorityRequests;
                    /// @notice Priority operation struct
                    /// @dev Contains request type and hashed pubData
                    struct OnChainL2Request {
                      bytes20 hashedPubData;
                      uint64 priorityRequestOffset;
                    }
                    enum MarketStatus {
                      NONE,
                      ACTIVE
                    }
                    /// @dev L2 Request mapping for L2 transactions that needs to be executed in the base layer
                    /// @dev Requests are indexed by their commit order
                    mapping(uint64 => OnChainL2Request) internal onChainL2Requests;
                    /// @dev Verifier contract, used for verifying batch execution proofs
                    IZkLighterVerifier internal verifier;
                    /// @dev Desert verifier contract, used for verifying desert mode proofs
                    IDesertVerifier internal desertVerifier;
                    /// @dev Governance contract, stores the governor of the network
                    IGovernance internal governance;
                    /// @dev Additional zkLighter implementation contract (code size limitations)
                    AdditionalZkLighter internal additionalZkLighter;
                    /// @dev Number of priority requests committed
                    uint64 public committedPriorityRequestCount;
                    /// @dev Number of priority requests committed and verified
                    uint64 public verifiedPriorityRequestCount;
                    /// @dev Number of priority requests committed, verified and executed
                    uint64 public executedPriorityRequestCount;
                    /// @dev Number of queued priority requests waiting to be executed
                    uint64 public openPriorityRequestCount;
                    /// @dev Number of batches committed
                    uint64 public committedBatchesCount;
                    /// @dev Number of batches committed and verified
                    uint64 public verifiedBatchesCount;
                    /// @dev Number of batches committed, verified and executed
                    uint64 public executedBatchesCount;
                    /// @dev Number of queued batches that have onChainOperations waiting to be executed
                    uint64 public pendingOnChainBatchesCount;
                    /// @dev Number of queued batches that have onChainOperations executed
                    uint64 public executedOnChainBatchesCount;
                    bytes32 public lastVerifiedStateRoot;
                    bytes32 public lastVerifiedValidiumRoot;
                    uint64 public lastVerifiedEndBlockNumber;
                    struct StoredBatchInfo {
                      uint64 batchNumber;
                      uint64 endBlockNumber;
                      uint32 batchSize;
                      uint64 startTimestamp;
                      uint64 endTimestamp;
                      uint32 priorityRequestCount;
                      bytes32 prefixPriorityRequestHash;
                      bytes32 onChainOperationsHash;
                      bytes32 stateRoot;
                      bytes32 validiumRoot;
                      bytes32 commitment;
                    }
                    /// @dev Stores hashed StoredBatchInfo indexed by the batchNumber
                    mapping(uint64 => bytes32) public storedBatchHashes;
                    struct ExecutionQueueItem {
                      uint64 batchNumber;
                      uint64 totalPriorityRequests;
                    }
                    /// @dev Stores if a batch needs to be executed, indexed by the pendingOnChainBatchesCount and
                    /// @dev executedOnChainBatchesCount, value is the batchNumber
                    mapping(uint64 => ExecutionQueueItem) internal onChainExecutionQueue;
                    /// @dev Flag indicates that desert (exit hatch) mode is triggered
                    /// @dev Once desert mode is triggered, it can not be reverted
                    bool public override desertMode;
                    /// @dev Flag indicates that a user (account id) has exited certain collateral balance
                    mapping(uint32 => bool) internal performedDesert;
                    uint8 internal constant FILLED_GAS_RESERVE_VALUE = 0xff; // Used for setting gas reserve value, so that the slot will not be emptied with 0 balance
                    struct PendingBalance {
                      uint128 balanceToWithdraw;
                      uint8 gasReserveValue;
                    }
                    /// @notice Address that collects fees from listed markets
                    address public treasury;
                    /// @notice Address that operates the insurance fund
                    address public insuranceFundOperator;
                    /// @notice Total number of registered accounts in the network including the treasury and the insurance fund operator
                    uint48 public totalAccounts;
                    /// @notice Account address to account id mapping, excluding the treasury and the insurance fund operator
                    mapping(address => uint48) public addressToAccountIndex;
                    /// @dev Base layer withdrawable USDC balances for each master account index
                    mapping(uint48 => PendingBalance) internal pendingBalance;
                    /// @dev Stores new state root at the batch number if state root upgrade happened
                    mapping(uint64 => bytes32) public stateRootUpdates;
                    /// @notice Checks that current state not is desert mode
                    modifier onlyActive() {
                      if (desertMode) {
                        // desert mode activated
                        revert ZkLighter_DesertModeActive();
                      }
                      _;
                    }
                    function hashStoredBatchInfo(StoredBatchInfo memory _batch) internal pure returns (bytes32) {
                      return keccak256(abi.encode(_batch));
                    }
                    function getAccountIndexFromAddress(address _address) internal view returns (uint48) {
                      uint48 _accountIndex = addressToAccountIndex[_address];
                      if (_accountIndex == 0) {
                        if (_address == treasury) {
                          return TREASURY_ACCOUNT_INDEX;
                        } else if (_address == insuranceFundOperator) {
                          return INSURANCE_FUND_OPERATOR_ACCOUNT_INDEX;
                        }
                        return NIL_ACCOUNT_INDEX;
                      }
                      return _accountIndex;
                    }
                  }
                  // SPDX-License-Identifier: BUSL-1.1
                  pragma solidity 0.8.25;
                  import "@openzeppelin/contracts-upgradeable/security/ReentrancyGuardUpgradeable.sol";
                  import "@openzeppelin/contracts/utils/math/SafeCast.sol";
                  import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
                  import "./interfaces/IZkLighter.sol";
                  import "./interfaces/IZkLighterVerifier.sol";
                  import "./interfaces/IDesertVerifier.sol";
                  import "./lib/Utils.sol";
                  import "./lib/Bytes.sol";
                  import "./lib/TxTypes.sol";
                  import "./Storage.sol";
                  /// @title zkLighter Contract
                  /// @author zkLighter Team
                  contract ZkLighter is IZkLighter, Storage, ReentrancyGuardUpgradeable {
                    address private immutable zklighterImplementation;
                    // OpenZeppelin Contracts (last updated v4.9.0) (proxy/utils/Initializable.sol)
                    // * 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. */
                    // * 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: */
                    constructor() {
                      zklighterImplementation = address(this);
                      _disableInitializers();
                    }
                    /// @notice ZkLighter contract initialization.
                    /// @param initializationParameters Encoded representation of initialization parameters:
                    /// @dev _governanceAddress The address of Governance contract
                    /// @dev _verifierAddress The address of Verifier contract
                    /// @dev _genesisStateHash Genesis blocks (first block) state tree root hash
                    function initialize(bytes calldata initializationParameters) external initializer {
                      if (address(this) == zklighterImplementation) {
                        revert ZkLighter_CannotBeInitialisedByImpl();
                      }
                      __ReentrancyGuard_init();
                      (
                        address _governanceAddress,
                        address _verifierAddress,
                        address _additionalZkLighter,
                        address _desertVerifier,
                        bytes32 _genesisStateRoot,
                        bytes32 _genesisValidiumRoot
                      ) = abi.decode(initializationParameters, (address, address, address, address, bytes32, bytes32));
                      if (!_isContract(_governanceAddress) || !_isContract(_verifierAddress) || !_isContract(_additionalZkLighter) || !_isContract(_desertVerifier)) {
                        revert ZkLighter_InvalidInitializeParameters();
                      }
                      verifier = IZkLighterVerifier(_verifierAddress);
                      governance = IGovernance(_governanceAddress);
                      additionalZkLighter = AdditionalZkLighter(_additionalZkLighter);
                      desertVerifier = IDesertVerifier(_desertVerifier);
                      StoredBatchInfo memory genesisBatchInfo = StoredBatchInfo({
                        batchNumber: 0, // BatchNumber
                        endBlockNumber: 0, // endBlockNumber
                        batchSize: 0, // batchSize
                        startTimestamp: 0, // startTimestamp
                        endTimestamp: 0, // endTimestsamp
                        priorityRequestCount: 0, // priorityRequestCount
                        prefixPriorityRequestHash: 0, // prefixPriorityRequestHash
                        onChainOperationsHash: 0, // onChainOperationsHash
                        stateRoot: _genesisStateRoot, // stateRoot
                        validiumRoot: _genesisValidiumRoot, // validiumRoot
                        commitment: bytes32(0) // commitment
                      });
                      stateRoot = _genesisStateRoot;
                      storedBatchHashes[0] = hashStoredBatchInfo(genesisBatchInfo);
                      totalAccounts = 2; // treasury and insurance fund operator accounts are reserverd
                    }
                    /// @notice ZkLighter contract upgrade. Can be external because Proxy contract intercepts illegal calls of this function
                    /// @param upgradeParameters Encoded representation of upgrade parameters
                    function upgrade(bytes calldata upgradeParameters) external nonReentrant {
                      if (address(this) == zklighterImplementation) {
                        revert ZkLighter_OnlyProxyCanCallUpgrade();
                      }
                      (address _additionalZkLighter, address _desertVerifier) = abi.decode(upgradeParameters, (address, address));
                      if (_additionalZkLighter != address(0)) {
                        if (!_isContract(_additionalZkLighter)) {
                          revert ZkLighter_InvalidUpgradeParameters();
                        }
                        additionalZkLighter = AdditionalZkLighter(_additionalZkLighter);
                      }
                      if (_desertVerifier != address(0)) {
                        if (!_isContract(_desertVerifier)) {
                          revert ZkLighter_InvalidUpgradeParameters();
                        }
                        desertVerifier = IDesertVerifier(_desertVerifier);
                      }
                    }
                    /// @inheritdoc IZkLighter
                    function deposit(uint64 _amount, address _to) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function depositBatch(uint64[] calldata _amounts, address[] calldata _to, uint48[] calldata _accountIndex) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function changePubKey(uint48 _accountIndex, uint8 _apiKeyIndex, bytes calldata _pubKey) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function createMarket(uint8 _size_decimals, uint8 _price_decimals, bytes32 _symbol, TxTypes.CreateMarket calldata _params) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function updateMarket(TxTypes.UpdateMarket calldata _params) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function cancelAllOrders(uint48 _accountIndex) public {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function withdraw(uint48 _accountIndex, uint64 _usdcAmount) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function createOrder(uint48 _accountIndex, uint8 _marketIndex, uint48 _baseAmount, uint32 _price, uint8 _isAsk, uint8 _orderType) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function burnShares(uint48 _accountIndex, uint48 _publicPoolIndex, uint64 _shareAmount) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function revertBatches(StoredBatchInfo[] memory _batchesToRevert, StoredBatchInfo memory _remainingBatch) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function updateStateRoot(StoredBatchInfo calldata _lastStoredBatch, bytes32 _stateRoot, bytes32 _validiumRoot) external {
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function performDesert(bytes memory _pubdata, uint256[8] memory _proofs) external {
                      /// All functions delegated to additional should NOT be nonReentrant
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function cancelOutstandingDepositsForDesertMode(uint64 _n, bytes[] memory _depositsPubData) external {
                      /// All functions delegated to additional should NOT be nonReentrant
                      delegateAdditional();
                    }
                    /// @inheritdoc IZkLighter
                    function commitBatch(CommitBatchInfo calldata _newBatchData, StoredBatchInfo calldata _lastStoredBatch) external nonReentrant onlyActive {
                      // a new batch needs to be merged with the previous batch if and only if the new batch has the same size with the first element of _batchesToMerge.
                      // merging phase continues as long as the next batch _batchesToMerge has the same size with the current new aggregated batch
                      governance.isActiveValidator(msg.sender);
                      // TODO: add support for calldata
                      uint8 pubDataMode = uint8(bytes1(_newBatchData.pubdataCommitments[0]));
                      if (pubDataMode != uint8(PubDataMode.Blob)) {
                        revert ZkLighter_InvalidPubDataMode();
                      }
                      if (_newBatchData.endBlockNumber <= _lastStoredBatch.endBlockNumber) {
                        revert ZkLighter_NonIncreasingBlockNumber();
                      }
                      if (_newBatchData.endBlockNumber != _lastStoredBatch.endBlockNumber + _newBatchData.batchSize) {
                        revert ZkLighter_InvalidBatchSize();
                      }
                      if (_newBatchData.startTimestamp < _lastStoredBatch.endTimestamp) {
                        revert ZkLighter_NonIncreasingTimestamp();
                      }
                      if (storedBatchHashes[committedBatchesCount] != hashStoredBatchInfo(_lastStoredBatch)) {
                        revert ZkLighter_StoredBatchInfoMismatch();
                      }
                      if (
                        committedPriorityRequestCount + _newBatchData.priorityRequestCount >= 1 &&
                        priorityRequests[committedPriorityRequestCount + _newBatchData.priorityRequestCount - 1].prefixHash != _newBatchData.prefixPriorityRequestHash
                      ) {
                        revert ZkLighter_PriorityRequestPrefixHashMismatch();
                      }
                      bytes32 blobCommitment = _processBlob(_newBatchData.pubdataCommitments[1:]);
                      bytes32 oldStateRoot = _lastStoredBatch.stateRoot;
                      if (stateRootUpdates[committedBatchesCount] != bytes32(0)) {
                        oldStateRoot = stateRootUpdates[committedBatchesCount];
                      }
                      committedBatchesCount++;
                      if (_newBatchData.onChainOperationsHash != bytes32(0)) {
                        // Add the batch to the onChainExecutionQueue
                        onChainExecutionQueue[executedOnChainBatchesCount + pendingOnChainBatchesCount] = ExecutionQueueItem({
                          batchNumber: committedBatchesCount,
                          totalPriorityRequests: committedPriorityRequestCount + _newBatchData.priorityRequestCount
                        });
                        pendingOnChainBatchesCount++;
                      }
                      bytes32 commitment = keccak256(
                        abi.encodePacked(
                          _newBatchData.endBlockNumber,
                          _newBatchData.batchSize,
                          _newBatchData.startTimestamp,
                          _newBatchData.endTimestamp,
                          oldStateRoot,
                          _newBatchData.newStateRoot,
                          _newBatchData.newValidiumRoot,
                          _newBatchData.onChainOperationsHash,
                          _newBatchData.priorityRequestCount,
                          _newBatchData.prefixPriorityRequestHash,
                          blobCommitment
                        )
                      );
                      storedBatchHashes[committedBatchesCount] = hashStoredBatchInfo(
                        StoredBatchInfo({
                          batchNumber: committedBatchesCount,
                          endBlockNumber: _newBatchData.endBlockNumber,
                          batchSize: _newBatchData.batchSize,
                          startTimestamp: _newBatchData.startTimestamp,
                          endTimestamp: _newBatchData.endTimestamp,
                          priorityRequestCount: _newBatchData.priorityRequestCount,
                          prefixPriorityRequestHash: _newBatchData.prefixPriorityRequestHash,
                          onChainOperationsHash: _newBatchData.onChainOperationsHash,
                          stateRoot: _newBatchData.newStateRoot,
                          validiumRoot: _newBatchData.newValidiumRoot,
                          commitment: commitment
                        })
                      );
                      committedPriorityRequestCount += _newBatchData.priorityRequestCount;
                      emit BatchCommit(committedBatchesCount, _newBatchData.batchSize, _newBatchData.endBlockNumber);
                    }
                    /// @inheritdoc IZkLighter
                    function verifyBatch(StoredBatchInfo memory batch, bytes calldata proofs) external nonReentrant onlyActive {
                      governance.isActiveValidator(msg.sender);
                      if (hashStoredBatchInfo(batch) != storedBatchHashes[batch.batchNumber]) {
                        revert ZkLighter_CannotVerifyNonCommittedBatch();
                      }
                      if (batch.batchNumber != verifiedBatchesCount + 1) {
                        revert ZkLighter_VerifyBatchNotInOrder();
                      }
                      uint256[] memory inputs = new uint256[](1);
                      inputs[0] = uint256(batch.commitment) % BN254_MODULUS;
                      // verify the proof
                      bool success = verifier.Verify(proofs, inputs);
                      if (!success) {
                        revert ZkLighter_VerifyBatchProofFailed();
                      }
                      emit BatchVerification(batch.batchNumber, batch.batchSize, batch.endBlockNumber);
                      verifiedBatchesCount++;
                      verifiedPriorityRequestCount += batch.priorityRequestCount;
                      lastVerifiedStateRoot = batch.stateRoot;
                      lastVerifiedValidiumRoot = batch.validiumRoot;
                      lastVerifiedEndBlockNumber = batch.endBlockNumber;
                      // Lazy update the executed batches count when:
                      // 1. There are no pending items in onChainExecutionQueue and a new batch is verified
                      // 2. The next batch in the onChainExecutionQueue is greater than the verifiedBatchesCount
                      if (pendingOnChainBatchesCount == 0 || onChainExecutionQueue[executedOnChainBatchesCount].batchNumber > verifiedBatchesCount) {
                        executedBatchesCount = verifiedBatchesCount;
                        stateRoot = batch.stateRoot;
                        validiumRoot = batch.validiumRoot;
                        openPriorityRequestCount -= verifiedPriorityRequestCount - executedPriorityRequestCount;
                        executedPriorityRequestCount = verifiedPriorityRequestCount;
                        emit BatchesExecuted(executedBatchesCount, batch.endBlockNumber);
                      }
                    }
                    function _executeOneBatch(StoredBatchInfo memory _batch, bytes memory _onChainOperationsPubData) internal {
                      if (storedBatchHashes[_batch.batchNumber] != hashStoredBatchInfo(_batch)) {
                        revert ZkLighter_StoredBatchInfoMismatch();
                      }
                      // Check if pubdata length is a multiple of WithdrawLogSize
                      if (_onChainOperationsPubData.length % TxTypes.WithdrawLogSize != 0) {
                        revert ZkLighter_InvalidPubDataLength();
                      }
                      bytes32 onChainPubDataHash = bytes32(0);
                      for (uint256 i = 0; i < _onChainOperationsPubData.length; ) {
                        uint8 logType;
                        (, logType) = Bytes.readUInt8(_onChainOperationsPubData, i);
                        if (logType != uint8(TxTypes.OnChainPubDataType.Withdraw)) {
                          revert ZkLighter_InvalidPubDataType();
                        }
                        (TxTypes.Withdraw memory _tx, uint256 _offset) = TxTypes.readWithdrawOnChainLog(_onChainOperationsPubData, i);
                        increaseBalanceToWithdraw(_tx.masterAccountIndex, _tx.usdcAmount);
                        i = _offset;
                        onChainPubDataHash = keccak256(
                          abi.encodePacked(onChainPubDataHash, TxTypes.OnChainPubDataType.Withdraw, _tx.masterAccountIndex, _tx.usdcAmount)
                        );
                      }
                      if (onChainPubDataHash != _batch.onChainOperationsHash) {
                        revert ZkLighter_OnChainOperationsHashMismatch();
                      }
                    }
                    function executeBatches(StoredBatchInfo[] memory _batches, bytes[] memory _onChainOperationsPubData) external nonReentrant {
                      if (_batches.length != _onChainOperationsPubData.length) {
                        revert ZkLighter_ExecuteInputLengthMismatch();
                      }
                      if (_batches.length > pendingOnChainBatchesCount) {
                        revert ZkLighter_ExecuteInputLengthGreaterThanPendingCount();
                      }
                      for (uint256 i = 0; i < _batches.length; ++i) {
                        uint64 batchNumber = _batches[i].batchNumber;
                        if (batchNumber > verifiedBatchesCount) {
                          revert ZkLighter_CannotExecuteNonVerifiedBatch();
                        }
                        if (batchNumber != onChainExecutionQueue[executedOnChainBatchesCount].batchNumber) {
                          revert ZkLighter_BatchNotInOnChainQueue();
                        }
                        _executeOneBatch(_batches[i], _onChainOperationsPubData[i]);
                        uint64 numExecutedPriorityRequests = onChainExecutionQueue[executedOnChainBatchesCount].totalPriorityRequests - executedPriorityRequestCount;
                        executedPriorityRequestCount = onChainExecutionQueue[executedOnChainBatchesCount].totalPriorityRequests;
                        executedBatchesCount = batchNumber;
                        executedOnChainBatchesCount++;
                        pendingOnChainBatchesCount--;
                        openPriorityRequestCount -= numExecutedPriorityRequests;
                      }
                      stateRoot = _batches[_batches.length - 1].stateRoot;
                      validiumRoot = _batches[_batches.length - 1].validiumRoot;
                      // Lazy update the executed batches count when:
                      // 1. There are no pending items in onChainExecutionQueue and a new batch is verified
                      // 2. The next batch in the onChainExecutionQueue is greater than the verifiedBatchesCount
                      if (pendingOnChainBatchesCount == 0 || onChainExecutionQueue[executedOnChainBatchesCount].batchNumber > verifiedBatchesCount) {
                        executedBatchesCount = verifiedBatchesCount;
                        stateRoot = lastVerifiedStateRoot;
                        validiumRoot = lastVerifiedValidiumRoot;
                        openPriorityRequestCount -= verifiedPriorityRequestCount - executedPriorityRequestCount;
                        executedPriorityRequestCount = verifiedPriorityRequestCount;
                        emit BatchesExecuted(executedBatchesCount, lastVerifiedEndBlockNumber);
                      } else {
                        emit BatchesExecuted(executedBatchesCount, _batches[_batches.length - 1].endBlockNumber);
                      }
                    }
                    /// @inheritdoc IZkLighter
                    function transferERC20(IERC20 _token, address _to, uint128 _amount, uint128 _maxAmount) external returns (uint128 withdrawnAmount) {
                      // can be called only from this contract as one "external" call (to revert all this function state changes if it is needed)
                      if (msg.sender != address(this)) {
                        revert ZkLighter_OnlyZkLighter();
                      }
                      uint256 balanceBefore = _token.balanceOf(address(this));
                      SafeERC20.safeTransfer(_token, _to, _amount);
                      uint256 balanceAfter = _token.balanceOf(address(this));
                      uint256 balanceDiff = balanceBefore - balanceAfter;
                      // rollup balance difference (before and after transfer) is bigger than `_maxAmount`
                      if (balanceDiff > _maxAmount) {
                        revert ZkLighter_RollUpBalanceBiggerThanMaxAmount();
                      }
                      return SafeCast.toUint128(balanceDiff);
                    }
                    function increaseBalanceToWithdraw(uint48 _masterAccountIndex, uint128 _amount) internal {
                      uint128 balance = pendingBalance[_masterAccountIndex].balanceToWithdraw;
                      pendingBalance[_masterAccountIndex] = PendingBalance(balance + _amount, FILLED_GAS_RESERVE_VALUE);
                    }
                    /// @inheritdoc IZkLighter
                    function getPendingBalance(address _owner) public view returns (uint128) {
                      uint48 _masterAccountIndex = getAccountIndexFromAddress(_owner);
                      return pendingBalance[_masterAccountIndex].balanceToWithdraw;
                    }
                    /// @inheritdoc IZkLighter
                    function withdrawPendingBalance(address _owner, uint128 _amount) external nonReentrant {
                      uint48 masterAccountIndex = getAccountIndexFromAddress(_owner);
                      uint128 balance = pendingBalance[masterAccountIndex].balanceToWithdraw;
                      uint128 amount = Utils.minU128(balance, _amount);
                      if (amount == 0) {
                        revert ZkLighter_NothingToWithdraw();
                      }
                      // We will allow withdrawals of `value` such that:
                      // `value` <= user pending balance
                      // `value` can be bigger then `_amount` requested if token takes fee from sender in addition to `_amount` requested
                      amount = this.transferERC20(governance.usdc(), _owner, amount, balance);
                      // update balanceToWithdraw by subtracting the actual amount that was sent
                      pendingBalance[masterAccountIndex].balanceToWithdraw = balance - amount;
                      emit WithdrawPending(_owner, amount);
                    }
                    /// @inheritdoc IZkLighter
                    function activateDesertMode() external nonReentrant returns (bool) {
                      bool trigger = openPriorityRequestCount != 0 &&
                        block.timestamp >= priorityRequests[executedPriorityRequestCount].expirationTimestamp &&
                        priorityRequests[executedPriorityRequestCount].expirationTimestamp != 0;
                      if (trigger) {
                        if (!desertMode) {
                          desertMode = true;
                          emit DesertMode();
                        }
                        return true;
                      } else {
                        return false;
                      }
                    }
                    /// @notice Change address that collects fees from listed markets
                    function setTreasury(address _newTreasury) external nonReentrant {
                      governance.requireGovernor(msg.sender);
                      if (_newTreasury == address(0)) {
                        revert ZkLighter_TreasuryCannotBeZero();
                      }
                      if (getAccountIndexFromAddress(_newTreasury) != NIL_ACCOUNT_INDEX) {
                        revert ZkLighter_TreasuryCannotBeInUse();
                      }
                      treasury = _newTreasury;
                      emit TreasuryUpdate(treasury);
                    }
                    /// @notice Change address that operates the insurance fund
                    function setInsuranceFundOperator(address _newInsuranceFundOperator) external nonReentrant {
                      governance.requireGovernor(msg.sender);
                      if (_newInsuranceFundOperator == address(0)) {
                        revert ZkLighter_InsuranceFundOperatorCannotBeZero();
                      }
                      if (getAccountIndexFromAddress(_newInsuranceFundOperator) != NIL_ACCOUNT_INDEX) {
                        revert ZkLighter_InsuranceFundOperatorCannotBeInUse();
                      }
                      insuranceFundOperator = _newInsuranceFundOperator;
                      emit InsuranceFundOperatorUpdate(insuranceFundOperator);
                    }
                    /// @notice Delegates the call to the additional part of the main contract.
                    /// @notice Should be only use to delegate the external calls as it passes the calldata
                    /// @notice All functions delegated to additional contract should NOT be nonReentrant
                    function delegateAdditional() internal {
                      if (address(this) == zklighterImplementation) {
                        revert ZkLighter_ImplCantDelegateToAddl();
                      }
                      address _target = address(additionalZkLighter);
                      assembly {
                        // The pointer to the free memory slot
                        let ptr := mload(0x40)
                        // Copy function signature and arguments from calldata at zero position into memory at pointer position
                        calldatacopy(ptr, 0x0, calldatasize())
                        // Delegatecall method of the implementation contract, returns 0 on error
                        let result := delegatecall(gas(), _target, ptr, calldatasize(), 0x0, 0)
                        // Get the size of the last return data
                        let size := returndatasize()
                        // Copy the size length of bytes from return data at zero position to pointer position
                        returndatacopy(ptr, 0x0, size)
                        // Depending on result value
                        switch result
                        case 0 {
                          // End execution and revert state changes
                          revert(ptr, size)
                        }
                        default {
                          // Return data with length of size at pointers position
                          return(ptr, size)
                        }
                      }
                    }
                    function _pointEvaluationPrecompile(bytes32 _blobVersionedHash, bytes calldata _evaluationPointCommitmentProof) internal view {
                      bytes memory precompileInput = abi.encodePacked(_blobVersionedHash, _evaluationPointCommitmentProof);
                      (bool success, bytes memory data) = POINT_EVALUATION_PRECOMPILE_ADDRESS.staticcall(precompileInput);
                      // We verify that the point evaluation precompile call was successful by testing the latter 32 bytes of the
                      // response is equal to BLS_MODULUS as defined in https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
                      if (!success) {
                        revert ZkLighter_InvalidPointEvaluationParams();
                      }
                      (, uint256 result) = abi.decode(data, (uint256, uint256));
                      if (result != BLS_MODULUS) {
                        revert ZkLighter_InvalidPointEvaluationParams();
                      }
                    }
                    /// @dev Verifies if the blobs sent blob commitment data is consistent with the blob itself
                    /// the _pubdataCommitments will contain the last 4 values, the versioned hash is pulled from the BLOBHASH opcode
                    /// pubdataCommitments is a list of: evaluationPointX (32 bytes) || evaluationPointY (32 bytes) || commitment (48 bytes) || proof (48 bytes)) = 160 bytes
                    function _processBlob(bytes calldata _blobDataCommitment) internal view returns (bytes32 blobCommitment) {
                      if (_blobDataCommitment.length != BLOB_DATA_COMMITMENT_BYTE_SIZE) {
                        revert ZkLighter_InvalidBlobCommitmentParams();
                      }
                      bytes32 evaluationPointX = bytes32(_blobDataCommitment[0:32]);
                      bytes32 evaluationPointY = bytes32(_blobDataCommitment[32:64]);
                      bytes32 blobVersionedHash;
                      assembly {
                        blobVersionedHash := blobhash(0)
                      }
                      if (blobVersionedHash == bytes32(0)) {
                        revert ZkLighter_InvalidBlobCommitmentParams();
                      }
                      _pointEvaluationPrecompile(blobVersionedHash, _blobDataCommitment);
                      bytes32 emptyBlobVersionedHash;
                      assembly {
                        emptyBlobVersionedHash := blobhash(1)
                      }
                      if (emptyBlobVersionedHash != bytes32(0)) {
                        revert ZkLighter_InvalidBlobCommitmentParams();
                      }
                      return keccak256(abi.encodePacked(evaluationPointX, evaluationPointY, blobVersionedHash));
                    }
                  }
                  

                  File 4 of 5: Proxy
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  /// @title Interface of the upgradeable contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Upgradeable.sol)
                  interface IUpgradeable {
                    /// @notice Upgrades target of upgradeable contract
                    /// @param newTarget New target
                    /// @param newTargetInitializationParameters New target initialization parameters
                    function upgradeTarget(address newTarget, bytes calldata newTargetInitializationParameters) external;
                  }
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  /// @title Ownable Contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Ownable.sol)
                  contract Ownable {
                    /// @dev Storage position of the masters address (keccak256('eip1967.proxy.admin') - 1)
                    bytes32 private constant MASTER_POSITION = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                    /// @notice Contract constructor
                    /// @dev Sets msg sender address as masters address
                    /// @param masterAddress Master address
                    constructor(address masterAddress) {
                      require(masterAddress != address(0), "1b"); // oro11 - master address can't be zero address
                      setMaster(masterAddress);
                    }
                    /// @notice Check if specified address is master
                    /// @param _address Address to check
                    function requireMaster(address _address) internal view {
                      require(_address == getMaster(), "1c"); // oro11 - only by master
                    }
                    /// @notice Returns contract masters address
                    /// @return master Master's address
                    function getMaster() public view returns (address master) {
                      bytes32 position = MASTER_POSITION;
                      assembly {
                        master := sload(position)
                      }
                    }
                    /// @dev Sets new masters address
                    /// @param _newMaster New master's address
                    function setMaster(address _newMaster) internal {
                      bytes32 position = MASTER_POSITION;
                      assembly {
                        sstore(position, _newMaster)
                      }
                    }
                    /// @notice Transfer mastership of the contract to new master
                    /// @param _newMaster New masters address
                    function transferMastership(address _newMaster) external {
                      requireMaster(msg.sender);
                      require(_newMaster != address(0), "1d"); // otp11 - new masters address can't be zero address
                      setMaster(_newMaster);
                    }
                  }
                  // SPDX-License-Identifier: MIT OR Apache-2.0
                  pragma solidity 0.8.25;
                  import "./Ownable.sol";
                  import "./IUpgradeable.sol";
                  /// @title Proxy Contract
                  /// @author Matter Labs (https://github.com/matter-labs/zksync/blob/master/contracts/contracts/Proxy.sol)
                  /// @notice Modified to not implement UpgradeableMaster, UpgradeGatekeeper implements the UpgradeableMaster interface
                  contract Proxy is IUpgradeable, Ownable {
                    /// @dev Storage position of "target" (actual implementation address: keccak256('eip1967.proxy.implementation') - 1)
                    bytes32 private constant TARGET_POSITION = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                    /// @notice Contract constructor
                    /// @dev Calls Ownable contract constructor and initialize target
                    /// @param target Initial implementation address
                    /// @param targetInitializationParameters Target initialization parameters
                    constructor(address target, bytes memory targetInitializationParameters) Ownable(msg.sender) {
                      setTarget(target);
                      (bool initializationSuccess, ) = getTarget().delegatecall(abi.encodeWithSignature("initialize(bytes)", targetInitializationParameters));
                      require(initializationSuccess, "uin11"); // uin11 - target initialization failed
                    }
                    /// @notice Intercepts initialization calls
                    function initialize(bytes calldata) external pure {
                      revert("ini11"); // ini11 - interception of initialization call
                    }
                    /// @notice Intercepts upgrade calls
                    function upgrade(bytes calldata) external pure {
                      revert("upg11"); // upg11 - interception of upgrade call
                    }
                    /// @notice Returns target of contract
                    /// @return target Actual implementation address
                    function getTarget() public view returns (address target) {
                      bytes32 position = TARGET_POSITION;
                      assembly {
                        target := sload(position)
                      }
                    }
                    /// @notice Sets new target of contract
                    /// @param _newTarget New actual implementation address
                    function setTarget(address _newTarget) internal {
                      bytes32 position = TARGET_POSITION;
                      assembly {
                        sstore(position, _newTarget)
                      }
                    }
                    /// @notice Upgrades target
                    /// @param newTarget New target
                    /// @param newTargetUpgradeParameters New target upgrade parameters
                    function upgradeTarget(address newTarget, bytes calldata newTargetUpgradeParameters) external override {
                      requireMaster(msg.sender);
                      setTarget(newTarget);
                      (bool upgradeSuccess, ) = getTarget().delegatecall(abi.encodeWithSignature("upgrade(bytes)", newTargetUpgradeParameters));
                      require(upgradeSuccess, "ufu11"); // ufu11 - target upgrade failed
                    }
                    /// @notice Performs a delegatecall to the contract implementation
                    /// @dev Fallback function allowing to perform a delegatecall to the given implementation
                    /// This function will return whatever the implementation call returns
                    function _fallback() internal {
                      address _target = getTarget();
                      assembly {
                        // The pointer to the free memory slot
                        let ptr := mload(0x40)
                        // Copy function signature and arguments from calldata at zero position into memory at pointer position
                        calldatacopy(ptr, 0x0, calldatasize())
                        // Delegatecall method of the implementation contract, returns 0 on error
                        let result := delegatecall(gas(), _target, ptr, calldatasize(), 0x0, 0)
                        // Get the size of the last return data
                        let size := returndatasize()
                        // Copy the size length of bytes from return data at zero position to pointer position
                        returndatacopy(ptr, 0x0, size)
                        // Depending on result value
                        switch result
                        case 0 {
                          // End execution and revert state changes
                          revert(ptr, size)
                        }
                        default {
                          // Return data with length of size at pointers position
                          return(ptr, size)
                        }
                      }
                    }
                    /// @notice Will run when no functions matches call data
                    fallback() external payable {
                      _fallback();
                    }
                    /// @notice Same as fallback but called when calldata is empty
                    receive() external payable {
                      _fallback();
                    }
                  }
                  

                  File 5 of 5: FiatTokenV2_2
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { EIP712Domain } from "./EIP712Domain.sol"; // solhint-disable-line no-unused-import
                  import { Blacklistable } from "../v1/Blacklistable.sol"; // solhint-disable-line no-unused-import
                  import { FiatTokenV1 } from "../v1/FiatTokenV1.sol"; // solhint-disable-line no-unused-import
                  import { FiatTokenV2 } from "./FiatTokenV2.sol"; // solhint-disable-line no-unused-import
                  import { FiatTokenV2_1 } from "./FiatTokenV2_1.sol";
                  import { EIP712 } from "../util/EIP712.sol";
                  // solhint-disable func-name-mixedcase
                  /**
                   * @title FiatToken V2.2
                   * @notice ERC20 Token backed by fiat reserves, version 2.2
                   */
                  contract FiatTokenV2_2 is FiatTokenV2_1 {
                      /**
                       * @notice Initialize v2.2
                       * @param accountsToBlacklist   A list of accounts to migrate from the old blacklist
                       * @param newSymbol             New token symbol
                       * data structure to the new blacklist data structure.
                       */
                      function initializeV2_2(
                          address[] calldata accountsToBlacklist,
                          string calldata newSymbol
                      ) external {
                          // solhint-disable-next-line reason-string
                          require(_initializedVersion == 2);
                          // Update fiat token symbol
                          symbol = newSymbol;
                          // Add previously blacklisted accounts to the new blacklist data structure
                          // and remove them from the old blacklist data structure.
                          for (uint256 i = 0; i < accountsToBlacklist.length; i++) {
                              require(
                                  _deprecatedBlacklisted[accountsToBlacklist[i]],
                                  "FiatTokenV2_2: Blacklisting previously unblacklisted account!"
                              );
                              _blacklist(accountsToBlacklist[i]);
                              delete _deprecatedBlacklisted[accountsToBlacklist[i]];
                          }
                          _blacklist(address(this));
                          delete _deprecatedBlacklisted[address(this)];
                          _initializedVersion = 3;
                      }
                      /**
                       * @dev Internal function to get the current chain id.
                       * @return The current chain id.
                       */
                      function _chainId() internal virtual view returns (uint256) {
                          uint256 chainId;
                          assembly {
                              chainId := chainid()
                          }
                          return chainId;
                      }
                      /**
                       * @inheritdoc EIP712Domain
                       */
                      function _domainSeparator() internal override view returns (bytes32) {
                          return EIP712.makeDomainSeparator(name, "2", _chainId());
                      }
                      /**
                       * @notice Update allowance with a signed permit
                       * @dev EOA wallet signatures should be packed in the order of r, s, v.
                       * @param owner       Token owner's address (Authorizer)
                       * @param spender     Spender's address
                       * @param value       Amount of allowance
                       * @param deadline    The time at which the signature expires (unix time), or max uint256 value to signal no expiration
                       * @param signature   Signature bytes signed by an EOA wallet or a contract wallet
                       */
                      function permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          bytes memory signature
                      ) external whenNotPaused {
                          _permit(owner, spender, value, deadline, signature);
                      }
                      /**
                       * @notice Execute a transfer with a signed authorization
                       * @dev EOA wallet signatures should be packed in the order of r, s, v.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param signature     Signature bytes signed by an EOA wallet or a contract wallet
                       */
                      function transferWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          bytes memory signature
                      ) external whenNotPaused notBlacklisted(from) notBlacklisted(to) {
                          _transferWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              signature
                          );
                      }
                      /**
                       * @notice Receive a transfer with a signed authorization from the payer
                       * @dev This has an additional check to ensure that the payee's address
                       * matches the caller of this function to prevent front-running attacks.
                       * EOA wallet signatures should be packed in the order of r, s, v.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param signature     Signature bytes signed by an EOA wallet or a contract wallet
                       */
                      function receiveWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          bytes memory signature
                      ) external whenNotPaused notBlacklisted(from) notBlacklisted(to) {
                          _receiveWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              signature
                          );
                      }
                      /**
                       * @notice Attempt to cancel an authorization
                       * @dev Works only if the authorization is not yet used.
                       * EOA wallet signatures should be packed in the order of r, s, v.
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @param signature     Signature bytes signed by an EOA wallet or a contract wallet
                       */
                      function cancelAuthorization(
                          address authorizer,
                          bytes32 nonce,
                          bytes memory signature
                      ) external whenNotPaused {
                          _cancelAuthorization(authorizer, nonce, signature);
                      }
                      /**
                       * @dev Helper method that sets the blacklist state of an account on balanceAndBlacklistStates.
                       * If _shouldBlacklist is true, we apply a (1 << 255) bitmask with an OR operation on the
                       * account's balanceAndBlacklistState. This flips the high bit for the account to 1,
                       * indicating that the account is blacklisted.
                       *
                       * If _shouldBlacklist if false, we reset the account's balanceAndBlacklistStates to their
                       * balances. This clears the high bit for the account, indicating that the account is unblacklisted.
                       * @param _account         The address of the account.
                       * @param _shouldBlacklist True if the account should be blacklisted, false if the account should be unblacklisted.
                       */
                      function _setBlacklistState(address _account, bool _shouldBlacklist)
                          internal
                          override
                      {
                          balanceAndBlacklistStates[_account] = _shouldBlacklist
                              ? balanceAndBlacklistStates[_account] | (1 << 255)
                              : _balanceOf(_account);
                      }
                      /**
                       * @dev Helper method that sets the balance of an account on balanceAndBlacklistStates.
                       * Since balances are stored in the last 255 bits of the balanceAndBlacklistStates value,
                       * we need to ensure that the updated balance does not exceed (2^255 - 1).
                       * Since blacklisted accounts' balances cannot be updated, the method will also
                       * revert if the account is blacklisted
                       * @param _account The address of the account.
                       * @param _balance The new fiat token balance of the account (max: (2^255 - 1)).
                       */
                      function _setBalance(address _account, uint256 _balance) internal override {
                          require(
                              _balance <= ((1 << 255) - 1),
                              "FiatTokenV2_2: Balance exceeds (2^255 - 1)"
                          );
                          require(
                              !_isBlacklisted(_account),
                              "FiatTokenV2_2: Account is blacklisted"
                          );
                          balanceAndBlacklistStates[_account] = _balance;
                      }
                      /**
                       * @inheritdoc Blacklistable
                       */
                      function _isBlacklisted(address _account)
                          internal
                          override
                          view
                          returns (bool)
                      {
                          return balanceAndBlacklistStates[_account] >> 255 == 1;
                      }
                      /**
                       * @dev Helper method to obtain the balance of an account. Since balances
                       * are stored in the last 255 bits of the balanceAndBlacklistStates value,
                       * we apply a ((1 << 255) - 1) bit bitmask with an AND operation on the
                       * balanceAndBlacklistState to obtain the balance.
                       * @param _account  The address of the account.
                       * @return          The fiat token balance of the account.
                       */
                      function _balanceOf(address _account)
                          internal
                          override
                          view
                          returns (uint256)
                      {
                          return balanceAndBlacklistStates[_account] & ((1 << 255) - 1);
                      }
                      /**
                       * @inheritdoc FiatTokenV1
                       */
                      function approve(address spender, uint256 value)
                          external
                          override
                          whenNotPaused
                          returns (bool)
                      {
                          _approve(msg.sender, spender, value);
                          return true;
                      }
                      /**
                       * @inheritdoc FiatTokenV2
                       */
                      function permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) external override whenNotPaused {
                          _permit(owner, spender, value, deadline, v, r, s);
                      }
                      /**
                       * @inheritdoc FiatTokenV2
                       */
                      function increaseAllowance(address spender, uint256 increment)
                          external
                          override
                          whenNotPaused
                          returns (bool)
                      {
                          _increaseAllowance(msg.sender, spender, increment);
                          return true;
                      }
                      /**
                       * @inheritdoc FiatTokenV2
                       */
                      function decreaseAllowance(address spender, uint256 decrement)
                          external
                          override
                          whenNotPaused
                          returns (bool)
                      {
                          _decreaseAllowance(msg.sender, spender, decrement);
                          return true;
                      }
                  }
                  // SPDX-License-Identifier: MIT
                  pragma solidity >=0.6.2 <0.8.0;
                  /**
                   * @dev Collection of functions related to the address type
                   */
                  library Address {
                      /**
                       * @dev Returns true if `account` is a contract.
                       *
                       * [IMPORTANT]
                       * ====
                       * It is unsafe to assume that an address for which this function returns
                       * false is an externally-owned account (EOA) and not a contract.
                       *
                       * Among others, `isContract` will return false for the following
                       * types of addresses:
                       *
                       *  - an externally-owned account
                       *  - a contract in construction
                       *  - an address where a contract will be created
                       *  - an address where a contract lived, but was destroyed
                       * ====
                       */
                      function isContract(address account) internal view returns (bool) {
                          // This method relies on extcodesize, which returns 0 for contracts in
                          // construction, since the code is only stored at the end of the
                          // constructor execution.
                          uint256 size;
                          // solhint-disable-next-line no-inline-assembly
                          assembly { size := extcodesize(account) }
                          return size > 0;
                      }
                      /**
                       * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                       * `recipient`, forwarding all available gas and reverting on errors.
                       *
                       * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                       * of certain opcodes, possibly making contracts go over the 2300 gas limit
                       * imposed by `transfer`, making them unable to receive funds via
                       * `transfer`. {sendValue} removes this limitation.
                       *
                       * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                       *
                       * IMPORTANT: because control is transferred to `recipient`, care must be
                       * taken to not create reentrancy vulnerabilities. Consider using
                       * {ReentrancyGuard} or the
                       * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                       */
                      function sendValue(address payable recipient, uint256 amount) internal {
                          require(address(this).balance >= amount, "Address: insufficient balance");
                          // solhint-disable-next-line avoid-low-level-calls, avoid-call-value
                          (bool success, ) = recipient.call{ value: amount }("");
                          require(success, "Address: unable to send value, recipient may have reverted");
                      }
                      /**
                       * @dev Performs a Solidity function call using a low level `call`. A
                       * plain`call` is an unsafe replacement for a function call: use this
                       * function instead.
                       *
                       * If `target` reverts with a revert reason, it is bubbled up by this
                       * function (like regular Solidity function calls).
                       *
                       * Returns the raw returned data. To convert to the expected return value,
                       * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                       *
                       * Requirements:
                       *
                       * - `target` must be a contract.
                       * - calling `target` with `data` must not revert.
                       *
                       * _Available since v3.1._
                       */
                      function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                        return functionCall(target, data, "Address: low-level call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                       * `errorMessage` as a fallback revert reason when `target` reverts.
                       *
                       * _Available since v3.1._
                       */
                      function functionCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                          return functionCallWithValue(target, data, 0, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but also transferring `value` wei to `target`.
                       *
                       * Requirements:
                       *
                       * - the calling contract must have an ETH balance of at least `value`.
                       * - the called Solidity function must be `payable`.
                       *
                       * _Available since v3.1._
                       */
                      function functionCallWithValue(address target, bytes memory data, uint256 value) internal returns (bytes memory) {
                          return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                       * with `errorMessage` as a fallback revert reason when `target` reverts.
                       *
                       * _Available since v3.1._
                       */
                      function functionCallWithValue(address target, bytes memory data, uint256 value, string memory errorMessage) internal returns (bytes memory) {
                          require(address(this).balance >= value, "Address: insufficient balance for call");
                          require(isContract(target), "Address: call to non-contract");
                          // solhint-disable-next-line avoid-low-level-calls
                          (bool success, bytes memory returndata) = target.call{ value: value }(data);
                          return _verifyCallResult(success, returndata, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but performing a static call.
                       *
                       * _Available since v3.3._
                       */
                      function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                          return functionStaticCall(target, data, "Address: low-level static call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                       * but performing a static call.
                       *
                       * _Available since v3.3._
                       */
                      function functionStaticCall(address target, bytes memory data, string memory errorMessage) internal view returns (bytes memory) {
                          require(isContract(target), "Address: static call to non-contract");
                          // solhint-disable-next-line avoid-low-level-calls
                          (bool success, bytes memory returndata) = target.staticcall(data);
                          return _verifyCallResult(success, returndata, errorMessage);
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                       * but performing a delegate call.
                       *
                       * _Available since v3.4._
                       */
                      function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                          return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                      }
                      /**
                       * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                       * but performing a delegate call.
                       *
                       * _Available since v3.4._
                       */
                      function functionDelegateCall(address target, bytes memory data, string memory errorMessage) internal returns (bytes memory) {
                          require(isContract(target), "Address: delegate call to non-contract");
                          // solhint-disable-next-line avoid-low-level-calls
                          (bool success, bytes memory returndata) = target.delegatecall(data);
                          return _verifyCallResult(success, returndata, errorMessage);
                      }
                      function _verifyCallResult(bool success, bytes memory returndata, string memory errorMessage) private pure returns(bytes memory) {
                          if (success) {
                              return returndata;
                          } else {
                              // Look for revert reason and bubble it up if present
                              if (returndata.length > 0) {
                                  // The easiest way to bubble the revert reason is using memory via assembly
                                  // solhint-disable-next-line no-inline-assembly
                                  assembly {
                                      let returndata_size := mload(returndata)
                                      revert(add(32, returndata), returndata_size)
                                  }
                              } else {
                                  revert(errorMessage);
                              }
                          }
                      }
                  }
                  // SPDX-License-Identifier: MIT
                  pragma solidity >=0.6.0 <0.8.0;
                  import "./IERC20.sol";
                  import "../../math/SafeMath.sol";
                  import "../../utils/Address.sol";
                  /**
                   * @title SafeERC20
                   * @dev Wrappers around ERC20 operations that throw on failure (when the token
                   * contract returns false). Tokens that return no value (and instead revert or
                   * throw on failure) are also supported, non-reverting calls are assumed to be
                   * successful.
                   * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
                   * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
                   */
                  library SafeERC20 {
                      using SafeMath for uint256;
                      using Address for address;
                      function safeTransfer(IERC20 token, address to, uint256 value) internal {
                          _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
                      }
                      function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
                          _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
                      }
                      /**
                       * @dev Deprecated. This function has issues similar to the ones found in
                       * {IERC20-approve}, and its usage is discouraged.
                       *
                       * Whenever possible, use {safeIncreaseAllowance} and
                       * {safeDecreaseAllowance} instead.
                       */
                      function safeApprove(IERC20 token, address spender, uint256 value) internal {
                          // safeApprove should only be called when setting an initial allowance,
                          // or when resetting it to zero. To increase and decrease it, use
                          // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
                          // solhint-disable-next-line max-line-length
                          require((value == 0) || (token.allowance(address(this), spender) == 0),
                              "SafeERC20: approve from non-zero to non-zero allowance"
                          );
                          _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
                      }
                      function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
                          uint256 newAllowance = token.allowance(address(this), spender).add(value);
                          _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
                      }
                      function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
                          uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
                          _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
                      }
                      /**
                       * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
                       * on the return value: the return value is optional (but if data is returned, it must not be false).
                       * @param token The token targeted by the call.
                       * @param data The call data (encoded using abi.encode or one of its variants).
                       */
                      function _callOptionalReturn(IERC20 token, bytes memory data) private {
                          // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
                          // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that
                          // the target address contains contract code and also asserts for success in the low-level call.
                          bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
                          if (returndata.length > 0) { // Return data is optional
                              // solhint-disable-next-line max-line-length
                              require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
                          }
                      }
                  }
                  // SPDX-License-Identifier: MIT
                  pragma solidity >=0.6.0 <0.8.0;
                  /**
                   * @dev Interface of the ERC20 standard as defined in the EIP.
                   */
                  interface IERC20 {
                      /**
                       * @dev Returns the amount of tokens in existence.
                       */
                      function totalSupply() external view returns (uint256);
                      /**
                       * @dev Returns the amount of tokens owned by `account`.
                       */
                      function balanceOf(address account) external view returns (uint256);
                      /**
                       * @dev Moves `amount` tokens from the caller's account to `recipient`.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * Emits a {Transfer} event.
                       */
                      function transfer(address recipient, uint256 amount) external returns (bool);
                      /**
                       * @dev Returns the remaining number of tokens that `spender` will be
                       * allowed to spend on behalf of `owner` through {transferFrom}. This is
                       * zero by default.
                       *
                       * This value changes when {approve} or {transferFrom} are called.
                       */
                      function allowance(address owner, address spender) external view returns (uint256);
                      /**
                       * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * IMPORTANT: Beware that changing an allowance with this method brings the risk
                       * that someone may use both the old and the new allowance by unfortunate
                       * transaction ordering. One possible solution to mitigate this race
                       * condition is to first reduce the spender's allowance to 0 and set the
                       * desired value afterwards:
                       * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
                       *
                       * Emits an {Approval} event.
                       */
                      function approve(address spender, uint256 amount) external returns (bool);
                      /**
                       * @dev Moves `amount` tokens from `sender` to `recipient` using the
                       * allowance mechanism. `amount` is then deducted from the caller's
                       * allowance.
                       *
                       * Returns a boolean value indicating whether the operation succeeded.
                       *
                       * Emits a {Transfer} event.
                       */
                      function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
                      /**
                       * @dev Emitted when `value` tokens are moved from one account (`from`) to
                       * another (`to`).
                       *
                       * Note that `value` may be zero.
                       */
                      event Transfer(address indexed from, address indexed to, uint256 value);
                      /**
                       * @dev Emitted when the allowance of a `spender` for an `owner` is set by
                       * a call to {approve}. `value` is the new allowance.
                       */
                      event Approval(address indexed owner, address indexed spender, uint256 value);
                  }
                  // SPDX-License-Identifier: MIT
                  pragma solidity >=0.6.0 <0.8.0;
                  /**
                   * @dev Wrappers over Solidity's arithmetic operations with added overflow
                   * checks.
                   *
                   * Arithmetic operations in Solidity wrap on overflow. This can easily result
                   * in bugs, because programmers usually assume that an overflow raises an
                   * error, which is the standard behavior in high level programming languages.
                   * `SafeMath` restores this intuition by reverting the transaction when an
                   * operation overflows.
                   *
                   * Using this library instead of the unchecked operations eliminates an entire
                   * class of bugs, so it's recommended to use it always.
                   */
                  library SafeMath {
                      /**
                       * @dev Returns the addition of two unsigned integers, with an overflow flag.
                       *
                       * _Available since v3.4._
                       */
                      function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                          uint256 c = a + b;
                          if (c < a) return (false, 0);
                          return (true, c);
                      }
                      /**
                       * @dev Returns the substraction of two unsigned integers, with an overflow flag.
                       *
                       * _Available since v3.4._
                       */
                      function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                          if (b > a) return (false, 0);
                          return (true, a - b);
                      }
                      /**
                       * @dev Returns the multiplication of two unsigned integers, with an overflow flag.
                       *
                       * _Available since v3.4._
                       */
                      function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                          // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
                          // benefit is lost if 'b' is also tested.
                          // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
                          if (a == 0) return (true, 0);
                          uint256 c = a * b;
                          if (c / a != b) return (false, 0);
                          return (true, c);
                      }
                      /**
                       * @dev Returns the division of two unsigned integers, with a division by zero flag.
                       *
                       * _Available since v3.4._
                       */
                      function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                          if (b == 0) return (false, 0);
                          return (true, a / b);
                      }
                      /**
                       * @dev Returns the remainder of dividing two unsigned integers, with a division by zero flag.
                       *
                       * _Available since v3.4._
                       */
                      function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
                          if (b == 0) return (false, 0);
                          return (true, a % b);
                      }
                      /**
                       * @dev Returns the addition of two unsigned integers, reverting on
                       * overflow.
                       *
                       * Counterpart to Solidity's `+` operator.
                       *
                       * Requirements:
                       *
                       * - Addition cannot overflow.
                       */
                      function add(uint256 a, uint256 b) internal pure returns (uint256) {
                          uint256 c = a + b;
                          require(c >= a, "SafeMath: addition overflow");
                          return c;
                      }
                      /**
                       * @dev Returns the subtraction of two unsigned integers, reverting on
                       * overflow (when the result is negative).
                       *
                       * Counterpart to Solidity's `-` operator.
                       *
                       * Requirements:
                       *
                       * - Subtraction cannot overflow.
                       */
                      function sub(uint256 a, uint256 b) internal pure returns (uint256) {
                          require(b <= a, "SafeMath: subtraction overflow");
                          return a - b;
                      }
                      /**
                       * @dev Returns the multiplication of two unsigned integers, reverting on
                       * overflow.
                       *
                       * Counterpart to Solidity's `*` operator.
                       *
                       * Requirements:
                       *
                       * - Multiplication cannot overflow.
                       */
                      function mul(uint256 a, uint256 b) internal pure returns (uint256) {
                          if (a == 0) return 0;
                          uint256 c = a * b;
                          require(c / a == b, "SafeMath: multiplication overflow");
                          return c;
                      }
                      /**
                       * @dev Returns the integer division of two unsigned integers, reverting on
                       * division by zero. The result is rounded towards zero.
                       *
                       * Counterpart to Solidity's `/` operator. Note: this function uses a
                       * `revert` opcode (which leaves remaining gas untouched) while Solidity
                       * uses an invalid opcode to revert (consuming all remaining gas).
                       *
                       * Requirements:
                       *
                       * - The divisor cannot be zero.
                       */
                      function div(uint256 a, uint256 b) internal pure returns (uint256) {
                          require(b > 0, "SafeMath: division by zero");
                          return a / b;
                      }
                      /**
                       * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
                       * reverting when dividing by zero.
                       *
                       * Counterpart to Solidity's `%` operator. This function uses a `revert`
                       * opcode (which leaves remaining gas untouched) while Solidity uses an
                       * invalid opcode to revert (consuming all remaining gas).
                       *
                       * Requirements:
                       *
                       * - The divisor cannot be zero.
                       */
                      function mod(uint256 a, uint256 b) internal pure returns (uint256) {
                          require(b > 0, "SafeMath: modulo by zero");
                          return a % b;
                      }
                      /**
                       * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
                       * overflow (when the result is negative).
                       *
                       * CAUTION: This function is deprecated because it requires allocating memory for the error
                       * message unnecessarily. For custom revert reasons use {trySub}.
                       *
                       * Counterpart to Solidity's `-` operator.
                       *
                       * Requirements:
                       *
                       * - Subtraction cannot overflow.
                       */
                      function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                          require(b <= a, errorMessage);
                          return a - b;
                      }
                      /**
                       * @dev Returns the integer division of two unsigned integers, reverting with custom message on
                       * division by zero. The result is rounded towards zero.
                       *
                       * CAUTION: This function is deprecated because it requires allocating memory for the error
                       * message unnecessarily. For custom revert reasons use {tryDiv}.
                       *
                       * Counterpart to Solidity's `/` operator. Note: this function uses a
                       * `revert` opcode (which leaves remaining gas untouched) while Solidity
                       * uses an invalid opcode to revert (consuming all remaining gas).
                       *
                       * Requirements:
                       *
                       * - The divisor cannot be zero.
                       */
                      function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                          require(b > 0, errorMessage);
                          return a / b;
                      }
                      /**
                       * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
                       * reverting with custom message when dividing by zero.
                       *
                       * CAUTION: This function is deprecated because it requires allocating memory for the error
                       * message unnecessarily. For custom revert reasons use {tryMod}.
                       *
                       * Counterpart to Solidity's `%` operator. This function uses a `revert`
                       * opcode (which leaves remaining gas untouched) while Solidity uses an
                       * invalid opcode to revert (consuming all remaining gas).
                       *
                       * Requirements:
                       *
                       * - The divisor cannot be zero.
                       */
                      function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
                          require(b > 0, errorMessage);
                          return a % b;
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { FiatTokenV2 } from "./FiatTokenV2.sol";
                  // solhint-disable func-name-mixedcase
                  /**
                   * @title FiatToken V2.1
                   * @notice ERC20 Token backed by fiat reserves, version 2.1
                   */
                  contract FiatTokenV2_1 is FiatTokenV2 {
                      /**
                       * @notice Initialize v2.1
                       * @param lostAndFound  The address to which the locked funds are sent
                       */
                      function initializeV2_1(address lostAndFound) external {
                          // solhint-disable-next-line reason-string
                          require(_initializedVersion == 1);
                          uint256 lockedAmount = _balanceOf(address(this));
                          if (lockedAmount > 0) {
                              _transfer(address(this), lostAndFound, lockedAmount);
                          }
                          _blacklist(address(this));
                          _initializedVersion = 2;
                      }
                      /**
                       * @notice Version string for the EIP712 domain separator
                       * @return Version string
                       */
                      function version() external pure returns (string memory) {
                          return "2";
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { FiatTokenV1_1 } from "../v1.1/FiatTokenV1_1.sol";
                  import { EIP712 } from "../util/EIP712.sol";
                  import { EIP3009 } from "./EIP3009.sol";
                  import { EIP2612 } from "./EIP2612.sol";
                  /**
                   * @title FiatToken V2
                   * @notice ERC20 Token backed by fiat reserves, version 2
                   */
                  contract FiatTokenV2 is FiatTokenV1_1, EIP3009, EIP2612 {
                      uint8 internal _initializedVersion;
                      /**
                       * @notice Initialize v2
                       * @param newName   New token name
                       */
                      function initializeV2(string calldata newName) external {
                          // solhint-disable-next-line reason-string
                          require(initialized && _initializedVersion == 0);
                          name = newName;
                          _DEPRECATED_CACHED_DOMAIN_SEPARATOR = EIP712.makeDomainSeparator(
                              newName,
                              "2"
                          );
                          _initializedVersion = 1;
                      }
                      /**
                       * @notice Increase the allowance by a given increment
                       * @param spender   Spender's address
                       * @param increment Amount of increase in allowance
                       * @return True if successful
                       */
                      function increaseAllowance(address spender, uint256 increment)
                          external
                          virtual
                          whenNotPaused
                          notBlacklisted(msg.sender)
                          notBlacklisted(spender)
                          returns (bool)
                      {
                          _increaseAllowance(msg.sender, spender, increment);
                          return true;
                      }
                      /**
                       * @notice Decrease the allowance by a given decrement
                       * @param spender   Spender's address
                       * @param decrement Amount of decrease in allowance
                       * @return True if successful
                       */
                      function decreaseAllowance(address spender, uint256 decrement)
                          external
                          virtual
                          whenNotPaused
                          notBlacklisted(msg.sender)
                          notBlacklisted(spender)
                          returns (bool)
                      {
                          _decreaseAllowance(msg.sender, spender, decrement);
                          return true;
                      }
                      /**
                       * @notice Execute a transfer with a signed authorization
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function transferWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) external whenNotPaused notBlacklisted(from) notBlacklisted(to) {
                          _transferWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              v,
                              r,
                              s
                          );
                      }
                      /**
                       * @notice Receive a transfer with a signed authorization from the payer
                       * @dev This has an additional check to ensure that the payee's address
                       * matches the caller of this function to prevent front-running attacks.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function receiveWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) external whenNotPaused notBlacklisted(from) notBlacklisted(to) {
                          _receiveWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              v,
                              r,
                              s
                          );
                      }
                      /**
                       * @notice Attempt to cancel an authorization
                       * @dev Works only if the authorization is not yet used.
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function cancelAuthorization(
                          address authorizer,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) external whenNotPaused {
                          _cancelAuthorization(authorizer, nonce, v, r, s);
                      }
                      /**
                       * @notice Update allowance with a signed permit
                       * @param owner       Token owner's address (Authorizer)
                       * @param spender     Spender's address
                       * @param value       Amount of allowance
                       * @param deadline    The time at which the signature expires (unix time), or max uint256 value to signal no expiration
                       * @param v           v of the signature
                       * @param r           r of the signature
                       * @param s           s of the signature
                       */
                      function permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      )
                          external
                          virtual
                          whenNotPaused
                          notBlacklisted(owner)
                          notBlacklisted(spender)
                      {
                          _permit(owner, spender, value, deadline, v, r, s);
                      }
                      /**
                       * @dev Internal function to increase the allowance by a given increment
                       * @param owner     Token owner's address
                       * @param spender   Spender's address
                       * @param increment Amount of increase
                       */
                      function _increaseAllowance(
                          address owner,
                          address spender,
                          uint256 increment
                      ) internal override {
                          _approve(owner, spender, allowed[owner][spender].add(increment));
                      }
                      /**
                       * @dev Internal function to decrease the allowance by a given decrement
                       * @param owner     Token owner's address
                       * @param spender   Spender's address
                       * @param decrement Amount of decrease
                       */
                      function _decreaseAllowance(
                          address owner,
                          address spender,
                          uint256 decrement
                      ) internal override {
                          _approve(
                              owner,
                              spender,
                              allowed[owner][spender].sub(
                                  decrement,
                                  "ERC20: decreased allowance below zero"
                              )
                          );
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  // solhint-disable func-name-mixedcase
                  /**
                   * @title EIP712 Domain
                   */
                  contract EIP712Domain {
                      // was originally DOMAIN_SEPARATOR
                      // but that has been moved to a method so we can override it in V2_2+
                      bytes32 internal _DEPRECATED_CACHED_DOMAIN_SEPARATOR;
                      /**
                       * @notice Get the EIP712 Domain Separator.
                       * @return The bytes32 EIP712 domain separator.
                       */
                      function DOMAIN_SEPARATOR() external view returns (bytes32) {
                          return _domainSeparator();
                      }
                      /**
                       * @dev Internal method to get the EIP712 Domain Separator.
                       * @return The bytes32 EIP712 domain separator.
                       */
                      function _domainSeparator() internal virtual view returns (bytes32) {
                          return _DEPRECATED_CACHED_DOMAIN_SEPARATOR;
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { AbstractFiatTokenV2 } from "./AbstractFiatTokenV2.sol";
                  import { EIP712Domain } from "./EIP712Domain.sol";
                  import { SignatureChecker } from "../util/SignatureChecker.sol";
                  import { MessageHashUtils } from "../util/MessageHashUtils.sol";
                  /**
                   * @title EIP-3009
                   * @notice Provide internal implementation for gas-abstracted transfers
                   * @dev Contracts that inherit from this must wrap these with publicly
                   * accessible functions, optionally adding modifiers where necessary
                   */
                  abstract contract EIP3009 is AbstractFiatTokenV2, EIP712Domain {
                      // keccak256("TransferWithAuthorization(address from,address to,uint256 value,uint256 validAfter,uint256 validBefore,bytes32 nonce)")
                      bytes32
                          public constant TRANSFER_WITH_AUTHORIZATION_TYPEHASH = 0x7c7c6cdb67a18743f49ec6fa9b35f50d52ed05cbed4cc592e13b44501c1a2267;
                      // keccak256("ReceiveWithAuthorization(address from,address to,uint256 value,uint256 validAfter,uint256 validBefore,bytes32 nonce)")
                      bytes32
                          public constant RECEIVE_WITH_AUTHORIZATION_TYPEHASH = 0xd099cc98ef71107a616c4f0f941f04c322d8e254fe26b3c6668db87aae413de8;
                      // keccak256("CancelAuthorization(address authorizer,bytes32 nonce)")
                      bytes32
                          public constant CANCEL_AUTHORIZATION_TYPEHASH = 0x158b0a9edf7a828aad02f63cd515c68ef2f50ba807396f6d12842833a1597429;
                      /**
                       * @dev authorizer address => nonce => bool (true if nonce is used)
                       */
                      mapping(address => mapping(bytes32 => bool)) private _authorizationStates;
                      event AuthorizationUsed(address indexed authorizer, bytes32 indexed nonce);
                      event AuthorizationCanceled(
                          address indexed authorizer,
                          bytes32 indexed nonce
                      );
                      /**
                       * @notice Returns the state of an authorization
                       * @dev Nonces are randomly generated 32-byte data unique to the
                       * authorizer's address
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @return True if the nonce is used
                       */
                      function authorizationState(address authorizer, bytes32 nonce)
                          external
                          view
                          returns (bool)
                      {
                          return _authorizationStates[authorizer][nonce];
                      }
                      /**
                       * @notice Execute a transfer with a signed authorization
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function _transferWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal {
                          _transferWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              abi.encodePacked(r, s, v)
                          );
                      }
                      /**
                       * @notice Execute a transfer with a signed authorization
                       * @dev EOA wallet signatures should be packed in the order of r, s, v.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param signature     Signature byte array produced by an EOA wallet or a contract wallet
                       */
                      function _transferWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          bytes memory signature
                      ) internal {
                          _requireValidAuthorization(from, nonce, validAfter, validBefore);
                          _requireValidSignature(
                              from,
                              keccak256(
                                  abi.encode(
                                      TRANSFER_WITH_AUTHORIZATION_TYPEHASH,
                                      from,
                                      to,
                                      value,
                                      validAfter,
                                      validBefore,
                                      nonce
                                  )
                              ),
                              signature
                          );
                          _markAuthorizationAsUsed(from, nonce);
                          _transfer(from, to, value);
                      }
                      /**
                       * @notice Receive a transfer with a signed authorization from the payer
                       * @dev This has an additional check to ensure that the payee's address
                       * matches the caller of this function to prevent front-running attacks.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function _receiveWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal {
                          _receiveWithAuthorization(
                              from,
                              to,
                              value,
                              validAfter,
                              validBefore,
                              nonce,
                              abi.encodePacked(r, s, v)
                          );
                      }
                      /**
                       * @notice Receive a transfer with a signed authorization from the payer
                       * @dev This has an additional check to ensure that the payee's address
                       * matches the caller of this function to prevent front-running attacks.
                       * EOA wallet signatures should be packed in the order of r, s, v.
                       * @param from          Payer's address (Authorizer)
                       * @param to            Payee's address
                       * @param value         Amount to be transferred
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       * @param nonce         Unique nonce
                       * @param signature     Signature byte array produced by an EOA wallet or a contract wallet
                       */
                      function _receiveWithAuthorization(
                          address from,
                          address to,
                          uint256 value,
                          uint256 validAfter,
                          uint256 validBefore,
                          bytes32 nonce,
                          bytes memory signature
                      ) internal {
                          require(to == msg.sender, "FiatTokenV2: caller must be the payee");
                          _requireValidAuthorization(from, nonce, validAfter, validBefore);
                          _requireValidSignature(
                              from,
                              keccak256(
                                  abi.encode(
                                      RECEIVE_WITH_AUTHORIZATION_TYPEHASH,
                                      from,
                                      to,
                                      value,
                                      validAfter,
                                      validBefore,
                                      nonce
                                  )
                              ),
                              signature
                          );
                          _markAuthorizationAsUsed(from, nonce);
                          _transfer(from, to, value);
                      }
                      /**
                       * @notice Attempt to cancel an authorization
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @param v             v of the signature
                       * @param r             r of the signature
                       * @param s             s of the signature
                       */
                      function _cancelAuthorization(
                          address authorizer,
                          bytes32 nonce,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal {
                          _cancelAuthorization(authorizer, nonce, abi.encodePacked(r, s, v));
                      }
                      /**
                       * @notice Attempt to cancel an authorization
                       * @dev EOA wallet signatures should be packed in the order of r, s, v.
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @param signature     Signature byte array produced by an EOA wallet or a contract wallet
                       */
                      function _cancelAuthorization(
                          address authorizer,
                          bytes32 nonce,
                          bytes memory signature
                      ) internal {
                          _requireUnusedAuthorization(authorizer, nonce);
                          _requireValidSignature(
                              authorizer,
                              keccak256(
                                  abi.encode(CANCEL_AUTHORIZATION_TYPEHASH, authorizer, nonce)
                              ),
                              signature
                          );
                          _authorizationStates[authorizer][nonce] = true;
                          emit AuthorizationCanceled(authorizer, nonce);
                      }
                      /**
                       * @notice Validates that signature against input data struct
                       * @param signer        Signer's address
                       * @param dataHash      Hash of encoded data struct
                       * @param signature     Signature byte array produced by an EOA wallet or a contract wallet
                       */
                      function _requireValidSignature(
                          address signer,
                          bytes32 dataHash,
                          bytes memory signature
                      ) private view {
                          require(
                              SignatureChecker.isValidSignatureNow(
                                  signer,
                                  MessageHashUtils.toTypedDataHash(_domainSeparator(), dataHash),
                                  signature
                              ),
                              "FiatTokenV2: invalid signature"
                          );
                      }
                      /**
                       * @notice Check that an authorization is unused
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       */
                      function _requireUnusedAuthorization(address authorizer, bytes32 nonce)
                          private
                          view
                      {
                          require(
                              !_authorizationStates[authorizer][nonce],
                              "FiatTokenV2: authorization is used or canceled"
                          );
                      }
                      /**
                       * @notice Check that authorization is valid
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       * @param validAfter    The time after which this is valid (unix time)
                       * @param validBefore   The time before which this is valid (unix time)
                       */
                      function _requireValidAuthorization(
                          address authorizer,
                          bytes32 nonce,
                          uint256 validAfter,
                          uint256 validBefore
                      ) private view {
                          require(
                              now > validAfter,
                              "FiatTokenV2: authorization is not yet valid"
                          );
                          require(now < validBefore, "FiatTokenV2: authorization is expired");
                          _requireUnusedAuthorization(authorizer, nonce);
                      }
                      /**
                       * @notice Mark an authorization as used
                       * @param authorizer    Authorizer's address
                       * @param nonce         Nonce of the authorization
                       */
                      function _markAuthorizationAsUsed(address authorizer, bytes32 nonce)
                          private
                      {
                          _authorizationStates[authorizer][nonce] = true;
                          emit AuthorizationUsed(authorizer, nonce);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { AbstractFiatTokenV2 } from "./AbstractFiatTokenV2.sol";
                  import { EIP712Domain } from "./EIP712Domain.sol";
                  import { MessageHashUtils } from "../util/MessageHashUtils.sol";
                  import { SignatureChecker } from "../util/SignatureChecker.sol";
                  /**
                   * @title EIP-2612
                   * @notice Provide internal implementation for gas-abstracted approvals
                   */
                  abstract contract EIP2612 is AbstractFiatTokenV2, EIP712Domain {
                      // keccak256("Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)")
                      bytes32
                          public constant PERMIT_TYPEHASH = 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9;
                      mapping(address => uint256) private _permitNonces;
                      /**
                       * @notice Nonces for permit
                       * @param owner Token owner's address (Authorizer)
                       * @return Next nonce
                       */
                      function nonces(address owner) external view returns (uint256) {
                          return _permitNonces[owner];
                      }
                      /**
                       * @notice Verify a signed approval permit and execute if valid
                       * @param owner     Token owner's address (Authorizer)
                       * @param spender   Spender's address
                       * @param value     Amount of allowance
                       * @param deadline  The time at which the signature expires (unix time), or max uint256 value to signal no expiration
                       * @param v         v of the signature
                       * @param r         r of the signature
                       * @param s         s of the signature
                       */
                      function _permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal {
                          _permit(owner, spender, value, deadline, abi.encodePacked(r, s, v));
                      }
                      /**
                       * @notice Verify a signed approval permit and execute if valid
                       * @dev EOA wallet signatures should be packed in the order of r, s, v.
                       * @param owner      Token owner's address (Authorizer)
                       * @param spender    Spender's address
                       * @param value      Amount of allowance
                       * @param deadline   The time at which the signature expires (unix time), or max uint256 value to signal no expiration
                       * @param signature  Signature byte array signed by an EOA wallet or a contract wallet
                       */
                      function _permit(
                          address owner,
                          address spender,
                          uint256 value,
                          uint256 deadline,
                          bytes memory signature
                      ) internal {
                          require(
                              deadline == type(uint256).max || deadline >= now,
                              "FiatTokenV2: permit is expired"
                          );
                          bytes32 typedDataHash = MessageHashUtils.toTypedDataHash(
                              _domainSeparator(),
                              keccak256(
                                  abi.encode(
                                      PERMIT_TYPEHASH,
                                      owner,
                                      spender,
                                      value,
                                      _permitNonces[owner]++,
                                      deadline
                                  )
                              )
                          );
                          require(
                              SignatureChecker.isValidSignatureNow(
                                  owner,
                                  typedDataHash,
                                  signature
                              ),
                              "EIP2612: invalid signature"
                          );
                          _approve(owner, spender, value);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { AbstractFiatTokenV1 } from "../v1/AbstractFiatTokenV1.sol";
                  abstract contract AbstractFiatTokenV2 is AbstractFiatTokenV1 {
                      function _increaseAllowance(
                          address owner,
                          address spender,
                          uint256 increment
                      ) internal virtual;
                      function _decreaseAllowance(
                          address owner,
                          address spender,
                          uint256 decrement
                      ) internal virtual;
                  }
                  /**
                   * SPDX-License-Identifier: MIT
                   *
                   * Copyright (c) 2016 Smart Contract Solutions, Inc.
                   * Copyright (c) 2018-2020 CENTRE SECZ
                   *
                   * Permission is hereby granted, free of charge, to any person obtaining a copy
                   * of this software and associated documentation files (the "Software"), to deal
                   * in the Software without restriction, including without limitation the rights
                   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
                   * copies of the Software, and to permit persons to whom the Software is
                   * furnished to do so, subject to the following conditions:
                   *
                   * The above copyright notice and this permission notice shall be included in
                   * copies or substantial portions of the Software.
                   *
                   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
                   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
                   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
                   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
                   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
                   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
                   * SOFTWARE.
                   */
                  pragma solidity 0.6.12;
                  import { Ownable } from "./Ownable.sol";
                  /**
                   * @notice Base contract which allows children to implement an emergency stop
                   * mechanism
                   * @dev Forked from https://github.com/OpenZeppelin/openzeppelin-contracts/blob/feb665136c0dae9912e08397c1a21c4af3651ef3/contracts/lifecycle/Pausable.sol
                   * Modifications:
                   * 1. Added pauser role, switched pause/unpause to be onlyPauser (6/14/2018)
                   * 2. Removed whenNotPause/whenPaused from pause/unpause (6/14/2018)
                   * 3. Removed whenPaused (6/14/2018)
                   * 4. Switches ownable library to use ZeppelinOS (7/12/18)
                   * 5. Remove constructor (7/13/18)
                   * 6. Reformat, conform to Solidity 0.6 syntax and add error messages (5/13/20)
                   * 7. Make public functions external (5/27/20)
                   */
                  contract Pausable is Ownable {
                      event Pause();
                      event Unpause();
                      event PauserChanged(address indexed newAddress);
                      address public pauser;
                      bool public paused = false;
                      /**
                       * @dev Modifier to make a function callable only when the contract is not paused.
                       */
                      modifier whenNotPaused() {
                          require(!paused, "Pausable: paused");
                          _;
                      }
                      /**
                       * @dev throws if called by any account other than the pauser
                       */
                      modifier onlyPauser() {
                          require(msg.sender == pauser, "Pausable: caller is not the pauser");
                          _;
                      }
                      /**
                       * @dev called by the owner to pause, triggers stopped state
                       */
                      function pause() external onlyPauser {
                          paused = true;
                          emit Pause();
                      }
                      /**
                       * @dev called by the owner to unpause, returns to normal state
                       */
                      function unpause() external onlyPauser {
                          paused = false;
                          emit Unpause();
                      }
                      /**
                       * @notice Updates the pauser address.
                       * @param _newPauser The address of the new pauser.
                       */
                      function updatePauser(address _newPauser) external onlyOwner {
                          require(
                              _newPauser != address(0),
                              "Pausable: new pauser is the zero address"
                          );
                          pauser = _newPauser;
                          emit PauserChanged(pauser);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: MIT
                   *
                   * Copyright (c) 2018 zOS Global Limited.
                   * Copyright (c) 2018-2020 CENTRE SECZ
                   *
                   * Permission is hereby granted, free of charge, to any person obtaining a copy
                   * of this software and associated documentation files (the "Software"), to deal
                   * in the Software without restriction, including without limitation the rights
                   * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
                   * copies of the Software, and to permit persons to whom the Software is
                   * furnished to do so, subject to the following conditions:
                   *
                   * The above copyright notice and this permission notice shall be included in
                   * copies or substantial portions of the Software.
                   *
                   * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
                   * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
                   * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
                   * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
                   * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
                   * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
                   * SOFTWARE.
                   */
                  pragma solidity 0.6.12;
                  /**
                   * @notice The Ownable contract has an owner address, and provides basic
                   * authorization control functions
                   * @dev Forked from https://github.com/OpenZeppelin/openzeppelin-labs/blob/3887ab77b8adafba4a26ace002f3a684c1a3388b/upgradeability_ownership/contracts/ownership/Ownable.sol
                   * Modifications:
                   * 1. Consolidate OwnableStorage into this contract (7/13/18)
                   * 2. Reformat, conform to Solidity 0.6 syntax, and add error messages (5/13/20)
                   * 3. Make public functions external (5/27/20)
                   */
                  contract Ownable {
                      // Owner of the contract
                      address private _owner;
                      /**
                       * @dev Event to show ownership has been transferred
                       * @param previousOwner representing the address of the previous owner
                       * @param newOwner representing the address of the new owner
                       */
                      event OwnershipTransferred(address previousOwner, address newOwner);
                      /**
                       * @dev The constructor sets the original owner of the contract to the sender account.
                       */
                      constructor() public {
                          setOwner(msg.sender);
                      }
                      /**
                       * @dev Tells the address of the owner
                       * @return the address of the owner
                       */
                      function owner() external view returns (address) {
                          return _owner;
                      }
                      /**
                       * @dev Sets a new owner address
                       */
                      function setOwner(address newOwner) internal {
                          _owner = newOwner;
                      }
                      /**
                       * @dev Throws if called by any account other than the owner.
                       */
                      modifier onlyOwner() {
                          require(msg.sender == _owner, "Ownable: caller is not the owner");
                          _;
                      }
                      /**
                       * @dev Allows the current owner to transfer control of the contract to a newOwner.
                       * @param newOwner The address to transfer ownership to.
                       */
                      function transferOwnership(address newOwner) external onlyOwner {
                          require(
                              newOwner != address(0),
                              "Ownable: new owner is the zero address"
                          );
                          emit OwnershipTransferred(_owner, newOwner);
                          setOwner(newOwner);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { SafeMath } from "@openzeppelin/contracts/math/SafeMath.sol";
                  import { AbstractFiatTokenV1 } from "./AbstractFiatTokenV1.sol";
                  import { Ownable } from "./Ownable.sol";
                  import { Pausable } from "./Pausable.sol";
                  import { Blacklistable } from "./Blacklistable.sol";
                  /**
                   * @title FiatToken
                   * @dev ERC20 Token backed by fiat reserves
                   */
                  contract FiatTokenV1 is AbstractFiatTokenV1, Ownable, Pausable, Blacklistable {
                      using SafeMath for uint256;
                      string public name;
                      string public symbol;
                      uint8 public decimals;
                      string public currency;
                      address public masterMinter;
                      bool internal initialized;
                      /// @dev A mapping that stores the balance and blacklist states for a given address.
                      /// The first bit defines whether the address is blacklisted (1 if blacklisted, 0 otherwise).
                      /// The last 255 bits define the balance for the address.
                      mapping(address => uint256) internal balanceAndBlacklistStates;
                      mapping(address => mapping(address => uint256)) internal allowed;
                      uint256 internal totalSupply_ = 0;
                      mapping(address => bool) internal minters;
                      mapping(address => uint256) internal minterAllowed;
                      event Mint(address indexed minter, address indexed to, uint256 amount);
                      event Burn(address indexed burner, uint256 amount);
                      event MinterConfigured(address indexed minter, uint256 minterAllowedAmount);
                      event MinterRemoved(address indexed oldMinter);
                      event MasterMinterChanged(address indexed newMasterMinter);
                      /**
                       * @notice Initializes the fiat token contract.
                       * @param tokenName       The name of the fiat token.
                       * @param tokenSymbol     The symbol of the fiat token.
                       * @param tokenCurrency   The fiat currency that the token represents.
                       * @param tokenDecimals   The number of decimals that the token uses.
                       * @param newMasterMinter The masterMinter address for the fiat token.
                       * @param newPauser       The pauser address for the fiat token.
                       * @param newBlacklister  The blacklister address for the fiat token.
                       * @param newOwner        The owner of the fiat token.
                       */
                      function initialize(
                          string memory tokenName,
                          string memory tokenSymbol,
                          string memory tokenCurrency,
                          uint8 tokenDecimals,
                          address newMasterMinter,
                          address newPauser,
                          address newBlacklister,
                          address newOwner
                      ) public {
                          require(!initialized, "FiatToken: contract is already initialized");
                          require(
                              newMasterMinter != address(0),
                              "FiatToken: new masterMinter is the zero address"
                          );
                          require(
                              newPauser != address(0),
                              "FiatToken: new pauser is the zero address"
                          );
                          require(
                              newBlacklister != address(0),
                              "FiatToken: new blacklister is the zero address"
                          );
                          require(
                              newOwner != address(0),
                              "FiatToken: new owner is the zero address"
                          );
                          name = tokenName;
                          symbol = tokenSymbol;
                          currency = tokenCurrency;
                          decimals = tokenDecimals;
                          masterMinter = newMasterMinter;
                          pauser = newPauser;
                          blacklister = newBlacklister;
                          setOwner(newOwner);
                          initialized = true;
                      }
                      /**
                       * @dev Throws if called by any account other than a minter.
                       */
                      modifier onlyMinters() {
                          require(minters[msg.sender], "FiatToken: caller is not a minter");
                          _;
                      }
                      /**
                       * @notice Mints fiat tokens to an address.
                       * @param _to The address that will receive the minted tokens.
                       * @param _amount The amount of tokens to mint. Must be less than or equal
                       * to the minterAllowance of the caller.
                       * @return True if the operation was successful.
                       */
                      function mint(address _to, uint256 _amount)
                          external
                          whenNotPaused
                          onlyMinters
                          notBlacklisted(msg.sender)
                          notBlacklisted(_to)
                          returns (bool)
                      {
                          require(_to != address(0), "FiatToken: mint to the zero address");
                          require(_amount > 0, "FiatToken: mint amount not greater than 0");
                          uint256 mintingAllowedAmount = minterAllowed[msg.sender];
                          require(
                              _amount <= mintingAllowedAmount,
                              "FiatToken: mint amount exceeds minterAllowance"
                          );
                          totalSupply_ = totalSupply_.add(_amount);
                          _setBalance(_to, _balanceOf(_to).add(_amount));
                          minterAllowed[msg.sender] = mintingAllowedAmount.sub(_amount);
                          emit Mint(msg.sender, _to, _amount);
                          emit Transfer(address(0), _to, _amount);
                          return true;
                      }
                      /**
                       * @dev Throws if called by any account other than the masterMinter
                       */
                      modifier onlyMasterMinter() {
                          require(
                              msg.sender == masterMinter,
                              "FiatToken: caller is not the masterMinter"
                          );
                          _;
                      }
                      /**
                       * @notice Gets the minter allowance for an account.
                       * @param minter The address to check.
                       * @return The remaining minter allowance for the account.
                       */
                      function minterAllowance(address minter) external view returns (uint256) {
                          return minterAllowed[minter];
                      }
                      /**
                       * @notice Checks if an account is a minter.
                       * @param account The address to check.
                       * @return True if the account is a minter, false if the account is not a minter.
                       */
                      function isMinter(address account) external view returns (bool) {
                          return minters[account];
                      }
                      /**
                       * @notice Gets the remaining amount of fiat tokens a spender is allowed to transfer on
                       * behalf of the token owner.
                       * @param owner   The token owner's address.
                       * @param spender The spender's address.
                       * @return The remaining allowance.
                       */
                      function allowance(address owner, address spender)
                          external
                          override
                          view
                          returns (uint256)
                      {
                          return allowed[owner][spender];
                      }
                      /**
                       * @notice Gets the totalSupply of the fiat token.
                       * @return The totalSupply of the fiat token.
                       */
                      function totalSupply() external override view returns (uint256) {
                          return totalSupply_;
                      }
                      /**
                       * @notice Gets the fiat token balance of an account.
                       * @param account  The address to check.
                       * @return balance The fiat token balance of the account.
                       */
                      function balanceOf(address account)
                          external
                          override
                          view
                          returns (uint256)
                      {
                          return _balanceOf(account);
                      }
                      /**
                       * @notice Sets a fiat token allowance for a spender to spend on behalf of the caller.
                       * @param spender The spender's address.
                       * @param value   The allowance amount.
                       * @return True if the operation was successful.
                       */
                      function approve(address spender, uint256 value)
                          external
                          virtual
                          override
                          whenNotPaused
                          notBlacklisted(msg.sender)
                          notBlacklisted(spender)
                          returns (bool)
                      {
                          _approve(msg.sender, spender, value);
                          return true;
                      }
                      /**
                       * @dev Internal function to set allowance.
                       * @param owner     Token owner's address.
                       * @param spender   Spender's address.
                       * @param value     Allowance amount.
                       */
                      function _approve(
                          address owner,
                          address spender,
                          uint256 value
                      ) internal override {
                          require(owner != address(0), "ERC20: approve from the zero address");
                          require(spender != address(0), "ERC20: approve to the zero address");
                          allowed[owner][spender] = value;
                          emit Approval(owner, spender, value);
                      }
                      /**
                       * @notice Transfers tokens from an address to another by spending the caller's allowance.
                       * @dev The caller must have some fiat token allowance on the payer's tokens.
                       * @param from  Payer's address.
                       * @param to    Payee's address.
                       * @param value Transfer amount.
                       * @return True if the operation was successful.
                       */
                      function transferFrom(
                          address from,
                          address to,
                          uint256 value
                      )
                          external
                          override
                          whenNotPaused
                          notBlacklisted(msg.sender)
                          notBlacklisted(from)
                          notBlacklisted(to)
                          returns (bool)
                      {
                          require(
                              value <= allowed[from][msg.sender],
                              "ERC20: transfer amount exceeds allowance"
                          );
                          _transfer(from, to, value);
                          allowed[from][msg.sender] = allowed[from][msg.sender].sub(value);
                          return true;
                      }
                      /**
                       * @notice Transfers tokens from the caller.
                       * @param to    Payee's address.
                       * @param value Transfer amount.
                       * @return True if the operation was successful.
                       */
                      function transfer(address to, uint256 value)
                          external
                          override
                          whenNotPaused
                          notBlacklisted(msg.sender)
                          notBlacklisted(to)
                          returns (bool)
                      {
                          _transfer(msg.sender, to, value);
                          return true;
                      }
                      /**
                       * @dev Internal function to process transfers.
                       * @param from  Payer's address.
                       * @param to    Payee's address.
                       * @param value Transfer amount.
                       */
                      function _transfer(
                          address from,
                          address to,
                          uint256 value
                      ) internal override {
                          require(from != address(0), "ERC20: transfer from the zero address");
                          require(to != address(0), "ERC20: transfer to the zero address");
                          require(
                              value <= _balanceOf(from),
                              "ERC20: transfer amount exceeds balance"
                          );
                          _setBalance(from, _balanceOf(from).sub(value));
                          _setBalance(to, _balanceOf(to).add(value));
                          emit Transfer(from, to, value);
                      }
                      /**
                       * @notice Adds or updates a new minter with a mint allowance.
                       * @param minter The address of the minter.
                       * @param minterAllowedAmount The minting amount allowed for the minter.
                       * @return True if the operation was successful.
                       */
                      function configureMinter(address minter, uint256 minterAllowedAmount)
                          external
                          whenNotPaused
                          onlyMasterMinter
                          returns (bool)
                      {
                          minters[minter] = true;
                          minterAllowed[minter] = minterAllowedAmount;
                          emit MinterConfigured(minter, minterAllowedAmount);
                          return true;
                      }
                      /**
                       * @notice Removes a minter.
                       * @param minter The address of the minter to remove.
                       * @return True if the operation was successful.
                       */
                      function removeMinter(address minter)
                          external
                          onlyMasterMinter
                          returns (bool)
                      {
                          minters[minter] = false;
                          minterAllowed[minter] = 0;
                          emit MinterRemoved(minter);
                          return true;
                      }
                      /**
                       * @notice Allows a minter to burn some of its own tokens.
                       * @dev The caller must be a minter, must not be blacklisted, and the amount to burn
                       * should be less than or equal to the account's balance.
                       * @param _amount the amount of tokens to be burned.
                       */
                      function burn(uint256 _amount)
                          external
                          whenNotPaused
                          onlyMinters
                          notBlacklisted(msg.sender)
                      {
                          uint256 balance = _balanceOf(msg.sender);
                          require(_amount > 0, "FiatToken: burn amount not greater than 0");
                          require(balance >= _amount, "FiatToken: burn amount exceeds balance");
                          totalSupply_ = totalSupply_.sub(_amount);
                          _setBalance(msg.sender, balance.sub(_amount));
                          emit Burn(msg.sender, _amount);
                          emit Transfer(msg.sender, address(0), _amount);
                      }
                      /**
                       * @notice Updates the master minter address.
                       * @param _newMasterMinter The address of the new master minter.
                       */
                      function updateMasterMinter(address _newMasterMinter) external onlyOwner {
                          require(
                              _newMasterMinter != address(0),
                              "FiatToken: new masterMinter is the zero address"
                          );
                          masterMinter = _newMasterMinter;
                          emit MasterMinterChanged(masterMinter);
                      }
                      /**
                       * @inheritdoc Blacklistable
                       */
                      function _blacklist(address _account) internal override {
                          _setBlacklistState(_account, true);
                      }
                      /**
                       * @inheritdoc Blacklistable
                       */
                      function _unBlacklist(address _account) internal override {
                          _setBlacklistState(_account, false);
                      }
                      /**
                       * @dev Helper method that sets the blacklist state of an account.
                       * @param _account         The address of the account.
                       * @param _shouldBlacklist True if the account should be blacklisted, false if the account should be unblacklisted.
                       */
                      function _setBlacklistState(address _account, bool _shouldBlacklist)
                          internal
                          virtual
                      {
                          _deprecatedBlacklisted[_account] = _shouldBlacklist;
                      }
                      /**
                       * @dev Helper method that sets the balance of an account.
                       * @param _account The address of the account.
                       * @param _balance The new fiat token balance of the account.
                       */
                      function _setBalance(address _account, uint256 _balance) internal virtual {
                          balanceAndBlacklistStates[_account] = _balance;
                      }
                      /**
                       * @inheritdoc Blacklistable
                       */
                      function _isBlacklisted(address _account)
                          internal
                          virtual
                          override
                          view
                          returns (bool)
                      {
                          return _deprecatedBlacklisted[_account];
                      }
                      /**
                       * @dev Helper method to obtain the balance of an account.
                       * @param _account  The address of the account.
                       * @return          The fiat token balance of the account.
                       */
                      function _balanceOf(address _account)
                          internal
                          virtual
                          view
                          returns (uint256)
                      {
                          return balanceAndBlacklistStates[_account];
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { Ownable } from "./Ownable.sol";
                  /**
                   * @title Blacklistable Token
                   * @dev Allows accounts to be blacklisted by a "blacklister" role
                   */
                  abstract contract Blacklistable is Ownable {
                      address public blacklister;
                      mapping(address => bool) internal _deprecatedBlacklisted;
                      event Blacklisted(address indexed _account);
                      event UnBlacklisted(address indexed _account);
                      event BlacklisterChanged(address indexed newBlacklister);
                      /**
                       * @dev Throws if called by any account other than the blacklister.
                       */
                      modifier onlyBlacklister() {
                          require(
                              msg.sender == blacklister,
                              "Blacklistable: caller is not the blacklister"
                          );
                          _;
                      }
                      /**
                       * @dev Throws if argument account is blacklisted.
                       * @param _account The address to check.
                       */
                      modifier notBlacklisted(address _account) {
                          require(
                              !_isBlacklisted(_account),
                              "Blacklistable: account is blacklisted"
                          );
                          _;
                      }
                      /**
                       * @notice Checks if account is blacklisted.
                       * @param _account The address to check.
                       * @return True if the account is blacklisted, false if the account is not blacklisted.
                       */
                      function isBlacklisted(address _account) external view returns (bool) {
                          return _isBlacklisted(_account);
                      }
                      /**
                       * @notice Adds account to blacklist.
                       * @param _account The address to blacklist.
                       */
                      function blacklist(address _account) external onlyBlacklister {
                          _blacklist(_account);
                          emit Blacklisted(_account);
                      }
                      /**
                       * @notice Removes account from blacklist.
                       * @param _account The address to remove from the blacklist.
                       */
                      function unBlacklist(address _account) external onlyBlacklister {
                          _unBlacklist(_account);
                          emit UnBlacklisted(_account);
                      }
                      /**
                       * @notice Updates the blacklister address.
                       * @param _newBlacklister The address of the new blacklister.
                       */
                      function updateBlacklister(address _newBlacklister) external onlyOwner {
                          require(
                              _newBlacklister != address(0),
                              "Blacklistable: new blacklister is the zero address"
                          );
                          blacklister = _newBlacklister;
                          emit BlacklisterChanged(blacklister);
                      }
                      /**
                       * @dev Checks if account is blacklisted.
                       * @param _account The address to check.
                       * @return true if the account is blacklisted, false otherwise.
                       */
                      function _isBlacklisted(address _account)
                          internal
                          virtual
                          view
                          returns (bool);
                      /**
                       * @dev Helper method that blacklists an account.
                       * @param _account The address to blacklist.
                       */
                      function _blacklist(address _account) internal virtual;
                      /**
                       * @dev Helper method that unblacklists an account.
                       * @param _account The address to unblacklist.
                       */
                      function _unBlacklist(address _account) internal virtual;
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
                  abstract contract AbstractFiatTokenV1 is IERC20 {
                      function _approve(
                          address owner,
                          address spender,
                          uint256 value
                      ) internal virtual;
                      function _transfer(
                          address from,
                          address to,
                          uint256 value
                      ) internal virtual;
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { Ownable } from "../v1/Ownable.sol";
                  import { IERC20 } from "@openzeppelin/contracts/token/ERC20/IERC20.sol";
                  import { SafeERC20 } from "@openzeppelin/contracts/token/ERC20/SafeERC20.sol";
                  contract Rescuable is Ownable {
                      using SafeERC20 for IERC20;
                      address private _rescuer;
                      event RescuerChanged(address indexed newRescuer);
                      /**
                       * @notice Returns current rescuer
                       * @return Rescuer's address
                       */
                      function rescuer() external view returns (address) {
                          return _rescuer;
                      }
                      /**
                       * @notice Revert if called by any account other than the rescuer.
                       */
                      modifier onlyRescuer() {
                          require(msg.sender == _rescuer, "Rescuable: caller is not the rescuer");
                          _;
                      }
                      /**
                       * @notice Rescue ERC20 tokens locked up in this contract.
                       * @param tokenContract ERC20 token contract address
                       * @param to        Recipient address
                       * @param amount    Amount to withdraw
                       */
                      function rescueERC20(
                          IERC20 tokenContract,
                          address to,
                          uint256 amount
                      ) external onlyRescuer {
                          tokenContract.safeTransfer(to, amount);
                      }
                      /**
                       * @notice Updates the rescuer address.
                       * @param newRescuer The address of the new rescuer.
                       */
                      function updateRescuer(address newRescuer) external onlyOwner {
                          require(
                              newRescuer != address(0),
                              "Rescuable: new rescuer is the zero address"
                          );
                          _rescuer = newRescuer;
                          emit RescuerChanged(newRescuer);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { FiatTokenV1 } from "../v1/FiatTokenV1.sol";
                  import { Rescuable } from "./Rescuable.sol";
                  /**
                   * @title FiatTokenV1_1
                   * @dev ERC20 Token backed by fiat reserves
                   */
                  contract FiatTokenV1_1 is FiatTokenV1, Rescuable {
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  import { ECRecover } from "./ECRecover.sol";
                  import { IERC1271 } from "../interface/IERC1271.sol";
                  /**
                   * @dev Signature verification helper that can be used instead of `ECRecover.recover` to seamlessly support both ECDSA
                   * signatures from externally owned accounts (EOAs) as well as ERC1271 signatures from smart contract wallets.
                   *
                   * Adapted from https://github.com/OpenZeppelin/openzeppelin-contracts/blob/21bb89ef5bfc789b9333eb05e3ba2b7b284ac77c/contracts/utils/cryptography/SignatureChecker.sol
                   */
                  library SignatureChecker {
                      /**
                       * @dev Checks if a signature is valid for a given signer and data hash. If the signer is a smart contract, the
                       * signature is validated against that smart contract using ERC1271, otherwise it's validated using `ECRecover.recover`.
                       * @param signer        Address of the claimed signer
                       * @param digest        Keccak-256 hash digest of the signed message
                       * @param signature     Signature byte array associated with hash
                       */
                      function isValidSignatureNow(
                          address signer,
                          bytes32 digest,
                          bytes memory signature
                      ) external view returns (bool) {
                          if (!isContract(signer)) {
                              return ECRecover.recover(digest, signature) == signer;
                          }
                          return isValidERC1271SignatureNow(signer, digest, signature);
                      }
                      /**
                       * @dev Checks if a signature is valid for a given signer and data hash. The signature is validated
                       * against the signer smart contract using ERC1271.
                       * @param signer        Address of the claimed signer
                       * @param digest        Keccak-256 hash digest of the signed message
                       * @param signature     Signature byte array associated with hash
                       *
                       * NOTE: Unlike ECDSA signatures, contract signatures are revocable, and the outcome of this function can thus
                       * change through time. It could return true at block N and false at block N+1 (or the opposite).
                       */
                      function isValidERC1271SignatureNow(
                          address signer,
                          bytes32 digest,
                          bytes memory signature
                      ) internal view returns (bool) {
                          (bool success, bytes memory result) = signer.staticcall(
                              abi.encodeWithSelector(
                                  IERC1271.isValidSignature.selector,
                                  digest,
                                  signature
                              )
                          );
                          return (success &&
                              result.length >= 32 &&
                              abi.decode(result, (bytes32)) ==
                              bytes32(IERC1271.isValidSignature.selector));
                      }
                      /**
                       * @dev Checks if the input address is a smart contract.
                       */
                      function isContract(address addr) internal view returns (bool) {
                          uint256 size;
                          assembly {
                              size := extcodesize(addr)
                          }
                          return size > 0;
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  /**
                   * @dev Signature message hash utilities for producing digests to be consumed by {ECDSA} recovery or signing.
                   *
                   * The library provides methods for generating a hash of a message that conforms to the
                   * https://eips.ethereum.org/EIPS/eip-191[EIP 191] and https://eips.ethereum.org/EIPS/eip-712[EIP 712]
                   * specifications.
                   */
                  library MessageHashUtils {
                      /**
                       * @dev Returns the keccak256 digest of an EIP-712 typed data (EIP-191 version `0x01`).
                       * Adapted from https://github.com/OpenZeppelin/openzeppelin-contracts/blob/21bb89ef5bfc789b9333eb05e3ba2b7b284ac77c/contracts/utils/cryptography/MessageHashUtils.sol
                       *
                       * The digest is calculated from a `domainSeparator` and a `structHash`, by prefixing them with
                       * `\\x19\\x01` and hashing the result. It corresponds to the hash signed by the
                       * https://eips.ethereum.org/EIPS/eip-712[`eth_signTypedData`] JSON-RPC method as part of EIP-712.
                       *
                       * @param domainSeparator    Domain separator
                       * @param structHash         Hashed EIP-712 data struct
                       * @return digest            The keccak256 digest of an EIP-712 typed data
                       */
                      function toTypedDataHash(bytes32 domainSeparator, bytes32 structHash)
                          internal
                          pure
                          returns (bytes32 digest)
                      {
                          assembly {
                              let ptr := mload(0x40)
                              mstore(ptr, "\\x19\\x01")
                              mstore(add(ptr, 0x02), domainSeparator)
                              mstore(add(ptr, 0x22), structHash)
                              digest := keccak256(ptr, 0x42)
                          }
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  /**
                   * @title EIP712
                   * @notice A library that provides EIP712 helper functions
                   */
                  library EIP712 {
                      /**
                       * @notice Make EIP712 domain separator
                       * @param name      Contract name
                       * @param version   Contract version
                       * @param chainId   Blockchain ID
                       * @return Domain separator
                       */
                      function makeDomainSeparator(
                          string memory name,
                          string memory version,
                          uint256 chainId
                      ) internal view returns (bytes32) {
                          return
                              keccak256(
                                  abi.encode(
                                      // keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)")
                                      0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f,
                                      keccak256(bytes(name)),
                                      keccak256(bytes(version)),
                                      chainId,
                                      address(this)
                                  )
                              );
                      }
                      /**
                       * @notice Make EIP712 domain separator
                       * @param name      Contract name
                       * @param version   Contract version
                       * @return Domain separator
                       */
                      function makeDomainSeparator(string memory name, string memory version)
                          internal
                          view
                          returns (bytes32)
                      {
                          uint256 chainId;
                          assembly {
                              chainId := chainid()
                          }
                          return makeDomainSeparator(name, version, chainId);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  /**
                   * @title ECRecover
                   * @notice A library that provides a safe ECDSA recovery function
                   */
                  library ECRecover {
                      /**
                       * @notice Recover signer's address from a signed message
                       * @dev Adapted from: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/65e4ffde586ec89af3b7e9140bdc9235d1254853/contracts/cryptography/ECDSA.sol
                       * Modifications: Accept v, r, and s as separate arguments
                       * @param digest    Keccak-256 hash digest of the signed message
                       * @param v         v of the signature
                       * @param r         r of the signature
                       * @param s         s of the signature
                       * @return Signer address
                       */
                      function recover(
                          bytes32 digest,
                          uint8 v,
                          bytes32 r,
                          bytes32 s
                      ) internal pure returns (address) {
                          // EIP-2 still allows signature malleability for ecrecover(). Remove this possibility and make the signature
                          // unique. Appendix F in the Ethereum Yellow paper (https://ethereum.github.io/yellowpaper/paper.pdf), defines
                          // the valid range for s in (281): 0 < s < secp256k1n ÷ 2 + 1, and for v in (282): v ∈ {27, 28}. Most
                          // signatures from current libraries generate a unique signature with an s-value in the lower half order.
                          //
                          // If your library generates malleable signatures, such as s-values in the upper range, calculate a new s-value
                          // with 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEBAAEDCE6AF48A03BBFD25E8CD0364141 - s1 and flip v from 27 to 28 or
                          // vice versa. If your library also generates signatures with 0/1 for v instead 27/28, add 27 to v to accept
                          // these malleable signatures as well.
                          if (
                              uint256(s) >
                              0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF5D576E7357A4501DDFE92F46681B20A0
                          ) {
                              revert("ECRecover: invalid signature 's' value");
                          }
                          if (v != 27 && v != 28) {
                              revert("ECRecover: invalid signature 'v' value");
                          }
                          // If the signature is valid (and not malleable), return the signer address
                          address signer = ecrecover(digest, v, r, s);
                          require(signer != address(0), "ECRecover: invalid signature");
                          return signer;
                      }
                      /**
                       * @notice Recover signer's address from a signed message
                       * @dev Adapted from: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/0053ee040a7ff1dbc39691c9e67a69f564930a88/contracts/utils/cryptography/ECDSA.sol
                       * @param digest    Keccak-256 hash digest of the signed message
                       * @param signature Signature byte array associated with hash
                       * @return Signer address
                       */
                      function recover(bytes32 digest, bytes memory signature)
                          internal
                          pure
                          returns (address)
                      {
                          require(signature.length == 65, "ECRecover: invalid signature length");
                          bytes32 r;
                          bytes32 s;
                          uint8 v;
                          // ecrecover takes the signature parameters, and the only way to get them
                          // currently is to use assembly.
                          /// @solidity memory-safe-assembly
                          assembly {
                              r := mload(add(signature, 0x20))
                              s := mload(add(signature, 0x40))
                              v := byte(0, mload(add(signature, 0x60)))
                          }
                          return recover(digest, v, r, s);
                      }
                  }
                  /**
                   * SPDX-License-Identifier: Apache-2.0
                   *
                   * Copyright (c) 2023, Circle Internet Financial, LLC.
                   *
                   * Licensed under the Apache License, Version 2.0 (the "License");
                   * you may not use this file except in compliance with the License.
                   * You may obtain a copy of the License at
                   *
                   * http://www.apache.org/licenses/LICENSE-2.0
                   *
                   * Unless required by applicable law or agreed to in writing, software
                   * distributed under the License is distributed on an "AS IS" BASIS,
                   * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
                   * See the License for the specific language governing permissions and
                   * limitations under the License.
                   */
                  pragma solidity 0.6.12;
                  /**
                   * @dev Interface of the ERC1271 standard signature validation method for
                   * contracts as defined in https://eips.ethereum.org/EIPS/eip-1271[ERC-1271].
                   */
                  interface IERC1271 {
                      /**
                       * @dev Should return whether the signature provided is valid for the provided data
                       * @param hash          Hash of the data to be signed
                       * @param signature     Signature byte array associated with the provided data hash
                       * @return magicValue   bytes4 magic value 0x1626ba7e when function passes
                       */
                      function isValidSignature(bytes32 hash, bytes memory signature)
                          external
                          view
                          returns (bytes4 magicValue);
                  }