Contract Source Code (Solidity Standard Json-Input format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

More Options

• Similar
• Submit Audit
• Compare

// SPDX-License-Identifier: Apache 2
pragma solidity ^0.8.19;

import "openzeppelin-contracts/contracts/token/ERC20/IERC20.sol";
import "openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol";

import "example-messaging-executor/evm/src/interfaces/IExecutor.sol";
import "example-messaging-executor/evm/src/libraries/ExecutorMessages.sol";

import {ICircleV2TokenMessenger} from "./interfaces/circle/ICircleV2TokenMessenger.sol";
import {IMessageTransmitter} from "./interfaces/circle/IMessageTransmitter.sol";

import "./interfaces/ICCTPv2WithExecutor.sol";

string constant cctpWithExecutorVersion = "CCTPv2WithExecutor-0.0.1";

/// @title CCTPv2WithExecutor
/// @author Executor Project Contributors.
/// @notice The CCTPv2WithExecutor contract is a shim contract that initiates a Circle transfer using the executor for relaying.
contract CCTPv2WithExecutor is ICCTPv2WithExecutor {
    ICircleV2TokenMessenger public immutable circleTokenMessenger;
    IExecutor public immutable executor;
    uint32 public immutable sourceDomain;

    string public constant VERSION = cctpWithExecutorVersion;

    constructor(address _circleTokenMessenger, address _executor) {
        assert(_circleTokenMessenger != address(0));
        assert(_executor != address(0));
        circleTokenMessenger = ICircleV2TokenMessenger(_circleTokenMessenger);
        executor = IExecutor(_executor);

        // The source domain is the local domain on the Message Transmitter contract.
        sourceDomain = IMessageTransmitter(circleTokenMessenger.localMessageTransmitter()).localDomain();
    }

    // ==================== External Interface ===============================================

    /// @inheritdoc ICCTPv2WithExecutor
    function depositForBurn(
        uint256 amount,
        uint16 destinationChain,
        uint32 destinationDomain,
        bytes32 mintRecipient,
        address burnToken,
        bytes32 destinationCaller,
        uint256 maxFee,
        uint32 minFinalityThreshold,
        ExecutorArgs calldata executorArgs,
        FeeArgs calldata feeArgs
    ) external payable {
        // Custody the tokens in this contract.
        amount = custodyTokens(burnToken, amount);

        // Transfer the fee to the referrer.
        amount = payFee(burnToken, amount, feeArgs);

        // Initiate the transfer.
        SafeERC20.safeIncreaseAllowance(IERC20(burnToken), address(circleTokenMessenger), amount);
        circleTokenMessenger.depositForBurn(
            amount, destinationDomain, mintRecipient, burnToken, destinationCaller, maxFee, minFinalityThreshold
        );

        // Generate the executor event.
        executor.requestExecution{value: msg.value}(
            destinationChain,
            bytes32(0), // The executor will derive this. It is the Circle message transmitter on the destination domain.
            executorArgs.refundAddress,
            executorArgs.signedQuote,
            ExecutorMessages.makeCCTPv2Request(),
            executorArgs.instructions
        );
    }

    // ==================== Internal Functions ==============================================

    function custodyTokens(address token, uint256 amount) internal returns (uint256) {
        // query own token balance before transfer
        uint256 balanceBefore = getBalance(token);

        // deposit tokens
        SafeERC20.safeTransferFrom(IERC20(token), msg.sender, address(this), amount);

        // return the balance difference
        return getBalance(token) - balanceBefore;
    }

    function getBalance(address token) internal view returns (uint256 balance) {
        // fetch the specified token balance for this contract
        (, bytes memory queriedBalance) =
            token.staticcall(abi.encodeWithSelector(IERC20.balanceOf.selector, address(this)));
        balance = abi.decode(queriedBalance, (uint256));
    }

    // @dev The fee is calculated as a percentage of the amount being transferred.
    function payFee(address token, uint256 amount, FeeArgs calldata feeArgs) internal returns (uint256) {
        uint256 fee = calculateFee(amount, feeArgs.dbps);
        if (fee > 0) {
            // Don't need to check for fee greater than or equal to amount because it can never be (since dbps is a uint16).
            amount -= fee;
            SafeERC20.safeTransfer(IERC20(token), feeArgs.payee, fee);
        }
        return amount;
    }

    function calculateFee(uint256 amount, uint16 dbps) public pure returns (uint256 fee) {
        unchecked {
            uint256 q = amount / 100000;
            uint256 r = amount % 100000;
            fee = q * dbps + (r * dbps) / 100000;
        }
    }
}

// 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
// OpenZeppelin Contracts (last updated v4.8.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: Apache-2.0
pragma solidity ^0.8.19;

interface IExecutor {
    struct SignedQuoteHeader {
        bytes4 prefix;
        address quoterAddress;
        bytes32 payeeAddress;
        uint16 srcChain;
        uint16 dstChain;
        uint64 expiryTime;
    }

    event RequestForExecution(
        address indexed quoterAddress,
        uint256 amtPaid,
        uint16 dstChain,
        bytes32 dstAddr,
        address refundAddr,
        bytes signedQuote,
        bytes requestBytes,
        bytes relayInstructions
    );

    function requestExecution(
        uint16 dstChain,
        bytes32 dstAddr,
        address refundAddr,
        bytes calldata signedQuote,
        bytes calldata requestBytes,
        bytes calldata relayInstructions
    ) external payable;
}

// SPDX-License-Identifier: Apache-2.0
pragma solidity ^0.8.19;

library ExecutorMessages {
    bytes4 private constant REQ_MM = "ERM1";
    bytes4 private constant REQ_VAA_V1 = "ERV1";
    bytes4 private constant REQ_NTT_V1 = "ERN1";
    bytes4 private constant REQ_CCTP_V1 = "ERC1";
    bytes4 private constant REQ_CCTP_V2 = "ERC2";

    /// @notice Payload length will not fit in a uint32.
    /// @dev Selector: 492f620d.
    error PayloadTooLarge();

    /// @notice Encodes a modular messaging request payload.
    /// @param srcChain The source chain for the message (usually this chain).
    /// @param srcAddr The source address for the message.
    /// @param sequence The sequence number returned by `endpoint.sendMessage`.
    /// @param payload The full payload, the keccak of which was sent to `endpoint.sendMessage`.
    /// @return bytes The encoded request.
    function makeMMRequest(uint16 srcChain, address srcAddr, uint64 sequence, bytes memory payload)
        internal
        pure
        returns (bytes memory)
    {
        if (payload.length > type(uint32).max) {
            revert PayloadTooLarge();
        }
        return abi.encodePacked(
            REQ_MM, srcChain, bytes32(uint256(uint160(srcAddr))), sequence, uint32(payload.length), payload
        );
    }

    /// @notice Encodes a version 1 VAA request payload.
    /// @param emitterChain The emitter chain from the VAA.
    /// @param emitterAddress The emitter address from the VAA.
    /// @param sequence The sequence number from the VAA.
    /// @return bytes The encoded request.
    function makeVAAv1Request(uint16 emitterChain, bytes32 emitterAddress, uint64 sequence)
        internal
        pure
        returns (bytes memory)
    {
        return abi.encodePacked(REQ_VAA_V1, emitterChain, emitterAddress, sequence);
    }

    /// @notice Encodes a version 1 NTT request payload.
    /// @param srcChain The source chain for the NTT transfer.
    /// @param srcManager The source manager for the NTT transfer.
    /// @param messageId The manager message id for the NTT transfer.
    /// @return bytes The encoded request.
    function makeNTTv1Request(uint16 srcChain, bytes32 srcManager, bytes32 messageId)
        internal
        pure
        returns (bytes memory)
    {
        return abi.encodePacked(REQ_NTT_V1, srcChain, srcManager, messageId);
    }

    /// @notice Encodes a version 1 CCTP request payload.
    /// @param sourceDomain The source chain for the CCTP transfer.
    /// @param nonce The nonce of the CCTP transfer.
    /// @return bytes The encoded request.
    function makeCCTPv1Request(uint32 sourceDomain, uint64 nonce) internal pure returns (bytes memory) {
        return abi.encodePacked(REQ_CCTP_V1, sourceDomain, nonce);
    }

    /// @notice Encodes a version 2 CCTP request payload.
    ///         This request currently assumes the Executor will auto detect the event off chain.
    ///         That may change in the future, in which case this interface would change.
    /// @return bytes The encoded request.
    function makeCCTPv2Request() internal pure returns (bytes memory) {
        return abi.encodePacked(REQ_CCTP_V2, uint8(1));
    }
}

// SPDX-License-Identifier: Apache 2
pragma solidity ^0.8.19;

import {IMessageTransmitter} from "./IMessageTransmitter.sol";

///@dev This only includes what is needed by the CCTPv2WithExecutor contract.
interface ICircleV2TokenMessenger {
    /**
     * @notice Deposits and burns tokens from sender to be minted on destination domain.
     * Emits a `DepositForBurn` event.
     * @dev reverts if:
     * - given burnToken is not supported
     * - given destinationDomain has no TokenMessenger registered
     * - transferFrom() reverts. For example, if sender's burnToken balance or approved allowance
     * to this contract is less than `amount`.
     * - burn() reverts. For example, if `amount` is 0.
     * - maxFee is greater than or equal to `amount`.
     * - MessageTransmitterV2#sendMessage reverts.
     * @param amount amount of tokens to burn
     * @param destinationDomain destination domain to receive message on
     * @param mintRecipient address of mint recipient on destination domain
     * @param burnToken token to burn `amount` of, on local domain
     * @param destinationCaller authorized caller on the destination domain, as bytes32. If equal to bytes32(0),
     * any address can broadcast the message.
     * @param maxFee maximum fee to pay on the destination domain, specified in units of burnToken
     * @param minFinalityThreshold the minimum finality at which a burn message will be attested to.
     */
    function depositForBurn(
        uint256 amount,
        uint32 destinationDomain,
        bytes32 mintRecipient,
        address burnToken,
        bytes32 destinationCaller,
        uint256 maxFee,
        uint32 minFinalityThreshold
    ) external;

    function localMessageTransmitter() external view returns (IMessageTransmitter);
}

// SPDX-License-Identifier: Apache 2
pragma solidity ^0.8.19;

///@dev This only includes what is needed by the CCTPv1WithExecutor and CCTPv2WithExecutor contracts.
interface IMessageTransmitter {
    function localDomain() external view returns (uint32);
}

// SPDX-License-Identifier: Apache 2
pragma solidity ^0.8.19;

struct ExecutorArgs {
    // The refund address used by the Executor.
    address refundAddress;
    // The signed quote to be passed into the Executor.
    bytes signedQuote;
    // The relay instructions to be passed into the Executor.
    bytes instructions;
}

struct FeeArgs {
    // The fee in tenths of basis points.
    uint16 dbps;
    // To whom the fee should be paid (the "referrer").
    address payee;
}

interface ICCTPv2WithExecutor {
    /**
     * @notice Deposits and burns tokens from sender to be minted on destination domain.
     * Emits a `DepositForBurn` event.
     * @dev reverts if:
     * - given burnToken is not supported
     * - given destinationDomain has no TokenMessenger registered
     * - transferFrom() reverts. For example, if sender's burnToken balance or approved allowance
     * to this contract is less than `amount`.
     * - burn() reverts. For example, if `amount` is 0.
     * - maxFee is greater than or equal to `amount`.
     * - MessageTransmitterV2#sendMessage reverts.
     * @param amount amount of tokens to burn
     * @param destinationChain destination chain ID
     * @param destinationDomain destination domain to receive message on
     * @param mintRecipient address of mint recipient on destination domain
     * @param burnToken token to burn `amount` of, on local domain
     * @param destinationCaller authorized caller on the destination domain, as bytes32. If equal to bytes32(0),
     * any address can broadcast the message.
     * @param maxFee maximum fee to pay on the destination domain, specified in units of burnToken
     * @param minFinalityThreshold the minimum finality at which a burn message will be attested to.
     * @param executorArgs The arguments to be passed into the Executor.
     * @param feeArgs The arguments used to compute and pay the referrer fee.
     */
    function depositForBurn(
        uint256 amount,
        uint16 destinationChain,
        uint32 destinationDomain,
        bytes32 mintRecipient,
        address burnToken,
        bytes32 destinationCaller,
        uint256 maxFee,
        uint32 minFinalityThreshold,
        ExecutorArgs calldata executorArgs,
        FeeArgs calldata feeArgs
    ) external payable;
}

// 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.8.0) (utils/Address.sol)

pragma solidity ^0.8.1;

/**
 * @dev Collection of functions related to the address type
 */
library Address {
    /**
     * @dev Returns true if `account` is a contract.
     *
     * [IMPORTANT]
     * ====
     * It is unsafe to assume that an address for which this function returns
     * false is an externally-owned account (EOA) and not a contract.
     *
     * Among others, `isContract` will return false for the following
     * types of addresses:
     *
     *  - an externally-owned account
     *  - a contract in construction
     *  - an address where a contract will be created
     *  - an address where a contract lived, but was destroyed
     * ====
     *
     * [IMPORTANT]
     * ====
     * You shouldn't rely on `isContract` to protect against flash loan attacks!
     *
     * Preventing calls from contracts is highly discouraged. It breaks composability, breaks support for smart wallets
     * like Gnosis Safe, and does not provide security since it can be circumvented by calling from a contract
     * constructor.
     * ====
     */
    function isContract(address account) internal view returns (bool) {
        // This method relies on extcodesize/address.code.length, which returns 0
        // for contracts in construction, since the code is only stored at the end
        // of the constructor execution.

        return account.code.length > 0;
    }

    /**
     * @dev Replacement for Solidity's `transfer`: sends `amount` wei to
     * `recipient`, forwarding all available gas and reverting on errors.
     *
     * https://eips.ethereum.org/EIPS/eip-1884[EIP1884] increases the gas cost
     * of certain opcodes, possibly making contracts go over the 2300 gas limit
     * imposed by `transfer`, making them unable to receive funds via
     * `transfer`. {sendValue} removes this limitation.
     *
     * https://diligence.consensys.net/posts/2019/09/stop-using-soliditys-transfer-now/[Learn more].
     *
     * IMPORTANT: because control is transferred to `recipient`, care must be
     * taken to not create reentrancy vulnerabilities. Consider using
     * {ReentrancyGuard} or the
     * https://solidity.readthedocs.io/en/v0.5.11/security-considerations.html#use-the-checks-effects-interactions-pattern[checks-effects-interactions pattern].
     */
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        (bool success, ) = recipient.call{value: amount}("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }

    /**
     * @dev Performs a Solidity function call using a low level `call`. A
     * plain `call` is an unsafe replacement for a function call: use this
     * function instead.
     *
     * If `target` reverts with a revert reason, it is bubbled up by this
     * function (like regular Solidity function calls).
     *
     * Returns the raw returned data. To convert to the expected return value,
     * use https://solidity.readthedocs.io/en/latest/units-and-global-variables.html?highlight=abi.decode#abi-encoding-and-decoding-functions[`abi.decode`].
     *
     * Requirements:
     *
     * - `target` must be a contract.
     * - calling `target` with `data` must not revert.
     *
     * _Available since v3.1._
     */
    function functionCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, "Address: low-level call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`], but with
     * `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, 0, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but also transferring `value` wei to `target`.
     *
     * Requirements:
     *
     * - the calling contract must have an ETH balance of at least `value`.
     * - the called Solidity function must be `payable`.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value
    ) internal returns (bytes memory) {
        return functionCallWithValue(target, data, value, "Address: low-level call with value failed");
    }

    /**
     * @dev Same as {xref-Address-functionCallWithValue-address-bytes-uint256-}[`functionCallWithValue`], but
     * with `errorMessage` as a fallback revert reason when `target` reverts.
     *
     * _Available since v3.1._
     */
    function functionCallWithValue(
        address target,
        bytes memory data,
        uint256 value,
        string memory errorMessage
    ) internal returns (bytes memory) {
        require(address(this).balance >= value, "Address: insufficient balance for call");
        (bool success, bytes memory returndata) = target.call{value: value}(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(address target, bytes memory data) internal view returns (bytes memory) {
        return functionStaticCall(target, data, "Address: low-level static call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a static call.
     *
     * _Available since v3.3._
     */
    function functionStaticCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        (bool success, bytes memory returndata) = target.staticcall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(address target, bytes memory data) internal returns (bytes memory) {
        return functionDelegateCall(target, data, "Address: low-level delegate call failed");
    }

    /**
     * @dev Same as {xref-Address-functionCall-address-bytes-string-}[`functionCall`],
     * but performing a delegate call.
     *
     * _Available since v3.4._
     */
    function functionDelegateCall(
        address target,
        bytes memory data,
        string memory errorMessage
    ) internal returns (bytes memory) {
        (bool success, bytes memory returndata) = target.delegatecall(data);
        return verifyCallResultFromTarget(target, success, returndata, errorMessage);
    }

    /**
     * @dev Tool to verify that a low level call to smart-contract was successful, and revert (either by bubbling
     * the revert reason or using the provided one) in case of unsuccessful call or if target was not a contract.
     *
     * _Available since v4.8._
     */
    function verifyCallResultFromTarget(
        address target,
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal view returns (bytes memory) {
        if (success) {
            if (returndata.length == 0) {
                // only check isContract if the call was successful and the return data is empty
                // otherwise we already know that it was a contract
                require(isContract(target), "Address: call to non-contract");
            }
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    /**
     * @dev Tool to verify that a low level call was successful, and revert if it wasn't, either by bubbling the
     * revert reason or using the provided one.
     *
     * _Available since v4.3._
     */
    function verifyCallResult(
        bool success,
        bytes memory returndata,
        string memory errorMessage
    ) internal pure returns (bytes memory) {
        if (success) {
            return returndata;
        } else {
            _revert(returndata, errorMessage);
        }
    }

    function _revert(bytes memory returndata, string memory errorMessage) private pure {
        // Look for revert reason and bubble it up if present
        if (returndata.length > 0) {
            // The easiest way to bubble the revert reason is using memory via assembly
            /// @solidity memory-safe-assembly
            assembly {
                let returndata_size := mload(returndata)
                revert(add(32, returndata), returndata_size)
            }
        } else {
            revert(errorMessage);
        }
    }
}

{
  "remappings": [
    "ds-test/=lib/openzeppelin-contracts/lib/forge-std/lib/ds-test/src/",
    "example-messaging-executor/=lib/example-messaging-executor/",
    "forge-std/=lib/forge-std/src/",
    "openzeppelin-contracts/=lib/openzeppelin-contracts/"
  ],
  "optimizer": {
    "enabled": true,
    "runs": 200
  },
  "metadata": {
    "useLiteralContent": false,
    "bytecodeHash": "ipfs",
    "appendCBOR": true
  },
  "outputSelection": {
    "*": {
      "*": [
        "evm.bytecode",
        "evm.deployedBytecode",
        "devdoc",
        "userdoc",
        "metadata",
        "abi"
      ]
    }
  },
  "evmVersion": "london",
  "viaIR": true,
  "libraries": {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_circleTokenMessenger","type":"address"},{"internalType":"address","name":"_executor","type":"address"}],"stateMutability":"nonpayable","type":"constructor"},{"inputs":[],"name":"VERSION","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint16","name":"dbps","type":"uint16"}],"name":"calculateFee","outputs":[{"internalType":"uint256","name":"fee","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"circleTokenMessenger","outputs":[{"internalType":"contract ICircleV2TokenMessenger","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"uint16","name":"destinationChain","type":"uint16"},{"internalType":"uint32","name":"destinationDomain","type":"uint32"},{"internalType":"bytes32","name":"mintRecipient","type":"bytes32"},{"internalType":"address","name":"burnToken","type":"address"},{"internalType":"bytes32","name":"destinationCaller","type":"bytes32"},{"internalType":"uint256","name":"maxFee","type":"uint256"},{"internalType":"uint32","name":"minFinalityThreshold","type":"uint32"},{"components":[{"internalType":"address","name":"refundAddress","type":"address"},{"internalType":"bytes","name":"signedQuote","type":"bytes"},{"internalType":"bytes","name":"instructions","type":"bytes"}],"internalType":"struct ExecutorArgs","name":"executorArgs","type":"tuple"},{"components":[{"internalType":"uint16","name":"dbps","type":"uint16"},{"internalType":"address","name":"payee","type":"address"}],"internalType":"struct FeeArgs","name":"feeArgs","type":"tuple"}],"name":"depositForBurn","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"executor","outputs":[{"internalType":"contract IExecutor","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"sourceDomain","outputs":[{"internalType":"uint32","name":"","type":"uint32"}],"stateMutability":"view","type":"function"}]

60e0806040523461019a57604081610b64803803809161001f828561019f565b83398101031261019a576020816100428261003b6004956101d8565b92016101d8565b6001600160a01b03909116906100598215156101ec565b6001600160a01b031661006d8115156101ec565b8160805260a05260405192838092632c12192160e01b82525afa90811561014b57600091610157575b5060405163234d8e3d60e21b815290602090829060049082906001600160a01b03165afa90811561014b57600091610105575b5060c05260405161095a908161020a82396080518181816101eb0152610599015260a0518181816102f60152610513015260c0518161055f0152f35b6020813d602011610143575b8161011e6020938361019f565b8101031261013f57519063ffffffff8216820361013c5750386100c9565b80fd5b5080fd5b3d9150610111565b6040513d6000823e3d90fd5b6020813d602011610192575b816101706020938361019f565b8101031261013f5751906001600160a01b038216820361013c57506020610096565b3d9150610163565b600080fd5b601f909101601f19168101906001600160401b038211908210176101c257604052565b634e487b7160e01b600052604160045260246000fd5b51906001600160a01b038216820361019a57565b156101f357565b634e487b7160e01b600052600160045260246000fdfe6080604052600436101561001257600080fd5b6000803560e01c80630fed70a2146105c85780638c1577c9146105835780638ddb4a8914610542578063c34c08e5146104fd578063e59ced5d146100c65763ffa1ad741461005f57600080fd5b346100c357806003193601126100c357506100bf60405161008160408261061f565b601881527f434354507632576974684578656375746f722d302e302e3100000000000000006020820152604051918291602083526020830190610657565b0390f35b80fd5b506101603660031901126100c3576100dc610609565b9060443563ffffffff81168091036104f9576084356001600160a01b038116939091908483036104f55760e4359163ffffffff83168093036104f157610104359267ffffffffffffffff84116104ed5783600401946060600319863603011261040f5760403661012319011261040f578061019e61015c6101a39361074f565b916101996040516323b872dd60e01b602082015233602482015230604482015260043560648201526064815261019360848261061f565b8c61079f565b61074f565b6106ec565b906101243561ffff81168103610433576101cf90839061ffff16620186a0808281850602049204020190565b80610488575b50604051636eb1769f60e11b81523060048201527f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03166024820181905291906020816044818d5afa90811561047d57899161044b575b508381018091116104375760405163095ea7b360e01b60208201526001600160a01b038416602482015260448101919091526102869061028081606481015b03601f19810183528261061f565b8a61079f565b813b1561043357918760e4928195946040519b8c968795634701287760e11b8752600487015260248601526064356044860152606485015260a435608485015260c43560a485015260c48401525af1801561042857610413575b92935083928235926001600160a01b03848116927f0000000000000000000000000000000000000000000000000000000000000000909116919083860361040f5761036995506103336024860183610698565b9690926044604051976322a9219960e11b60208a0152600160f81b60248a01526005895261036260258a61061f565b0190610698565b9590843b1561040b5788966103ca6103dc936103b861ffff976040519c8d9b8c9a8b9a63c513d43760e01b8c521660048b01528d60248b015260448a015260c060648a015260c48901916106cb565b86810360031901608488015290610657565b8481036003190160a4860152916106cb565b039134905af18015610400576103ef5750f35b816103f99161061f565b6100c35780f35b6040513d84823e3d90fd5b8880fd5b8680fd5b929093816104209161061f565b9183906102e0565b6040513d86823e3d90fd5b8780fd5b634e487b7160e01b89526011600452602489fd5b90506020813d602011610475575b816104666020938361061f565b8101031261040b575138610233565b3d9150610459565b6040513d8b823e3d90fd5b9182610493916106ec565b91610144356001600160a01b038116810361040b5760405163a9059cbb60e01b60208201526001600160a01b03909116602482015260448101919091526104e7906104e18160648101610272565b8961079f565b386101d5565b8580fd5b8480fd5b8380fd5b5080fd5b50346100c357806003193601126100c3576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b50346100c357806003193601126100c357602060405163ffffffff7f0000000000000000000000000000000000000000000000000000000000000000168152f35b50346100c357806003193601126100c3576040517f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03168152602090f35b50346100c35760403660031901126100c35760206106016105e7610609565b6004359061ffff16620186a0808281850602049204020190565b604051908152f35b6024359061ffff8216820361061a57565b600080fd5b90601f8019910116810190811067ffffffffffffffff82111761064157604052565b634e487b7160e01b600052604160045260246000fd5b919082519283825260005b848110610683575050826000602080949584010152601f8019910116010190565b80602080928401015182828601015201610662565b903590601e198136030182121561061a570180359067ffffffffffffffff821161061a5760200191813603831361061a57565b908060209392818452848401376000828201840152601f01601f1916010190565b919082039182116106f957565b634e487b7160e01b600052601160045260246000fd5b3d1561074a573d9067ffffffffffffffff8211610641576040519161073e601f8201601f19166020018461061f565b82523d6000602084013e565b606090565b6000809160405160208101906370a0823160e01b82523060248201526024815261077a60448261061f565b51915afa5061078761070f565b6020815191818082019384920101031261061a575190565b604080519092610804926001600160a01b03169060009081906107c2878661061f565b602085527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564602086015260208151910182855af16107fe61070f565b91610887565b80518061081057505050565b816020918101031261061a576020015180159081150361061a576108315750565b5162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152608490fd5b919290156108e9575081511561089b575090565b3b156108a45790565b60405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606490fd5b8251909150156108fc5750805190602001fd5b60405162461bcd60e51b815260206004820152908190610920906024830190610657565b0390fdfea2646970667358221220778a0e70d7173c68f0aca5a07d8b0d712ec7b131ad77193de447e3042fd5c2cf64736f6c634300081c003300000000000000000000000028b5a0e9c621a5badaa536219b3a228c8168cf5d0000000000000000000000009e1936e91a4a5ae5a5f75ffc472d6cb8e93597ea

0x6080604052600436101561001257600080fd5b6000803560e01c80630fed70a2146105c85780638c1577c9146105835780638ddb4a8914610542578063c34c08e5146104fd578063e59ced5d146100c65763ffa1ad741461005f57600080fd5b346100c357806003193601126100c357506100bf60405161008160408261061f565b601881527f434354507632576974684578656375746f722d302e302e3100000000000000006020820152604051918291602083526020830190610657565b0390f35b80fd5b506101603660031901126100c3576100dc610609565b9060443563ffffffff81168091036104f9576084356001600160a01b038116939091908483036104f55760e4359163ffffffff83168093036104f157610104359267ffffffffffffffff84116104ed5783600401946060600319863603011261040f5760403661012319011261040f578061019e61015c6101a39361074f565b916101996040516323b872dd60e01b602082015233602482015230604482015260043560648201526064815261019360848261061f565b8c61079f565b61074f565b6106ec565b906101243561ffff81168103610433576101cf90839061ffff16620186a0808281850602049204020190565b80610488575b50604051636eb1769f60e11b81523060048201527f00000000000000000000000028b5a0e9c621a5badaa536219b3a228c8168cf5d6001600160a01b03166024820181905291906020816044818d5afa90811561047d57899161044b575b508381018091116104375760405163095ea7b360e01b60208201526001600160a01b038416602482015260448101919091526102869061028081606481015b03601f19810183528261061f565b8a61079f565b813b1561043357918760e4928195946040519b8c968795634701287760e11b8752600487015260248601526064356044860152606485015260a435608485015260c43560a485015260c48401525af1801561042857610413575b92935083928235926001600160a01b03848116927f0000000000000000000000009e1936e91a4a5ae5a5f75ffc472d6cb8e93597ea909116919083860361040f5761036995506103336024860183610698565b9690926044604051976322a9219960e11b60208a0152600160f81b60248a01526005895261036260258a61061f565b0190610698565b9590843b1561040b5788966103ca6103dc936103b861ffff976040519c8d9b8c9a8b9a63c513d43760e01b8c521660048b01528d60248b015260448a015260c060648a015260c48901916106cb565b86810360031901608488015290610657565b8481036003190160a4860152916106cb565b039134905af18015610400576103ef5750f35b816103f99161061f565b6100c35780f35b6040513d84823e3d90fd5b8880fd5b8680fd5b929093816104209161061f565b9183906102e0565b6040513d86823e3d90fd5b8780fd5b634e487b7160e01b89526011600452602489fd5b90506020813d602011610475575b816104666020938361061f565b8101031261040b575138610233565b3d9150610459565b6040513d8b823e3d90fd5b9182610493916106ec565b91610144356001600160a01b038116810361040b5760405163a9059cbb60e01b60208201526001600160a01b03909116602482015260448101919091526104e7906104e18160648101610272565b8961079f565b386101d5565b8580fd5b8480fd5b8380fd5b5080fd5b50346100c357806003193601126100c3576040517f0000000000000000000000009e1936e91a4a5ae5a5f75ffc472d6cb8e93597ea6001600160a01b03168152602090f35b50346100c357806003193601126100c357602060405163ffffffff7f0000000000000000000000000000000000000000000000000000000000000006168152f35b50346100c357806003193601126100c3576040517f00000000000000000000000028b5a0e9c621a5badaa536219b3a228c8168cf5d6001600160a01b03168152602090f35b50346100c35760403660031901126100c35760206106016105e7610609565b6004359061ffff16620186a0808281850602049204020190565b604051908152f35b6024359061ffff8216820361061a57565b600080fd5b90601f8019910116810190811067ffffffffffffffff82111761064157604052565b634e487b7160e01b600052604160045260246000fd5b919082519283825260005b848110610683575050826000602080949584010152601f8019910116010190565b80602080928401015182828601015201610662565b903590601e198136030182121561061a570180359067ffffffffffffffff821161061a5760200191813603831361061a57565b908060209392818452848401376000828201840152601f01601f1916010190565b919082039182116106f957565b634e487b7160e01b600052601160045260246000fd5b3d1561074a573d9067ffffffffffffffff8211610641576040519161073e601f8201601f19166020018461061f565b82523d6000602084013e565b606090565b6000809160405160208101906370a0823160e01b82523060248201526024815261077a60448261061f565b51915afa5061078761070f565b6020815191818082019384920101031261061a575190565b604080519092610804926001600160a01b03169060009081906107c2878661061f565b602085527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564602086015260208151910182855af16107fe61070f565b91610887565b80518061081057505050565b816020918101031261061a576020015180159081150361061a576108315750565b5162461bcd60e51b815260206004820152602a60248201527f5361666545524332303a204552433230206f7065726174696f6e20646964206e6044820152691bdd081cdd58d8d9595960b21b6064820152608490fd5b919290156108e9575081511561089b575090565b3b156108a45790565b60405162461bcd60e51b815260206004820152601d60248201527f416464726573733a2063616c6c20746f206e6f6e2d636f6e74726163740000006044820152606490fd5b8251909150156108fc5750805190602001fd5b60405162461bcd60e51b815260206004820152908190610920906024830190610657565b0390fdfea2646970667358221220778a0e70d7173c68f0aca5a07d8b0d712ec7b131ad77193de447e3042fd5c2cf64736f6c634300081c0033

00000000000000000000000028b5a0e9c621a5badaa536219b3a228c8168cf5d0000000000000000000000009e1936e91a4a5ae5a5f75ffc472d6cb8e93597ea

-----Decoded View---------------
Arg [0] : _circleTokenMessenger (address): 0x28b5a0e9C621a5BadaA536219b3a228C8168cf5d
Arg [1] : _executor (address): 0x9E1936E91A4a5AE5A5F75fFc472D6cb8e93597ea

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 00000000000000000000000028b5a0e9c621a5badaa536219b3a228c8168cf5d
Arg [1] : 0000000000000000000000009e1936e91a4a5ae5a5f75ffc472d6cb8e93597ea