ETH Price: $2,177.97 (-4.59%)

Transaction Decoder

Block:
17562798 at Jun-26-2023 09:45:59 AM +UTC
Transaction Fee:
0.001548451162321546 ETH $3.37
Gas Used:
123,523 Gas / 12.535731502 Gwei

Emitted Events:

177 ZKLightClient.Transfer( from=[Sender] 0x60a789530020f1df44a2e3592b66ef73a6ac33a8, to=[Receiver] NFTBridgeEntrypoint, tokenId=8156 )
178 ZKBridgeEntrypoint.0xb8abfd5c33667c7440a4fc1153ae39a24833dbe44f7eb19cbe5cd5f2583e4940( 0xb8abfd5c33667c7440a4fc1153ae39a24833dbe44f7eb19cbe5cd5f2583e4940, 0x0000000000000000000000001e40cd8569f3c91f5101d54ae01a75574a9cce60, 0x0000000000000000000000000000000000000000000000000000000000000008, 0x0000000000000000000000000000000000000000000000000000000000000df8, 000000000000000000000000f7ad1f4e1993f430fbd12a09f64b793827a95509, 0000000000000000000000000000000000000000000000000000000000000040, 00000000000000000000000000000000000000000000000000000000000000f6, 010000000000000000000000004d8910d4aba36f856d5c1ad9f43d667e54e0a9, 6400027a6b4c69676874436c69656e7400000000000000000000000000000000, 0000007a6b4c69676874436c69656e7400000000000000000000000000000000, 0000000000000000000000000000000000000000000000000000000000000000, 001fdc5068747470733a2f2f676174657761792e70696e6174612e636c6f7564, 2f697066732f516d5769445a4e4b43643361453862336332644b6d646d356133, 57436734437643707653374c4e66626561386a54000000000000000000000000, 60a789530020f1df44a2e3592b66ef73a6ac33a8000800000000000000000000 )
179 NFTBridgeEntrypoint.0xe11d2ca26838f15acb41450029a785bb3d6f909b7f622ebf9c45524ded76f411( 0xe11d2ca26838f15acb41450029a785bb3d6f909b7f622ebf9c45524ded76f411, 0x0000000000000000000000000000000000000000000000000000000000000df8, 0000000000000000000000004d8910d4aba36f856d5c1ad9f43d667e54e0a964, 0000000000000000000000000000000000000000000000000000000000001fdc, 0000000000000000000000000000000000000000000000000000000000000008, 00000000000000000000000060a789530020f1df44a2e3592b66ef73a6ac33a8, 00000000000000000000000060a789530020f1df44a2e3592b66ef73a6ac33a8 )

Account State Difference:

  Address   Before After State Difference Code
3.593232688014264188 Eth3.593245040314264188 Eth0.0000123523
0x4D8910d4...E54E0A964
0x60a78953...3a6aC33A8
0.012657058049670073 Eth
Nonce: 24
0.010308606887348527 Eth
Nonce: 25
0.002348451162321546
0xB2C2Fc86...8faCBF386 0.1664 Eth0.1672 Eth0.0008

Execution Trace

ETH 0.0008 NFTBridgeEntrypoint.ac7b22dc( )
  • ETH 0.0008 NFTBridgeImplementation.transferNFT( token=0x4D8910d4AbA36f856D5C1aD9f43d667E54E0A964, tokenID=8156, recipientChain=8, recipient=00000000000000000000000060A789530020F1DF44A2E3592B66EF73A6AC33A8 ) => ( sequence=3576 )
    • ZKLightClient.supportsInterface( interfaceId=System.Byte[] ) => ( True )
    • ZKLightClient.supportsInterface( interfaceId=System.Byte[] ) => ( True )
    • ZKLightClient.STATICCALL( )
    • ZKLightClient.STATICCALL( )
    • ZKLightClient.tokenURI( _tokenId=8156 ) => ( https://gateway.pinata.cloud/ipfs/QmWiDZNKCd3aE8b3c2dKmdm5a3WCg4CvCpvS7LNfbea8jT )
    • ZKLightClient.safeTransferFrom( from=0x60a789530020F1dF44a2E3592b66EF73a6aC33A8, to=0x1e40CD8569F3c91F5101d54AE01a75574a9ccE60, tokenId=8156 )
      • NFTBridgeEntrypoint.150b7a02( )
        • NFTBridgeImplementation.onERC721Received( operator=0x1e40CD8569F3c91F5101d54AE01a75574a9ccE60, 0x60a789530020F1dF44a2E3592b66EF73a6aC33A8, 8156, 0x )
        • ETH 0.0008 ZKBridgeEntrypoint.b1d995dd( )
          • ETH 0.0008 ZKBridge.send( dstChainId=8, dstAddress=0xf7aD1f4E1993F430fbD12A09f64b793827a95509, payload=0x010000000000000000000000004D8910D4ABA36F856D5C1AD9F43D667E54E0A96400027A6B4C69676874436C69656E74000000000000000000000000000000000000007A6B4C69676874436C69656E74000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001FDC5068747470733A2F2F676174657761792E70696E6174612E636C6F75642F697066732F516D5769445A4E4B43643361453862336332644B6D646D35613357436734437643707653374C4E66626561386A5400000000000000000000000060A789530020F1DF44A2E3592B66EF73A6AC33A80008 ) => ( sequence=3576 )
            File 1 of 5: NFTBridgeEntrypoint
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
            contract NFTBridgeEntrypoint is ERC1967Proxy {
                constructor (address implementation, bytes memory initData)
                    ERC1967Proxy(
                        implementation,
                        initData
                    )
                {}
            }// SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (proxy/ERC1967/ERC1967Proxy.sol)
            pragma solidity ^0.8.0;
            import "../Proxy.sol";
            import "./ERC1967Upgrade.sol";
            /**
             * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an
             * implementation address that can be changed. This address is stored in storage in the location specified by
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the
             * implementation behind the proxy.
             */
            contract ERC1967Proxy is Proxy, ERC1967Upgrade {
                /**
                 * @dev Initializes the upgradeable proxy with an initial implementation specified by `_logic`.
                 *
                 * If `_data` is nonempty, it's used as data in a delegate call to `_logic`. This will typically be an encoded
                 * function call, and allows initializing the storage of the proxy like a Solidity constructor.
                 */
                constructor(address _logic, bytes memory _data) payable {
                    _upgradeToAndCall(_logic, _data, false);
                }
                /**
                 * @dev Returns the current implementation address.
                 */
                function _implementation() internal view virtual override returns (address impl) {
                    return ERC1967Upgrade._getImplementation();
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.6.0) (proxy/Proxy.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
             * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
             * be specified by overriding the virtual {_implementation} function.
             *
             * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
             * different contract through the {_delegate} function.
             *
             * The success and return data of the delegated call will be returned back to the caller of the proxy.
             */
            abstract contract Proxy {
                /**
                 * @dev Delegates the current call to `implementation`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _delegate(address implementation) internal virtual {
                    assembly {
                        // Copy msg.data. We take full control of memory in this inline assembly
                        // block because it will not return to Solidity code. We overwrite the
                        // Solidity scratch pad at memory position 0.
                        calldatacopy(0, 0, calldatasize())
                        // Call the implementation.
                        // out and outsize are 0 because we don't know the size yet.
                        let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                        // Copy the returned data.
                        returndatacopy(0, 0, returndatasize())
                        switch result
                        // delegatecall returns 0 on error.
                        case 0 {
                            revert(0, returndatasize())
                        }
                        default {
                            return(0, returndatasize())
                        }
                    }
                }
                /**
                 * @dev This is a virtual function that should be overridden so it returns the address to which the fallback function
                 * and {_fallback} should delegate.
                 */
                function _implementation() internal view virtual returns (address);
                /**
                 * @dev Delegates the current call to the address returned by `_implementation()`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _fallback() internal virtual {
                    _beforeFallback();
                    _delegate(_implementation());
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
                 * function in the contract matches the call data.
                 */
                fallback() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
                 * is empty.
                 */
                receive() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
                 * call, or as part of the Solidity `fallback` or `receive` functions.
                 *
                 * If overridden should call `super._beforeFallback()`.
                 */
                function _beforeFallback() internal virtual {}
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (proxy/ERC1967/ERC1967Upgrade.sol)
            pragma solidity ^0.8.2;
            import "../beacon/IBeacon.sol";
            import "../../interfaces/draft-IERC1822.sol";
            import "../../utils/Address.sol";
            import "../../utils/StorageSlot.sol";
            /**
             * @dev This abstract contract provides getters and event emitting update functions for
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
             *
             * _Available since v4.1._
             *
             * @custom:oz-upgrades-unsafe-allow delegatecall
             */
            abstract contract ERC1967Upgrade {
                // This is the keccak-256 hash of "eip1967.proxy.rollback" subtracted by 1
                bytes32 private constant _ROLLBACK_SLOT = 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143;
                /**
                 * @dev Storage slot with the address of the current implementation.
                 * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                /**
                 * @dev Emitted when the implementation is upgraded.
                 */
                event Upgraded(address indexed implementation);
                /**
                 * @dev Returns the current implementation address.
                 */
                function _getImplementation() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 implementation slot.
                 */
                function _setImplementation(address newImplementation) private {
                    require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
                    StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
                }
                /**
                 * @dev Perform implementation upgrade
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeTo(address newImplementation) internal {
                    _setImplementation(newImplementation);
                    emit Upgraded(newImplementation);
                }
                /**
                 * @dev Perform implementation upgrade with additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCall(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _upgradeTo(newImplementation);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(newImplementation, data);
                    }
                }
                /**
                 * @dev Perform implementation upgrade with security checks for UUPS proxies, and additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCallUUPS(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    // Upgrades from old implementations will perform a rollback test. This test requires the new
                    // implementation to upgrade back to the old, non-ERC1822 compliant, implementation. Removing
                    // this special case will break upgrade paths from old UUPS implementation to new ones.
                    if (StorageSlot.getBooleanSlot(_ROLLBACK_SLOT).value) {
                        _setImplementation(newImplementation);
                    } else {
                        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
                            require(slot == _IMPLEMENTATION_SLOT, "ERC1967Upgrade: unsupported proxiableUUID");
                        } catch {
                            revert("ERC1967Upgrade: new implementation is not UUPS");
                        }
                        _upgradeToAndCall(newImplementation, data, forceCall);
                    }
                }
                /**
                 * @dev Storage slot with the admin of the contract.
                 * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                /**
                 * @dev Emitted when the admin account has changed.
                 */
                event AdminChanged(address previousAdmin, address newAdmin);
                /**
                 * @dev Returns the current admin.
                 */
                function _getAdmin() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_ADMIN_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 admin slot.
                 */
                function _setAdmin(address newAdmin) private {
                    require(newAdmin != address(0), "ERC1967: new admin is the zero address");
                    StorageSlot.getAddressSlot(_ADMIN_SLOT).value = newAdmin;
                }
                /**
                 * @dev Changes the admin of the proxy.
                 *
                 * Emits an {AdminChanged} event.
                 */
                function _changeAdmin(address newAdmin) internal {
                    emit AdminChanged(_getAdmin(), newAdmin);
                    _setAdmin(newAdmin);
                }
                /**
                 * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
                 * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
                 */
                bytes32 internal constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
                /**
                 * @dev Emitted when the beacon is upgraded.
                 */
                event BeaconUpgraded(address indexed beacon);
                /**
                 * @dev Returns the current beacon.
                 */
                function _getBeacon() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_BEACON_SLOT).value;
                }
                /**
                 * @dev Stores a new beacon in the EIP1967 beacon slot.
                 */
                function _setBeacon(address newBeacon) private {
                    require(Address.isContract(newBeacon), "ERC1967: new beacon is not a contract");
                    require(
                        Address.isContract(IBeacon(newBeacon).implementation()),
                        "ERC1967: beacon implementation is not a contract"
                    );
                    StorageSlot.getAddressSlot(_BEACON_SLOT).value = newBeacon;
                }
                /**
                 * @dev Perform beacon upgrade with additional setup call. Note: This upgrades the address of the beacon, it does
                 * not upgrade the implementation contained in the beacon (see {UpgradeableBeacon-_setImplementation} for that).
                 *
                 * Emits a {BeaconUpgraded} event.
                 */
                function _upgradeBeaconToAndCall(
                    address newBeacon,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _setBeacon(newBeacon);
                    emit BeaconUpgraded(newBeacon);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This is the interface that {BeaconProxy} expects of its beacon.
             */
            interface IBeacon {
                /**
                 * @dev Must return an address that can be used as a delegate call target.
                 *
                 * {BeaconProxy} will check that this address is a contract.
                 */
                function implementation() external view returns (address);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
             * proxy whose upgrades are fully controlled by the current implementation.
             */
            interface IERC1822Proxiable {
                /**
                 * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
                 * address.
                 *
                 * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
                 * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
                 * function revert if invoked through a proxy.
                 */
                function proxiableUUID() external view returns (bytes32);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/Address.sol)
            pragma solidity ^0.8.1;
            /**
             * @dev Collection of functions related to the address type
             */
            library Address {
                /**
                 * @dev Returns true if `account` is a contract.
                 *
                 * [IMPORTANT]
                 * ====
                 * It is unsafe to assume that an address for which this function returns
                 * false is an externally-owned account (EOA) and not a contract.
                 *
                 * Among others, `isContract` will return false for the following
                 * types of addresses:
                 *
                 *  - an externally-owned account
                 *  - a contract in construction
                 *  - an address where a contract will be created
                 *  - an address where a contract lived, but was destroyed
                 * ====
                 *
                 * [IMPORTANT]
                 * ====
                 * You shouldn't rely on `isContract` to protect against flash loan attacks!
                 *
                 * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
                 * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
                 * constructor.
                 * ====
                 */
                function isContract(address account) internal view returns (bool) {
                    // This method relies on extcodesize/address.code.length, which returns 0
                    // for contracts in construction, since the code is only stored at the end
                    // of the constructor execution.
                    return account.code.length > 0;
                }
                /**
                 * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                 * `recipient`, forwarding all available gas and reverting on errors.
                 *
                 * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                 * of certain opcodes, possibly making contracts go over the 2300 gas limit
                 * imposed by `transfer`, making them unable to receive funds via
                 * `transfer`. {sendValue} removes this limitation.
                 *
                 * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                 *
                 * IMPORTANT: because control is transferred to `recipient`, care must be
                 * taken to not create reentrancy vulnerabilities. Consider using
                 * {ReentrancyGuard} or the
                 * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                 */
                function sendValue(address payable recipient, uint256 amount) internal {
                    require(address(this).balance >= amount, "Address: insufficient balance");
                    (bool success, ) = recipient.call{value: amount}("");
                    require(success, "Address: unable to send value, recipient may have reverted");
                }
                /**
                 * @dev Performs a Solidity function call using a low level `call`. A
                 * plain `call` is an unsafe replacement for a function call: use this
                 * function instead.
                 *
                 * If `target` reverts with a revert reason, it is bubbled up by this
                 * function (like regular Solidity function calls).
                 *
                 * Returns the raw returned data. To convert to the expected return value,
                 * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                 *
                 * Requirements:
                 *
                 * - `target` must be a contract.
                 * - calling `target` with `data` must not revert.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionCall(target, data, "Address: low-level call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                 * `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, 0, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but also transferring `value` wei to `target`.
                 *
                 * Requirements:
                 *
                 * - the calling contract must have an ETH balance of at least `value`.
                 * - the called Solidity function must be `payable`.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                 * with `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(address(this).balance >= value, "Address: insufficient balance for call");
                    require(isContract(target), "Address: call to non-contract");
                    (bool success, bytes memory returndata) = target.call{value: value}(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                    return functionStaticCall(target, data, "Address: low-level static call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal view returns (bytes memory) {
                    require(isContract(target), "Address: static call to non-contract");
                    (bool success, bytes memory returndata) = target.staticcall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(isContract(target), "Address: delegate call to non-contract");
                    (bool success, bytes memory returndata) = target.delegatecall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
                 * revert reason using the provided one.
                 *
                 * _Available since v4.3._
                 */
                function verifyCallResult(
                    bool success,
                    bytes memory returndata,
                    string memory errorMessage
                ) internal pure returns (bytes memory) {
                    if (success) {
                        return returndata;
                    } else {
                        // Look for revert reason and bubble it up if present
                        if (returndata.length > 0) {
                            // The easiest way to bubble the revert reason is using memory via assembly
                            /// @solidity memory-safe-assembly
                            assembly {
                                let returndata_size := mload(returndata)
                                revert(add(32, returndata), returndata_size)
                            }
                        } else {
                            revert(errorMessage);
                        }
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Library for reading and writing primitive types to specific storage slots.
             *
             * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
             * This library helps with reading and writing to such slots without the need for inline assembly.
             *
             * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
             *
             * Example usage to set ERC1967 implementation slot:
             * ```
             * contract ERC1967 {
             *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
             *
             *     function _getImplementation() internal view returns (address) {
             *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
             *     }
             *
             *     function _setImplementation(address newImplementation) internal {
             *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
             *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
             *     }
             * }
             * ```
             *
             * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._
             */
            library StorageSlot {
                struct AddressSlot {
                    address value;
                }
                struct BooleanSlot {
                    bool value;
                }
                struct Bytes32Slot {
                    bytes32 value;
                }
                struct Uint256Slot {
                    uint256 value;
                }
                /**
                 * @dev Returns an `AddressSlot` with member `value` located at `slot`.
                 */
                function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
                 */
                function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
                 */
                function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
                 */
                function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
            }
            

            File 2 of 5: ZKLightClient
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.10;
            import "@openzeppelin/contracts/access/Ownable.sol";
            import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
            import "erc721a/contracts/extensions/ERC721AQueryable.sol";
            contract ZKLightClient is Ownable, ERC721AQueryable, ReentrancyGuard {
                string private metadataUri;
                uint256 public mintLimit;
                uint256 public mintStartTime;
                uint256 public mintEndTime;
                modifier isNotContract() {
                    require(msg.sender == tx.origin, "Sender is not EOA");
                    _;
                }
                modifier checkMintTimes() {
                    require(
                        block.timestamp >= mintStartTime,
                        "The event has not started yet."
                    );
                    require(block.timestamp <= mintEndTime, "The event has ended.");
                    _;
                }
                constructor(
                    uint256 _mintStartTime,
                    uint256 _mintEndTime,
                    uint256 _mintLimit,
                    string memory _metadataUri
                ) ERC721A("zkLightClient", "zkLightClient") {
                    require(_mintStartTime < _mintEndTime, "Invalid StartTimes");
                    require(_mintLimit > 0, "Invalid MintLimit");
                    mintStartTime = _mintStartTime;
                    mintEndTime = _mintEndTime;
                    mintLimit = _mintLimit;
                    metadataUri = _metadataUri;
                }
                function tokenURI(
                    uint256 _tokenId
                ) public view override returns (string memory) {
                    require(
                        _exists(_tokenId),
                        "ERC721Metadata: URI query for nonexistent token"
                    );
                    return metadataUri;
                }
                function mint() external nonReentrant isNotContract checkMintTimes {
                    require(
                        _numberMinted(msg.sender) + 1 <= mintLimit,
                        "Each address may claim one NFT only. You have claimed already."
                    );
                    _safeMint(msg.sender, 1);
                }
                function getMintSurplus(
                    address userAddress
                ) external view returns (uint256) {
                    return mintLimit - _numberMinted(userAddress);
                }
                function setMintTimes(
                    uint256 _mintStartTime,
                    uint256 _mintEndTime
                ) external onlyOwner {
                    require(_mintStartTime < _mintEndTime, "Invalid StartTimes");
                    mintStartTime = _mintStartTime;
                    mintEndTime = _mintEndTime;
                }
                function setMetadataUri(string memory _newMetadataUri) external onlyOwner {
                    metadataUri = _newMetadataUri;
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)
            pragma solidity ^0.8.0;
            import "../utils/Context.sol";
            /**
             * @dev Contract module which provides a basic access control mechanism, where
             * there is an account (an owner) that can be granted exclusive access to
             * specific functions.
             *
             * By default, the owner account will be the one that deploys the contract. This
             * can later be changed with {transferOwnership}.
             *
             * This module is used through inheritance. It will make available the modifier
             * `onlyOwner`, which can be applied to your functions to restrict their use to
             * the owner.
             */
            abstract contract Ownable is Context {
                address private _owner;
                event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
                /**
                 * @dev Initializes the contract setting the deployer as the initial owner.
                 */
                constructor() {
                    _transferOwnership(_msgSender());
                }
                /**
                 * @dev Throws if called by any account other than the owner.
                 */
                modifier onlyOwner() {
                    _checkOwner();
                    _;
                }
                /**
                 * @dev Returns the address of the current owner.
                 */
                function owner() public view virtual returns (address) {
                    return _owner;
                }
                /**
                 * @dev Throws if the sender is not the owner.
                 */
                function _checkOwner() internal view virtual {
                    require(owner() == _msgSender(), "Ownable: caller is not the owner");
                }
                /**
                 * @dev Leaves the contract without owner. It will not be possible to call
                 * `onlyOwner` functions anymore. Can only be called by the current owner.
                 *
                 * NOTE: Renouncing ownership will leave the contract without an owner,
                 * thereby removing any functionality that is only available to the owner.
                 */
                function renounceOwnership() public virtual onlyOwner {
                    _transferOwnership(address(0));
                }
                /**
                 * @dev Transfers ownership of the contract to a new account (`newOwner`).
                 * Can only be called by the current owner.
                 */
                function transferOwnership(address newOwner) public virtual onlyOwner {
                    require(newOwner != address(0), "Ownable: new owner is the zero address");
                    _transferOwnership(newOwner);
                }
                /**
                 * @dev Transfers ownership of the contract to a new account (`newOwner`).
                 * Internal function without access restriction.
                 */
                function _transferOwnership(address newOwner) internal virtual {
                    address oldOwner = _owner;
                    _owner = newOwner;
                    emit OwnershipTransferred(oldOwner, newOwner);
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.8.0) (security/ReentrancyGuard.sol)
            pragma solidity ^0.8.0;
            /**
             * @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 ReentrancyGuard {
                // 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;
                constructor() {
                    _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;
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Provides information about the current execution context, including the
             * sender of the transaction and its data. While these are generally available
             * via msg.sender and msg.data, they should not be accessed in such a direct
             * manner, since when dealing with meta-transactions the account sending and
             * paying for execution may not be the actual sender (as far as an application
             * is concerned).
             *
             * This contract is only required for intermediate, library-like contracts.
             */
            abstract contract Context {
                function _msgSender() internal view virtual returns (address) {
                    return msg.sender;
                }
                function _msgData() internal view virtual returns (bytes calldata) {
                    return msg.data;
                }
            }
            // SPDX-License-Identifier: MIT
            // ERC721A Contracts v4.2.3
            // Creator: Chiru Labs
            pragma solidity ^0.8.4;
            import './IERC721A.sol';
            /**
             * @dev Interface of ERC721 token receiver.
             */
            interface ERC721A__IERC721Receiver {
                function onERC721Received(
                    address operator,
                    address from,
                    uint256 tokenId,
                    bytes calldata data
                ) external returns (bytes4);
            }
            /**
             * @title ERC721A
             *
             * @dev Implementation of the [ERC721](https://eips.ethereum.org/EIPS/eip-721)
             * Non-Fungible Token Standard, including the Metadata extension.
             * Optimized for lower gas during batch mints.
             *
             * Token IDs are minted in sequential order (e.g. 0, 1, 2, 3, ...)
             * starting from `_startTokenId()`.
             *
             * Assumptions:
             *
             * - An owner cannot have more than 2**64 - 1 (max value of uint64) of supply.
             * - The maximum token ID cannot exceed 2**256 - 1 (max value of uint256).
             */
            contract ERC721A is IERC721A {
                // Bypass for a `--via-ir` bug (https://github.com/chiru-labs/ERC721A/pull/364).
                struct TokenApprovalRef {
                    address value;
                }
                // =============================================================
                //                           CONSTANTS
                // =============================================================
                // Mask of an entry in packed address data.
                uint256 private constant _BITMASK_ADDRESS_DATA_ENTRY = (1 << 64) - 1;
                // The bit position of `numberMinted` in packed address data.
                uint256 private constant _BITPOS_NUMBER_MINTED = 64;
                // The bit position of `numberBurned` in packed address data.
                uint256 private constant _BITPOS_NUMBER_BURNED = 128;
                // The bit position of `aux` in packed address data.
                uint256 private constant _BITPOS_AUX = 192;
                // Mask of all 256 bits in packed address data except the 64 bits for `aux`.
                uint256 private constant _BITMASK_AUX_COMPLEMENT = (1 << 192) - 1;
                // The bit position of `startTimestamp` in packed ownership.
                uint256 private constant _BITPOS_START_TIMESTAMP = 160;
                // The bit mask of the `burned` bit in packed ownership.
                uint256 private constant _BITMASK_BURNED = 1 << 224;
                // The bit position of the `nextInitialized` bit in packed ownership.
                uint256 private constant _BITPOS_NEXT_INITIALIZED = 225;
                // The bit mask of the `nextInitialized` bit in packed ownership.
                uint256 private constant _BITMASK_NEXT_INITIALIZED = 1 << 225;
                // The bit position of `extraData` in packed ownership.
                uint256 private constant _BITPOS_EXTRA_DATA = 232;
                // Mask of all 256 bits in a packed ownership except the 24 bits for `extraData`.
                uint256 private constant _BITMASK_EXTRA_DATA_COMPLEMENT = (1 << 232) - 1;
                // The mask of the lower 160 bits for addresses.
                uint256 private constant _BITMASK_ADDRESS = (1 << 160) - 1;
                // The maximum `quantity` that can be minted with {_mintERC2309}.
                // This limit is to prevent overflows on the address data entries.
                // For a limit of 5000, a total of 3.689e15 calls to {_mintERC2309}
                // is required to cause an overflow, which is unrealistic.
                uint256 private constant _MAX_MINT_ERC2309_QUANTITY_LIMIT = 5000;
                // The `Transfer` event signature is given by:
                // `keccak256(bytes("Transfer(address,address,uint256)"))`.
                bytes32 private constant _TRANSFER_EVENT_SIGNATURE =
                    0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef;
                // =============================================================
                //                            STORAGE
                // =============================================================
                // The next token ID to be minted.
                uint256 private _currentIndex;
                // The number of tokens burned.
                uint256 private _burnCounter;
                // Token name
                string private _name;
                // Token symbol
                string private _symbol;
                // Mapping from token ID to ownership details
                // An empty struct value does not necessarily mean the token is unowned.
                // See {_packedOwnershipOf} implementation for details.
                //
                // Bits Layout:
                // - [0..159]   `addr`
                // - [160..223] `startTimestamp`
                // - [224]      `burned`
                // - [225]      `nextInitialized`
                // - [232..255] `extraData`
                mapping(uint256 => uint256) private _packedOwnerships;
                // Mapping owner address to address data.
                //
                // Bits Layout:
                // - [0..63]    `balance`
                // - [64..127]  `numberMinted`
                // - [128..191] `numberBurned`
                // - [192..255] `aux`
                mapping(address => uint256) private _packedAddressData;
                // Mapping from token ID to approved address.
                mapping(uint256 => TokenApprovalRef) private _tokenApprovals;
                // Mapping from owner to operator approvals
                mapping(address => mapping(address => bool)) private _operatorApprovals;
                // =============================================================
                //                          CONSTRUCTOR
                // =============================================================
                constructor(string memory name_, string memory symbol_) {
                    _name = name_;
                    _symbol = symbol_;
                    _currentIndex = _startTokenId();
                }
                // =============================================================
                //                   TOKEN COUNTING OPERATIONS
                // =============================================================
                /**
                 * @dev Returns the starting token ID.
                 * To change the starting token ID, please override this function.
                 */
                function _startTokenId() internal view virtual returns (uint256) {
                    return 0;
                }
                /**
                 * @dev Returns the next token ID to be minted.
                 */
                function _nextTokenId() internal view virtual returns (uint256) {
                    return _currentIndex;
                }
                /**
                 * @dev Returns the total number of tokens in existence.
                 * Burned tokens will reduce the count.
                 * To get the total number of tokens minted, please see {_totalMinted}.
                 */
                function totalSupply() public view virtual override returns (uint256) {
                    // Counter underflow is impossible as _burnCounter cannot be incremented
                    // more than `_currentIndex - _startTokenId()` times.
                    unchecked {
                        return _currentIndex - _burnCounter - _startTokenId();
                    }
                }
                /**
                 * @dev Returns the total amount of tokens minted in the contract.
                 */
                function _totalMinted() internal view virtual returns (uint256) {
                    // Counter underflow is impossible as `_currentIndex` does not decrement,
                    // and it is initialized to `_startTokenId()`.
                    unchecked {
                        return _currentIndex - _startTokenId();
                    }
                }
                /**
                 * @dev Returns the total number of tokens burned.
                 */
                function _totalBurned() internal view virtual returns (uint256) {
                    return _burnCounter;
                }
                // =============================================================
                //                    ADDRESS DATA OPERATIONS
                // =============================================================
                /**
                 * @dev Returns the number of tokens in `owner`'s account.
                 */
                function balanceOf(address owner) public view virtual override returns (uint256) {
                    if (owner == address(0)) revert BalanceQueryForZeroAddress();
                    return _packedAddressData[owner] & _BITMASK_ADDRESS_DATA_ENTRY;
                }
                /**
                 * Returns the number of tokens minted by `owner`.
                 */
                function _numberMinted(address owner) internal view returns (uint256) {
                    return (_packedAddressData[owner] >> _BITPOS_NUMBER_MINTED) & _BITMASK_ADDRESS_DATA_ENTRY;
                }
                /**
                 * Returns the number of tokens burned by or on behalf of `owner`.
                 */
                function _numberBurned(address owner) internal view returns (uint256) {
                    return (_packedAddressData[owner] >> _BITPOS_NUMBER_BURNED) & _BITMASK_ADDRESS_DATA_ENTRY;
                }
                /**
                 * Returns the auxiliary data for `owner`. (e.g. number of whitelist mint slots used).
                 */
                function _getAux(address owner) internal view returns (uint64) {
                    return uint64(_packedAddressData[owner] >> _BITPOS_AUX);
                }
                /**
                 * Sets the auxiliary data for `owner`. (e.g. number of whitelist mint slots used).
                 * If there are multiple variables, please pack them into a uint64.
                 */
                function _setAux(address owner, uint64 aux) internal virtual {
                    uint256 packed = _packedAddressData[owner];
                    uint256 auxCasted;
                    // Cast `aux` with assembly to avoid redundant masking.
                    assembly {
                        auxCasted := aux
                    }
                    packed = (packed & _BITMASK_AUX_COMPLEMENT) | (auxCasted << _BITPOS_AUX);
                    _packedAddressData[owner] = packed;
                }
                // =============================================================
                //                            IERC165
                // =============================================================
                /**
                 * @dev Returns true if this contract implements the interface defined by
                 * `interfaceId`. See the corresponding
                 * [EIP section](https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified)
                 * to learn more about how these ids are created.
                 *
                 * This function call must use less than 30000 gas.
                 */
                function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
                    // The interface IDs are constants representing the first 4 bytes
                    // of the XOR of all function selectors in the interface.
                    // See: [ERC165](https://eips.ethereum.org/EIPS/eip-165)
                    // (e.g. `bytes4(i.functionA.selector ^ i.functionB.selector ^ ...)`)
                    return
                        interfaceId == 0x01ffc9a7 || // ERC165 interface ID for ERC165.
                        interfaceId == 0x80ac58cd || // ERC165 interface ID for ERC721.
                        interfaceId == 0x5b5e139f; // ERC165 interface ID for ERC721Metadata.
                }
                // =============================================================
                //                        IERC721Metadata
                // =============================================================
                /**
                 * @dev Returns the token collection name.
                 */
                function name() public view virtual override returns (string memory) {
                    return _name;
                }
                /**
                 * @dev Returns the token collection symbol.
                 */
                function symbol() public view virtual override returns (string memory) {
                    return _symbol;
                }
                /**
                 * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
                 */
                function tokenURI(uint256 tokenId) public view virtual override returns (string memory) {
                    if (!_exists(tokenId)) revert URIQueryForNonexistentToken();
                    string memory baseURI = _baseURI();
                    return bytes(baseURI).length != 0 ? string(abi.encodePacked(baseURI, _toString(tokenId))) : '';
                }
                /**
                 * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
                 * token will be the concatenation of the `baseURI` and the `tokenId`. Empty
                 * by default, it can be overridden in child contracts.
                 */
                function _baseURI() internal view virtual returns (string memory) {
                    return '';
                }
                // =============================================================
                //                     OWNERSHIPS OPERATIONS
                // =============================================================
                /**
                 * @dev Returns the owner of the `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function ownerOf(uint256 tokenId) public view virtual override returns (address) {
                    return address(uint160(_packedOwnershipOf(tokenId)));
                }
                /**
                 * @dev Gas spent here starts off proportional to the maximum mint batch size.
                 * It gradually moves to O(1) as tokens get transferred around over time.
                 */
                function _ownershipOf(uint256 tokenId) internal view virtual returns (TokenOwnership memory) {
                    return _unpackedOwnership(_packedOwnershipOf(tokenId));
                }
                /**
                 * @dev Returns the unpacked `TokenOwnership` struct at `index`.
                 */
                function _ownershipAt(uint256 index) internal view virtual returns (TokenOwnership memory) {
                    return _unpackedOwnership(_packedOwnerships[index]);
                }
                /**
                 * @dev Initializes the ownership slot minted at `index` for efficiency purposes.
                 */
                function _initializeOwnershipAt(uint256 index) internal virtual {
                    if (_packedOwnerships[index] == 0) {
                        _packedOwnerships[index] = _packedOwnershipOf(index);
                    }
                }
                /**
                 * Returns the packed ownership data of `tokenId`.
                 */
                function _packedOwnershipOf(uint256 tokenId) private view returns (uint256) {
                    uint256 curr = tokenId;
                    unchecked {
                        if (_startTokenId() <= curr)
                            if (curr < _currentIndex) {
                                uint256 packed = _packedOwnerships[curr];
                                // If not burned.
                                if (packed & _BITMASK_BURNED == 0) {
                                    // Invariant:
                                    // There will always be an initialized ownership slot
                                    // (i.e. `ownership.addr != address(0) && ownership.burned == false`)
                                    // before an unintialized ownership slot
                                    // (i.e. `ownership.addr == address(0) && ownership.burned == false`)
                                    // Hence, `curr` will not underflow.
                                    //
                                    // We can directly compare the packed value.
                                    // If the address is zero, packed will be zero.
                                    while (packed == 0) {
                                        packed = _packedOwnerships[--curr];
                                    }
                                    return packed;
                                }
                            }
                    }
                    revert OwnerQueryForNonexistentToken();
                }
                /**
                 * @dev Returns the unpacked `TokenOwnership` struct from `packed`.
                 */
                function _unpackedOwnership(uint256 packed) private pure returns (TokenOwnership memory ownership) {
                    ownership.addr = address(uint160(packed));
                    ownership.startTimestamp = uint64(packed >> _BITPOS_START_TIMESTAMP);
                    ownership.burned = packed & _BITMASK_BURNED != 0;
                    ownership.extraData = uint24(packed >> _BITPOS_EXTRA_DATA);
                }
                /**
                 * @dev Packs ownership data into a single uint256.
                 */
                function _packOwnershipData(address owner, uint256 flags) private view returns (uint256 result) {
                    assembly {
                        // Mask `owner` to the lower 160 bits, in case the upper bits somehow aren't clean.
                        owner := and(owner, _BITMASK_ADDRESS)
                        // `owner | (block.timestamp << _BITPOS_START_TIMESTAMP) | flags`.
                        result := or(owner, or(shl(_BITPOS_START_TIMESTAMP, timestamp()), flags))
                    }
                }
                /**
                 * @dev Returns the `nextInitialized` flag set if `quantity` equals 1.
                 */
                function _nextInitializedFlag(uint256 quantity) private pure returns (uint256 result) {
                    // For branchless setting of the `nextInitialized` flag.
                    assembly {
                        // `(quantity == 1) << _BITPOS_NEXT_INITIALIZED`.
                        result := shl(_BITPOS_NEXT_INITIALIZED, eq(quantity, 1))
                    }
                }
                // =============================================================
                //                      APPROVAL OPERATIONS
                // =============================================================
                /**
                 * @dev Gives permission to `to` to transfer `tokenId` token to another account.
                 * The approval is cleared when the token is transferred.
                 *
                 * Only a single account can be approved at a time, so approving the
                 * zero address clears previous approvals.
                 *
                 * Requirements:
                 *
                 * - The caller must own the token or be an approved operator.
                 * - `tokenId` must exist.
                 *
                 * Emits an {Approval} event.
                 */
                function approve(address to, uint256 tokenId) public payable virtual override {
                    address owner = ownerOf(tokenId);
                    if (_msgSenderERC721A() != owner)
                        if (!isApprovedForAll(owner, _msgSenderERC721A())) {
                            revert ApprovalCallerNotOwnerNorApproved();
                        }
                    _tokenApprovals[tokenId].value = to;
                    emit Approval(owner, to, tokenId);
                }
                /**
                 * @dev Returns the account approved for `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function getApproved(uint256 tokenId) public view virtual override returns (address) {
                    if (!_exists(tokenId)) revert ApprovalQueryForNonexistentToken();
                    return _tokenApprovals[tokenId].value;
                }
                /**
                 * @dev Approve or remove `operator` as an operator for the caller.
                 * Operators can call {transferFrom} or {safeTransferFrom}
                 * for any token owned by the caller.
                 *
                 * Requirements:
                 *
                 * - The `operator` cannot be the caller.
                 *
                 * Emits an {ApprovalForAll} event.
                 */
                function setApprovalForAll(address operator, bool approved) public virtual override {
                    _operatorApprovals[_msgSenderERC721A()][operator] = approved;
                    emit ApprovalForAll(_msgSenderERC721A(), operator, approved);
                }
                /**
                 * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
                 *
                 * See {setApprovalForAll}.
                 */
                function isApprovedForAll(address owner, address operator) public view virtual override returns (bool) {
                    return _operatorApprovals[owner][operator];
                }
                /**
                 * @dev Returns whether `tokenId` exists.
                 *
                 * Tokens can be managed by their owner or approved accounts via {approve} or {setApprovalForAll}.
                 *
                 * Tokens start existing when they are minted. See {_mint}.
                 */
                function _exists(uint256 tokenId) internal view virtual returns (bool) {
                    return
                        _startTokenId() <= tokenId &&
                        tokenId < _currentIndex && // If within bounds,
                        _packedOwnerships[tokenId] & _BITMASK_BURNED == 0; // and not burned.
                }
                /**
                 * @dev Returns whether `msgSender` is equal to `approvedAddress` or `owner`.
                 */
                function _isSenderApprovedOrOwner(
                    address approvedAddress,
                    address owner,
                    address msgSender
                ) private pure returns (bool result) {
                    assembly {
                        // Mask `owner` to the lower 160 bits, in case the upper bits somehow aren't clean.
                        owner := and(owner, _BITMASK_ADDRESS)
                        // Mask `msgSender` to the lower 160 bits, in case the upper bits somehow aren't clean.
                        msgSender := and(msgSender, _BITMASK_ADDRESS)
                        // `msgSender == owner || msgSender == approvedAddress`.
                        result := or(eq(msgSender, owner), eq(msgSender, approvedAddress))
                    }
                }
                /**
                 * @dev Returns the storage slot and value for the approved address of `tokenId`.
                 */
                function _getApprovedSlotAndAddress(uint256 tokenId)
                    private
                    view
                    returns (uint256 approvedAddressSlot, address approvedAddress)
                {
                    TokenApprovalRef storage tokenApproval = _tokenApprovals[tokenId];
                    // The following is equivalent to `approvedAddress = _tokenApprovals[tokenId].value`.
                    assembly {
                        approvedAddressSlot := tokenApproval.slot
                        approvedAddress := sload(approvedAddressSlot)
                    }
                }
                // =============================================================
                //                      TRANSFER OPERATIONS
                // =============================================================
                /**
                 * @dev Transfers `tokenId` from `from` to `to`.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must be owned by `from`.
                 * - If the caller is not `from`, it must be approved to move this token
                 * by either {approve} or {setApprovalForAll}.
                 *
                 * Emits a {Transfer} event.
                 */
                function transferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) public payable virtual override {
                    uint256 prevOwnershipPacked = _packedOwnershipOf(tokenId);
                    if (address(uint160(prevOwnershipPacked)) != from) revert TransferFromIncorrectOwner();
                    (uint256 approvedAddressSlot, address approvedAddress) = _getApprovedSlotAndAddress(tokenId);
                    // The nested ifs save around 20+ gas over a compound boolean condition.
                    if (!_isSenderApprovedOrOwner(approvedAddress, from, _msgSenderERC721A()))
                        if (!isApprovedForAll(from, _msgSenderERC721A())) revert TransferCallerNotOwnerNorApproved();
                    if (to == address(0)) revert TransferToZeroAddress();
                    _beforeTokenTransfers(from, to, tokenId, 1);
                    // Clear approvals from the previous owner.
                    assembly {
                        if approvedAddress {
                            // This is equivalent to `delete _tokenApprovals[tokenId]`.
                            sstore(approvedAddressSlot, 0)
                        }
                    }
                    // Underflow of the sender's balance is impossible because we check for
                    // ownership above and the recipient's balance can't realistically overflow.
                    // Counter overflow is incredibly unrealistic as `tokenId` would have to be 2**256.
                    unchecked {
                        // We can directly increment and decrement the balances.
                        --_packedAddressData[from]; // Updates: `balance -= 1`.
                        ++_packedAddressData[to]; // Updates: `balance += 1`.
                        // Updates:
                        // - `address` to the next owner.
                        // - `startTimestamp` to the timestamp of transfering.
                        // - `burned` to `false`.
                        // - `nextInitialized` to `true`.
                        _packedOwnerships[tokenId] = _packOwnershipData(
                            to,
                            _BITMASK_NEXT_INITIALIZED | _nextExtraData(from, to, prevOwnershipPacked)
                        );
                        // If the next slot may not have been initialized (i.e. `nextInitialized == false`) .
                        if (prevOwnershipPacked & _BITMASK_NEXT_INITIALIZED == 0) {
                            uint256 nextTokenId = tokenId + 1;
                            // If the next slot's address is zero and not burned (i.e. packed value is zero).
                            if (_packedOwnerships[nextTokenId] == 0) {
                                // If the next slot is within bounds.
                                if (nextTokenId != _currentIndex) {
                                    // Initialize the next slot to maintain correctness for `ownerOf(tokenId + 1)`.
                                    _packedOwnerships[nextTokenId] = prevOwnershipPacked;
                                }
                            }
                        }
                    }
                    emit Transfer(from, to, tokenId);
                    _afterTokenTransfers(from, to, tokenId, 1);
                }
                /**
                 * @dev Equivalent to `safeTransferFrom(from, to, tokenId, '')`.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) public payable virtual override {
                    safeTransferFrom(from, to, tokenId, '');
                }
                /**
                 * @dev Safely transfers `tokenId` token from `from` to `to`.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must exist and be owned by `from`.
                 * - If the caller is not `from`, it must be approved to move this token
                 * by either {approve} or {setApprovalForAll}.
                 * - If `to` refers to a smart contract, it must implement
                 * {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
                 *
                 * Emits a {Transfer} event.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes memory _data
                ) public payable virtual override {
                    transferFrom(from, to, tokenId);
                    if (to.code.length != 0)
                        if (!_checkContractOnERC721Received(from, to, tokenId, _data)) {
                            revert TransferToNonERC721ReceiverImplementer();
                        }
                }
                /**
                 * @dev Hook that is called before a set of serially-ordered token IDs
                 * are about to be transferred. This includes minting.
                 * And also called before burning one token.
                 *
                 * `startTokenId` - the first token ID to be transferred.
                 * `quantity` - the amount to be transferred.
                 *
                 * Calling conditions:
                 *
                 * - When `from` and `to` are both non-zero, `from`'s `tokenId` will be
                 * transferred to `to`.
                 * - When `from` is zero, `tokenId` will be minted for `to`.
                 * - When `to` is zero, `tokenId` will be burned by `from`.
                 * - `from` and `to` are never both zero.
                 */
                function _beforeTokenTransfers(
                    address from,
                    address to,
                    uint256 startTokenId,
                    uint256 quantity
                ) internal virtual {}
                /**
                 * @dev Hook that is called after a set of serially-ordered token IDs
                 * have been transferred. This includes minting.
                 * And also called after one token has been burned.
                 *
                 * `startTokenId` - the first token ID to be transferred.
                 * `quantity` - the amount to be transferred.
                 *
                 * Calling conditions:
                 *
                 * - When `from` and `to` are both non-zero, `from`'s `tokenId` has been
                 * transferred to `to`.
                 * - When `from` is zero, `tokenId` has been minted for `to`.
                 * - When `to` is zero, `tokenId` has been burned by `from`.
                 * - `from` and `to` are never both zero.
                 */
                function _afterTokenTransfers(
                    address from,
                    address to,
                    uint256 startTokenId,
                    uint256 quantity
                ) internal virtual {}
                /**
                 * @dev Private function to invoke {IERC721Receiver-onERC721Received} on a target contract.
                 *
                 * `from` - Previous owner of the given token ID.
                 * `to` - Target address that will receive the token.
                 * `tokenId` - Token ID to be transferred.
                 * `_data` - Optional data to send along with the call.
                 *
                 * Returns whether the call correctly returned the expected magic value.
                 */
                function _checkContractOnERC721Received(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes memory _data
                ) private returns (bool) {
                    try ERC721A__IERC721Receiver(to).onERC721Received(_msgSenderERC721A(), from, tokenId, _data) returns (
                        bytes4 retval
                    ) {
                        return retval == ERC721A__IERC721Receiver(to).onERC721Received.selector;
                    } catch (bytes memory reason) {
                        if (reason.length == 0) {
                            revert TransferToNonERC721ReceiverImplementer();
                        } else {
                            assembly {
                                revert(add(32, reason), mload(reason))
                            }
                        }
                    }
                }
                // =============================================================
                //                        MINT OPERATIONS
                // =============================================================
                /**
                 * @dev Mints `quantity` tokens and transfers them to `to`.
                 *
                 * Requirements:
                 *
                 * - `to` cannot be the zero address.
                 * - `quantity` must be greater than 0.
                 *
                 * Emits a {Transfer} event for each mint.
                 */
                function _mint(address to, uint256 quantity) internal virtual {
                    uint256 startTokenId = _currentIndex;
                    if (quantity == 0) revert MintZeroQuantity();
                    _beforeTokenTransfers(address(0), to, startTokenId, quantity);
                    // Overflows are incredibly unrealistic.
                    // `balance` and `numberMinted` have a maximum limit of 2**64.
                    // `tokenId` has a maximum limit of 2**256.
                    unchecked {
                        // Updates:
                        // - `balance += quantity`.
                        // - `numberMinted += quantity`.
                        //
                        // We can directly add to the `balance` and `numberMinted`.
                        _packedAddressData[to] += quantity * ((1 << _BITPOS_NUMBER_MINTED) | 1);
                        // Updates:
                        // - `address` to the owner.
                        // - `startTimestamp` to the timestamp of minting.
                        // - `burned` to `false`.
                        // - `nextInitialized` to `quantity == 1`.
                        _packedOwnerships[startTokenId] = _packOwnershipData(
                            to,
                            _nextInitializedFlag(quantity) | _nextExtraData(address(0), to, 0)
                        );
                        uint256 toMasked;
                        uint256 end = startTokenId + quantity;
                        // Use assembly to loop and emit the `Transfer` event for gas savings.
                        // The duplicated `log4` removes an extra check and reduces stack juggling.
                        // The assembly, together with the surrounding Solidity code, have been
                        // delicately arranged to nudge the compiler into producing optimized opcodes.
                        assembly {
                            // Mask `to` to the lower 160 bits, in case the upper bits somehow aren't clean.
                            toMasked := and(to, _BITMASK_ADDRESS)
                            // Emit the `Transfer` event.
                            log4(
                                0, // Start of data (0, since no data).
                                0, // End of data (0, since no data).
                                _TRANSFER_EVENT_SIGNATURE, // Signature.
                                0, // `address(0)`.
                                toMasked, // `to`.
                                startTokenId // `tokenId`.
                            )
                            // The `iszero(eq(,))` check ensures that large values of `quantity`
                            // that overflows uint256 will make the loop run out of gas.
                            // The compiler will optimize the `iszero` away for performance.
                            for {
                                let tokenId := add(startTokenId, 1)
                            } iszero(eq(tokenId, end)) {
                                tokenId := add(tokenId, 1)
                            } {
                                // Emit the `Transfer` event. Similar to above.
                                log4(0, 0, _TRANSFER_EVENT_SIGNATURE, 0, toMasked, tokenId)
                            }
                        }
                        if (toMasked == 0) revert MintToZeroAddress();
                        _currentIndex = end;
                    }
                    _afterTokenTransfers(address(0), to, startTokenId, quantity);
                }
                /**
                 * @dev Mints `quantity` tokens and transfers them to `to`.
                 *
                 * This function is intended for efficient minting only during contract creation.
                 *
                 * It emits only one {ConsecutiveTransfer} as defined in
                 * [ERC2309](https://eips.ethereum.org/EIPS/eip-2309),
                 * instead of a sequence of {Transfer} event(s).
                 *
                 * Calling this function outside of contract creation WILL make your contract
                 * non-compliant with the ERC721 standard.
                 * For full ERC721 compliance, substituting ERC721 {Transfer} event(s) with the ERC2309
                 * {ConsecutiveTransfer} event is only permissible during contract creation.
                 *
                 * Requirements:
                 *
                 * - `to` cannot be the zero address.
                 * - `quantity` must be greater than 0.
                 *
                 * Emits a {ConsecutiveTransfer} event.
                 */
                function _mintERC2309(address to, uint256 quantity) internal virtual {
                    uint256 startTokenId = _currentIndex;
                    if (to == address(0)) revert MintToZeroAddress();
                    if (quantity == 0) revert MintZeroQuantity();
                    if (quantity > _MAX_MINT_ERC2309_QUANTITY_LIMIT) revert MintERC2309QuantityExceedsLimit();
                    _beforeTokenTransfers(address(0), to, startTokenId, quantity);
                    // Overflows are unrealistic due to the above check for `quantity` to be below the limit.
                    unchecked {
                        // Updates:
                        // - `balance += quantity`.
                        // - `numberMinted += quantity`.
                        //
                        // We can directly add to the `balance` and `numberMinted`.
                        _packedAddressData[to] += quantity * ((1 << _BITPOS_NUMBER_MINTED) | 1);
                        // Updates:
                        // - `address` to the owner.
                        // - `startTimestamp` to the timestamp of minting.
                        // - `burned` to `false`.
                        // - `nextInitialized` to `quantity == 1`.
                        _packedOwnerships[startTokenId] = _packOwnershipData(
                            to,
                            _nextInitializedFlag(quantity) | _nextExtraData(address(0), to, 0)
                        );
                        emit ConsecutiveTransfer(startTokenId, startTokenId + quantity - 1, address(0), to);
                        _currentIndex = startTokenId + quantity;
                    }
                    _afterTokenTransfers(address(0), to, startTokenId, quantity);
                }
                /**
                 * @dev Safely mints `quantity` tokens and transfers them to `to`.
                 *
                 * Requirements:
                 *
                 * - If `to` refers to a smart contract, it must implement
                 * {IERC721Receiver-onERC721Received}, which is called for each safe transfer.
                 * - `quantity` must be greater than 0.
                 *
                 * See {_mint}.
                 *
                 * Emits a {Transfer} event for each mint.
                 */
                function _safeMint(
                    address to,
                    uint256 quantity,
                    bytes memory _data
                ) internal virtual {
                    _mint(to, quantity);
                    unchecked {
                        if (to.code.length != 0) {
                            uint256 end = _currentIndex;
                            uint256 index = end - quantity;
                            do {
                                if (!_checkContractOnERC721Received(address(0), to, index++, _data)) {
                                    revert TransferToNonERC721ReceiverImplementer();
                                }
                            } while (index < end);
                            // Reentrancy protection.
                            if (_currentIndex != end) revert();
                        }
                    }
                }
                /**
                 * @dev Equivalent to `_safeMint(to, quantity, '')`.
                 */
                function _safeMint(address to, uint256 quantity) internal virtual {
                    _safeMint(to, quantity, '');
                }
                // =============================================================
                //                        BURN OPERATIONS
                // =============================================================
                /**
                 * @dev Equivalent to `_burn(tokenId, false)`.
                 */
                function _burn(uint256 tokenId) internal virtual {
                    _burn(tokenId, false);
                }
                /**
                 * @dev Destroys `tokenId`.
                 * The approval is cleared when the token is burned.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 *
                 * Emits a {Transfer} event.
                 */
                function _burn(uint256 tokenId, bool approvalCheck) internal virtual {
                    uint256 prevOwnershipPacked = _packedOwnershipOf(tokenId);
                    address from = address(uint160(prevOwnershipPacked));
                    (uint256 approvedAddressSlot, address approvedAddress) = _getApprovedSlotAndAddress(tokenId);
                    if (approvalCheck) {
                        // The nested ifs save around 20+ gas over a compound boolean condition.
                        if (!_isSenderApprovedOrOwner(approvedAddress, from, _msgSenderERC721A()))
                            if (!isApprovedForAll(from, _msgSenderERC721A())) revert TransferCallerNotOwnerNorApproved();
                    }
                    _beforeTokenTransfers(from, address(0), tokenId, 1);
                    // Clear approvals from the previous owner.
                    assembly {
                        if approvedAddress {
                            // This is equivalent to `delete _tokenApprovals[tokenId]`.
                            sstore(approvedAddressSlot, 0)
                        }
                    }
                    // Underflow of the sender's balance is impossible because we check for
                    // ownership above and the recipient's balance can't realistically overflow.
                    // Counter overflow is incredibly unrealistic as `tokenId` would have to be 2**256.
                    unchecked {
                        // Updates:
                        // - `balance -= 1`.
                        // - `numberBurned += 1`.
                        //
                        // We can directly decrement the balance, and increment the number burned.
                        // This is equivalent to `packed -= 1; packed += 1 << _BITPOS_NUMBER_BURNED;`.
                        _packedAddressData[from] += (1 << _BITPOS_NUMBER_BURNED) - 1;
                        // Updates:
                        // - `address` to the last owner.
                        // - `startTimestamp` to the timestamp of burning.
                        // - `burned` to `true`.
                        // - `nextInitialized` to `true`.
                        _packedOwnerships[tokenId] = _packOwnershipData(
                            from,
                            (_BITMASK_BURNED | _BITMASK_NEXT_INITIALIZED) | _nextExtraData(from, address(0), prevOwnershipPacked)
                        );
                        // If the next slot may not have been initialized (i.e. `nextInitialized == false`) .
                        if (prevOwnershipPacked & _BITMASK_NEXT_INITIALIZED == 0) {
                            uint256 nextTokenId = tokenId + 1;
                            // If the next slot's address is zero and not burned (i.e. packed value is zero).
                            if (_packedOwnerships[nextTokenId] == 0) {
                                // If the next slot is within bounds.
                                if (nextTokenId != _currentIndex) {
                                    // Initialize the next slot to maintain correctness for `ownerOf(tokenId + 1)`.
                                    _packedOwnerships[nextTokenId] = prevOwnershipPacked;
                                }
                            }
                        }
                    }
                    emit Transfer(from, address(0), tokenId);
                    _afterTokenTransfers(from, address(0), tokenId, 1);
                    // Overflow not possible, as _burnCounter cannot be exceed _currentIndex times.
                    unchecked {
                        _burnCounter++;
                    }
                }
                // =============================================================
                //                     EXTRA DATA OPERATIONS
                // =============================================================
                /**
                 * @dev Directly sets the extra data for the ownership data `index`.
                 */
                function _setExtraDataAt(uint256 index, uint24 extraData) internal virtual {
                    uint256 packed = _packedOwnerships[index];
                    if (packed == 0) revert OwnershipNotInitializedForExtraData();
                    uint256 extraDataCasted;
                    // Cast `extraData` with assembly to avoid redundant masking.
                    assembly {
                        extraDataCasted := extraData
                    }
                    packed = (packed & _BITMASK_EXTRA_DATA_COMPLEMENT) | (extraDataCasted << _BITPOS_EXTRA_DATA);
                    _packedOwnerships[index] = packed;
                }
                /**
                 * @dev Called during each token transfer to set the 24bit `extraData` field.
                 * Intended to be overridden by the cosumer contract.
                 *
                 * `previousExtraData` - the value of `extraData` before transfer.
                 *
                 * Calling conditions:
                 *
                 * - When `from` and `to` are both non-zero, `from`'s `tokenId` will be
                 * transferred to `to`.
                 * - When `from` is zero, `tokenId` will be minted for `to`.
                 * - When `to` is zero, `tokenId` will be burned by `from`.
                 * - `from` and `to` are never both zero.
                 */
                function _extraData(
                    address from,
                    address to,
                    uint24 previousExtraData
                ) internal view virtual returns (uint24) {}
                /**
                 * @dev Returns the next extra data for the packed ownership data.
                 * The returned result is shifted into position.
                 */
                function _nextExtraData(
                    address from,
                    address to,
                    uint256 prevOwnershipPacked
                ) private view returns (uint256) {
                    uint24 extraData = uint24(prevOwnershipPacked >> _BITPOS_EXTRA_DATA);
                    return uint256(_extraData(from, to, extraData)) << _BITPOS_EXTRA_DATA;
                }
                // =============================================================
                //                       OTHER OPERATIONS
                // =============================================================
                /**
                 * @dev Returns the message sender (defaults to `msg.sender`).
                 *
                 * If you are writing GSN compatible contracts, you need to override this function.
                 */
                function _msgSenderERC721A() internal view virtual returns (address) {
                    return msg.sender;
                }
                /**
                 * @dev Converts a uint256 to its ASCII string decimal representation.
                 */
                function _toString(uint256 value) internal pure virtual returns (string memory str) {
                    assembly {
                        // The maximum value of a uint256 contains 78 digits (1 byte per digit), but
                        // we allocate 0xa0 bytes to keep the free memory pointer 32-byte word aligned.
                        // We will need 1 word for the trailing zeros padding, 1 word for the length,
                        // and 3 words for a maximum of 78 digits. Total: 5 * 0x20 = 0xa0.
                        let m := add(mload(0x40), 0xa0)
                        // Update the free memory pointer to allocate.
                        mstore(0x40, m)
                        // Assign the `str` to the end.
                        str := sub(m, 0x20)
                        // Zeroize the slot after the string.
                        mstore(str, 0)
                        // Cache the end of the memory to calculate the length later.
                        let end := str
                        // We write the string from rightmost digit to leftmost digit.
                        // The following is essentially a do-while loop that also handles the zero case.
                        // prettier-ignore
                        for { let temp := value } 1 {} {
                            str := sub(str, 1)
                            // Write the character to the pointer.
                            // The ASCII index of the '0' character is 48.
                            mstore8(str, add(48, mod(temp, 10)))
                            // Keep dividing `temp` until zero.
                            temp := div(temp, 10)
                            // prettier-ignore
                            if iszero(temp) { break }
                        }
                        let length := sub(end, str)
                        // Move the pointer 32 bytes leftwards to make room for the length.
                        str := sub(str, 0x20)
                        // Store the length.
                        mstore(str, length)
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // ERC721A Contracts v4.2.3
            // Creator: Chiru Labs
            pragma solidity ^0.8.4;
            /**
             * @dev Interface of ERC721A.
             */
            interface IERC721A {
                /**
                 * The caller must own the token or be an approved operator.
                 */
                error ApprovalCallerNotOwnerNorApproved();
                /**
                 * The token does not exist.
                 */
                error ApprovalQueryForNonexistentToken();
                /**
                 * Cannot query the balance for the zero address.
                 */
                error BalanceQueryForZeroAddress();
                /**
                 * Cannot mint to the zero address.
                 */
                error MintToZeroAddress();
                /**
                 * The quantity of tokens minted must be more than zero.
                 */
                error MintZeroQuantity();
                /**
                 * The token does not exist.
                 */
                error OwnerQueryForNonexistentToken();
                /**
                 * The caller must own the token or be an approved operator.
                 */
                error TransferCallerNotOwnerNorApproved();
                /**
                 * The token must be owned by `from`.
                 */
                error TransferFromIncorrectOwner();
                /**
                 * Cannot safely transfer to a contract that does not implement the
                 * ERC721Receiver interface.
                 */
                error TransferToNonERC721ReceiverImplementer();
                /**
                 * Cannot transfer to the zero address.
                 */
                error TransferToZeroAddress();
                /**
                 * The token does not exist.
                 */
                error URIQueryForNonexistentToken();
                /**
                 * The `quantity` minted with ERC2309 exceeds the safety limit.
                 */
                error MintERC2309QuantityExceedsLimit();
                /**
                 * The `extraData` cannot be set on an unintialized ownership slot.
                 */
                error OwnershipNotInitializedForExtraData();
                // =============================================================
                //                            STRUCTS
                // =============================================================
                struct TokenOwnership {
                    // The address of the owner.
                    address addr;
                    // Stores the start time of ownership with minimal overhead for tokenomics.
                    uint64 startTimestamp;
                    // Whether the token has been burned.
                    bool burned;
                    // Arbitrary data similar to `startTimestamp` that can be set via {_extraData}.
                    uint24 extraData;
                }
                // =============================================================
                //                         TOKEN COUNTERS
                // =============================================================
                /**
                 * @dev Returns the total number of tokens in existence.
                 * Burned tokens will reduce the count.
                 * To get the total number of tokens minted, please see {_totalMinted}.
                 */
                function totalSupply() external view returns (uint256);
                // =============================================================
                //                            IERC165
                // =============================================================
                /**
                 * @dev Returns true if this contract implements the interface defined by
                 * `interfaceId`. See the corresponding
                 * [EIP section](https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified)
                 * to learn more about how these ids are created.
                 *
                 * This function call must use less than 30000 gas.
                 */
                function supportsInterface(bytes4 interfaceId) external view returns (bool);
                // =============================================================
                //                            IERC721
                // =============================================================
                /**
                 * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
                 */
                event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);
                /**
                 * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
                 */
                event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);
                /**
                 * @dev Emitted when `owner` enables or disables
                 * (`approved`) `operator` to manage all of its assets.
                 */
                event ApprovalForAll(address indexed owner, address indexed operator, bool approved);
                /**
                 * @dev Returns the number of tokens in `owner`'s account.
                 */
                function balanceOf(address owner) external view returns (uint256 balance);
                /**
                 * @dev Returns the owner of the `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function ownerOf(uint256 tokenId) external view returns (address owner);
                /**
                 * @dev Safely transfers `tokenId` token from `from` to `to`,
                 * checking first that contract recipients are aware of the ERC721 protocol
                 * to prevent tokens from being forever locked.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must exist and be owned by `from`.
                 * - If the caller is not `from`, it must be have been allowed to move
                 * this token by either {approve} or {setApprovalForAll}.
                 * - If `to` refers to a smart contract, it must implement
                 * {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
                 *
                 * Emits a {Transfer} event.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes calldata data
                ) external payable;
                /**
                 * @dev Equivalent to `safeTransferFrom(from, to, tokenId, '')`.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) external payable;
                /**
                 * @dev Transfers `tokenId` from `from` to `to`.
                 *
                 * WARNING: Usage of this method is discouraged, use {safeTransferFrom}
                 * whenever possible.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must be owned by `from`.
                 * - If the caller is not `from`, it must be approved to move this token
                 * by either {approve} or {setApprovalForAll}.
                 *
                 * Emits a {Transfer} event.
                 */
                function transferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) external payable;
                /**
                 * @dev Gives permission to `to` to transfer `tokenId` token to another account.
                 * The approval is cleared when the token is transferred.
                 *
                 * Only a single account can be approved at a time, so approving the
                 * zero address clears previous approvals.
                 *
                 * Requirements:
                 *
                 * - The caller must own the token or be an approved operator.
                 * - `tokenId` must exist.
                 *
                 * Emits an {Approval} event.
                 */
                function approve(address to, uint256 tokenId) external payable;
                /**
                 * @dev Approve or remove `operator` as an operator for the caller.
                 * Operators can call {transferFrom} or {safeTransferFrom}
                 * for any token owned by the caller.
                 *
                 * Requirements:
                 *
                 * - The `operator` cannot be the caller.
                 *
                 * Emits an {ApprovalForAll} event.
                 */
                function setApprovalForAll(address operator, bool _approved) external;
                /**
                 * @dev Returns the account approved for `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function getApproved(uint256 tokenId) external view returns (address operator);
                /**
                 * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
                 *
                 * See {setApprovalForAll}.
                 */
                function isApprovedForAll(address owner, address operator) external view returns (bool);
                // =============================================================
                //                        IERC721Metadata
                // =============================================================
                /**
                 * @dev Returns the token collection name.
                 */
                function name() external view returns (string memory);
                /**
                 * @dev Returns the token collection symbol.
                 */
                function symbol() external view returns (string memory);
                /**
                 * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
                 */
                function tokenURI(uint256 tokenId) external view returns (string memory);
                // =============================================================
                //                           IERC2309
                // =============================================================
                /**
                 * @dev Emitted when tokens in `fromTokenId` to `toTokenId`
                 * (inclusive) is transferred from `from` to `to`, as defined in the
                 * [ERC2309](https://eips.ethereum.org/EIPS/eip-2309) standard.
                 *
                 * See {_mintERC2309} for more details.
                 */
                event ConsecutiveTransfer(uint256 indexed fromTokenId, uint256 toTokenId, address indexed from, address indexed to);
            }
            // SPDX-License-Identifier: MIT
            // ERC721A Contracts v4.2.3
            // Creator: Chiru Labs
            pragma solidity ^0.8.4;
            import './IERC721AQueryable.sol';
            import '../ERC721A.sol';
            /**
             * @title ERC721AQueryable.
             *
             * @dev ERC721A subclass with convenience query functions.
             */
            abstract contract ERC721AQueryable is ERC721A, IERC721AQueryable {
                /**
                 * @dev Returns the `TokenOwnership` struct at `tokenId` without reverting.
                 *
                 * If the `tokenId` is out of bounds:
                 *
                 * - `addr = address(0)`
                 * - `startTimestamp = 0`
                 * - `burned = false`
                 * - `extraData = 0`
                 *
                 * If the `tokenId` is burned:
                 *
                 * - `addr = <Address of owner before token was burned>`
                 * - `startTimestamp = <Timestamp when token was burned>`
                 * - `burned = true`
                 * - `extraData = <Extra data when token was burned>`
                 *
                 * Otherwise:
                 *
                 * - `addr = <Address of owner>`
                 * - `startTimestamp = <Timestamp of start of ownership>`
                 * - `burned = false`
                 * - `extraData = <Extra data at start of ownership>`
                 */
                function explicitOwnershipOf(uint256 tokenId) public view virtual override returns (TokenOwnership memory) {
                    TokenOwnership memory ownership;
                    if (tokenId < _startTokenId() || tokenId >= _nextTokenId()) {
                        return ownership;
                    }
                    ownership = _ownershipAt(tokenId);
                    if (ownership.burned) {
                        return ownership;
                    }
                    return _ownershipOf(tokenId);
                }
                /**
                 * @dev Returns an array of `TokenOwnership` structs at `tokenIds` in order.
                 * See {ERC721AQueryable-explicitOwnershipOf}
                 */
                function explicitOwnershipsOf(uint256[] calldata tokenIds)
                    external
                    view
                    virtual
                    override
                    returns (TokenOwnership[] memory)
                {
                    unchecked {
                        uint256 tokenIdsLength = tokenIds.length;
                        TokenOwnership[] memory ownerships = new TokenOwnership[](tokenIdsLength);
                        for (uint256 i; i != tokenIdsLength; ++i) {
                            ownerships[i] = explicitOwnershipOf(tokenIds[i]);
                        }
                        return ownerships;
                    }
                }
                /**
                 * @dev Returns an array of token IDs owned by `owner`,
                 * in the range [`start`, `stop`)
                 * (i.e. `start <= tokenId < stop`).
                 *
                 * This function allows for tokens to be queried if the collection
                 * grows too big for a single call of {ERC721AQueryable-tokensOfOwner}.
                 *
                 * Requirements:
                 *
                 * - `start < stop`
                 */
                function tokensOfOwnerIn(
                    address owner,
                    uint256 start,
                    uint256 stop
                ) external view virtual override returns (uint256[] memory) {
                    unchecked {
                        if (start >= stop) revert InvalidQueryRange();
                        uint256 tokenIdsIdx;
                        uint256 stopLimit = _nextTokenId();
                        // Set `start = max(start, _startTokenId())`.
                        if (start < _startTokenId()) {
                            start = _startTokenId();
                        }
                        // Set `stop = min(stop, stopLimit)`.
                        if (stop > stopLimit) {
                            stop = stopLimit;
                        }
                        uint256 tokenIdsMaxLength = balanceOf(owner);
                        // Set `tokenIdsMaxLength = min(balanceOf(owner), stop - start)`,
                        // to cater for cases where `balanceOf(owner)` is too big.
                        if (start < stop) {
                            uint256 rangeLength = stop - start;
                            if (rangeLength < tokenIdsMaxLength) {
                                tokenIdsMaxLength = rangeLength;
                            }
                        } else {
                            tokenIdsMaxLength = 0;
                        }
                        uint256[] memory tokenIds = new uint256[](tokenIdsMaxLength);
                        if (tokenIdsMaxLength == 0) {
                            return tokenIds;
                        }
                        // We need to call `explicitOwnershipOf(start)`,
                        // because the slot at `start` may not be initialized.
                        TokenOwnership memory ownership = explicitOwnershipOf(start);
                        address currOwnershipAddr;
                        // If the starting slot exists (i.e. not burned), initialize `currOwnershipAddr`.
                        // `ownership.address` will not be zero, as `start` is clamped to the valid token ID range.
                        if (!ownership.burned) {
                            currOwnershipAddr = ownership.addr;
                        }
                        for (uint256 i = start; i != stop && tokenIdsIdx != tokenIdsMaxLength; ++i) {
                            ownership = _ownershipAt(i);
                            if (ownership.burned) {
                                continue;
                            }
                            if (ownership.addr != address(0)) {
                                currOwnershipAddr = ownership.addr;
                            }
                            if (currOwnershipAddr == owner) {
                                tokenIds[tokenIdsIdx++] = i;
                            }
                        }
                        // Downsize the array to fit.
                        assembly {
                            mstore(tokenIds, tokenIdsIdx)
                        }
                        return tokenIds;
                    }
                }
                /**
                 * @dev Returns an array of token IDs owned by `owner`.
                 *
                 * This function scans the ownership mapping and is O(`totalSupply`) in complexity.
                 * It is meant to be called off-chain.
                 *
                 * See {ERC721AQueryable-tokensOfOwnerIn} for splitting the scan into
                 * multiple smaller scans if the collection is large enough to cause
                 * an out-of-gas error (10K collections should be fine).
                 */
                function tokensOfOwner(address owner) external view virtual override returns (uint256[] memory) {
                    unchecked {
                        uint256 tokenIdsIdx;
                        address currOwnershipAddr;
                        uint256 tokenIdsLength = balanceOf(owner);
                        uint256[] memory tokenIds = new uint256[](tokenIdsLength);
                        TokenOwnership memory ownership;
                        for (uint256 i = _startTokenId(); tokenIdsIdx != tokenIdsLength; ++i) {
                            ownership = _ownershipAt(i);
                            if (ownership.burned) {
                                continue;
                            }
                            if (ownership.addr != address(0)) {
                                currOwnershipAddr = ownership.addr;
                            }
                            if (currOwnershipAddr == owner) {
                                tokenIds[tokenIdsIdx++] = i;
                            }
                        }
                        return tokenIds;
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // ERC721A Contracts v4.2.3
            // Creator: Chiru Labs
            pragma solidity ^0.8.4;
            import '../IERC721A.sol';
            /**
             * @dev Interface of ERC721AQueryable.
             */
            interface IERC721AQueryable is IERC721A {
                /**
                 * Invalid query range (`start` >= `stop`).
                 */
                error InvalidQueryRange();
                /**
                 * @dev Returns the `TokenOwnership` struct at `tokenId` without reverting.
                 *
                 * If the `tokenId` is out of bounds:
                 *
                 * - `addr = address(0)`
                 * - `startTimestamp = 0`
                 * - `burned = false`
                 * - `extraData = 0`
                 *
                 * If the `tokenId` is burned:
                 *
                 * - `addr = <Address of owner before token was burned>`
                 * - `startTimestamp = <Timestamp when token was burned>`
                 * - `burned = true`
                 * - `extraData = <Extra data when token was burned>`
                 *
                 * Otherwise:
                 *
                 * - `addr = <Address of owner>`
                 * - `startTimestamp = <Timestamp of start of ownership>`
                 * - `burned = false`
                 * - `extraData = <Extra data at start of ownership>`
                 */
                function explicitOwnershipOf(uint256 tokenId) external view returns (TokenOwnership memory);
                /**
                 * @dev Returns an array of `TokenOwnership` structs at `tokenIds` in order.
                 * See {ERC721AQueryable-explicitOwnershipOf}
                 */
                function explicitOwnershipsOf(uint256[] memory tokenIds) external view returns (TokenOwnership[] memory);
                /**
                 * @dev Returns an array of token IDs owned by `owner`,
                 * in the range [`start`, `stop`)
                 * (i.e. `start <= tokenId < stop`).
                 *
                 * This function allows for tokens to be queried if the collection
                 * grows too big for a single call of {ERC721AQueryable-tokensOfOwner}.
                 *
                 * Requirements:
                 *
                 * - `start < stop`
                 */
                function tokensOfOwnerIn(
                    address owner,
                    uint256 start,
                    uint256 stop
                ) external view returns (uint256[] memory);
                /**
                 * @dev Returns an array of token IDs owned by `owner`.
                 *
                 * This function scans the ownership mapping and is O(`totalSupply`) in complexity.
                 * It is meant to be called off-chain.
                 *
                 * See {ERC721AQueryable-tokensOfOwnerIn} for splitting the scan into
                 * multiple smaller scans if the collection is large enough to cause
                 * an out-of-gas error (10K collections should be fine).
                 */
                function tokensOfOwner(address owner) external view returns (uint256[] memory);
            }
            

            File 3 of 5: ZKBridgeEntrypoint
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Proxy.sol";
            contract ZKBridgeEntrypoint is ERC1967Proxy {
                constructor (address setup, bytes memory initData) ERC1967Proxy(setup, initData) {}
            }// SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (proxy/ERC1967/ERC1967Proxy.sol)
            pragma solidity ^0.8.0;
            import "../Proxy.sol";
            import "./ERC1967Upgrade.sol";
            /**
             * @dev This contract implements an upgradeable proxy. It is upgradeable because calls are delegated to an
             * implementation address that can be changed. This address is stored in storage in the location specified by
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967], so that it doesn't conflict with the storage layout of the
             * implementation behind the proxy.
             */
            contract ERC1967Proxy is Proxy, ERC1967Upgrade {
                /**
                 * @dev Initializes the upgradeable proxy with an initial implementation specified by `_logic`.
                 *
                 * If `_data` is nonempty, it's used as data in a delegate call to `_logic`. This will typically be an encoded
                 * function call, and allows initializing the storage of the proxy like a Solidity constructor.
                 */
                constructor(address _logic, bytes memory _data) payable {
                    _upgradeToAndCall(_logic, _data, false);
                }
                /**
                 * @dev Returns the current implementation address.
                 */
                function _implementation() internal view virtual override returns (address impl) {
                    return ERC1967Upgrade._getImplementation();
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.6.0) (proxy/Proxy.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
             * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
             * be specified by overriding the virtual {_implementation} function.
             *
             * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
             * different contract through the {_delegate} function.
             *
             * The success and return data of the delegated call will be returned back to the caller of the proxy.
             */
            abstract contract Proxy {
                /**
                 * @dev Delegates the current call to `implementation`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _delegate(address implementation) internal virtual {
                    assembly {
                        // Copy msg.data. We take full control of memory in this inline assembly
                        // block because it will not return to Solidity code. We overwrite the
                        // Solidity scratch pad at memory position 0.
                        calldatacopy(0, 0, calldatasize())
                        // Call the implementation.
                        // out and outsize are 0 because we don't know the size yet.
                        let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                        // Copy the returned data.
                        returndatacopy(0, 0, returndatasize())
                        switch result
                        // delegatecall returns 0 on error.
                        case 0 {
                            revert(0, returndatasize())
                        }
                        default {
                            return(0, returndatasize())
                        }
                    }
                }
                /**
                 * @dev This is a virtual function that should be overridden so it returns the address to which the fallback function
                 * and {_fallback} should delegate.
                 */
                function _implementation() internal view virtual returns (address);
                /**
                 * @dev Delegates the current call to the address returned by `_implementation()`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _fallback() internal virtual {
                    _beforeFallback();
                    _delegate(_implementation());
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
                 * function in the contract matches the call data.
                 */
                fallback() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
                 * is empty.
                 */
                receive() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
                 * call, or as part of the Solidity `fallback` or `receive` functions.
                 *
                 * If overridden should call `super._beforeFallback()`.
                 */
                function _beforeFallback() internal virtual {}
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (proxy/ERC1967/ERC1967Upgrade.sol)
            pragma solidity ^0.8.2;
            import "../beacon/IBeacon.sol";
            import "../../interfaces/draft-IERC1822.sol";
            import "../../utils/Address.sol";
            import "../../utils/StorageSlot.sol";
            /**
             * @dev This abstract contract provides getters and event emitting update functions for
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
             *
             * _Available since v4.1._
             *
             * @custom:oz-upgrades-unsafe-allow delegatecall
             */
            abstract contract ERC1967Upgrade {
                // This is the keccak-256 hash of "eip1967.proxy.rollback" subtracted by 1
                bytes32 private constant _ROLLBACK_SLOT = 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143;
                /**
                 * @dev Storage slot with the address of the current implementation.
                 * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                /**
                 * @dev Emitted when the implementation is upgraded.
                 */
                event Upgraded(address indexed implementation);
                /**
                 * @dev Returns the current implementation address.
                 */
                function _getImplementation() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 implementation slot.
                 */
                function _setImplementation(address newImplementation) private {
                    require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
                    StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
                }
                /**
                 * @dev Perform implementation upgrade
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeTo(address newImplementation) internal {
                    _setImplementation(newImplementation);
                    emit Upgraded(newImplementation);
                }
                /**
                 * @dev Perform implementation upgrade with additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCall(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _upgradeTo(newImplementation);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(newImplementation, data);
                    }
                }
                /**
                 * @dev Perform implementation upgrade with security checks for UUPS proxies, and additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCallUUPS(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    // Upgrades from old implementations will perform a rollback test. This test requires the new
                    // implementation to upgrade back to the old, non-ERC1822 compliant, implementation. Removing
                    // this special case will break upgrade paths from old UUPS implementation to new ones.
                    if (StorageSlot.getBooleanSlot(_ROLLBACK_SLOT).value) {
                        _setImplementation(newImplementation);
                    } else {
                        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
                            require(slot == _IMPLEMENTATION_SLOT, "ERC1967Upgrade: unsupported proxiableUUID");
                        } catch {
                            revert("ERC1967Upgrade: new implementation is not UUPS");
                        }
                        _upgradeToAndCall(newImplementation, data, forceCall);
                    }
                }
                /**
                 * @dev Storage slot with the admin of the contract.
                 * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                /**
                 * @dev Emitted when the admin account has changed.
                 */
                event AdminChanged(address previousAdmin, address newAdmin);
                /**
                 * @dev Returns the current admin.
                 */
                function _getAdmin() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_ADMIN_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 admin slot.
                 */
                function _setAdmin(address newAdmin) private {
                    require(newAdmin != address(0), "ERC1967: new admin is the zero address");
                    StorageSlot.getAddressSlot(_ADMIN_SLOT).value = newAdmin;
                }
                /**
                 * @dev Changes the admin of the proxy.
                 *
                 * Emits an {AdminChanged} event.
                 */
                function _changeAdmin(address newAdmin) internal {
                    emit AdminChanged(_getAdmin(), newAdmin);
                    _setAdmin(newAdmin);
                }
                /**
                 * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
                 * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
                 */
                bytes32 internal constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
                /**
                 * @dev Emitted when the beacon is upgraded.
                 */
                event BeaconUpgraded(address indexed beacon);
                /**
                 * @dev Returns the current beacon.
                 */
                function _getBeacon() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_BEACON_SLOT).value;
                }
                /**
                 * @dev Stores a new beacon in the EIP1967 beacon slot.
                 */
                function _setBeacon(address newBeacon) private {
                    require(Address.isContract(newBeacon), "ERC1967: new beacon is not a contract");
                    require(
                        Address.isContract(IBeacon(newBeacon).implementation()),
                        "ERC1967: beacon implementation is not a contract"
                    );
                    StorageSlot.getAddressSlot(_BEACON_SLOT).value = newBeacon;
                }
                /**
                 * @dev Perform beacon upgrade with additional setup call. Note: This upgrades the address of the beacon, it does
                 * not upgrade the implementation contained in the beacon (see {UpgradeableBeacon-_setImplementation} for that).
                 *
                 * Emits a {BeaconUpgraded} event.
                 */
                function _upgradeBeaconToAndCall(
                    address newBeacon,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _setBeacon(newBeacon);
                    emit BeaconUpgraded(newBeacon);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This is the interface that {BeaconProxy} expects of its beacon.
             */
            interface IBeacon {
                /**
                 * @dev Must return an address that can be used as a delegate call target.
                 *
                 * {BeaconProxy} will check that this address is a contract.
                 */
                function implementation() external view returns (address);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
             * proxy whose upgrades are fully controlled by the current implementation.
             */
            interface IERC1822Proxiable {
                /**
                 * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
                 * address.
                 *
                 * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
                 * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
                 * function revert if invoked through a proxy.
                 */
                function proxiableUUID() external view returns (bytes32);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/Address.sol)
            pragma solidity ^0.8.1;
            /**
             * @dev Collection of functions related to the address type
             */
            library Address {
                /**
                 * @dev Returns true if `account` is a contract.
                 *
                 * [IMPORTANT]
                 * ====
                 * It is unsafe to assume that an address for which this function returns
                 * false is an externally-owned account (EOA) and not a contract.
                 *
                 * Among others, `isContract` will return false for the following
                 * types of addresses:
                 *
                 *  - an externally-owned account
                 *  - a contract in construction
                 *  - an address where a contract will be created
                 *  - an address where a contract lived, but was destroyed
                 * ====
                 *
                 * [IMPORTANT]
                 * ====
                 * You shouldn't rely on `isContract` to protect against flash loan attacks!
                 *
                 * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
                 * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
                 * constructor.
                 * ====
                 */
                function isContract(address account) internal view returns (bool) {
                    // This method relies on extcodesize/address.code.length, which returns 0
                    // for contracts in construction, since the code is only stored at the end
                    // of the constructor execution.
                    return account.code.length > 0;
                }
                /**
                 * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                 * `recipient`, forwarding all available gas and reverting on errors.
                 *
                 * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                 * of certain opcodes, possibly making contracts go over the 2300 gas limit
                 * imposed by `transfer`, making them unable to receive funds via
                 * `transfer`. {sendValue} removes this limitation.
                 *
                 * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                 *
                 * IMPORTANT: because control is transferred to `recipient`, care must be
                 * taken to not create reentrancy vulnerabilities. Consider using
                 * {ReentrancyGuard} or the
                 * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                 */
                function sendValue(address payable recipient, uint256 amount) internal {
                    require(address(this).balance >= amount, "Address: insufficient balance");
                    (bool success, ) = recipient.call{value: amount}("");
                    require(success, "Address: unable to send value, recipient may have reverted");
                }
                /**
                 * @dev Performs a Solidity function call using a low level `call`. A
                 * plain `call` is an unsafe replacement for a function call: use this
                 * function instead.
                 *
                 * If `target` reverts with a revert reason, it is bubbled up by this
                 * function (like regular Solidity function calls).
                 *
                 * Returns the raw returned data. To convert to the expected return value,
                 * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                 *
                 * Requirements:
                 *
                 * - `target` must be a contract.
                 * - calling `target` with `data` must not revert.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionCall(target, data, "Address: low-level call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                 * `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, 0, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but also transferring `value` wei to `target`.
                 *
                 * Requirements:
                 *
                 * - the calling contract must have an ETH balance of at least `value`.
                 * - the called Solidity function must be `payable`.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                 * with `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(address(this).balance >= value, "Address: insufficient balance for call");
                    require(isContract(target), "Address: call to non-contract");
                    (bool success, bytes memory returndata) = target.call{value: value}(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                    return functionStaticCall(target, data, "Address: low-level static call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal view returns (bytes memory) {
                    require(isContract(target), "Address: static call to non-contract");
                    (bool success, bytes memory returndata) = target.staticcall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(isContract(target), "Address: delegate call to non-contract");
                    (bool success, bytes memory returndata) = target.delegatecall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
                 * revert reason using the provided one.
                 *
                 * _Available since v4.3._
                 */
                function verifyCallResult(
                    bool success,
                    bytes memory returndata,
                    string memory errorMessage
                ) internal pure returns (bytes memory) {
                    if (success) {
                        return returndata;
                    } else {
                        // Look for revert reason and bubble it up if present
                        if (returndata.length > 0) {
                            // The easiest way to bubble the revert reason is using memory via assembly
                            /// @solidity memory-safe-assembly
                            assembly {
                                let returndata_size := mload(returndata)
                                revert(add(32, returndata), returndata_size)
                            }
                        } else {
                            revert(errorMessage);
                        }
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Library for reading and writing primitive types to specific storage slots.
             *
             * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
             * This library helps with reading and writing to such slots without the need for inline assembly.
             *
             * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
             *
             * Example usage to set ERC1967 implementation slot:
             * ```
             * contract ERC1967 {
             *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
             *
             *     function _getImplementation() internal view returns (address) {
             *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
             *     }
             *
             *     function _setImplementation(address newImplementation) internal {
             *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
             *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
             *     }
             * }
             * ```
             *
             * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._
             */
            library StorageSlot {
                struct AddressSlot {
                    address value;
                }
                struct BooleanSlot {
                    bool value;
                }
                struct Bytes32Slot {
                    bytes32 value;
                }
                struct Uint256Slot {
                    uint256 value;
                }
                /**
                 * @dev Returns an `AddressSlot` with member `value` located at `slot`.
                 */
                function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
                 */
                function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
                 */
                function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
                 */
                function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
            }
            

            File 4 of 5: NFTBridgeImplementation
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol";
            import "./NFTBridge.sol";
            contract NFTBridgeImplementation is NFTBridge {
                // Beacon getter for the token contracts
                function implementation() public view returns (address) {
                    return tokenImplementation();
                }
                function initialize() initializer public virtual {
                    // this function needs to be exposed for an upgrade to pass
                }
                modifier initializer() {
                    address impl = ERC1967Upgrade._getImplementation();
                    require(
                        !isInitialized(impl),
                        "already initialized"
                    );
                    _setInitialized(impl);
                    _;
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (proxy/ERC1967/ERC1967Upgrade.sol)
            pragma solidity ^0.8.2;
            import "../beacon/IBeacon.sol";
            import "../../interfaces/draft-IERC1822.sol";
            import "../../utils/Address.sol";
            import "../../utils/StorageSlot.sol";
            /**
             * @dev This abstract contract provides getters and event emitting update functions for
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
             *
             * _Available since v4.1._
             *
             * @custom:oz-upgrades-unsafe-allow delegatecall
             */
            abstract contract ERC1967Upgrade {
                // This is the keccak-256 hash of "eip1967.proxy.rollback" subtracted by 1
                bytes32 private constant _ROLLBACK_SLOT = 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143;
                /**
                 * @dev Storage slot with the address of the current implementation.
                 * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                /**
                 * @dev Emitted when the implementation is upgraded.
                 */
                event Upgraded(address indexed implementation);
                /**
                 * @dev Returns the current implementation address.
                 */
                function _getImplementation() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 implementation slot.
                 */
                function _setImplementation(address newImplementation) private {
                    require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
                    StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
                }
                /**
                 * @dev Perform implementation upgrade
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeTo(address newImplementation) internal {
                    _setImplementation(newImplementation);
                    emit Upgraded(newImplementation);
                }
                /**
                 * @dev Perform implementation upgrade with additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCall(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _upgradeTo(newImplementation);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(newImplementation, data);
                    }
                }
                /**
                 * @dev Perform implementation upgrade with security checks for UUPS proxies, and additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCallUUPS(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    // Upgrades from old implementations will perform a rollback test. This test requires the new
                    // implementation to upgrade back to the old, non-ERC1822 compliant, implementation. Removing
                    // this special case will break upgrade paths from old UUPS implementation to new ones.
                    if (StorageSlot.getBooleanSlot(_ROLLBACK_SLOT).value) {
                        _setImplementation(newImplementation);
                    } else {
                        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
                            require(slot == _IMPLEMENTATION_SLOT, "ERC1967Upgrade: unsupported proxiableUUID");
                        } catch {
                            revert("ERC1967Upgrade: new implementation is not UUPS");
                        }
                        _upgradeToAndCall(newImplementation, data, forceCall);
                    }
                }
                /**
                 * @dev Storage slot with the admin of the contract.
                 * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                /**
                 * @dev Emitted when the admin account has changed.
                 */
                event AdminChanged(address previousAdmin, address newAdmin);
                /**
                 * @dev Returns the current admin.
                 */
                function _getAdmin() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_ADMIN_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 admin slot.
                 */
                function _setAdmin(address newAdmin) private {
                    require(newAdmin != address(0), "ERC1967: new admin is the zero address");
                    StorageSlot.getAddressSlot(_ADMIN_SLOT).value = newAdmin;
                }
                /**
                 * @dev Changes the admin of the proxy.
                 *
                 * Emits an {AdminChanged} event.
                 */
                function _changeAdmin(address newAdmin) internal {
                    emit AdminChanged(_getAdmin(), newAdmin);
                    _setAdmin(newAdmin);
                }
                /**
                 * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
                 * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
                 */
                bytes32 internal constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
                /**
                 * @dev Emitted when the beacon is upgraded.
                 */
                event BeaconUpgraded(address indexed beacon);
                /**
                 * @dev Returns the current beacon.
                 */
                function _getBeacon() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_BEACON_SLOT).value;
                }
                /**
                 * @dev Stores a new beacon in the EIP1967 beacon slot.
                 */
                function _setBeacon(address newBeacon) private {
                    require(Address.isContract(newBeacon), "ERC1967: new beacon is not a contract");
                    require(
                        Address.isContract(IBeacon(newBeacon).implementation()),
                        "ERC1967: beacon implementation is not a contract"
                    );
                    StorageSlot.getAddressSlot(_BEACON_SLOT).value = newBeacon;
                }
                /**
                 * @dev Perform beacon upgrade with additional setup call. Note: This upgrades the address of the beacon, it does
                 * not upgrade the implementation contained in the beacon (see {UpgradeableBeacon-_setImplementation} for that).
                 *
                 * Emits a {BeaconUpgraded} event.
                 */
                function _upgradeBeaconToAndCall(
                    address newBeacon,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _setBeacon(newBeacon);
                    emit BeaconUpgraded(newBeacon);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
                    }
                }
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/token/ERC721/IERC721.sol";
            import "@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
            import "@openzeppelin/contracts/security/ReentrancyGuard.sol";
            import "../libraries/external/BytesLib.sol";
            import "./NFTBridgeGetters.sol";
            import "./NFTBridgeSetters.sol";
            import "./NFTBridgeStructs.sol";
            import "./NFTBridgeGovernance.sol";
            import "./token/NFT.sol";
            import "./token/NFTImplementation.sol";
            import "../interfaces/IZKBridgeReceiver.sol";
            contract NFTBridge is NFTBridgeGovernance, IZKBridgeReceiver, ReentrancyGuard {
                using BytesLib for bytes;
                event TransferNFT(uint64 indexed sequence, address token, uint256 tokenID, uint16 recipientChain, address sender, address recipient);
                event ReceiveNFT(uint64 indexed sequence, address sourceToken, address token, uint256 tokenID, uint16 sourceChain, uint16 sendChain, address recipient);
                function transferNFT(address token, uint256 tokenID, uint16 recipientChain, bytes32 recipient) public payable nonReentrant returns (uint64 sequence) {
                    require(msg.value >= fee(recipientChain), "Insufficient Fee");
                    // determine token parameters
                    uint16 tokenChain;
                    bytes32 tokenAddress;
                    if (isWrappedAsset(token)) {
                        tokenChain = NFTImplementation(token).chainId();
                        tokenAddress = NFTImplementation(token).nativeContract();
                    } else {
                        tokenChain = chainId();
                        tokenAddress = bytes32(uint256(uint160(token)));
                        // Verify that the correct interfaces are implemented
                        require(ERC165(token).supportsInterface(type(IERC721).interfaceId), "must support the ERC721 interface");
                        require(ERC165(token).supportsInterface(type(IERC721Metadata).interfaceId), "must support the ERC721-Metadata extension");
                    }
                    string memory symbolString;
                    string memory nameString;
                    string memory uriString;
                    {
                        (,bytes memory queriedSymbol) = token.staticcall(abi.encodeWithSignature("symbol()"));
                        (,bytes memory queriedName) = token.staticcall(abi.encodeWithSignature("name()"));
                        symbolString = abi.decode(queriedSymbol, (string));
                        nameString = abi.decode(queriedName, (string));
                        (,bytes memory queriedURI) = token.staticcall(abi.encodeWithSignature("tokenURI(uint256)", tokenID));
                        uriString = abi.decode(queriedURI, (string));
                    }
                    bytes32 symbol;
                    bytes32 name;
                    assembly {
                    // first 32 bytes hold string length
                    // mload then loads the next word, i.e. the first 32 bytes of the strings
                    // NOTE: this means that we might end up with an
                    // invalid utf8 string (e.g. if we slice an emoji in half).  The VAA
                    // payload specification doesn't require that these are valid utf8
                    // strings, and it's cheaper to do any validation off-chain for
                    // presentation purposes
                        symbol := mload(add(symbolString, 32))
                        name := mload(add(nameString, 32))
                    }
                    IERC721(token).safeTransferFrom(msg.sender, address(this), tokenID);
                    if (tokenChain != chainId()) {
                        NFTImplementation(token).burn(tokenID);
                    }
                    sequence = _logTransfer(NFTBridgeStructs.Transfer({
                    tokenAddress : tokenAddress,
                    tokenChain : tokenChain,
                    name : name,
                    symbol : symbol,
                    tokenID : tokenID,
                    uri : uriString,
                    to : recipient,
                    toChain : recipientChain
                    }), msg.value);
                    emit TransferNFT(sequence, token, tokenID, recipientChain, msg.sender, _truncateAddress(recipient));
                }
                function _logTransfer(NFTBridgeStructs.Transfer memory transfer, uint256 callValue) internal returns (uint64 sequence) {
                    bytes memory encoded = _encodeTransfer(transfer);
                    address dstContractAddress = bridgeContracts(transfer.toChain);
                    sequence = zkBridge().send{value : callValue}(transfer.toChain, dstContractAddress, encoded);
                }
                function zkReceive(uint16 srcChainId, address srcAddress, uint64 sequence, bytes calldata payload) external nonReentrant override {
                    require(msg.sender == address(zkBridge()), "Not From ZKBridgeEntrypoint");
                    require(bridgeContracts(srcChainId) == srcAddress, "invalid emitter");
                    _completeTransfer(srcChainId, sequence, payload);
                }
                function _completeTransfer(uint16 srcChainId, uint64 sequence, bytes calldata payload) internal {
                    NFTBridgeStructs.Transfer memory transfer = _parseTransfer(payload);
                    require(transfer.toChain == chainId(), "invalid target chain");
                    IERC721 transferToken;
                    if (transfer.tokenChain == chainId()) {
                        transferToken = IERC721(_truncateAddress(transfer.tokenAddress));
                    } else {
                        address wrapped = wrappedAsset(transfer.tokenChain, transfer.tokenAddress);
                        // If the wrapped asset does not exist yet, create it
                        if (wrapped == address(0)) {
                            wrapped = _createWrapped(transfer.tokenChain, transfer.tokenAddress, transfer.name, transfer.symbol);
                        }
                        transferToken = IERC721(wrapped);
                    }
                    // transfer bridged NFT to recipient
                    address transferRecipient = _truncateAddress(transfer.to);
                    if (transfer.tokenChain != chainId()) {
                        // mint wrapped asset
                        NFTImplementation(address(transferToken)).mint(transferRecipient, transfer.tokenID, transfer.uri);
                    } else {
                        transferToken.safeTransferFrom(address(this), transferRecipient, transfer.tokenID);
                    }
                    emit ReceiveNFT(sequence, _truncateAddress(transfer.tokenAddress), address(transferToken), transfer.tokenID, transfer.tokenChain, srcChainId, transferRecipient);
                }
                // Creates a wrapped asset using AssetMeta
                function _createWrapped(uint16 tokenChain, bytes32 tokenAddress, bytes32 name, bytes32 symbol) internal returns (address token) {
                    require(tokenChain != chainId(), "can only wrap tokens from foreign chains");
                    require(wrappedAsset(tokenChain, tokenAddress) == address(0), "wrapped asset already exists");
                    // initialize the NFTImplementation
                    bytes memory initialisationArgs = abi.encodeWithSelector(
                        NFTImplementation.initialize.selector,
                        _bytes32ToString(name),
                        _bytes32ToString(symbol),
                        address(this),
                        tokenChain,
                        tokenAddress
                    );
                    // initialize the BeaconProxy
                    bytes memory constructorArgs = abi.encode(address(this), initialisationArgs);
                    // deployment code
                    bytes memory bytecode = abi.encodePacked(type(BridgeNFT).creationCode, constructorArgs);
                    bytes32 salt = keccak256(abi.encodePacked(tokenChain, tokenAddress));
                    assembly {
                        token := create2(0, add(bytecode, 0x20), mload(bytecode), salt)
                        if iszero(extcodesize(token)) {
                            revert(0, 0)
                        }
                    }
                    _setWrappedAsset(tokenChain, tokenAddress, token);
                }
                function _encodeTransfer(NFTBridgeStructs.Transfer memory transfer) internal pure returns (bytes memory encoded) {
                    // There is a global limit on 200 bytes of tokenURI in ZkBridge due to Solana
                    require(bytes(transfer.uri).length <= 200, "tokenURI must not exceed 200 bytes");
                    encoded = abi.encodePacked(
                        uint8(1),
                        transfer.tokenAddress,
                        transfer.tokenChain,
                        transfer.symbol,
                        transfer.name,
                        transfer.tokenID,
                        uint8(bytes(transfer.uri).length),
                        transfer.uri,
                        transfer.to,
                        transfer.toChain
                    );
                }
                function _parseTransfer(bytes memory encoded) internal pure returns (NFTBridgeStructs.Transfer memory transfer) {
                    uint index = 0;
                    uint8 payloadID = encoded.toUint8(index);
                    index += 1;
                    require(payloadID == 1, "invalid Transfer");
                    transfer.tokenAddress = encoded.toBytes32(index);
                    index += 32;
                    transfer.tokenChain = encoded.toUint16(index);
                    index += 2;
                    transfer.symbol = encoded.toBytes32(index);
                    index += 32;
                    transfer.name = encoded.toBytes32(index);
                    index += 32;
                    transfer.tokenID = encoded.toUint256(index);
                    index += 32;
                    // Ignore length due to malformatted payload
                    index += 1;
                    transfer.uri = string(encoded.slice(index, encoded.length - index - 34));
                    // From here we read backwards due malformatted package
                    index = encoded.length;
                    index -= 2;
                    transfer.toChain = encoded.toUint16(index);
                    index -= 32;
                    transfer.to = encoded.toBytes32(index);
                    //require(encoded.length == index, "invalid Transfer");
                }
                /*
                 * @dev Truncate a 32 byte array to a 20 byte address.
                 *      Reverts if the array contains non-0 bytes in the first 12 bytes.
                 *
                 * @param bytes32 bytes The 32 byte array to be converted.
                 */
                function _truncateAddress(bytes32 b) internal pure returns (address) {
                    require(bytes12(b) == 0, "invalid EVM address");
                    return address(uint160(uint256(b)));
                }
                function onERC721Received(
                    address operator,
                    address,
                    uint256,
                    bytes calldata
                ) external view returns (bytes4){
                    require(operator == address(this), "can only bridge tokens via transferNFT method");
                    return type(IERC721Receiver).interfaceId;
                }
                function _bytes32ToString(bytes32 input) internal pure returns (string memory) {
                    uint256 i;
                    while (i < 32 && input[i] != 0) {
                        i++;
                    }
                    bytes memory array = new bytes(i);
                    for (uint c = 0; c < i; c++) {
                        array[c] = input[c];
                    }
                    return string(array);
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This is the interface that {BeaconProxy} expects of its beacon.
             */
            interface IBeacon {
                /**
                 * @dev Must return an address that can be used as a delegate call target.
                 *
                 * {BeaconProxy} will check that this address is a contract.
                 */
                function implementation() external view returns (address);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
             * proxy whose upgrades are fully controlled by the current implementation.
             */
            interface IERC1822Proxiable {
                /**
                 * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
                 * address.
                 *
                 * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
                 * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
                 * function revert if invoked through a proxy.
                 */
                function proxiableUUID() external view returns (bytes32);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/Address.sol)
            pragma solidity ^0.8.1;
            /**
             * @dev Collection of functions related to the address type
             */
            library Address {
                /**
                 * @dev Returns true if `account` is a contract.
                 *
                 * [IMPORTANT]
                 * ====
                 * It is unsafe to assume that an address for which this function returns
                 * false is an externally-owned account (EOA) and not a contract.
                 *
                 * Among others, `isContract` will return false for the following
                 * types of addresses:
                 *
                 *  - an externally-owned account
                 *  - a contract in construction
                 *  - an address where a contract will be created
                 *  - an address where a contract lived, but was destroyed
                 * ====
                 *
                 * [IMPORTANT]
                 * ====
                 * You shouldn't rely on `isContract` to protect against flash loan attacks!
                 *
                 * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
                 * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
                 * constructor.
                 * ====
                 */
                function isContract(address account) internal view returns (bool) {
                    // This method relies on extcodesize/address.code.length, which returns 0
                    // for contracts in construction, since the code is only stored at the end
                    // of the constructor execution.
                    return account.code.length > 0;
                }
                /**
                 * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                 * `recipient`, forwarding all available gas and reverting on errors.
                 *
                 * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                 * of certain opcodes, possibly making contracts go over the 2300 gas limit
                 * imposed by `transfer`, making them unable to receive funds via
                 * `transfer`. {sendValue} removes this limitation.
                 *
                 * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                 *
                 * IMPORTANT: because control is transferred to `recipient`, care must be
                 * taken to not create reentrancy vulnerabilities. Consider using
                 * {ReentrancyGuard} or the
                 * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                 */
                function sendValue(address payable recipient, uint256 amount) internal {
                    require(address(this).balance >= amount, "Address: insufficient balance");
                    (bool success, ) = recipient.call{value: amount}("");
                    require(success, "Address: unable to send value, recipient may have reverted");
                }
                /**
                 * @dev Performs a Solidity function call using a low level `call`. A
                 * plain `call` is an unsafe replacement for a function call: use this
                 * function instead.
                 *
                 * If `target` reverts with a revert reason, it is bubbled up by this
                 * function (like regular Solidity function calls).
                 *
                 * Returns the raw returned data. To convert to the expected return value,
                 * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                 *
                 * Requirements:
                 *
                 * - `target` must be a contract.
                 * - calling `target` with `data` must not revert.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionCall(target, data, "Address: low-level call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                 * `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, 0, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but also transferring `value` wei to `target`.
                 *
                 * Requirements:
                 *
                 * - the calling contract must have an ETH balance of at least `value`.
                 * - the called Solidity function must be `payable`.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                 * with `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(address(this).balance >= value, "Address: insufficient balance for call");
                    require(isContract(target), "Address: call to non-contract");
                    (bool success, bytes memory returndata) = target.call{value: value}(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                    return functionStaticCall(target, data, "Address: low-level static call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal view returns (bytes memory) {
                    require(isContract(target), "Address: static call to non-contract");
                    (bool success, bytes memory returndata) = target.staticcall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(isContract(target), "Address: delegate call to non-contract");
                    (bool success, bytes memory returndata) = target.delegatecall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
                 * revert reason using the provided one.
                 *
                 * _Available since v4.3._
                 */
                function verifyCallResult(
                    bool success,
                    bytes memory returndata,
                    string memory errorMessage
                ) internal pure returns (bytes memory) {
                    if (success) {
                        return returndata;
                    } else {
                        // Look for revert reason and bubble it up if present
                        if (returndata.length > 0) {
                            // The easiest way to bubble the revert reason is using memory via assembly
                            /// @solidity memory-safe-assembly
                            assembly {
                                let returndata_size := mload(returndata)
                                revert(add(32, returndata), returndata_size)
                            }
                        } else {
                            revert(errorMessage);
                        }
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Library for reading and writing primitive types to specific storage slots.
             *
             * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
             * This library helps with reading and writing to such slots without the need for inline assembly.
             *
             * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
             *
             * Example usage to set ERC1967 implementation slot:
             * ```
             * contract ERC1967 {
             *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
             *
             *     function _getImplementation() internal view returns (address) {
             *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
             *     }
             *
             *     function _setImplementation(address newImplementation) internal {
             *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
             *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
             *     }
             * }
             * ```
             *
             * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._
             */
            library StorageSlot {
                struct AddressSlot {
                    address value;
                }
                struct BooleanSlot {
                    bool value;
                }
                struct Bytes32Slot {
                    bytes32 value;
                }
                struct Uint256Slot {
                    uint256 value;
                }
                /**
                 * @dev Returns an `AddressSlot` with member `value` located at `slot`.
                 */
                function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
                 */
                function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
                 */
                function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
                 */
                function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (token/ERC721/IERC721.sol)
            pragma solidity ^0.8.0;
            import "../../utils/introspection/IERC165.sol";
            /**
             * @dev Required interface of an ERC721 compliant contract.
             */
            interface IERC721 is IERC165 {
                /**
                 * @dev Emitted when `tokenId` token is transferred from `from` to `to`.
                 */
                event Transfer(address indexed from, address indexed to, uint256 indexed tokenId);
                /**
                 * @dev Emitted when `owner` enables `approved` to manage the `tokenId` token.
                 */
                event Approval(address indexed owner, address indexed approved, uint256 indexed tokenId);
                /**
                 * @dev Emitted when `owner` enables or disables (`approved`) `operator` to manage all of its assets.
                 */
                event ApprovalForAll(address indexed owner, address indexed operator, bool approved);
                /**
                 * @dev Returns the number of tokens in ``owner``'s account.
                 */
                function balanceOf(address owner) external view returns (uint256 balance);
                /**
                 * @dev Returns the owner of the `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function ownerOf(uint256 tokenId) external view returns (address owner);
                /**
                 * @dev Safely transfers `tokenId` token from `from` to `to`.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must exist and be owned by `from`.
                 * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
                 * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
                 *
                 * Emits a {Transfer} event.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes calldata data
                ) external;
                /**
                 * @dev Safely transfers `tokenId` token from `from` to `to`, checking first that contract recipients
                 * are aware of the ERC721 protocol to prevent tokens from being forever locked.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must exist and be owned by `from`.
                 * - If the caller is not `from`, it must have been allowed to move this token by either {approve} or {setApprovalForAll}.
                 * - If `to` refers to a smart contract, it must implement {IERC721Receiver-onERC721Received}, which is called upon a safe transfer.
                 *
                 * Emits a {Transfer} event.
                 */
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) external;
                /**
                 * @dev Transfers `tokenId` token from `from` to `to`.
                 *
                 * WARNING: Usage of this method is discouraged, use {safeTransferFrom} whenever possible.
                 *
                 * Requirements:
                 *
                 * - `from` cannot be the zero address.
                 * - `to` cannot be the zero address.
                 * - `tokenId` token must be owned by `from`.
                 * - If the caller is not `from`, it must be approved to move this token by either {approve} or {setApprovalForAll}.
                 *
                 * Emits a {Transfer} event.
                 */
                function transferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) external;
                /**
                 * @dev Gives permission to `to` to transfer `tokenId` token to another account.
                 * The approval is cleared when the token is transferred.
                 *
                 * Only a single account can be approved at a time, so approving the zero address clears previous approvals.
                 *
                 * Requirements:
                 *
                 * - The caller must own the token or be an approved operator.
                 * - `tokenId` must exist.
                 *
                 * Emits an {Approval} event.
                 */
                function approve(address to, uint256 tokenId) external;
                /**
                 * @dev Approve or remove `operator` as an operator for the caller.
                 * Operators can call {transferFrom} or {safeTransferFrom} for any token owned by the caller.
                 *
                 * Requirements:
                 *
                 * - The `operator` cannot be the caller.
                 *
                 * Emits an {ApprovalForAll} event.
                 */
                function setApprovalForAll(address operator, bool _approved) external;
                /**
                 * @dev Returns the account approved for `tokenId` token.
                 *
                 * Requirements:
                 *
                 * - `tokenId` must exist.
                 */
                function getApproved(uint256 tokenId) external view returns (address operator);
                /**
                 * @dev Returns if the `operator` is allowed to manage all of the assets of `owner`.
                 *
                 * See {setApprovalForAll}
                 */
                function isApprovedForAll(address owner, address operator) external view returns (bool);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.6.0) (token/ERC721/IERC721Receiver.sol)
            pragma solidity ^0.8.0;
            /**
             * @title ERC721 token receiver interface
             * @dev Interface for any contract that wants to support safeTransfers
             * from ERC721 asset contracts.
             */
            interface IERC721Receiver {
                /**
                 * @dev Whenever an {IERC721} `tokenId` token is transferred to this contract via {IERC721-safeTransferFrom}
                 * by `operator` from `from`, this function is called.
                 *
                 * It must return its Solidity selector to confirm the token transfer.
                 * If any other value is returned or the interface is not implemented by the recipient, the transfer will be reverted.
                 *
                 * The selector can be obtained in Solidity with `IERC721Receiver.onERC721Received.selector`.
                 */
                function onERC721Received(
                    address operator,
                    address from,
                    uint256 tokenId,
                    bytes calldata data
                ) external returns (bytes4);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (security/ReentrancyGuard.sol)
            pragma solidity ^0.8.0;
            /**
             * @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 ReentrancyGuard {
                // 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;
                constructor() {
                    _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() {
                    // On the first call to nonReentrant, _notEntered will be true
                    require(_status != _ENTERED, "ReentrancyGuard: reentrant call");
                    // Any calls to nonReentrant after this point will fail
                    _status = _ENTERED;
                    _;
                    // By storing the original value once again, a refund is triggered (see
                    // https://eips.ethereum.org/EIPS/eip-2200)
                    _status = _NOT_ENTERED;
                }
            }
            // SPDX-License-Identifier: Unlicense
            /*
             * @title Solidity Bytes Arrays Utils
             * @author Gonçalo Sá <[email protected]>
             *
             * @dev Bytes tightly packed arrays utility library for ethereum contracts written in Solidity.
             *      The library lets you concatenate, slice and type cast bytes arrays both in memory and storage.
             */
            pragma solidity >=0.8.0 <0.9.0;
            library BytesLib {
                function concat(
                    bytes memory _preBytes,
                    bytes memory _postBytes
                )
                    internal
                    pure
                    returns (bytes memory)
                {
                    bytes memory tempBytes;
                    assembly {
                        // Get a location of some free memory and store it in tempBytes as
                        // Solidity does for memory variables.
                        tempBytes := mload(0x40)
                        // Store the length of the first bytes array at the beginning of
                        // the memory for tempBytes.
                        let length := mload(_preBytes)
                        mstore(tempBytes, length)
                        // Maintain a memory counter for the current write location in the
                        // temp bytes array by adding the 32 bytes for the array length to
                        // the starting location.
                        let mc := add(tempBytes, 0x20)
                        // Stop copying when the memory counter reaches the length of the
                        // first bytes array.
                        let end := add(mc, length)
                        for {
                            // Initialize a copy counter to the start of the _preBytes data,
                            // 32 bytes into its memory.
                            let cc := add(_preBytes, 0x20)
                        } lt(mc, end) {
                            // Increase both counters by 32 bytes each iteration.
                            mc := add(mc, 0x20)
                            cc := add(cc, 0x20)
                        } {
                            // Write the _preBytes data into the tempBytes memory 32 bytes
                            // at a time.
                            mstore(mc, mload(cc))
                        }
                        // Add the length of _postBytes to the current length of tempBytes
                        // and store it as the new length in the first 32 bytes of the
                        // tempBytes memory.
                        length := mload(_postBytes)
                        mstore(tempBytes, add(length, mload(tempBytes)))
                        // Move the memory counter back from a multiple of 0x20 to the
                        // actual end of the _preBytes data.
                        mc := end
                        // Stop copying when the memory counter reaches the new combined
                        // length of the arrays.
                        end := add(mc, length)
                        for {
                            let cc := add(_postBytes, 0x20)
                        } lt(mc, end) {
                            mc := add(mc, 0x20)
                            cc := add(cc, 0x20)
                        } {
                            mstore(mc, mload(cc))
                        }
                        // Update the free-memory pointer by padding our last write location
                        // to 32 bytes: add 31 bytes to the end of tempBytes to move to the
                        // next 32 byte block, then round down to the nearest multiple of
                        // 32. If the sum of the length of the two arrays is zero then add
                        // one before rounding down to leave a blank 32 bytes (the length block with 0).
                        mstore(0x40, and(
                          add(add(end, iszero(add(length, mload(_preBytes)))), 31),
                          not(31) // Round down to the nearest 32 bytes.
                        ))
                    }
                    return tempBytes;
                }
                function concatStorage(bytes storage _preBytes, bytes memory _postBytes) internal {
                    assembly {
                        // Read the first 32 bytes of _preBytes storage, which is the length
                        // of the array. (We don't need to use the offset into the slot
                        // because arrays use the entire slot.)
                        let fslot := sload(_preBytes.slot)
                        // Arrays of 31 bytes or less have an even value in their slot,
                        // while longer arrays have an odd value. The actual length is
                        // the slot divided by two for odd values, and the lowest order
                        // byte divided by two for even values.
                        // If the slot is even, bitwise and the slot with 255 and divide by
                        // two to get the length. If the slot is odd, bitwise and the slot
                        // with -1 and divide by two.
                        let slength := div(and(fslot, sub(mul(0x100, iszero(and(fslot, 1))), 1)), 2)
                        let mlength := mload(_postBytes)
                        let newlength := add(slength, mlength)
                        // slength can contain both the length and contents of the array
                        // if length < 32 bytes so let's prepare for that
                        // v. http://solidity.readthedocs.io/en/latest/miscellaneous.html#layout-of-state-variables-in-storage
                        switch add(lt(slength, 32), lt(newlength, 32))
                        case 2 {
                            // Since the new array still fits in the slot, we just need to
                            // update the contents of the slot.
                            // uint256(bytes_storage) = uint256(bytes_storage) + uint256(bytes_memory) + new_length
                            sstore(
                                _preBytes.slot,
                                // all the modifications to the slot are inside this
                                // next block
                                add(
                                    // we can just add to the slot contents because the
                                    // bytes we want to change are the LSBs
                                    fslot,
                                    add(
                                        mul(
                                            div(
                                                // load the bytes from memory
                                                mload(add(_postBytes, 0x20)),
                                                // zero all bytes to the right
                                                exp(0x100, sub(32, mlength))
                                            ),
                                            // and now shift left the number of bytes to
                                            // leave space for the length in the slot
                                            exp(0x100, sub(32, newlength))
                                        ),
                                        // increase length by the double of the memory
                                        // bytes length
                                        mul(mlength, 2)
                                    )
                                )
                            )
                        }
                        case 1 {
                            // The stored value fits in the slot, but the combined value
                            // will exceed it.
                            // get the keccak hash to get the contents of the array
                            mstore(0x0, _preBytes.slot)
                            let sc := add(keccak256(0x0, 0x20), div(slength, 32))
                            // save new length
                            sstore(_preBytes.slot, add(mul(newlength, 2), 1))
                            // The contents of the _postBytes array start 32 bytes into
                            // the structure. Our first read should obtain the `submod`
                            // bytes that can fit into the unused space in the last word
                            // of the stored array. To get this, we read 32 bytes starting
                            // from `submod`, so the data we read overlaps with the array
                            // contents by `submod` bytes. Masking the lowest-order
                            // `submod` bytes allows us to add that value directly to the
                            // stored value.
                            let submod := sub(32, slength)
                            let mc := add(_postBytes, submod)
                            let end := add(_postBytes, mlength)
                            let mask := sub(exp(0x100, submod), 1)
                            sstore(
                                sc,
                                add(
                                    and(
                                        fslot,
                                        0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
                                    ),
                                    and(mload(mc), mask)
                                )
                            )
                            for {
                                mc := add(mc, 0x20)
                                sc := add(sc, 1)
                            } lt(mc, end) {
                                sc := add(sc, 1)
                                mc := add(mc, 0x20)
                            } {
                                sstore(sc, mload(mc))
                            }
                            mask := exp(0x100, sub(mc, end))
                            sstore(sc, mul(div(mload(mc), mask), mask))
                        }
                        default {
                            // get the keccak hash to get the contents of the array
                            mstore(0x0, _preBytes.slot)
                            // Start copying to the last used word of the stored array.
                            let sc := add(keccak256(0x0, 0x20), div(slength, 32))
                            // save new length
                            sstore(_preBytes.slot, add(mul(newlength, 2), 1))
                            // Copy over the first `submod` bytes of the new data as in
                            // case 1 above.
                            let slengthmod := mod(slength, 32)
                            let mlengthmod := mod(mlength, 32)
                            let submod := sub(32, slengthmod)
                            let mc := add(_postBytes, submod)
                            let end := add(_postBytes, mlength)
                            let mask := sub(exp(0x100, submod), 1)
                            sstore(sc, add(sload(sc), and(mload(mc), mask)))
                            for {
                                sc := add(sc, 1)
                                mc := add(mc, 0x20)
                            } lt(mc, end) {
                                sc := add(sc, 1)
                                mc := add(mc, 0x20)
                            } {
                                sstore(sc, mload(mc))
                            }
                            mask := exp(0x100, sub(mc, end))
                            sstore(sc, mul(div(mload(mc), mask), mask))
                        }
                    }
                }
                function slice(
                    bytes memory _bytes,
                    uint256 _start,
                    uint256 _length
                )
                    internal
                    pure
                    returns (bytes memory)
                {
                    require(_length + 31 >= _length, "slice_overflow");
                    require(_bytes.length >= _start + _length, "slice_outOfBounds");
                    bytes memory tempBytes;
                    assembly {
                        switch iszero(_length)
                        case 0 {
                            // Get a location of some free memory and store it in tempBytes as
                            // Solidity does for memory variables.
                            tempBytes := mload(0x40)
                            // The first word of the slice result is potentially a partial
                            // word read from the original array. To read it, we calculate
                            // the length of that partial word and start copying that many
                            // bytes into the array. The first word we copy will start with
                            // data we don't care about, but the last `lengthmod` bytes will
                            // land at the beginning of the contents of the new array. When
                            // we're done copying, we overwrite the full first word with
                            // the actual length of the slice.
                            let lengthmod := and(_length, 31)
                            // The multiplication in the next line is necessary
                            // because when slicing multiples of 32 bytes (lengthmod == 0)
                            // the following copy loop was copying the origin's length
                            // and then ending prematurely not copying everything it should.
                            let mc := add(add(tempBytes, lengthmod), mul(0x20, iszero(lengthmod)))
                            let end := add(mc, _length)
                            for {
                                // The multiplication in the next line has the same exact purpose
                                // as the one above.
                                let cc := add(add(add(_bytes, lengthmod), mul(0x20, iszero(lengthmod))), _start)
                            } lt(mc, end) {
                                mc := add(mc, 0x20)
                                cc := add(cc, 0x20)
                            } {
                                mstore(mc, mload(cc))
                            }
                            mstore(tempBytes, _length)
                            //update free-memory pointer
                            //allocating the array padded to 32 bytes like the compiler does now
                            mstore(0x40, and(add(mc, 31), not(31)))
                        }
                        //if we want a zero-length slice let's just return a zero-length array
                        default {
                            tempBytes := mload(0x40)
                            //zero out the 32 bytes slice we are about to return
                            //we need to do it because Solidity does not garbage collect
                            mstore(tempBytes, 0)
                            mstore(0x40, add(tempBytes, 0x20))
                        }
                    }
                    return tempBytes;
                }
                function toAddress(bytes memory _bytes, uint256 _start) internal pure returns (address) {
                    require(_bytes.length >= _start + 20, "toAddress_outOfBounds");
                    address tempAddress;
                    assembly {
                        tempAddress := div(mload(add(add(_bytes, 0x20), _start)), 0x1000000000000000000000000)
                    }
                    return tempAddress;
                }
                function toUint8(bytes memory _bytes, uint256 _start) internal pure returns (uint8) {
                    require(_bytes.length >= _start + 1 , "toUint8_outOfBounds");
                    uint8 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x1), _start))
                    }
                    return tempUint;
                }
                function toUint16(bytes memory _bytes, uint256 _start) internal pure returns (uint16) {
                    require(_bytes.length >= _start + 2, "toUint16_outOfBounds");
                    uint16 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x2), _start))
                    }
                    return tempUint;
                }
                function toUint32(bytes memory _bytes, uint256 _start) internal pure returns (uint32) {
                    require(_bytes.length >= _start + 4, "toUint32_outOfBounds");
                    uint32 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x4), _start))
                    }
                    return tempUint;
                }
                function toUint64(bytes memory _bytes, uint256 _start) internal pure returns (uint64) {
                    require(_bytes.length >= _start + 8, "toUint64_outOfBounds");
                    uint64 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x8), _start))
                    }
                    return tempUint;
                }
                function toUint96(bytes memory _bytes, uint256 _start) internal pure returns (uint96) {
                    require(_bytes.length >= _start + 12, "toUint96_outOfBounds");
                    uint96 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0xc), _start))
                    }
                    return tempUint;
                }
                function toUint128(bytes memory _bytes, uint256 _start) internal pure returns (uint128) {
                    require(_bytes.length >= _start + 16, "toUint128_outOfBounds");
                    uint128 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x10), _start))
                    }
                    return tempUint;
                }
                function toUint256(bytes memory _bytes, uint256 _start) internal pure returns (uint256) {
                    require(_bytes.length >= _start + 32, "toUint256_outOfBounds");
                    uint256 tempUint;
                    assembly {
                        tempUint := mload(add(add(_bytes, 0x20), _start))
                    }
                    return tempUint;
                }
                function toBytes32(bytes memory _bytes, uint256 _start) internal pure returns (bytes32) {
                    require(_bytes.length >= _start + 32, "toBytes32_outOfBounds");
                    bytes32 tempBytes32;
                    assembly {
                        tempBytes32 := mload(add(add(_bytes, 0x20), _start))
                    }
                    return tempBytes32;
                }
                function equal(bytes memory _preBytes, bytes memory _postBytes) internal pure returns (bool) {
                    bool success = true;
                    assembly {
                        let length := mload(_preBytes)
                        // if lengths don't match the arrays are not equal
                        switch eq(length, mload(_postBytes))
                        case 1 {
                            // cb is a circuit breaker in the for loop since there's
                            //  no said feature for inline assembly loops
                            // cb = 1 - don't breaker
                            // cb = 0 - break
                            let cb := 1
                            let mc := add(_preBytes, 0x20)
                            let end := add(mc, length)
                            for {
                                let cc := add(_postBytes, 0x20)
                            // the next line is the loop condition:
                            // while(uint256(mc < end) + cb == 2)
                            } eq(add(lt(mc, end), cb), 2) {
                                mc := add(mc, 0x20)
                                cc := add(cc, 0x20)
                            } {
                                // if any of these checks fails then arrays are not equal
                                if iszero(eq(mload(mc), mload(cc))) {
                                    // unsuccess:
                                    success := 0
                                    cb := 0
                                }
                            }
                        }
                        default {
                            // unsuccess:
                            success := 0
                        }
                    }
                    return success;
                }
                function equalStorage(
                    bytes storage _preBytes,
                    bytes memory _postBytes
                )
                    internal
                    view
                    returns (bool)
                {
                    bool success = true;
                    assembly {
                        // we know _preBytes_offset is 0
                        let fslot := sload(_preBytes.slot)
                        // Decode the length of the stored array like in concatStorage().
                        let slength := div(and(fslot, sub(mul(0x100, iszero(and(fslot, 1))), 1)), 2)
                        let mlength := mload(_postBytes)
                        // if lengths don't match the arrays are not equal
                        switch eq(slength, mlength)
                        case 1 {
                            // slength can contain both the length and contents of the array
                            // if length < 32 bytes so let's prepare for that
                            // v. http://solidity.readthedocs.io/en/latest/miscellaneous.html#layout-of-state-variables-in-storage
                            if iszero(iszero(slength)) {
                                switch lt(slength, 32)
                                case 1 {
                                    // blank the last byte which is the length
                                    fslot := mul(div(fslot, 0x100), 0x100)
                                    if iszero(eq(fslot, mload(add(_postBytes, 0x20)))) {
                                        // unsuccess:
                                        success := 0
                                    }
                                }
                                default {
                                    // cb is a circuit breaker in the for loop since there's
                                    //  no said feature for inline assembly loops
                                    // cb = 1 - don't breaker
                                    // cb = 0 - break
                                    let cb := 1
                                    // get the keccak hash to get the contents of the array
                                    mstore(0x0, _preBytes.slot)
                                    let sc := keccak256(0x0, 0x20)
                                    let mc := add(_postBytes, 0x20)
                                    let end := add(mc, mlength)
                                    // the next line is the loop condition:
                                    // while(uint256(mc < end) + cb == 2)
                                    for {} eq(add(lt(mc, end), cb), 2) {
                                        sc := add(sc, 1)
                                        mc := add(mc, 0x20)
                                    } {
                                        if iszero(eq(sload(sc), mload(mc))) {
                                            // unsuccess:
                                            success := 0
                                            cb := 0
                                        }
                                    }
                                }
                            }
                        }
                        default {
                            // unsuccess:
                            success := 0
                        }
                    }
                    return success;
                }
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
            import "../interfaces/IZKBridge.sol";
            import "./NFTBridgeState.sol";
            contract NFTBridgeGetters is NFTBridgeState {
                function isInitialized(address impl) public view returns (bool) {
                    return _state.initializedImplementations[impl];
                }
                function zkBridge() public view returns (IZKBridge) {
                    return IZKBridge(_state.zkBridge);
                }
                function chainId() public view returns (uint16){
                    return _state.provider.chainId;
                }
                function wrappedAsset(uint16 tokenChainId, bytes32 tokenAddress) public view returns (address){
                    return _state.wrappedAssets[tokenChainId][tokenAddress];
                }
                function bridgeContracts(uint16 chainId_) public view returns (address){
                    return _state.bridgeImplementations[chainId_];
                }
                function tokenImplementation() public view returns (address){
                    return _state.tokenImplementation;
                }
                function isWrappedAsset(address token) public view returns (bool){
                    return _state.isWrappedAsset[token];
                }
                function owner() public view returns (address) {
                    return _state.owner;
                }
                function pendingImplementation() public view returns (address) {
                    return _state.pendingImplementation;
                }
                function toUpdateTime() public view returns (uint256) {
                    return _state.toUpdateTime;
                }
                function lockTime() public view returns (uint256) {
                    return _state.lockTime;
                }
                function fee(uint16 destChainId) public view returns (uint256){
                    return _state.chainFee[destChainId];
                }
            }// SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "./NFTBridgeState.sol";
            contract NFTBridgeSetters is NFTBridgeState {
                function _setInitialized(address implementation) internal {
                    _state.initializedImplementations[implementation] = true;
                }
                function _setChainId(uint16 chainId) internal {
                    _state.provider.chainId = chainId;
                }
                function _setBridgeImplementation(uint16 chainId, address bridgeContract) internal {
                    _state.bridgeImplementations[chainId] = bridgeContract;
                }
                function _setTokenImplementation(address impl) internal {
                    _state.tokenImplementation = impl;
                }
                function _setZKBridge(address h) internal {
                    _state.zkBridge = payable(h);
                }
                function _setWrappedAsset(uint16 tokenChainId, bytes32 tokenAddress, address wrapper) internal {
                    _state.wrappedAssets[tokenChainId][tokenAddress] = wrapper;
                    _state.isWrappedAsset[wrapper] = true;
                }
                function _setOwner(address owner) internal {
                    _state.owner = owner;
                }
                function _setPendingImplementation(address pendingImplementation) internal {
                    _state.pendingImplementation = pendingImplementation;
                }
                function _setToUpdateTime(uint256 toUpdateTime) internal {
                    _state.toUpdateTime = toUpdateTime;
                }
                function _setLockTime(uint256 lockTime) internal {
                    _state.lockTime = lockTime;
                }
                function _setFee(uint16 destChainId,uint256 fee) internal {
                    _state.chainFee[destChainId] = fee;
                }
            }// SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            contract NFTBridgeStructs {
                struct Transfer {
                    // PayloadID uint8 = 1
                    // Address of the token. Left-zero-padded if shorter than 32 bytes
                    bytes32 tokenAddress;
                    // Chain ID of the token
                    uint16 tokenChain;
                    // Symbol of the token
                    bytes32 symbol;
                    // Name of the token
                    bytes32 name;
                    // TokenID of the token
                    uint256 tokenID;
                    // URI of the token metadata (UTF-8)
                    string uri;
                    // Address of the recipient. Left-zero-padded if shorter than 32 bytes
                    bytes32 to;
                    // Chain ID of the recipient
                    uint16 toChain;
                }
                struct TransferBatch {
                    // PayloadID uint8 = 1
                    // Address of the token. Left-zero-padded if shorter than 32 bytes
                    bytes32[] tokenAddress;
                    // Chain ID of the token
                    uint16[] tokenChain;
                    // Symbol of the token
                    bytes32[] symbol;
                    // Name of the token
                    bytes32[] name;
                    // TokenID of the token
                    uint256[] tokenID;
                    // URI of the token metadata (UTF-8)
                    string[] uri;
                    // Address of the recipient. Left-zero-padded if shorter than 32 bytes
                    bytes32 to;
                    // Chain ID of the recipient
                    uint16 toChain;
                }
                struct RegisterChain {
                    // Governance Header
                    // module: "NFTBridge" left-padded
                    bytes32 module;
                    // governance action: 1
                    uint8 action;
                    // governance paket chain id: this or 0
                    uint16 chainId;
                    // Chain ID
                    uint16 emitterChainID;
                    // Emitter address. Left-zero-padded if shorter than 32 bytes
                    bytes32 emitterAddress;
                }
                struct UpgradeContract {
                    // Governance Header
                    // module: "NFTBridge" left-padded
                    bytes32 module;
                    // governance action: 2
                    uint8 action;
                    // governance paket chain id
                    uint16 chainId;
                    // Address of the new contract
                    bytes32 newContract;
                }
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
            import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol";
            import "../libraries/external/BytesLib.sol";
            import "./NFTBridgeGetters.sol";
            import "./NFTBridgeSetters.sol";
            import "./NFTBridgeStructs.sol";
            import "./token/NFT.sol";
            import "./token/NFTImplementation.sol";
            import "../interfaces/IZKBridge.sol";
            contract NFTBridgeGovernance is NFTBridgeGetters, NFTBridgeSetters, ERC1967Upgrade {
                event NewPendingImplementation(address indexed pendingImplementation, address indexed newImplementation);
                event ContractUpgraded(address indexed oldContract, address indexed newContract);
                event RegisterChain(uint16 chainId, address nftBridge);
                modifier onlyOwner() {
                    require(owner() == msg.sender, "Ownable: caller is not the owner");
                    _;
                }
                function registerChain(uint16 chainId, address contractAddress) public onlyOwner {
                    _setBridgeImplementation(chainId, contractAddress);
                    emit RegisterChain(chainId, contractAddress);
                }
                function setLockTime(uint256 lockTime) public onlyOwner {
                    require(lockTime >= MIN_LOCK_TIME, 'Incorrect lockTime settings');
                    _setLockTime(lockTime);
                }
                function setFee(uint16 destChainId,uint256 fee) public onlyOwner {
                    _setFee(destChainId,fee);
                }
                function setZkBridge(address zkBridge) public onlyOwner {
                    _setZKBridge(zkBridge);
                }
                function submitContractUpgrade(address newImplementation) public onlyOwner {
                    require(newImplementation != address(0), "Check pendingImplementation");
                    address currentPendingImplementation = pendingImplementation();
                    _setPendingImplementation(newImplementation);
                    _setToUpdateTime(block.timestamp + lockTime());
                    emit NewPendingImplementation(currentPendingImplementation, newImplementation);
                }
                function confirmContractUpgrade() public onlyOwner {
                    require(pendingImplementation() != address(0), "Check pendingImplementation");
                    require(block.timestamp >= toUpdateTime(), "Still locked in");
                    address currentImplementation = _getImplementation();
                    address newImplementation = pendingImplementation();
                    _setPendingImplementation(address(0));
                    _upgradeTo(newImplementation);
                    // Call initialize function of the new implementation
                    (bool success, bytes memory reason) = newImplementation.delegatecall(abi.encodeWithSignature("initialize()"));
                    require(success, string(reason));
                    emit ContractUpgraded(currentImplementation, newImplementation);
                }
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "@openzeppelin/contracts/proxy/beacon/BeaconProxy.sol";
            contract BridgeNFT is BeaconProxy {
                constructor(address beacon, bytes memory data) BeaconProxy(beacon, data) {
                }
            }// SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "./NFTState.sol";
            import "@openzeppelin/contracts/access/Ownable.sol";
            import "@openzeppelin/contracts/utils/Context.sol";
            import "@openzeppelin/contracts/utils/Address.sol";
            import "@openzeppelin/contracts/utils/Strings.sol";
            import "@openzeppelin/contracts/token/ERC721/IERC721.sol";
            import "@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
            import "@openzeppelin/contracts/token/ERC721/extensions/IERC721Metadata.sol";
            import "@openzeppelin/contracts/utils/introspection/ERC165.sol";
            import "@openzeppelin/contracts/proxy/beacon/BeaconProxy.sol";
            // Based on the OpenZepplin ERC721 implementation, licensed under MIT
            contract NFTImplementation is NFTState, Context, IERC721, IERC721Metadata, ERC165 {
                using Address for address;
                using Strings for uint256;
                function initialize(
                    string memory name_,
                    string memory symbol_,
                    address owner_,
                    uint16 chainId_,
                    bytes32 nativeContract_
                ) initializer public {
                    _state.name = name_;
                    _state.symbol = symbol_;
                    _state.owner = owner_;
                    _state.chainId = chainId_;
                    _state.nativeContract = nativeContract_;
                }
                function supportsInterface(bytes4 interfaceId) public view override(ERC165, IERC165) returns (bool) {
                    return
                    interfaceId == type(IERC721).interfaceId ||
                    interfaceId == type(IERC721Metadata).interfaceId ||
                    super.supportsInterface(interfaceId);
                }
                function balanceOf(address owner_) public view override returns (uint256) {
                    require(owner_ != address(0), "ERC721: balance query for the zero address");
                    return _state.balances[owner_];
                }
                function ownerOf(uint256 tokenId) public view override returns (address) {
                    address owner_ = _state.owners[tokenId];
                    require(owner_ != address(0), "ERC721: owner query for nonexistent token");
                    return owner_;
                }
                function name() public view override returns (string memory) {
                    return _state.name;
                }
                function symbol() public view override returns (string memory) {
                    return _state.symbol;
                }
                function tokenURI(uint256 tokenId) public view override returns (string memory) {
                    require(_exists(tokenId), "ERC721Metadata: URI query for nonexistent token");
                    return _state.tokenURIs[tokenId];
                }
                function chainId() public view returns (uint16) {
                    return _state.chainId;
                }
                function nativeContract() public view returns (bytes32) {
                    return _state.nativeContract;
                }
                function owner() public view returns (address) {
                    return _state.owner;
                }
                function approve(address to, uint256 tokenId) public override {
                    address owner_ = NFTImplementation.ownerOf(tokenId);
                    require(to != owner_, "ERC721: approval to current owner");
                    require(
                        _msgSender() == owner_ || isApprovedForAll(owner_, _msgSender()),
                        "ERC721: approve caller is not owner nor approved for all"
                    );
                    _approve(to, tokenId);
                }
                function getApproved(uint256 tokenId) public view override returns (address) {
                    require(_exists(tokenId), "ERC721: approved query for nonexistent token");
                    return _state.tokenApprovals[tokenId];
                }
                function setApprovalForAll(address operator, bool approved) public override {
                    require(operator != _msgSender(), "ERC721: approve to caller");
                    _state.operatorApprovals[_msgSender()][operator] = approved;
                    emit ApprovalForAll(_msgSender(), operator, approved);
                }
                function isApprovedForAll(address owner_, address operator) public view override returns (bool) {
                    return _state.operatorApprovals[owner_][operator];
                }
                function transferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) public override {
                    //solhint-disable-next-line max-line-length
                    require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: transfer caller is not owner nor approved");
                    _transfer(from, to, tokenId);
                }
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId
                ) public override {
                    safeTransferFrom(from, to, tokenId, "");
                }
                function safeTransferFrom(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes memory _data
                ) public override {
                    require(_isApprovedOrOwner(_msgSender(), tokenId), "ERC721: transfer caller is not owner nor approved");
                    _safeTransfer(from, to, tokenId, _data);
                }
                function _safeTransfer(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes memory _data
                ) internal {
                    _transfer(from, to, tokenId);
                    require(_checkOnERC721Received(from, to, tokenId, _data), "ERC721: transfer to non ERC721Receiver implementer");
                }
                function _exists(uint256 tokenId) internal view returns (bool) {
                    return _state.owners[tokenId] != address(0);
                }
                function _isApprovedOrOwner(address spender, uint256 tokenId) internal view returns (bool) {
                    require(_exists(tokenId), "ERC721: operator query for nonexistent token");
                    address owner_ = NFTImplementation.ownerOf(tokenId);
                    return (spender == owner_ || getApproved(tokenId) == spender || isApprovedForAll(owner_, spender));
                }
                function mint(address to, uint256 tokenId, string memory uri) public onlyOwner {
                    _mint(to, tokenId, uri);
                }
                function _mint(address to, uint256 tokenId, string memory uri) internal {
                    require(to != address(0), "ERC721: mint to the zero address");
                    require(!_exists(tokenId), "ERC721: token already minted");
                    _state.balances[to] += 1;
                    _state.owners[tokenId] = to;
                    _state.tokenURIs[tokenId] = uri;
                    emit Transfer(address(0), to, tokenId);
                }
                function burn(uint256 tokenId) public onlyOwner {
                    _burn(tokenId);
                }
                function _burn(uint256 tokenId) internal {
                    address owner_ = NFTImplementation.ownerOf(tokenId);
                    // Clear approvals
                    _approve(address(0), tokenId);
                    _state.balances[owner_] -= 1;
                    delete _state.owners[tokenId];
                    emit Transfer(owner_, address(0), tokenId);
                }
                function _transfer(
                    address from,
                    address to,
                    uint256 tokenId
                ) internal {
                    require(NFTImplementation.ownerOf(tokenId) == from, "ERC721: transfer of token that is not own");
                    require(to != address(0), "ERC721: transfer to the zero address");
                    // Clear approvals from the previous owner
                    _approve(address(0), tokenId);
                    _state.balances[from] -= 1;
                    _state.balances[to] += 1;
                    _state.owners[tokenId] = to;
                    emit Transfer(from, to, tokenId);
                }
                function _approve(address to, uint256 tokenId) internal {
                    _state.tokenApprovals[tokenId] = to;
                    emit Approval(NFTImplementation.ownerOf(tokenId), to, tokenId);
                }
                function _checkOnERC721Received(
                    address from,
                    address to,
                    uint256 tokenId,
                    bytes memory _data
                ) private returns (bool) {
                    if (to.isContract()) {
                        try IERC721Receiver(to).onERC721Received(_msgSender(), from, tokenId, _data) returns (bytes4 retval) {
                            return retval == IERC721Receiver.onERC721Received.selector;
                        } catch (bytes memory reason) {
                            if (reason.length == 0) {
                                revert("ERC721: transfer to non ERC721Receiver implementer");
                            } else {
                                assembly {
                                    revert(add(32, reason), mload(reason))
                                }
                            }
                        }
                    } else {
                        return true;
                    }
                }
                modifier onlyOwner() {
                    require(owner() == _msgSender(), "caller is not the owner");
                    _;
                }
                modifier initializer() {
                    require(
                        !_state.initialized,
                        "Already initialized"
                    );
                    _state.initialized = true;
                    _;
                }
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IZKBridgeReceiver {
                // @notice ZKBridge endpoint will invoke this function to deliver the message on the destination
                // @param srcChainId - the source endpoint identifier
                // @param srcAddress - the source sending contract address from the source chain
                // @param sequence - the ordered message nonce
                // @param payload - the signed payload is the UA bytes has encoded to be sent
                function zkReceive(uint16 srcChainId, address srcAddress, uint64 sequence, bytes calldata payload) external;
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (utils/introspection/IERC165.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Interface of the ERC165 standard, as defined in the
             * https://eips.ethereum.org/EIPS/eip-165[EIP].
             *
             * Implementers can declare support of contract interfaces, which can then be
             * queried by others ({ERC165Checker}).
             *
             * For an implementation, see {ERC165}.
             */
            interface IERC165 {
                /**
                 * @dev Returns true if this contract implements the interface defined by
                 * `interfaceId`. See the corresponding
                 * https://eips.ethereum.org/EIPS/eip-165#how-interfaces-are-identified[EIP section]
                 * to learn more about how these ids are created.
                 *
                 * This function call must use less than 30 000 gas.
                 */
                function supportsInterface(bytes4 interfaceId) external view returns (bool);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Interface of the ERC20 standard as defined in the EIP.
             */
            interface IERC20 {
                /**
                 * @dev Emitted when `value` tokens are moved from one account (`from`) to
                 * another (`to`).
                 *
                 * Note that `value` may be zero.
                 */
                event Transfer(address indexed from, address indexed to, uint256 value);
                /**
                 * @dev Emitted when the allowance of a `spender` for an `owner` is set by
                 * a call to {approve}. `value` is the new allowance.
                 */
                event Approval(address indexed owner, address indexed spender, uint256 value);
                /**
                 * @dev Returns the amount of tokens in existence.
                 */
                function totalSupply() external view returns (uint256);
                /**
                 * @dev Returns the amount of tokens owned by `account`.
                 */
                function balanceOf(address account) external view returns (uint256);
                /**
                 * @dev Moves `amount` tokens from the caller's account to `to`.
                 *
                 * Returns a boolean value indicating whether the operation succeeded.
                 *
                 * Emits a {Transfer} event.
                 */
                function transfer(address to, uint256 amount) external returns (bool);
                /**
                 * @dev Returns the remaining number of tokens that `spender` will be
                 * allowed to spend on behalf of `owner` through {transferFrom}. This is
                 * zero by default.
                 *
                 * This value changes when {approve} or {transferFrom} are called.
                 */
                function allowance(address owner, address spender) external view returns (uint256);
                /**
                 * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
                 *
                 * Returns a boolean value indicating whether the operation succeeded.
                 *
                 * IMPORTANT: Beware that changing an allowance with this method brings the risk
                 * that someone may use both the old and the new allowance by unfortunate
                 * transaction ordering. One possible solution to mitigate this race
                 * condition is to first reduce the spender's allowance to 0 and set the
                 * desired value afterwards:
                 * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
                 *
                 * Emits an {Approval} event.
                 */
                function approve(address spender, uint256 amount) external returns (bool);
                /**
                 * @dev Moves `amount` tokens from `from` to `to` using the
                 * allowance mechanism. `amount` is then deducted from the caller's
                 * allowance.
                 *
                 * Returns a boolean value indicating whether the operation succeeded.
                 *
                 * Emits a {Transfer} event.
                 */
                function transferFrom(
                    address from,
                    address to,
                    uint256 amount
                ) external returns (bool);
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IZKBridge {
                function send(uint16 dstChainId, address dstAddress, bytes memory payload) external payable returns (uint64 sequence);
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            import "./NFTBridgeStructs.sol";
            contract NFTBridgeStorage {
                struct Provider {
                    uint16 chainId;
                }
                struct State {
                    address payable zkBridge;
                    address tokenImplementation;
                    address owner;
                    address pendingImplementation;
                    uint256 toUpdateTime;
                    uint256 lockTime;
                    // Mapping of initialized implementations
                    mapping(address => bool) initializedImplementations;
                    // Mapping of wrapped assets (chainID => nativeAddress => wrappedAddress)
                    mapping(uint16 => mapping(bytes32 => address)) wrappedAssets;
                    // Mapping to safely identify wrapped assets
                    mapping(address => bool) isWrappedAsset;
                    // Mapping of bridge contracts on other chains
                    mapping(uint16 => address) bridgeImplementations;
                    Provider provider;
                    // Mapping of receive chain fee
                    mapping(uint16 => uint256) chainFee;
                }
            }
            contract NFTBridgeState {
                NFTBridgeStorage.State _state;
                uint256 public constant MIN_LOCK_TIME = 1 days;
            }// SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (token/ERC20/utils/SafeERC20.sol)
            pragma solidity ^0.8.0;
            import "../IERC20.sol";
            import "../extensions/draft-IERC20Permit.sol";
            import "../../../utils/Address.sol";
            /**
             * @title SafeERC20
             * @dev Wrappers around ERC20 operations that throw on failure (when the token
             * contract returns false). Tokens that return no value (and instead revert or
             * throw on failure) are also supported, non-reverting calls are assumed to be
             * successful.
             * To use this library you can add a `using SafeERC20 for IERC20;` statement to your contract,
             * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
             */
            library SafeERC20 {
                using Address for address;
                function safeTransfer(
                    IERC20 token,
                    address to,
                    uint256 value
                ) internal {
                    _callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
                }
                function safeTransferFrom(
                    IERC20 token,
                    address from,
                    address to,
                    uint256 value
                ) internal {
                    _callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
                }
                /**
                 * @dev Deprecated. This function has issues similar to the ones found in
                 * {IERC20-approve}, and its usage is discouraged.
                 *
                 * Whenever possible, use {safeIncreaseAllowance} and
                 * {safeDecreaseAllowance} instead.
                 */
                function safeApprove(
                    IERC20 token,
                    address spender,
                    uint256 value
                ) internal {
                    // safeApprove should only be called when setting an initial allowance,
                    // or when resetting it to zero. To increase and decrease it, use
                    // 'safeIncreaseAllowance' and 'safeDecreaseAllowance'
                    require(
                        (value == 0) || (token.allowance(address(this), spender) == 0),
                        "SafeERC20: approve from non-zero to non-zero allowance"
                    );
                    _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
                }
                function safeIncreaseAllowance(
                    IERC20 token,
                    address spender,
                    uint256 value
                ) internal {
                    uint256 newAllowance = token.allowance(address(this), spender) + value;
                    _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
                }
                function safeDecreaseAllowance(
                    IERC20 token,
                    address spender,
                    uint256 value
                ) internal {
                    unchecked {
                        uint256 oldAllowance = token.allowance(address(this), spender);
                        require(oldAllowance >= value, "SafeERC20: decreased allowance below zero");
                        uint256 newAllowance = oldAllowance - value;
                        _callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
                    }
                }
                function safePermit(
                    IERC20Permit token,
                    address owner,
                    address spender,
                    uint256 value,
                    uint256 deadline,
                    uint8 v,
                    bytes32 r,
                    bytes32 s
                ) internal {
                    uint256 nonceBefore = token.nonces(owner);
                    token.permit(owner, spender, value, deadline, v, r, s);
                    uint256 nonceAfter = token.nonces(owner);
                    require(nonceAfter == nonceBefore + 1, "SafeERC20: permit did not succeed");
                }
                /**
                 * @dev Imitates a Solidity high-level call (i.e. a regular function call to a contract), relaxing the requirement
                 * on the return value: the return value is optional (but if data is returned, it must not be false).
                 * @param token The token targeted by the call.
                 * @param data The call data (encoded using abi.encode or one of its variants).
                 */
                function _callOptionalReturn(IERC20 token, bytes memory data) private {
                    // We need to perform a low level call here, to bypass Solidity's return data size checking mechanism, since
                    // we're implementing it ourselves. We use {Address.functionCall} to perform this call, which verifies that
                    // the target address contains contract code and also asserts for success in the low-level call.
                    bytes memory returndata = address(token).functionCall(data, "SafeERC20: low-level call failed");
                    if (returndata.length > 0) {
                        // Return data is optional
                        require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (token/ERC20/extensions/draft-IERC20Permit.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Interface of the ERC20 Permit extension allowing approvals to be made via signatures, as defined in
             * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
             *
             * Adds the {permit} method, which can be used to change an account's ERC20 allowance (see {IERC20-allowance}) by
             * presenting a message signed by the account. By not relying on {IERC20-approve}, the token holder account doesn't
             * need to send a transaction, and thus is not required to hold Ether at all.
             */
            interface IERC20Permit {
                /**
                 * @dev Sets `value` as the allowance of `spender` over ``owner``'s tokens,
                 * given ``owner``'s signed approval.
                 *
                 * IMPORTANT: The same issues {IERC20-approve} has related to transaction
                 * ordering also apply here.
                 *
                 * Emits an {Approval} event.
                 *
                 * Requirements:
                 *
                 * - `spender` cannot be the zero address.
                 * - `deadline` must be a timestamp in the future.
                 * - `v`, `r` and `s` must be a valid `secp256k1` signature from `owner`
                 * over the EIP712-formatted function arguments.
                 * - the signature must use ``owner``'s current nonce (see {nonces}).
                 *
                 * For more information on the signature format, see the
                 * https://eips.ethereum.org/EIPS/eip-2612#specification[relevant EIP
                 * section].
                 */
                function permit(
                    address owner,
                    address spender,
                    uint256 value,
                    uint256 deadline,
                    uint8 v,
                    bytes32 r,
                    bytes32 s
                ) external;
                /**
                 * @dev Returns the current nonce for `owner`. This value must be
                 * included whenever a signature is generated for {permit}.
                 *
                 * Every successful call to {permit} increases ``owner``'s nonce by one. This
                 * prevents a signature from being used multiple times.
                 */
                function nonces(address owner) external view returns (uint256);
                /**
                 * @dev Returns the domain separator used in the encoding of the signature for {permit}, as defined by {EIP712}.
                 */
                // solhint-disable-next-line func-name-mixedcase
                function DOMAIN_SEPARATOR() external view returns (bytes32);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (proxy/beacon/BeaconProxy.sol)
            pragma solidity ^0.8.0;
            import "./IBeacon.sol";
            import "../Proxy.sol";
            import "../ERC1967/ERC1967Upgrade.sol";
            /**
             * @dev This contract implements a proxy that gets the implementation address for each call from an {UpgradeableBeacon}.
             *
             * The beacon address is stored in storage slot `uint256(keccak256('eip1967.proxy.beacon')) - 1`, so that it doesn't
             * conflict with the storage layout of the implementation behind the proxy.
             *
             * _Available since v3.4._
             */
            contract BeaconProxy is Proxy, ERC1967Upgrade {
                /**
                 * @dev Initializes the proxy with `beacon`.
                 *
                 * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon. This
                 * will typically be an encoded function call, and allows initializing the storage of the proxy like a Solidity
                 * constructor.
                 *
                 * Requirements:
                 *
                 * - `beacon` must be a contract with the interface {IBeacon}.
                 */
                constructor(address beacon, bytes memory data) payable {
                    _upgradeBeaconToAndCall(beacon, data, false);
                }
                /**
                 * @dev Returns the current beacon address.
                 */
                function _beacon() internal view virtual returns (address) {
                    return _getBeacon();
                }
                /**
                 * @dev Returns the current implementation address of the associated beacon.
                 */
                function _implementation() internal view virtual override returns (address) {
                    return IBeacon(_getBeacon()).implementation();
                }
                /**
                 * @dev Changes the proxy to use a new beacon. Deprecated: see {_upgradeBeaconToAndCall}.
                 *
                 * If `data` is nonempty, it's used as data in a delegate call to the implementation returned by the beacon.
                 *
                 * Requirements:
                 *
                 * - `beacon` must be a contract.
                 * - The implementation returned by `beacon` must be a contract.
                 */
                function _setBeacon(address beacon, bytes memory data) internal virtual {
                    _upgradeBeaconToAndCall(beacon, data, false);
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.6.0) (proxy/Proxy.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This abstract contract provides a fallback function that delegates all calls to another contract using the EVM
             * instruction `delegatecall`. We refer to the second contract as the _implementation_ behind the proxy, and it has to
             * be specified by overriding the virtual {_implementation} function.
             *
             * Additionally, delegation to the implementation can be triggered manually through the {_fallback} function, or to a
             * different contract through the {_delegate} function.
             *
             * The success and return data of the delegated call will be returned back to the caller of the proxy.
             */
            abstract contract Proxy {
                /**
                 * @dev Delegates the current call to `implementation`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _delegate(address implementation) internal virtual {
                    assembly {
                        // Copy msg.data. We take full control of memory in this inline assembly
                        // block because it will not return to Solidity code. We overwrite the
                        // Solidity scratch pad at memory position 0.
                        calldatacopy(0, 0, calldatasize())
                        // Call the implementation.
                        // out and outsize are 0 because we don't know the size yet.
                        let result := delegatecall(gas(), implementation, 0, calldatasize(), 0, 0)
                        // Copy the returned data.
                        returndatacopy(0, 0, returndatasize())
                        switch result
                        // delegatecall returns 0 on error.
                        case 0 {
                            revert(0, returndatasize())
                        }
                        default {
                            return(0, returndatasize())
                        }
                    }
                }
                /**
                 * @dev This is a virtual function that should be overridden so it returns the address to which the fallback function
                 * and {_fallback} should delegate.
                 */
                function _implementation() internal view virtual returns (address);
                /**
                 * @dev Delegates the current call to the address returned by `_implementation()`.
                 *
                 * This function does not return to its internal call site, it will return directly to the external caller.
                 */
                function _fallback() internal virtual {
                    _beforeFallback();
                    _delegate(_implementation());
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if no other
                 * function in the contract matches the call data.
                 */
                fallback() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Fallback function that delegates calls to the address returned by `_implementation()`. Will run if call data
                 * is empty.
                 */
                receive() external payable virtual {
                    _fallback();
                }
                /**
                 * @dev Hook that is called before falling back to the implementation. Can happen as part of a manual `_fallback`
                 * call, or as part of the Solidity `fallback` or `receive` functions.
                 *
                 * If overridden should call `super._beforeFallback()`.
                 */
                function _beforeFallback() internal virtual {}
            }
            // SPDX-License-Identifier: Apache 2
            pragma solidity ^0.8.0;
            contract NFTStorage {
                struct State {
                    // Token name
                    string name;
                    // Token symbol
                    string symbol;
                    // Mapping from token ID to owner address
                    mapping(uint256 => address) owners;
                    // Mapping owner address to token count
                    mapping(address => uint256) balances;
                    // Mapping from token ID to approved address
                    mapping(uint256 => address) tokenApprovals;
                    // Mapping from token ID to URI
                    mapping(uint256 => string) tokenURIs;
                    // Mapping from owner to operator approvals
                    mapping(address => mapping(address => bool)) operatorApprovals;
                    address owner;
                    bool initialized;
                    uint16 chainId;
                    bytes32 nativeContract;
                }
            }
            contract NFTState {
                NFTStorage.State _state;
            }// SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (access/Ownable.sol)
            pragma solidity ^0.8.0;
            import "../utils/Context.sol";
            /**
             * @dev Contract module which provides a basic access control mechanism, where
             * there is an account (an owner) that can be granted exclusive access to
             * specific functions.
             *
             * By default, the owner account will be the one that deploys the contract. This
             * can later be changed with {transferOwnership}.
             *
             * This module is used through inheritance. It will make available the modifier
             * `onlyOwner`, which can be applied to your functions to restrict their use to
             * the owner.
             */
            abstract contract Ownable is Context {
                address private _owner;
                event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
                /**
                 * @dev Initializes the contract setting the deployer as the initial owner.
                 */
                constructor() {
                    _transferOwnership(_msgSender());
                }
                /**
                 * @dev Throws if called by any account other than the owner.
                 */
                modifier onlyOwner() {
                    _checkOwner();
                    _;
                }
                /**
                 * @dev Returns the address of the current owner.
                 */
                function owner() public view virtual returns (address) {
                    return _owner;
                }
                /**
                 * @dev Throws if the sender is not the owner.
                 */
                function _checkOwner() internal view virtual {
                    require(owner() == _msgSender(), "Ownable: caller is not the owner");
                }
                /**
                 * @dev Leaves the contract without owner. It will not be possible to call
                 * `onlyOwner` functions anymore. Can only be called by the current owner.
                 *
                 * NOTE: Renouncing ownership will leave the contract without an owner,
                 * thereby removing any functionality that is only available to the owner.
                 */
                function renounceOwnership() public virtual onlyOwner {
                    _transferOwnership(address(0));
                }
                /**
                 * @dev Transfers ownership of the contract to a new account (`newOwner`).
                 * Can only be called by the current owner.
                 */
                function transferOwnership(address newOwner) public virtual onlyOwner {
                    require(newOwner != address(0), "Ownable: new owner is the zero address");
                    _transferOwnership(newOwner);
                }
                /**
                 * @dev Transfers ownership of the contract to a new account (`newOwner`).
                 * Internal function without access restriction.
                 */
                function _transferOwnership(address newOwner) internal virtual {
                    address oldOwner = _owner;
                    _owner = newOwner;
                    emit OwnershipTransferred(oldOwner, newOwner);
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (utils/Context.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Provides information about the current execution context, including the
             * sender of the transaction and its data. While these are generally available
             * via msg.sender and msg.data, they should not be accessed in such a direct
             * manner, since when dealing with meta-transactions the account sending and
             * paying for execution may not be the actual sender (as far as an application
             * is concerned).
             *
             * This contract is only required for intermediate, library-like contracts.
             */
            abstract contract Context {
                function _msgSender() internal view virtual returns (address) {
                    return msg.sender;
                }
                function _msgData() internal view virtual returns (bytes calldata) {
                    return msg.data;
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/Strings.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev String operations.
             */
            library Strings {
                bytes16 private constant _HEX_SYMBOLS = "0123456789abcdef";
                uint8 private constant _ADDRESS_LENGTH = 20;
                /**
                 * @dev Converts a `uint256` to its ASCII `string` decimal representation.
                 */
                function toString(uint256 value) internal pure returns (string memory) {
                    // Inspired by OraclizeAPI's implementation - MIT licence
                    // https://github.com/oraclize/ethereum-api/blob/b42146b063c7d6ee1358846c198246239e9360e8/oraclizeAPI_0.4.25.sol
                    if (value == 0) {
                        return "0";
                    }
                    uint256 temp = value;
                    uint256 digits;
                    while (temp != 0) {
                        digits++;
                        temp /= 10;
                    }
                    bytes memory buffer = new bytes(digits);
                    while (value != 0) {
                        digits -= 1;
                        buffer[digits] = bytes1(uint8(48 + uint256(value % 10)));
                        value /= 10;
                    }
                    return string(buffer);
                }
                /**
                 * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation.
                 */
                function toHexString(uint256 value) internal pure returns (string memory) {
                    if (value == 0) {
                        return "0x00";
                    }
                    uint256 temp = value;
                    uint256 length = 0;
                    while (temp != 0) {
                        length++;
                        temp >>= 8;
                    }
                    return toHexString(value, length);
                }
                /**
                 * @dev Converts a `uint256` to its ASCII `string` hexadecimal representation with fixed length.
                 */
                function toHexString(uint256 value, uint256 length) internal pure returns (string memory) {
                    bytes memory buffer = new bytes(2 * length + 2);
                    buffer[0] = "0";
                    buffer[1] = "x";
                    for (uint256 i = 2 * length + 1; i > 1; --i) {
                        buffer[i] = _HEX_SYMBOLS[value & 0xf];
                        value >>= 4;
                    }
                    require(value == 0, "Strings: hex length insufficient");
                    return string(buffer);
                }
                /**
                 * @dev Converts an `address` with fixed length of 20 bytes to its not checksummed ASCII `string` hexadecimal representation.
                 */
                function toHexString(address addr) internal pure returns (string memory) {
                    return toHexString(uint256(uint160(addr)), _ADDRESS_LENGTH);
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (token/ERC721/extensions/IERC721Metadata.sol)
            pragma solidity ^0.8.0;
            import "../IERC721.sol";
            /**
             * @title ERC-721 Non-Fungible Token Standard, optional metadata extension
             * @dev See https://eips.ethereum.org/EIPS/eip-721
             */
            interface IERC721Metadata is IERC721 {
                /**
                 * @dev Returns the token collection name.
                 */
                function name() external view returns (string memory);
                /**
                 * @dev Returns the token collection symbol.
                 */
                function symbol() external view returns (string memory);
                /**
                 * @dev Returns the Uniform Resource Identifier (URI) for `tokenId` token.
                 */
                function tokenURI(uint256 tokenId) external view returns (string memory);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (utils/introspection/ERC165.sol)
            pragma solidity ^0.8.0;
            import "./IERC165.sol";
            /**
             * @dev Implementation of the {IERC165} interface.
             *
             * Contracts that want to implement ERC165 should inherit from this contract and override {supportsInterface} to check
             * for the additional interface id that will be supported. For example:
             *
             * ```solidity
             * function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
             *     return interfaceId == type(MyInterface).interfaceId || super.supportsInterface(interfaceId);
             * }
             * ```
             *
             * Alternatively, {ERC165Storage} provides an easier to use but more expensive implementation.
             */
            abstract contract ERC165 is IERC165 {
                /**
                 * @dev See {IERC165-supportsInterface}.
                 */
                function supportsInterface(bytes4 interfaceId) public view virtual override returns (bool) {
                    return interfaceId == type(IERC165).interfaceId;
                }
            }
            

            File 5 of 5: ZKBridge
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            import "./Governance.sol";
            import "./libraries/external/RLPReader.sol";
            import "./interfaces/IZKBridgeEntrypoint.sol";
            import "./interfaces/IZKBridgeReceiver.sol";
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol";
            contract ZKBridge is Governance, IZKBridgeEntrypoint {
                using RLPReader for RLPReader.RLPItem;
                using RLPReader for bytes;
                bytes32 public constant MESSAGE_TOPIC = 0xb8abfd5c33667c7440a4fc1153ae39a24833dbe44f7eb19cbe5cd5f2583e4940;
                struct LogMessage {
                    uint16 dstChainId;
                    uint64 sequence;
                    address dstAddress;
                    bytes32 srcAddress;
                    bytes32 srcZkBridge;
                    bytes payload;
                }
                modifier initializer() {
                    address implementation = ERC1967Upgrade._getImplementation();
                    require(!isInitialized(implementation), "already initialized");
                    _setInitialized(implementation);
                    _;
                }
                function initialize() initializer public virtual {
                    // this function needs to be exposed for an upgrade to pass
                }
                function send(uint16 dstChainId, address dstAddress, bytes memory payload) external payable returns (uint64 sequence) {
                    require(dstChainId != chainId(), "Cannot send to same chain");
                    sequence = _useSequence(chainId(), msg.sender);
                    emit MessagePublished(msg.sender, dstChainId, sequence, dstAddress, payload);
                }
                function validateTransactionProof(uint16 srcChainId, bytes32 srcBlockHash, uint256 logIndex, bytes memory mptProof) external {
                    IMptVerifier mptVerifier = mptVerifier(srcChainId);
                    IBlockUpdater blockUpdater = blockUpdater(srcChainId);
                    require(address(mptVerifier) != address(0), "MptVerifier is not set");
                    require(address(blockUpdater) != address(0), "Block Updater is not set");
                    IMptVerifier.Receipt memory receipt = mptVerifier.validateMPT(mptProof);
                    require(receipt.state == 1, "Source Chain Transaction Failure");
                    require(blockUpdater.checkBlock(srcBlockHash, receipt.receiptHash), "Block Header is not set");
                    LogMessage memory logMessage = _parseLog(receipt.logs, logIndex);
                    require(logMessage.srcZkBridge == zkBridgeContracts(srcChainId), "Invalid source ZKBridge");
                    require(logMessage.dstChainId == chainId(), "Invalid destination chain");
                    bytes32 hash = keccak256(abi.encode(srcChainId, logMessage.srcAddress, logMessage.sequence));
                    require(!isTransferCompleted(hash), "Message already executed.");
                    _setTransferCompleted(hash);
                    address srcAddress = _truncateAddress(logMessage.srcAddress);
                    IZKBridgeReceiver(logMessage.dstAddress).zkReceive(srcChainId, srcAddress, logMessage.sequence, logMessage.payload);
                    emit ExecutedMessage(srcAddress, srcChainId, logMessage.sequence, logMessage.dstAddress, logMessage.payload);
                }
                function _useSequence(uint16 chainId, address emitter) internal returns (uint64 sequence) {
                    bytes32 hash = keccak256(abi.encode(chainId, emitter));
                    sequence = nextSequence(hash);
                    _setNextSequence(hash, sequence + 1);
                }
                function _parseLog(bytes memory logsByte, uint256 logIndex) internal pure returns (LogMessage memory logMessage) {
                    RLPReader.RLPItem[] memory logs = logsByte.toRlpItem().toList();
                    if (logIndex != 0) {
                        logs = logs[logIndex + 2].toRlpBytes().toRlpItem().toList();
                    }
                    RLPReader.RLPItem[] memory topicItem = logs[1].toRlpBytes().toRlpItem().toList();
                    bytes32 topic = abi.decode(topicItem[0].toBytes(), (bytes32));
                    if (topic == MESSAGE_TOPIC) {
                        logMessage.srcZkBridge = logs[0].toBytes32();
                        logMessage.srcAddress = abi.decode(topicItem[1].toBytes(), (bytes32));
                        logMessage.dstChainId = abi.decode(topicItem[2].toBytes(), (uint16));
                        logMessage.sequence = abi.decode(topicItem[3].toBytes(), (uint64));
                        (logMessage.dstAddress, logMessage.payload) = abi.decode(logs[2].toBytes(), (address, bytes));
                    }
                }
                function _truncateAddress(bytes32 b) internal pure returns (address) {
                    require(bytes12(b) == 0, "invalid EVM address");
                    return address(uint160(uint256(b)));
                }
                fallback() external payable {revert("unsupported");}
                receive() external payable {revert("the ZkBridge contract does not accept assets");}
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            import "./Setters.sol";
            import "./Getters.sol";
            import "@openzeppelin/contracts/proxy/ERC1967/ERC1967Upgrade.sol";
            abstract contract Governance is Setters, Getters, ERC1967Upgrade {
                event NewPendingImplementation(address indexed pendingImplementation, address indexed newImplementation);
                event ContractUpgraded(address indexed oldContract, address indexed newContract);
                modifier onlyOwner() {
                    require(owner() == msg.sender, "Ownable: caller is not the owner");
                    _;
                }
                function registerChain(uint16 chainId, bytes32 bridgeContract) public onlyOwner {
                    _setZKBridgeImplementation(chainId, bridgeContract);
                }
                function setMptVerifier(uint16 chainId, address mptVerifier) public onlyOwner {
                    _setMptVerifier(chainId, mptVerifier);
                }
                function setBlockUpdater(uint16 chainId, address blockUpdater) public onlyOwner {
                    _setBlockUpdater(chainId, blockUpdater);
                }
                function setLockTime(uint256 lockTime) public onlyOwner {
                    require(lockTime >= MIN_LOCK_TIME, 'Incorrect lockTime settings');
                    _setLockTime(lockTime);
                }
                function claimFees() external onlyOwner {
                    payable(owner()).transfer(address(this).balance);
                }
                function submitContractUpgrade(address newImplementation) public onlyOwner {
                    require(newImplementation != address(0), "Check pendingImplementation");
                    address currentPendingImplementation = pendingImplementation();
                    _setPendingImplementation(newImplementation);
                    _setToUpdateTime(block.timestamp + lockTime());
                    emit NewPendingImplementation(currentPendingImplementation, newImplementation);
                }
                function confirmContractUpgrade() public onlyOwner {
                    require(pendingImplementation() != address(0), "Check pendingImplementation");
                    require(block.timestamp >= toUpdateTime(), "Still locked in");
                    address currentImplementation = _getImplementation();
                    address newImplementation = pendingImplementation();
                    _setPendingImplementation(address(0));
                    _upgradeTo(newImplementation);
                    // Call initialize function of the new implementation
                    (bool success, bytes memory reason) = newImplementation.delegatecall(abi.encodeWithSignature("initialize()"));
                    require(success, string(reason));
                    emit ContractUpgraded(currentImplementation, newImplementation);
                }
            }// SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            library RLPReader {
                uint8 constant STRING_SHORT_START = 0x80;
                uint8 constant STRING_LONG_START  = 0xb8;
                uint8 constant LIST_SHORT_START   = 0xc0;
                uint8 constant LIST_LONG_START    = 0xf8;
                uint8 constant WORD_SIZE = 32;
                struct RLPItem {
                    uint len;
                    uint memPtr;
                }
                struct Iterator {
                    RLPItem item;   // Item that's being iterated over.
                    uint nextPtr;   // Position of the next item in the list.
                }
                /*
                * @dev Returns the next element in the iteration. Reverts if it has not next element.
                * @param self The iterator.
                * @return The next element in the iteration.
                */
                function next(Iterator memory self) internal pure returns (RLPItem memory) {
                    require(hasNext(self));
                    uint ptr = self.nextPtr;
                    uint itemLength = _itemLength(ptr);
                    self.nextPtr = ptr + itemLength;
                    return RLPItem(itemLength, ptr);
                }
                /*
                * @dev Returns true if the iteration has more elements.
                * @param self The iterator.
                * @return true if the iteration has more elements.
                */
                function hasNext(Iterator memory self) internal pure returns (bool) {
                    RLPItem memory item = self.item;
                    return self.nextPtr < item.memPtr + item.len;
                }
                /*
                * @param item RLP encoded bytes
                */
                function toRlpItem(bytes memory item) internal pure returns (RLPItem memory) {
                    uint memPtr;
                    assembly {
                        memPtr := add(item, 0x20)
                    }
                    return RLPItem(item.length, memPtr);
                }
                /*
                * @dev Create an iterator. Reverts if item is not a list.
                * @param self The RLP item.
                * @return An 'Iterator' over the item.
                */
                function iterator(RLPItem memory self) internal pure returns (Iterator memory) {
                    require(isList(self));
                    uint ptr = self.memPtr + _payloadOffset(self.memPtr);
                    return Iterator(self, ptr);
                }
                /*
                * @param the RLP item.
                */
                function rlpLen(RLPItem memory item) internal pure returns (uint) {
                    return item.len;
                }
                /*
                 * @param the RLP item.
                 * @return (memPtr, len) pair: location of the item's payload in memory.
                 */
                function payloadLocation(RLPItem memory item) internal pure returns (uint, uint) {
                    uint offset = _payloadOffset(item.memPtr);
                    uint memPtr = item.memPtr + offset;
                    uint len = item.len - offset; // data length
                    return (memPtr, len);
                }
                /*
                * @param the RLP item.
                */
                function payloadLen(RLPItem memory item) internal pure returns (uint) {
                    (, uint len) = payloadLocation(item);
                    return len;
                }
                /*
                * @param the RLP item containing the encoded list.
                */
                function toList(RLPItem memory item) internal pure returns (RLPItem[] memory) {
                    require(isList(item));
                    uint items = numItems(item);
                    RLPItem[] memory result = new RLPItem[](items);
                    uint memPtr = item.memPtr + _payloadOffset(item.memPtr);
                    uint dataLen;
                    for (uint i = 0; i < items; i++) {
                        dataLen = _itemLength(memPtr);
                        result[i] = RLPItem(dataLen, memPtr);
                        memPtr = memPtr + dataLen;
                    }
                    return result;
                }
                // @return indicator whether encoded payload is a list. negate this function call for isData.
                function isList(RLPItem memory item) internal pure returns (bool) {
                    if (item.len == 0) return false;
                    uint8 byte0;
                    uint memPtr = item.memPtr;
                    assembly {
                        byte0 := byte(0, mload(memPtr))
                    }
                    if (byte0 < LIST_SHORT_START)
                        return false;
                    return true;
                }
                /*
                 * @dev A cheaper version of keccak256(toRlpBytes(item)) that avoids copying memory.
                 * @return keccak256 hash of RLP encoded bytes.
                 */
                function rlpBytesKeccak256(RLPItem memory item) internal pure returns (bytes32) {
                    uint256 ptr = item.memPtr;
                    uint256 len = item.len;
                    bytes32 result;
                    assembly {
                        result := keccak256(ptr, len)
                    }
                    return result;
                }
                /*
                 * @dev A cheaper version of keccak256(toBytes(item)) that avoids copying memory.
                 * @return keccak256 hash of the item payload.
                 */
                function payloadKeccak256(RLPItem memory item) internal pure returns (bytes32) {
                    (uint memPtr, uint len) = payloadLocation(item);
                    bytes32 result;
                    assembly {
                        result := keccak256(memPtr, len)
                    }
                    return result;
                }
                /** RLPItem conversions into data types **/
                // @returns raw rlp encoding in bytes
                function toRlpBytes(RLPItem memory item) internal pure returns (bytes memory) {
                    bytes memory result = new bytes(item.len);
                    if (result.length == 0) return result;
                    uint ptr;
                    assembly {
                        ptr := add(0x20, result)
                    }
                    copy(item.memPtr, ptr, item.len);
                    return result;
                }
                // any non-zero byte except "0x80" is considered true
                function toBoolean(RLPItem memory item) internal pure returns (bool) {
                    require(item.len == 1);
                    uint result;
                    uint memPtr = item.memPtr;
                    assembly {
                        result := byte(0, mload(memPtr))
                    }
                    // SEE Github Issue #5.
                    // Summary: Most commonly used RLP libraries (i.e Geth) will encode
                    // "0" as "0x80" instead of as "0". We handle this edge case explicitly
                    // here.
                    if (result == 0 || result == STRING_SHORT_START) {
                        return false;
                    } else {
                        return true;
                    }
                }
                function toAddress(RLPItem memory item) internal pure returns (address) {
                    // 1 byte for the length prefix
                    require(item.len == 21);
                    return address(uint160(toUint(item)));
                }
                function toUint(RLPItem memory item) internal pure returns (uint) {
                    require(item.len > 0 && item.len <= 33);
                    (uint memPtr, uint len) = payloadLocation(item);
                    uint result;
                    assembly {
                        result := mload(memPtr)
                    // shfit to the correct location if neccesary
                        if lt(len, 32) {
                            result := div(result, exp(256, sub(32, len)))
                        }
                    }
                    return result;
                }
                // enforces 32 byte length
                function toUintStrict(RLPItem memory item) internal pure returns (uint) {
                    // one byte prefix
                    require(item.len == 33);
                    uint result;
                    uint memPtr = item.memPtr + 1;
                    assembly {
                        result := mload(memPtr)
                    }
                    return result;
                }
                function toBytes(RLPItem memory item) internal pure returns (bytes memory) {
                    require(item.len > 0);
                    (uint memPtr, uint len) = payloadLocation(item);
                    bytes memory result = new bytes(len);
                    uint destPtr;
                    assembly {
                        destPtr := add(0x20, result)
                    }
                    copy(memPtr, destPtr, len);
                    return result;
                }
                /*
                * Private Helpers
                */
                // @return number of payload items inside an encoded list.
                function numItems(RLPItem memory item) private pure returns (uint) {
                    if (item.len == 0) return 0;
                    uint count = 0;
                    uint currPtr = item.memPtr + _payloadOffset(item.memPtr);
                    uint endPtr = item.memPtr + item.len;
                    while (currPtr < endPtr) {
                        currPtr = currPtr + _itemLength(currPtr); // skip over an item
                        count++;
                    }
                    return count;
                }
                // @return entire rlp item byte length
                function _itemLength(uint memPtr) private pure returns (uint) {
                    uint itemLen;
                    uint byte0;
                    assembly {
                        byte0 := byte(0, mload(memPtr))
                    }
                    if (byte0 < STRING_SHORT_START)
                        itemLen = 1;
                    else if (byte0 < STRING_LONG_START)
                        itemLen = byte0 - STRING_SHORT_START + 1;
                    else if (byte0 < LIST_SHORT_START) {
                        assembly {
                            let byteLen := sub(byte0, 0xb7) // # of bytes the actual length is
                            memPtr := add(memPtr, 1) // skip over the first byte
                        /* 32 byte word size */
                            let dataLen := div(mload(memPtr), exp(256, sub(32, byteLen))) // right shifting to get the len
                            itemLen := add(dataLen, add(byteLen, 1))
                        }
                    }
                    else if (byte0 < LIST_LONG_START) {
                        itemLen = byte0 - LIST_SHORT_START + 1;
                    }
                    else {
                        assembly {
                            let byteLen := sub(byte0, 0xf7)
                            memPtr := add(memPtr, 1)
                            let dataLen := div(mload(memPtr), exp(256, sub(32, byteLen))) // right shifting to the correct length
                            itemLen := add(dataLen, add(byteLen, 1))
                        }
                    }
                    return itemLen;
                }
                // @return number of bytes until the data
                function _payloadOffset(uint memPtr) private pure returns (uint) {
                    uint byte0;
                    assembly {
                        byte0 := byte(0, mload(memPtr))
                    }
                    if (byte0 < STRING_SHORT_START)
                        return 0;
                    else if (byte0 < STRING_LONG_START || (byte0 >= LIST_SHORT_START && byte0 < LIST_LONG_START))
                        return 1;
                    else if (byte0 < LIST_SHORT_START)  // being explicit
                        return byte0 - (STRING_LONG_START - 1) + 1;
                    else
                        return byte0 - (LIST_LONG_START - 1) + 1;
                }
                /*
                * @param src Pointer to source
                * @param dest Pointer to destination
                * @param len Amount of memory to copy from the source
                */
                function copy(uint src, uint dest, uint len) private pure {
                    if (len == 0) return;
                    // copy as many word sizes as possible
                    for (; len >= WORD_SIZE; len -= WORD_SIZE) {
                        assembly {
                            mstore(dest, mload(src))
                        }
                        src += WORD_SIZE;
                        dest += WORD_SIZE;
                    }
                    if (len > 0) {
                        // left over bytes. Mask is used to remove unwanted bytes from the word
                        uint mask = 256 ** (WORD_SIZE - len) - 1;
                        assembly {
                            let srcpart := and(mload(src), not(mask)) // zero out src
                            let destpart := and(mload(dest), mask) // retrieve the bytes
                            mstore(dest, or(destpart, srcpart))
                        }
                    }
                }
                function toBytes32(RLPItem memory self) internal pure returns (bytes32 data) {
                    return bytes32(toUint(self));
                }
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IZKBridgeEntrypoint {
                event MessagePublished(address indexed sender, uint16 indexed dstChainId, uint64 indexed sequence, address dstAddress, bytes payload);
                event ExecutedMessage(address indexed sender, uint16 indexed srcChainId, uint64 indexed sequence, address dstAddress, bytes payload);
                function send(uint16 dstChainId, address dstAddress, bytes memory payload) external payable returns (uint64 sequence);
                function validateTransactionProof(uint16 srcChainId, bytes32 srcBlockHash, uint256 logIndex, bytes memory mptProof) external;
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IZKBridgeReceiver {
                // @notice ZKBridge endpoint will invoke this function to deliver the message on the destination
                // @param srcChainId - the source endpoint identifier
                // @param srcAddress - the source sending contract address from the source chain
                // @param sequence - the ordered message nonce
                // @param payload - the signed payload is the UA bytes has encoded to be sent
                function zkReceive(uint16 srcChainId, address srcAddress, uint64 sequence, bytes calldata payload) external;
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (proxy/ERC1967/ERC1967Upgrade.sol)
            pragma solidity ^0.8.2;
            import "../beacon/IBeacon.sol";
            import "../../interfaces/draft-IERC1822.sol";
            import "../../utils/Address.sol";
            import "../../utils/StorageSlot.sol";
            /**
             * @dev This abstract contract provides getters and event emitting update functions for
             * https://eips.ethereum.org/EIPS/eip-1967[EIP1967] slots.
             *
             * _Available since v4.1._
             *
             * @custom:oz-upgrades-unsafe-allow delegatecall
             */
            abstract contract ERC1967Upgrade {
                // This is the keccak-256 hash of "eip1967.proxy.rollback" subtracted by 1
                bytes32 private constant _ROLLBACK_SLOT = 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143;
                /**
                 * @dev Storage slot with the address of the current implementation.
                 * This is the keccak-256 hash of "eip1967.proxy.implementation" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
                /**
                 * @dev Emitted when the implementation is upgraded.
                 */
                event Upgraded(address indexed implementation);
                /**
                 * @dev Returns the current implementation address.
                 */
                function _getImplementation() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 implementation slot.
                 */
                function _setImplementation(address newImplementation) private {
                    require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
                    StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
                }
                /**
                 * @dev Perform implementation upgrade
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeTo(address newImplementation) internal {
                    _setImplementation(newImplementation);
                    emit Upgraded(newImplementation);
                }
                /**
                 * @dev Perform implementation upgrade with additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCall(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _upgradeTo(newImplementation);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(newImplementation, data);
                    }
                }
                /**
                 * @dev Perform implementation upgrade with security checks for UUPS proxies, and additional setup call.
                 *
                 * Emits an {Upgraded} event.
                 */
                function _upgradeToAndCallUUPS(
                    address newImplementation,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    // Upgrades from old implementations will perform a rollback test. This test requires the new
                    // implementation to upgrade back to the old, non-ERC1822 compliant, implementation. Removing
                    // this special case will break upgrade paths from old UUPS implementation to new ones.
                    if (StorageSlot.getBooleanSlot(_ROLLBACK_SLOT).value) {
                        _setImplementation(newImplementation);
                    } else {
                        try IERC1822Proxiable(newImplementation).proxiableUUID() returns (bytes32 slot) {
                            require(slot == _IMPLEMENTATION_SLOT, "ERC1967Upgrade: unsupported proxiableUUID");
                        } catch {
                            revert("ERC1967Upgrade: new implementation is not UUPS");
                        }
                        _upgradeToAndCall(newImplementation, data, forceCall);
                    }
                }
                /**
                 * @dev Storage slot with the admin of the contract.
                 * This is the keccak-256 hash of "eip1967.proxy.admin" subtracted by 1, and is
                 * validated in the constructor.
                 */
                bytes32 internal constant _ADMIN_SLOT = 0xb53127684a568b3173ae13b9f8a6016e243e63b6e8ee1178d6a717850b5d6103;
                /**
                 * @dev Emitted when the admin account has changed.
                 */
                event AdminChanged(address previousAdmin, address newAdmin);
                /**
                 * @dev Returns the current admin.
                 */
                function _getAdmin() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_ADMIN_SLOT).value;
                }
                /**
                 * @dev Stores a new address in the EIP1967 admin slot.
                 */
                function _setAdmin(address newAdmin) private {
                    require(newAdmin != address(0), "ERC1967: new admin is the zero address");
                    StorageSlot.getAddressSlot(_ADMIN_SLOT).value = newAdmin;
                }
                /**
                 * @dev Changes the admin of the proxy.
                 *
                 * Emits an {AdminChanged} event.
                 */
                function _changeAdmin(address newAdmin) internal {
                    emit AdminChanged(_getAdmin(), newAdmin);
                    _setAdmin(newAdmin);
                }
                /**
                 * @dev The storage slot of the UpgradeableBeacon contract which defines the implementation for this proxy.
                 * This is bytes32(uint256(keccak256('eip1967.proxy.beacon')) - 1)) and is validated in the constructor.
                 */
                bytes32 internal constant _BEACON_SLOT = 0xa3f0ad74e5423aebfd80d3ef4346578335a9a72aeaee59ff6cb3582b35133d50;
                /**
                 * @dev Emitted when the beacon is upgraded.
                 */
                event BeaconUpgraded(address indexed beacon);
                /**
                 * @dev Returns the current beacon.
                 */
                function _getBeacon() internal view returns (address) {
                    return StorageSlot.getAddressSlot(_BEACON_SLOT).value;
                }
                /**
                 * @dev Stores a new beacon in the EIP1967 beacon slot.
                 */
                function _setBeacon(address newBeacon) private {
                    require(Address.isContract(newBeacon), "ERC1967: new beacon is not a contract");
                    require(
                        Address.isContract(IBeacon(newBeacon).implementation()),
                        "ERC1967: beacon implementation is not a contract"
                    );
                    StorageSlot.getAddressSlot(_BEACON_SLOT).value = newBeacon;
                }
                /**
                 * @dev Perform beacon upgrade with additional setup call. Note: This upgrades the address of the beacon, it does
                 * not upgrade the implementation contained in the beacon (see {UpgradeableBeacon-_setImplementation} for that).
                 *
                 * Emits a {BeaconUpgraded} event.
                 */
                function _upgradeBeaconToAndCall(
                    address newBeacon,
                    bytes memory data,
                    bool forceCall
                ) internal {
                    _setBeacon(newBeacon);
                    emit BeaconUpgraded(newBeacon);
                    if (data.length > 0 || forceCall) {
                        Address.functionDelegateCall(IBeacon(newBeacon).implementation(), data);
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            import "./State.sol";
            contract Setters is State {
                function _setInitialized(address implementation) internal {
                    _state.initializedImplementations[implementation] = true;
                }
                function _setChainId(uint16 chainId) internal {
                    _state.provider.chainId = chainId;
                }
                function _setTransferCompleted(bytes32 hash) internal {
                    _state.completedTransfers[hash] = true;
                }
                function _setZKBridgeImplementation(uint16 chainId, bytes32 bridgeContract) internal {
                    _state.zkBridgeImplementations[chainId] = bridgeContract;
                }
                function _setOwner(address owner) internal {
                    _state.owner = owner;
                }
                function _setNextSequence(bytes32 hash, uint64 sequence) internal {
                    _state.sequences[hash] = sequence;
                }
                function _setMptVerifier(uint16 chainId,address mptVerifier) internal {
                    _state.mptVerifiers[chainId] = mptVerifier;
                }
                function _setBlockUpdater(uint16 chainId,address blockUpdater) internal {
                    _state.blockUpdaters[chainId] = blockUpdater;
                }
                function _setPendingImplementation(address pendingImplementation) internal {
                    _state.pendingImplementation = pendingImplementation;
                }
                function _setToUpdateTime(uint256 toUpdateTime) internal {
                    _state.toUpdateTime = toUpdateTime;
                }
                function _setLockTime(uint256 lockTime) internal {
                    _state.lockTime = lockTime;
                }
            }// SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            import "./State.sol";
            import "./interfaces/IMptVerifier.sol";
            import "./interfaces/IBlockUpdater.sol";
            contract Getters is State {
                function isInitialized(address impl) public view returns (bool) {
                    return _state.initializedImplementations[impl];
                }
                function chainId() public view returns (uint16) {
                    return _state.provider.chainId;
                }
                function nextSequence(bytes32 hash) public view returns (uint64) {
                    return _state.sequences[hash];
                }
                function zkBridgeContracts(uint16 chainId) public view returns (bytes32){
                    return _state.zkBridgeImplementations[chainId];
                }
                function isTransferCompleted(bytes32 hash) public view returns (bool) {
                    return _state.completedTransfers[hash];
                }
                function mptVerifier(uint16 chainId) public view returns (IMptVerifier) {
                    return IMptVerifier(_state.mptVerifiers[chainId]);
                }
                function blockUpdater(uint16 chainId) public view returns (IBlockUpdater) {
                    return IBlockUpdater(_state.blockUpdaters[chainId]);
                }
                function owner() public view returns (address) {
                    return _state.owner;
                }
                function pendingImplementation() public view returns (address) {
                    return _state.pendingImplementation;
                }
                function toUpdateTime() public view returns (uint256) {
                    return _state.toUpdateTime;
                }
                function lockTime() public view returns (uint256) {
                    return _state.lockTime;
                }
            }// SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            contract Storage {
                struct Provider {
                    uint16 chainId;
                }
                struct ZKBridgeState {
                    Provider provider;
                    // owner
                    address owner;
                    //upgrade pending contract
                    address pendingImplementation;
                    //Upgrade confirmation time
                    uint256 toUpdateTime;
                    //Upgrade lock time
                    uint256 lockTime;
                    // Sequence numbers per emitter
                    mapping(bytes32 => uint64) sequences;
                    // Mapping of zkBridge contracts on other chains
                    mapping(uint16 => bytes32) zkBridgeImplementations;
                    // Mapping of initialized implementations
                    mapping(address => bool) initializedImplementations;
                    // Mapping of consumed token transfers
                    mapping(bytes32 => bool) completedTransfers;
                    // Mapping of mpt verifiers
                    mapping(uint16 => address) mptVerifiers;
                    // Mapping of block updaters
                    mapping(uint16 => address) blockUpdaters;
                }
            }
            contract State {
                Storage.ZKBridgeState _state;
                uint256 public constant MIN_LOCK_TIME = 1 days;
            }// SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IMptVerifier {
                struct Receipt {
                    bytes32 receiptHash;
                    uint256 state;
                    bytes logs;
                }
                function validateMPT(bytes memory proof) external view returns (Receipt memory receipt);
            }
            // SPDX-License-Identifier: MIT
            pragma solidity ^0.8.0;
            interface IBlockUpdater {
                function checkBlock(bytes32 blockHash, bytes32 receiptsRoot) external view returns (bool);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts v4.4.1 (proxy/beacon/IBeacon.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev This is the interface that {BeaconProxy} expects of its beacon.
             */
            interface IBeacon {
                /**
                 * @dev Must return an address that can be used as a delegate call target.
                 *
                 * {BeaconProxy} will check that this address is a contract.
                 */
                function implementation() external view returns (address);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.5.0) (interfaces/draft-IERC1822.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev ERC1822: Universal Upgradeable Proxy Standard (UUPS) documents a method for upgradeability through a simplified
             * proxy whose upgrades are fully controlled by the current implementation.
             */
            interface IERC1822Proxiable {
                /**
                 * @dev Returns the storage slot that the proxiable contract assumes is being used to store the implementation
                 * address.
                 *
                 * IMPORTANT: A proxy pointing at a proxiable contract should not be considered proxiable itself, because this risks
                 * bricking a proxy that upgrades to it, by delegating to itself until out of gas. Thus it is critical that this
                 * function revert if invoked through a proxy.
                 */
                function proxiableUUID() external view returns (bytes32);
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/Address.sol)
            pragma solidity ^0.8.1;
            /**
             * @dev Collection of functions related to the address type
             */
            library Address {
                /**
                 * @dev Returns true if `account` is a contract.
                 *
                 * [IMPORTANT]
                 * ====
                 * It is unsafe to assume that an address for which this function returns
                 * false is an externally-owned account (EOA) and not a contract.
                 *
                 * Among others, `isContract` will return false for the following
                 * types of addresses:
                 *
                 *  - an externally-owned account
                 *  - a contract in construction
                 *  - an address where a contract will be created
                 *  - an address where a contract lived, but was destroyed
                 * ====
                 *
                 * [IMPORTANT]
                 * ====
                 * You shouldn't rely on `isContract` to protect against flash loan attacks!
                 *
                 * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
                 * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
                 * constructor.
                 * ====
                 */
                function isContract(address account) internal view returns (bool) {
                    // This method relies on extcodesize/address.code.length, which returns 0
                    // for contracts in construction, since the code is only stored at the end
                    // of the constructor execution.
                    return account.code.length > 0;
                }
                /**
                 * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
                 * `recipient`, forwarding all available gas and reverting on errors.
                 *
                 * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
                 * of certain opcodes, possibly making contracts go over the 2300 gas limit
                 * imposed by `transfer`, making them unable to receive funds via
                 * `transfer`. {sendValue} removes this limitation.
                 *
                 * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
                 *
                 * IMPORTANT: because control is transferred to `recipient`, care must be
                 * taken to not create reentrancy vulnerabilities. Consider using
                 * {ReentrancyGuard} or the
                 * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
                 */
                function sendValue(address payable recipient, uint256 amount) internal {
                    require(address(this).balance >= amount, "Address: insufficient balance");
                    (bool success, ) = recipient.call{value: amount}("");
                    require(success, "Address: unable to send value, recipient may have reverted");
                }
                /**
                 * @dev Performs a Solidity function call using a low level `call`. A
                 * plain `call` is an unsafe replacement for a function call: use this
                 * function instead.
                 *
                 * If `target` reverts with a revert reason, it is bubbled up by this
                 * function (like regular Solidity function calls).
                 *
                 * Returns the raw returned data. To convert to the expected return value,
                 * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
                 *
                 * Requirements:
                 *
                 * - `target` must be a contract.
                 * - calling `target` with `data` must not revert.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionCall(target, data, "Address: low-level call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
                 * `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, 0, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but also transferring `value` wei to `target`.
                 *
                 * Requirements:
                 *
                 * - the calling contract must have an ETH balance of at least `value`.
                 * - the called Solidity function must be `payable`.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value
                ) internal returns (bytes memory) {
                    return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
                 * with `errorMessage` as a fallback revert reason when `target` reverts.
                 *
                 * _Available since v3.1._
                 */
                function functionCallWithValue(
                    address target,
                    bytes memory data,
                    uint256 value,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(address(this).balance >= value, "Address: insufficient balance for call");
                    require(isContract(target), "Address: call to non-contract");
                    (bool success, bytes memory returndata) = target.call{value: value}(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
                    return functionStaticCall(target, data, "Address: low-level static call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a static call.
                 *
                 * _Available since v3.3._
                 */
                function functionStaticCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal view returns (bytes memory) {
                    require(isContract(target), "Address: static call to non-contract");
                    (bool success, bytes memory returndata) = target.staticcall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
                    return functionDelegateCall(target, data, "Address: low-level delegate call failed");
                }
                /**
                 * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
                 * but performing a delegate call.
                 *
                 * _Available since v3.4._
                 */
                function functionDelegateCall(
                    address target,
                    bytes memory data,
                    string memory errorMessage
                ) internal returns (bytes memory) {
                    require(isContract(target), "Address: delegate call to non-contract");
                    (bool success, bytes memory returndata) = target.delegatecall(data);
                    return verifyCallResult(success, returndata, errorMessage);
                }
                /**
                 * @dev Tool to verifies that a low level call was successful, and revert if it wasn't, either by bubbling the
                 * revert reason using the provided one.
                 *
                 * _Available since v4.3._
                 */
                function verifyCallResult(
                    bool success,
                    bytes memory returndata,
                    string memory errorMessage
                ) internal pure returns (bytes memory) {
                    if (success) {
                        return returndata;
                    } else {
                        // Look for revert reason and bubble it up if present
                        if (returndata.length > 0) {
                            // The easiest way to bubble the revert reason is using memory via assembly
                            /// @solidity memory-safe-assembly
                            assembly {
                                let returndata_size := mload(returndata)
                                revert(add(32, returndata), returndata_size)
                            }
                        } else {
                            revert(errorMessage);
                        }
                    }
                }
            }
            // SPDX-License-Identifier: MIT
            // OpenZeppelin Contracts (last updated v4.7.0) (utils/StorageSlot.sol)
            pragma solidity ^0.8.0;
            /**
             * @dev Library for reading and writing primitive types to specific storage slots.
             *
             * Storage slots are often used to avoid storage conflict when dealing with upgradeable contracts.
             * This library helps with reading and writing to such slots without the need for inline assembly.
             *
             * The functions in this library return Slot structs that contain a `value` member that can be used to read or write.
             *
             * Example usage to set ERC1967 implementation slot:
             * ```
             * contract ERC1967 {
             *     bytes32 internal constant _IMPLEMENTATION_SLOT = 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc;
             *
             *     function _getImplementation() internal view returns (address) {
             *         return StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value;
             *     }
             *
             *     function _setImplementation(address newImplementation) internal {
             *         require(Address.isContract(newImplementation), "ERC1967: new implementation is not a contract");
             *         StorageSlot.getAddressSlot(_IMPLEMENTATION_SLOT).value = newImplementation;
             *     }
             * }
             * ```
             *
             * _Available since v4.1 for `address`, `bool`, `bytes32`, and `uint256`._
             */
            library StorageSlot {
                struct AddressSlot {
                    address value;
                }
                struct BooleanSlot {
                    bool value;
                }
                struct Bytes32Slot {
                    bytes32 value;
                }
                struct Uint256Slot {
                    uint256 value;
                }
                /**
                 * @dev Returns an `AddressSlot` with member `value` located at `slot`.
                 */
                function getAddressSlot(bytes32 slot) internal pure returns (AddressSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `BooleanSlot` with member `value` located at `slot`.
                 */
                function getBooleanSlot(bytes32 slot) internal pure returns (BooleanSlot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Bytes32Slot` with member `value` located at `slot`.
                 */
                function getBytes32Slot(bytes32 slot) internal pure returns (Bytes32Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
                /**
                 * @dev Returns an `Uint256Slot` with member `value` located at `slot`.
                 */
                function getUint256Slot(bytes32 slot) internal pure returns (Uint256Slot storage r) {
                    /// @solidity memory-safe-assembly
                    assembly {
                        r.slot := slot
                    }
                }
            }