Procházení kontraktu standardního přemostění Optimism

/**
 * @title IL1ERC20Bridge
 */
interface IL1ERC20Bridge {
    /**********
     * Události *
     **********/

    event ERC20DepositInitiated(

    /********************
     * Veřejné funkce *
     ********************/

    /**
     * @dev získá adresu odpovídajícího kontraktu přemostění na L2.
     * @return Adresa odpovídajícího kontraktu přemostění na L2.
     */
    function l2TokenBridge() external returns (address);

    /**
     * @dev vloží částku ERC20 na zůstatek volajícího na L2.
     * @param _l1Token Adresa ERC20 na L1, který vkládáme.
     * @param _l2Token Adresa příslušného ERC20 na L2.
     * @param _amount Částka ERC20 k vložení.
     * @param _l2Gas Limit transakčních poplatků potřebný k dokončení vkladu na L2.
     * @param _data Volitelná data k předání na L2. Tato data jsou poskytována
     *        pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *        délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    function depositERC20(
        address _l1Token,
        address _l2Token,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) external;

    /**
     * @dev vloží částku ERC20 na zůstatek příjemce na L2.
     * @param _l1Token Adresa ERC20 na L1, který vkládáme.
     * @param _l2Token Adresa příslušného ERC20 na L2.
     * @param _to Adresa na L2, na kterou se připíše výběr.
     * @param _amount Částka ERC20 k vložení.
     * @param _l2Gas Limit transakčních poplatků potřebný k dokončení vkladu na L2.
     * @param _data Volitelná data k předání na L2. Tato data jsou poskytována
     *        pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *        délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    function depositERC20To(
        address _l1Token,
        address _l2Token,
        address _to,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) external;

}    /*************************
     * Meziřetězcové funkce *
     *************************/

    /**
     * @dev Dokončí výběr z L2 na L1 a připíše prostředky na zůstatek příjemce
     * tokenu ERC20 na L1.
     * Toto volání selže, pokud inicializovaný výběr z L2 nebyl finalizován.
     *
     * @param _l1Token Adresa tokenu na L1, pro který se má dokončit výběr.
     * @param _l2Token Adresa tokenu na L2, kde byl výběr iniciován.
     * @param _from Adresa na L2, která iniciuje převod.
     * @param _to Adresa na L1, na kterou se má výběr připsat.
     * @param _amount Částka ERC20 k vložení.
     * @param _data Data poskytnutá odesílatelem na L2. Tato data jsou poskytována
     *   pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *   délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    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 {
    /**********
     * Události *
     **********/
    event ETHDepositInitiated(
        address indexed _from,
        address indexed _to,
        uint256 _amount,
        bytes _data
    );

    event ETHWithdrawalFinalized(
        .
        .
        .
    );

    /********************
     * Veřejné funkce *
     ********************/

    /**
     * @dev Vloží částku ETH na zůstatek volajícího na L2.
            .
            .
            .
     */
    function depositETH(uint32 _l2Gas, bytes calldata _data) external payable;

    /**
     * @dev Vloží částku ETH na zůstatek příjemce na L2.
            .
            .
            .
     */
    function depositETHTo(
        address _to,
        uint32 _l2Gas,
        bytes calldata _data
    ) external payable;

    /*************************
     * Meziřetězcové funkce *
     *************************/

    /**
     * @dev Dokončí výběr z L2 na L1 a připíše prostředky na zůstatek příjemce
     * tokenu ETH na L1. Protože tuto funkci může volat pouze xDomainMessenger, nebude nikdy volána
     * před dokončením výběru.
                .
                .
                .
     */
    function finalizeETHWithdrawal(
        address _from,
        address _to,
        uint256 _amount,
        bytes calldata _data
    ) external;
}

/**
 * @title CrossDomainEnabled
 * @dev Pomocný kontrakt pro kontrakty provádějící mezidoménovou komunikaci
 *
 * Použitý kompilátor: definován dědícím kontraktem
 */
contract CrossDomainEnabled {
    /*************
     * Proměnné *
     *************/

    // Kontrakt Messengeru použitý k odesílání a přijímání zpráv z druhé domény.
    address public messenger;

    /***************
     * Konstruktor *
     ***************/

    /**
     * @param _messenger Adresa CrossDomainMessenger na aktuální vrstvě.
     */
    constructor(address _messenger) {
        messenger = _messenger;
    }

    /**********************
     * Modifikátory funkcí *
     **********************/

    /**
     * Vynucuje, aby upravená funkce byla volána pouze z konkrétního mezidoménového účtu.
     * @param _sourceDomainAccount Jediný účet na původní doméně, který je
     *  oprávněn tuto funkci volat.
     */
    modifier onlyFromCrossDomainAccount(address _sourceDomainAccount) {

        _;
    }

    /**********************
     * Interní funkce *
     **********************/

    /**
     * Získá posílače zpráv, obvykle z úložiště. Tato funkce je vystavena pro případ, že by ji
     * dětský kontrakt potřeboval přepsat.
     * @return Adresa kontraktu mezidoménového posílače zpráv, který by se měl použít.
     */
    function getCrossDomainMessenger() internal virtual returns (ICrossDomainMessenger) {
        return ICrossDomainMessenger(messenger);
    }

    /**
     * Odešle zprávu účtu v jiné doméně.
     * @param _crossDomainTarget Zamýšlený příjemce v cílové doméně.
     * @param _message Data k odeslání cíli (obvykle calldata pro funkci s
     *  `onlyFromCrossDomainAccount()`)
     * @param _gasLimit Limit transakčních poplatků pro příjem zprávy v cílové doméně.
     */
    function sendCrossDomainMessage(
        address _crossDomainTarget,
        uint32 _gasLimit,
        bytes memory _message

/**
 * @title L1StandardBridge
 * @dev Přemostění L1 pro ETH a ERC20 je kontrakt, který ukládá vložené prostředky z L1 a standardní
 * tokeny, které se používají na L2. Synchronizuje odpovídající přemostění L2, informuje ho o vkladech
 * a naslouchá mu pro nově finalizované výběry.
 *
 */
contract L1StandardBridge is IL1StandardBridge, CrossDomainEnabled {
    using SafeERC20 for IERC20;

    /******************
     * Inicializace *
     ******************/

    /**
     * @param _l1messenger Adresa L1 Messengeru používaná pro meziřetězcovou komunikaci.
     * @param _l2TokenBridge Adresa standardního přemostění na L2.
     */
    // slither-disable-next-line external-function

    /**************
     * Vkládání *
     **************/

    /** @dev Modifikátor vyžadující, aby odesílatel byl EOA. Toto ověření by mohl obejít zákeřný
     *  kontrakt pomocí initcode, ale řeší to chybu uživatele, které se chceme vyhnout.
     */
    modifier onlyEOA() {
        // Používá se k zastavení vkladů z kontraktů (zabraňuje náhodné ztrátě tokenů)
        require(!Address.isContract(msg.sender), "Account not EOA");
        _;
    }

    /**
     * @dev Tuto funkci lze volat bez dat
     * pro vložení částky ETH na zůstatek volajícího na L2.
     * Protože funkce receive nepřijímá data, konzervativní
     * výchozí částka se předává na 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 Provádí logiku pro vklady uložením ETH a informováním L2 ETH Gateway o
     * vkladu.
     * @param _from Účet, ze kterého se má vklad na L1 stáhnout.
     * @param _to Účet, na který se má vklad na L2 připsat.
     * @param _l2Gas Limit transakčních poplatků potřebný k dokončení vkladu na L2.
     * @param _data Volitelná data k předání na L2. Tato data jsou poskytována
     *        pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *        délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    function _initiateETHDeposit(
        address _from,
        address _to,
        uint32 _l2Gas,
        bytes memory _data
    ) internal {
        // Sestavení calldata pro volání 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 Provádí logiku pro vklady informováním kontraktu L2 Deposited Token
     * o vkladu a voláním handleru pro uzamčení prostředků L1. (např. transferFrom)
     *
     * @param _l1Token Adresa ERC20 na L1, který vkládáme.
     * @param _l2Token Adresa příslušného ERC20 na L2.
     * @param _from Účet, ze kterého se má vklad na L1 stáhnout.
     * @param _to Účet, na který se má vklad na L2 připsat.
     * @param _amount Částka ERC20 k vložení.
     * @param _l2Gas Limit transakčních poplatků potřebný k dokončení vkladu na L2.
     * @param _data Volitelná data k předání na L2. Tato data jsou poskytována
     *        pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *        délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    function _initiateERC20Deposit(
        address _l1Token,
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        uint32 _l2Gas,
        bytes calldata _data
    ) internal {

        // Sestavení calldata pro _l2Token.finalizeDeposit(_to, _amount)
        bytes memory message = abi.encodeWithSelector(
            IL2ERC20Bridge.finalizeDeposit.selector,
            _l1Token,
            _l2Token,
            _from,
            _to,
            _amount,
            _data
        );

        // Odeslání calldata na 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);
    }

    /*************************
     * Meziřetězcové funkce *
     *************************/

    /**
     * @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) {

        // Když je výběr finalizován na L1, přemostění L1 převede prostředky vybírajícímu
        // 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);
    }


    /*****************************
     * Dočasné - migrace ETH *
     *****************************/

    /**
     * @dev Přidá zůstatek ETH na účet. Toto je určeno k tomu, aby se ETH
     * mohlo migrovat ze staré brány na novou bránu.
     * POZNÁMKA: Toto je ponecháno pouze pro jeden upgrade, abychom mohli přijmout migrované ETH ze
     * starého kontraktu
     */
    function donateETH() external payable {}
}

    /**
     * @param _l2Bridge Adresa standardního přemostění na L2.
     * @param _l1Token Adresa odpovídajícího tokenu na L1.
     * @param _name Název ERC20.
     * @param _symbol Symbol ERC20.
     */
    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);
    }
}

/* Importy knihoven */
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";

/* Importy kontraktů */
import { IL2StandardERC20 } from "../../standards/IL2StandardERC20.sol";

/**
 * @title L2StandardBridge
 * @dev Standardní přemostění L2 je kontrakt, který spolupracuje se standardním přemostěním L1,
 * aby umožnil přechody ETH a ERC20 mezi L1 a L2.
 * Tento kontrakt funguje jako razič nových tokenů, když se dozví o vkladech do standardního
 * přemostění L1.
 * Tento kontrakt také funguje jako palič tokenů určených k výběru a informuje přemostění L1
 * o uvolnění prostředků L1.
 */
contract L2StandardBridge is IL2ERC20Bridge, CrossDomainEnabled {
    /********************************
     * Reference na externí kontrakty *
     ********************************/

    address public l1TokenBridge;

    /***************
     * Konstruktor *
     ***************/

    /**
     * @param _l2CrossDomainMessenger Mezidoménový posílač zpráv používaný tímto kontraktem.
     * @param _l1TokenBridge Adresa přemostění L1 nasazeného na hlavní řetězec.
     */
    constructor(address _l2CrossDomainMessenger, address _l1TokenBridge)
        CrossDomainEnabled(_l2CrossDomainMessenger)
    {
        l1TokenBridge = _l1TokenBridge;
    }

    /***************
     * Vybírání *
     ***************/

    /**
     * @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 Provádí logiku pro výběry pálením tokenu a informováním
     *      brány tokenu L1 o výběru.
     * @param _l2Token Adresa tokenu na L2, kde je výběr iniciován.
     * @param _from Účet, ze kterého se má výběr na L2 stáhnout.
     * @param _to Účet, na který se má výběr na L1 připsat.
     * @param _amount Částka tokenu k výběru.
     * @param _l1Gas Nepoužito, ale zahrnuto pro případné úvahy o budoucí kompatibilitě.
     * @param _data Volitelná data k předání na L1. Tato data jsou poskytována
     *        pouze pro pohodlí externích kontraktů. Kromě vynucení maximální
     *        délky tyto kontrakty neposkytují žádné záruky ohledně jejich obsahu.
     */
    function _initiateWithdrawal(
        address _l2Token,
        address _from,
        address _to,
        uint256 _amount,
        uint32 _l1Gas,
        bytes calldata _data
    ) internal {
        // Když je výběr iniciován, spálíme prostředky vybírajícího, abychom zabránili následnému použití na 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
            );
        }

        // Odeslání zprávy do přemostění na 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);
    }

    /************************************
     * Meziřetězcová funkce: Vkládání *
     ************************************/

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

        } else {
            // Buď token L2, do kterého se vkládá, nesouhlasí se správnou adresou
            // svého tokenu L1, nebo nepodporuje správné rozhraní.
            // Toto by se mělo stát pouze v případě zákeřného tokenu L2, nebo pokud uživatel nějakým způsobem
            // zadal špatnou adresu tokenu L2 pro vklad.
            // V obou případech zde proces zastavíme a sestavíme zprávu o výběru,
            // aby si uživatelé mohli v některých případech své prostředky vybrat.
            // Neexistuje žádný způsob, jak zcela zabránit zákeřným kontraktům tokenů, ale toto omezuje
            // chyby uživatelů a zmírňuje některé formy zákeřného chování kontraktů.

            bytes memory message = abi.encodeWithSelector(
                IL1ERC20Bridge.finalizeERC20Withdrawal.selector,
                _l1Token,
                _l2Token,
                _to, // zde jsme prohodili _to a _from, abychom vklad vrátili odesílateli
                _from,
                _amount,
                _data
            );

            // Odeslání zprávy do přemostění na 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);
        }
    }
}