Огляд контракту стандартного мосту 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);
        }
    }
}