Разбор контракта стандартного моста Optimism

/**
 * @title IL1ERC20Bridge
 */
interface IL1ERC20Bridge {
    /**********
     * События *
     **********/

    event ERC20DepositInitiated(

    /********************
     * Публичные функции *
     ********************/

    /**
     * @dev получить Адрес соответствующего контракта моста l2.
     * @return Адрес соответствующего контракта моста l2.
     */
    function l2TokenBridge() external returns (address);

    /**
     * @dev внести сумму ERC-20 на баланс вызывающего на l2.
     * @param _l1Token Адрес ERC-20 l1, который мы вносим
     * @param _l2Token Адрес соответствующего ERC-20 l2 для l1
     * @param _amount Сумма ERC-20 для внесения
     * @param _l2Gas Лимит Газа, необходимый для завершения внесения на l2.
     * @param _data Необязательные данные для пересылки на l2. Эти данные предоставляются
     *        исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *        длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function depositERC20(
        address _l1Token,
        address _l2Token,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) external;

    /**
     * @dev внести сумму ERC-20 на баланс получателя на l2.
     * @param _l1Token Адрес ERC-20 l1, который мы вносим
     * @param _l2Token Адрес соответствующего ERC-20 l2 для l1
     * @param _to Адрес l2 для зачисления вывода.
     * @param _amount Сумма ERC-20 для внесения.
     * @param _l2Gas Лимит Газа, необходимый для завершения внесения на l2.
     * @param _data Необязательные данные для пересылки на l2. Эти данные предоставляются
     *        исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *        длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function depositERC20To(
        address _l1Token,
        address _l2Token,
        address _to,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) external;

    /*************************
     * Кроссчейн-функции *
     *************************/

    /**
     * @dev Завершить вывод с l2 на l1 и зачислить средства на баланс получателя
     * токена ERC-20 l1.
     * Этот вызов завершится ошибкой, если инициированный вывод с l2 не был завершен.
     *
     * @param _l1Token Адрес токена l1 для finalizeWithdrawal.
     * @param _l2Token Адрес токена l2, где был инициирован вывод.
     * @param _from Адрес l2, инициирующий перевод.
     * @param _to Адрес l1 для зачисления вывода.
     * @param _amount Сумма ERC-20 для внесения.
     * @param _data Данные, предоставленные отправителем на l2. Эти данные предоставляются
     *   исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *   длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function finalizeERC20Withdrawal(
        address _l1Token,
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data
    ) external;
}

// SPDX-License-Identifier: MIT
pragma solidity >0.5.0 <0.9.0;

import "./IL1ERC20Bridge.sol";

/**
 * @title IL1StandardBridge
 */
interface IL1StandardBridge is IL1ERC20Bridge {
    /**********
     * События *
     **********/
    event ETHDepositInitiated(
        address indexed _from,
        address indexed _to,
        uint256 _amount,
        bytes _data
    );

    event ETHWithdrawalFinalized(
        .
        .
        .
    );

    /********************
     * Публичные функции *
     ********************/

    /**
     * @dev Внести сумму ETH на баланс вызывающего на l2.
            .
            .
            .
     */
    function depositETH(uint32 _l2Gas, bytes calldata _data) external payable;

    /**
     * @dev Внести сумму ETH на баланс получателя на l2.
            .
            .
            .
     */
    function depositETHTo(
        address _to,
        uint32 _l2Gas,
        bytes calldata _data
    ) external payable;

    /*************************
     * Кроссчейн-функции *
     *************************/

    /**
     * @dev Завершить вывод с l2 на l1 и зачислить средства на баланс получателя
     * токена ETH l1. Поскольку только xDomainMessenger может вызвать эту функцию, она никогда не будет вызвана
     * до того, как вывод будет завершен.
                .
                .
                .
     */
    function finalizeETHWithdrawal(
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data
    ) external;
}

/**
 * @title CrossDomainEnabled
 * @dev Вспомогательный контракт для контрактов, выполняющих кроссдоменные коммуникации
 *
 * Используемый компилятор: определяется наследующим контрактом
 */
contract CrossDomainEnabled {
    /*************
     * Переменные *
     *************/

    // Контракт мессенджера, используемый для отправки и получения сообщений из другого домена.
    address public messenger;

    /***************
     * Конструктор *
     ***************/

    /**
     * @param _messenger Адрес CrossDomainMessenger на текущем уровне.
     */
    constructor(address _messenger) {
        messenger = _messenger;
    }

    /**********************
     * Модификаторы функций *
     **********************/

    /**
     * Гарантирует, что модифицированная функция может быть вызвана только определенным кроссдоменным аккаунтом.
     * @param _sourceDomainAccount Единственный аккаунт в исходном домене, который
     *  аутентифицирован для вызова этой функции.
     */
    modifier onlyFromCrossDomainAccount(address _sourceDomainAccount) {

        _;
    }

    /**********************
     * Внутренние функции *
     **********************/

    /**
     * Получает мессенджер, обычно из хранилища. Эта функция открыта на случай, если дочернему контракту
     * потребуется ее переопределить.
     * @return Адрес контракта кроссдоменного мессенджера, который должен использоваться.
     */
    function getCrossDomainMessenger() internal virtual returns (ICrossDomainMessenger) {
        return ICrossDomainMessenger(messenger);
    }

    /**
     * Отправляет сообщение аккаунту в другом домене
     * @param _crossDomainTarget Предполагаемый получатель в целевом домене
     * @param _message Данные для отправки цели (обычно данные вызова для функции с
     *  `onlyFromCrossDomainAccount()`)
     * @param _gasLimit Лимит Газа для получения сообщения в целевом домене.
     */
    function sendCrossDomainMessage(
        address _crossDomainTarget,
        uint32 _gasLimit,
        bytes memory _message

/**
 * @title L1StandardBridge
 * @dev Мост ETH и ERC-20 l1 — это контракт, который хранит внесенные средства l1 и стандартные
 * токены, которые используются на l2. Он синхронизирует соответствующий мост l2, информируя его о внесениях
 * и прослушивая его на предмет недавно завершенных выводов.
 *
 */
contract L1StandardBridge is IL1StandardBridge, CrossDomainEnabled {
    using SafeERC20 for IERC20;

    /******************
     * Инициализация *
     ******************/

    /**
     * @param _l1messenger Адрес мессенджера l1, используемый для кроссчейн-коммуникаций.
     * @param _l2TokenBridge Адрес стандартного моста l2.
     */
    // slither-disable-next-line external-function

    /**************
     * Внесение *
     **************/

    /** @dev Модификатор, требующий, чтобы отправитель был EOA. Эту проверку может обойти вредоносный
     *  контракт через initcode, но она предотвращает ошибку пользователя, которой мы хотим избежать.
     */
    modifier onlyEOA() {
        // Используется для остановки внесений от контрактов (во избежание случайно потерянных токенов)
        require(!Address.isContract(msg.sender), "Account not EOA");
        _;
    }

    /**
     * @dev Эта функция может быть вызвана без данных
     * для внесения суммы ETH на баланс вызывающего на l2.
     * Поскольку функция receive не принимает данные, консервативная
     * сумма по умолчанию пересылается на l2.
     */
    receive() external payable onlyEOA {
        _initiateETHDeposit(msg.sender, msg.sender, 200_000, bytes(""));
    }

    /**
     * @inheritdoc IL1StandardBridge
     */
    function depositETH(uint32 _l2Gas, bytes calldata _data) external payable onlyEOA {
        _initiateETHDeposit(msg.sender, msg.sender, _l2Gas, _data);
    }

    /**
     * @inheritdoc IL1StandardBridge
     */
    function depositETHTo(
        address _to,
        uint32 _l2Gas,
        bytes calldata _data
    ) external payable {
        _initiateETHDeposit(msg.sender, _to, _l2Gas, _data);
    }

    /**
     * @dev Выполняет логику для внесений, сохраняя ETH и информируя шлюз ETH l2 о
     * внесении.
     * @param _from Аккаунт, с которого списывается внесение на l1.
     * @param _to Аккаунт, которому передается внесение на l2.
     * @param _l2Gas Лимит Газа, необходимый для завершения внесения на l2.
     * @param _data Необязательные данные для пересылки на l2. Эти данные предоставляются
     *        исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *        длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function _initiateETHDeposit(
        address _from,
        address _to,
        uint32 _l2Gas,
        bytes memory _data
    ) internal {
        // Сформировать данные вызова для вызова finalizeDeposit
        bytes memory message = abi.encodeWithSelector(

    /**
     * @inheritdoc IL1ERC20Bridge
     */
    function depositERC20(
		.
		.
		.
    ) external virtual onlyEOA {
        _initiateERC20Deposit(_l1Token, _l2Token, msg.sender, msg.sender, _amount, _l2Gas, _data);
    }

    /**
     * @inheritdoc IL1ERC20Bridge
     */
    function depositERC20To(
		.
		.
		.
    ) external virtual {
        _initiateERC20Deposit(_l1Token, _l2Token, msg.sender, _to, _amount, _l2Gas, _data);
    }

    /**
     * @dev Выполняет логику для внесений, информируя контракт внесенного токена l2
     * о внесении и вызывая обработчик для блокировки средств l1. (например, transferFrom)
     *
     * @param _l1Token Адрес ERC-20 l1, который мы вносим
     * @param _l2Token Адрес соответствующего ERC-20 l2 для l1
     * @param _from Аккаунт, с которого списывается внесение на l1
     * @param _to Аккаунт, которому передается внесение на l2
     * @param _amount Сумма ERC-20 для внесения.
     * @param _l2Gas Лимит Газа, необходимый для завершения внесения на l2.
     * @param _data Необязательные данные для пересылки на l2. Эти данные предоставляются
     *        исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *        длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function _initiateERC20Deposit(
        address _l1Token,
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) internal {

        // Сформировать данные вызова для _l2Token.finalizeDeposit(_to, _amount)
        bytes memory message = abi.encodeWithSelector(
            IL2ERC20Bridge.finalizeDeposit.selector,
            _l1Token,
            _l2Token,
            _from,
            _to,
            _amount,
            _data
        );

        // Отправить данные вызова на l2
        // slither-disable-next-line reentrancy-events, reentrancy-benign
        sendCrossDomainMessage(l2TokenBridge, _l2Gas, message);

        // slither-disable-next-line reentrancy-benign
        deposits[_l1Token][_l2Token] = deposits[_l1Token][_l2Token] + _amount;

        // slither-disable-next-line reentrancy-events
        emit ERC20DepositInitiated(_l1Token, _l2Token, _from, _to, _amount, _data);
    }

    /*************************
     * Кроссчейн-функции *
     *************************/

    /**
     * @inheritdoc IL1StandardBridge
     */
    function finalizeETHWithdrawal(
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data

    }

    /**
     * @inheritdoc IL1ERC20Bridge
     */
    function finalizeERC20Withdrawal(
        address _l1Token,
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data
    ) external onlyFromCrossDomainAccount(l2TokenBridge) {

        // Когда вывод завершается на l1, мост l1 переводит средства тому, кто осуществляет вывод
        // slither-disable-next-line reentrancy-events
        IERC20(_l1Token).safeTransfer(_to, _amount);

        // slither-disable-next-line reentrancy-events
        emit ERC20WithdrawalFinalized(_l1Token, _l2Token, _from, _to, _amount, _data);
    }


    /*****************************
     * Временно - Миграция ETH *
     *****************************/

    /**
     * @dev Добавляет баланс ETH на аккаунт. Это предназначено для того, чтобы позволить ETH
     * мигрировать со старого шлюза на новый шлюз.
     * ПРИМЕЧАНИЕ: Это оставлено только для одного обновления, чтобы мы могли получить мигрированный ETH из
     * старого контракта
     */
    function donateETH() external payable {}
}

    /**
     * @param _l2Bridge Адрес стандартного моста l2.
     * @param _l1Token Адрес соответствующего токена l1.
     * @param _name Имя ERC-20.
     * @param _symbol Символ ERC-20.
     */
    constructor(
        address _l2Bridge,
        address _l1Token,
        string memory _name,
        string memory _symbol
    ) ERC20(_name, _symbol) {
        l1Token = _l1Token;
        l2Bridge = _l2Bridge;
    }

    modifier onlyL2Bridge() {
        require(msg.sender == l2Bridge, "Only L2 Bridge can mint and burn");
        _;
    }


    // slither-disable-next-line external-function
    function supportsInterface(bytes4 _interfaceId) public pure returns (bool) {
        bytes4 firstSupportedInterface = bytes4(keccak256("supportsInterface(bytes4)")); // ERC165
        bytes4 secondSupportedInterface = IL2StandardERC20.l1Token.selector ^
            IL2StandardERC20.mint.selector ^
            IL2StandardERC20.burn.selector;
        return _interfaceId == firstSupportedInterface || _interfaceId == secondSupportedInterface;
    }

    // slither-disable-next-line external-function
    function mint(address _to, uint256 _amount) public virtual onlyL2Bridge {
        _mint(_to, _amount);

        emit Mint(_to, _amount);
    }

    // slither-disable-next-line external-function
    function burn(address _from, uint256 _amount) public virtual onlyL2Bridge {
        _burn(_from, _amount);

        emit Burn(_from, _amount);
    }
}

/* Импорты библиотек */
import { ERC165Checker } from "@openzeppelin/contracts/utils/introspection/ERC165Checker.sol";
import { CrossDomainEnabled } from "../../libraries/bridge/CrossDomainEnabled.sol";
import { Lib_PredeployAddresses } from "../../libraries/constants/Lib_PredeployAddresses.sol";

/* Импорты контрактов */
import { IL2StandardERC20 } from "../../standards/IL2StandardERC20.sol";

/**
 * @title L2StandardBridge
 * @dev Стандартный мост l2 — это контракт, который работает вместе со стандартным мостом l1 для
 * обеспечения переходов ETH и ERC-20 между l1 и l2.
 * Этот контракт выполняет функцию чеканки новых токенов, когда получает информацию о внесениях в стандартный мост
 * l1.
 * Этот контракт также выполняет функцию сжигания токенов, предназначенных для вывода, информируя мост
 * l1 о необходимости высвободить средства l1.
 */
contract L2StandardBridge is IL2ERC20Bridge, CrossDomainEnabled {
    /********************************
     * Ссылки на внешние контракты *
     ********************************/

    address public l1TokenBridge;

    /***************
     * Конструктор *
     ***************/

    /**
     * @param _l2CrossDomainMessenger Кроссдоменный мессенджер, используемый этим контрактом.
     * @param _l1TokenBridge Адрес моста l1, развернутого в основной сети.
     */
    constructor(address _l2CrossDomainMessenger, address _l1TokenBridge)
        CrossDomainEnabled(_l2CrossDomainMessenger)
    {
        l1TokenBridge = _l1TokenBridge;
    }

    /***************
     * Вывод *
     ***************/

    /**
     * @inheritdoc IL2ERC20Bridge
     */
    function withdraw(
        address _l2Token,
        uint256 _amount,
        uint32 _l1Gas,
        bytes calldata _data
    ) external virtual {
        _initiateWithdrawal(_l2Token, msg.sender, msg.sender, _amount, _l1Gas, _data);
    }

    /**
     * @inheritdoc IL2ERC20Bridge
     */
    function withdrawTo(
        address _l2Token,
        address _to,
        uint256 _amount,
        uint32 _l1Gas,
        bytes calldata _data
    ) external virtual {
        _initiateWithdrawal(_l2Token, msg.sender, _to, _amount, _l1Gas, _data);
    }

    /**
     * @dev Выполняет логику для выводов, сжигая токен и информируя
     *      шлюз токенов l1 о выводе.
     * @param _l2Token Адрес токена l2, где инициирован вывод.
     * @param _from Аккаунт, с которого списывается вывод на l2.
     * @param _to Аккаунт, которому передается вывод на l1.
     * @param _amount Сумма токена для вывода.
     * @param _l1Gas Не используется, но включен из соображений потенциальной прямой совместимости.
     * @param _data Необязательные данные для пересылки на l1. Эти данные предоставляются
     *        исключительно для удобства внешних контрактов. Помимо ограничения максимальной
     *        длины, эти контракты не предоставляют никаких гарантий относительно их содержимого.
     */
    function _initiateWithdrawal(
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        uint32 _l1Gas,
        bytes calldata _data
    ) internal {
        // Когда инициируется вывод, мы сжигаем средства того, кто осуществляет вывод, чтобы предотвратить последующее
        // использование на l2
        // slither-disable-next-line reentrancy-events
        IL2StandardERC20(_l2Token).burn(msg.sender, _amount);

            message = abi.encodeWithSelector(
                IL1StandardBridge.finalizeETHWithdrawal.selector,
                _from,
                _to,
                _amount,
                _data
            );
        } else {
            message = abi.encodeWithSelector(
                IL1ERC20Bridge.finalizeERC20Withdrawal.selector,
                l1Token,
                _l2Token,
                _from,
                _to,
                _amount,
                _data
            );
        }

        // Отправить сообщение наверх на мост l1
        // slither-disable-next-line reentrancy-events
        sendCrossDomainMessage(l1TokenBridge, _l1Gas, message);

        // slither-disable-next-line reentrancy-events
        emit WithdrawalInitiated(l1Token, _l2Token, msg.sender, _to, _amount, _data);
    }

    /************************************
     * Кроссчейн-функция: Внесение *
     ************************************/

    /**
     * @inheritdoc IL2ERC20Bridge
     */
    function finalizeDeposit(
        address _l1Token,
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data

        } else {
            // Либо токен l2, в который производится внесение, не согласен с правильным адресом
            // своего токена l1, либо не поддерживает правильный интерфейс.
            // Это должно происходить только в том случае, если существует вредоносный токен l2, или если пользователь каким-то образом
            // указал неправильный Адрес токена l2 для внесения.
            // В любом случае, мы останавливаем процесс здесь и формируем сообщение о выводе,
            // чтобы пользователи могли вывести свои средства в некоторых случаях.
            // Невозможно полностью предотвратить вредоносные контракты токенов, но это ограничивает
            // ошибки пользователей и смягчает некоторые формы вредоносного поведения контрактов.

            bytes memory message = abi.encodeWithSelector(
                IL1ERC20Bridge.finalizeERC20Withdrawal.selector,
                _l1Token,
                _l2Token,
                _to, // поменяли местами _to и _from здесь, чтобы вернуть внесение отправителю
                _from,
                _amount,
                _data
            );

            // Отправить сообщение наверх на мост l1
            // slither-disable-next-line reentrancy-events
            sendCrossDomainMessage(l1TokenBridge, 0, message);
            // slither-disable-next-line reentrancy-events
            emit DepositFailed(_l1Token, _l2Token, _from, _to, _amount, _data);
        }
    }
}