@arbitrum/nitro-contracts 1.1.0-alpha.1 → 1.1.0-alpha.3

package/src/mocks/SimpleProxy.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/mocks/SingleExecutionChallenge.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/mocks/TimedOutChallengeManager.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/node-interface/NodeInterface.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/node-interface/NodeInterfaceDebug.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/osp/HashProofHelper.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/osp/IOneStepProofEntry.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/osp/IOneStepProver.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;
@@ -7,6 +7,7 @@ pragma solidity ^0.8.0;
 import "../state/Machine.sol";
 import "../state/Module.sol";
 import "../state/Instructions.sol";
+import "../state/GlobalState.sol";
 import "../bridge/ISequencerInbox.sol";
 import "../bridge/IBridge.sol";
 

package/src/osp/OneStepProofEntry.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/osp/OneStepProver0.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/osp/OneStepProverHostIo.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;
@@ -7,6 +7,7 @@ pragma solidity ^0.8.0;
 import "../state/Value.sol";
 import "../state/Machine.sol";
 import "../state/Deserialize.sol";
+import "../state/ModuleMemory.sol";
 import "./IOneStepProver.sol";
 import "../bridge/Messages.sol";
 import "../bridge/IBridge.sol";

package/src/osp/OneStepProverMath.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;

package/src/osp/OneStepProverMemory.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity ^0.8.0;
@@ -7,6 +7,7 @@ pragma solidity ^0.8.0;
 import "../state/Value.sol";
 import "../state/Machine.sol";
 import "../state/Deserialize.sol";
+import "../state/ModuleMemory.sol";
 import "./IOneStepProver.sol";
 
 contract OneStepProverMemory is IOneStepProver {

package/src/precompiles/ArbAddressTable.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbAggregator.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbBLS.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbDebug.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2023, Offchain Labs, Inc.
-// For license information, see https://github.com/OffchainLabs/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbFunctionTable.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbGasInfo.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbInfo.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbOwner.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbOwnerPublic.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbRetryableTx.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbStatistics.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbSys.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/precompiles/ArbosTest.sol

@@ -1,5 +1,5 @@
 // Copyright 2021-2022, Offchain Labs, Inc.
-// For license information, see https://github.com/nitro/blob/master/LICENSE
+// For license information, see https://github.com/OffchainLabs/nitro-contracts/blob/main/LICENSE
 // SPDX-License-Identifier: BUSL-1.1
 
 pragma solidity >=0.4.21 <0.9.0;

package/src/rollup/AbsBridgeCreator.sol

@@ -0,0 +1,117 @@
+// Copyright 2021-2022, Offchain Labs, Inc.
+// For license information, see https://github.com/nitro/blob/master/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+
+pragma solidity ^0.8.0;
+
+import "../bridge/IBridge.sol";
+import "../bridge/SequencerInbox.sol";
+import "../bridge/IInbox.sol";
+import "../bridge/Outbox.sol";
+import "../rollup/IBridgeCreator.sol";
+import "./IRollupEventInbox.sol";
+import "@openzeppelin/contracts/access/Ownable.sol";
+import "@openzeppelin/contracts/proxy/transparent/ProxyAdmin.sol";
+
+abstract contract AbsBridgeCreator is Ownable, IBridgeCreator {
+    IBridge public bridgeTemplate;
+    SequencerInbox public sequencerInboxTemplate;
+    IInbox public inboxTemplate;
+    IRollupEventInbox public rollupEventInboxTemplate;
+    Outbox public outboxTemplate;
+
+    event TemplatesUpdated();
+
+    constructor() Ownable() {
+        sequencerInboxTemplate = new SequencerInbox();
+        outboxTemplate = new Outbox();
+    }
+
+    function updateTemplates(
+        address _bridgeTemplate,
+        address _sequencerInboxTemplate,
+        address _inboxTemplate,
+        address _rollupEventInboxTemplate,
+        address _outboxTemplate
+    ) external onlyOwner {
+        bridgeTemplate = IBridge(_bridgeTemplate);
+        sequencerInboxTemplate = SequencerInbox(_sequencerInboxTemplate);
+        inboxTemplate = IInbox(_inboxTemplate);
+        rollupEventInboxTemplate = IRollupEventInbox(_rollupEventInboxTemplate);
+        outboxTemplate = Outbox(_outboxTemplate);
+
+        emit TemplatesUpdated();
+    }
+
+    struct CreateBridgeFrame {
+        ProxyAdmin admin;
+        IBridge bridge;
+        SequencerInbox sequencerInbox;
+        IInbox inbox;
+        IRollupEventInbox rollupEventInbox;
+        Outbox outbox;
+    }
+
+    function _createBridge(
+        address adminProxy,
+        address rollup,
+        address nativeToken,
+        ISequencerInbox.MaxTimeVariation memory maxTimeVariation
+    )
+        internal
+        returns (
+            IBridge,
+            SequencerInbox,
+            IInbox,
+            IRollupEventInbox,
+            Outbox
+        )
+    {
+        CreateBridgeFrame memory frame;
+        {
+            frame.bridge = IBridge(
+                address(new TransparentUpgradeableProxy(address(bridgeTemplate), adminProxy, ""))
+            );
+            frame.sequencerInbox = SequencerInbox(
+                address(
+                    new TransparentUpgradeableProxy(address(sequencerInboxTemplate), adminProxy, "")
+                )
+            );
+            frame.inbox = IInbox(
+                address(new TransparentUpgradeableProxy(address(inboxTemplate), adminProxy, ""))
+            );
+            frame.rollupEventInbox = IRollupEventInbox(
+                address(
+                    new TransparentUpgradeableProxy(
+                        address(rollupEventInboxTemplate),
+                        adminProxy,
+                        ""
+                    )
+                )
+            );
+            frame.outbox = Outbox(
+                address(new TransparentUpgradeableProxy(address(outboxTemplate), adminProxy, ""))
+            );
+        }
+
+        _initializeBridge(frame.bridge, IOwnable(rollup), nativeToken);
+        frame.sequencerInbox.initialize(IBridge(frame.bridge), maxTimeVariation);
+        frame.inbox.initialize(IBridge(frame.bridge), ISequencerInbox(frame.sequencerInbox));
+        frame.rollupEventInbox.initialize(IBridge(frame.bridge));
+        frame.outbox.initialize(IBridge(frame.bridge));
+
+        return (
+            frame.bridge,
+            frame.sequencerInbox,
+            frame.inbox,
+            frame.rollupEventInbox,
+            frame.outbox
+        );
+    }
+
+    function _initializeBridge(
+        IBridge bridge,
+        IOwnable rollup,
+        address
+    ) internal virtual;
+}

package/src/rollup/AbsRollupCreator.sol

@@ -0,0 +1,164 @@
+// Copyright 2021-2022, Offchain Labs, Inc.
+// For license information, see https://github.com/nitro/blob/master/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+
+pragma solidity ^0.8.0;
+
+import "./IBridgeCreator.sol";
+import "./IRollupCreator.sol";
+import "./RollupProxy.sol";
+import "./IRollupAdmin.sol";
+import "@openzeppelin/contracts/proxy/transparent/ProxyAdmin.sol";
+import "@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol";
+import "@openzeppelin/contracts/access/Ownable.sol";
+
+abstract contract AbsRollupCreator is Ownable, IRollupCreator {
+    event RollupCreated(
+        address indexed rollupAddress,
+        address inboxAddress,
+        address outbox,
+        address rollupEventInbox,
+        address challengeManager,
+        address adminProxy,
+        address sequencerInbox,
+        address bridge,
+        address validatorUtils,
+        address validatorWalletCreator
+    );
+    event TemplatesUpdated();
+
+    IBridgeCreator public bridgeCreator;
+    IOneStepProofEntry public osp;
+    IChallengeManager public challengeManagerTemplate;
+    IRollupAdmin public rollupAdminLogic;
+    IRollupUser public rollupUserLogic;
+
+    address public validatorUtils;
+    address public validatorWalletCreator;
+
+    struct BridgeContracts {
+        IBridge bridge;
+        ISequencerInbox sequencerInbox;
+        IInbox inbox;
+        IRollupEventInbox rollupEventInbox;
+        IOutbox outbox;
+    }
+
+    constructor() Ownable() {}
+
+    function setTemplates(
+        IBridgeCreator _bridgeCreator,
+        IOneStepProofEntry _osp,
+        IChallengeManager _challengeManagerLogic,
+        IRollupAdmin _rollupAdminLogic,
+        IRollupUser _rollupUserLogic,
+        address _validatorUtils,
+        address _validatorWalletCreator
+    ) external onlyOwner {
+        bridgeCreator = _bridgeCreator;
+        osp = _osp;
+        challengeManagerTemplate = _challengeManagerLogic;
+        rollupAdminLogic = _rollupAdminLogic;
+        rollupUserLogic = _rollupUserLogic;
+        validatorUtils = _validatorUtils;
+        validatorWalletCreator = _validatorWalletCreator;
+        emit TemplatesUpdated();
+    }
+
+    // After this setup:
+    // Rollup should be the owner of bridge
+    // RollupOwner should be the owner of Rollup's ProxyAdmin
+    // RollupOwner should be the owner of Rollup
+    // Bridge should have a single inbox and outbox
+    function _createRollup(
+        Config memory config,
+        address _batchPoster,
+        address[] calldata _validators,
+        address nativeToken
+    ) internal returns (address) {
+        ProxyAdmin proxyAdmin = new ProxyAdmin();
+
+        // Create the rollup proxy to figure out the address and initialize it later
+        RollupProxy rollup = new RollupProxy{salt: keccak256(abi.encode(config))}();
+
+        BridgeContracts memory bridgeContracts = _createBridge(
+            address(proxyAdmin),
+            address(rollup),
+            config.sequencerInboxMaxTimeVariation,
+            nativeToken
+        );
+
+        IChallengeManager challengeManager = IChallengeManager(
+            address(
+                new TransparentUpgradeableProxy(
+                    address(challengeManagerTemplate),
+                    address(proxyAdmin),
+                    ""
+                )
+            )
+        );
+        challengeManager.initialize(
+            IChallengeResultReceiver(address(rollup)),
+            bridgeContracts.sequencerInbox,
+            bridgeContracts.bridge,
+            osp
+        );
+
+        proxyAdmin.transferOwnership(config.owner);
+
+        // initialize the rollup with this contract as owner to set batch poster and validators
+        // it will transfer the ownership back to the actual owner later
+        address actualOwner = config.owner;
+        config.owner = address(this);
+        rollup.initializeProxy(
+            config,
+            ContractDependencies({
+                bridge: bridgeContracts.bridge,
+                sequencerInbox: bridgeContracts.sequencerInbox,
+                inbox: bridgeContracts.inbox,
+                outbox: bridgeContracts.outbox,
+                rollupEventInbox: bridgeContracts.rollupEventInbox,
+                challengeManager: challengeManager,
+                rollupAdminLogic: address(rollupAdminLogic),
+                rollupUserLogic: rollupUserLogic,
+                validatorUtils: validatorUtils,
+                validatorWalletCreator: validatorWalletCreator
+            })
+        );
+
+        bridgeContracts.sequencerInbox.setIsBatchPoster(_batchPoster, true);
+
+        // Call setValidator on the newly created rollup contract
+        bool[] memory _vals = new bool[](_validators.length);
+        for (uint256 i = 0; i < _validators.length; i++) {
+            _vals[i] = true;
+        }
+        IRollupAdmin(address(rollup)).setValidator(_validators, _vals);
+
+        IRollupAdmin(address(rollup)).setOwner(actualOwner);
+
+        emit RollupCreated(
+            address(rollup),
+            address(bridgeContracts.inbox),
+            address(bridgeContracts.outbox),
+            address(bridgeContracts.rollupEventInbox),
+            address(challengeManager),
+            address(proxyAdmin),
+            address(bridgeContracts.sequencerInbox),
+            address(bridgeContracts.bridge),
+            address(validatorUtils),
+            address(validatorWalletCreator)
+        );
+        return address(rollup);
+    }
+
+    /**
+     * Create bridge using appropriate BridgeCreator.
+     */
+    function _createBridge(
+        address proxyAdmin,
+        address rollup,
+        ISequencerInbox.MaxTimeVariation memory maxTimeVariation,
+        address nativeToken
+    ) internal virtual returns (BridgeContracts memory);
+}

package/src/rollup/AbsRollupEventInbox.sol

@@ -0,0 +1,62 @@
+// Copyright 2021-2022, Offchain Labs, Inc.
+// For license information, see https://github.com/nitro/blob/master/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+
+pragma solidity ^0.8.0;
+
+import "./IRollupEventInbox.sol";
+import "../bridge/IBridge.sol";
+import "../bridge/IEthBridge.sol";
+import "../precompiles/ArbGasInfo.sol";
+import "../libraries/ArbitrumChecker.sol";
+import "../bridge/IDelayedMessageProvider.sol";
+import "../libraries/DelegateCallAware.sol";
+import {INITIALIZATION_MSG_TYPE} from "../libraries/MessageTypes.sol";
+import {AlreadyInit, HadZeroInit} from "../libraries/Error.sol";
+
+/**
+ * @title The inbox for rollup protocol events
+ */
+abstract contract AbsRollupEventInbox is
+    IRollupEventInbox,
+    IDelayedMessageProvider,
+    DelegateCallAware
+{
+    IBridge public override bridge;
+    address public override rollup;
+
+    modifier onlyRollup() {
+        require(msg.sender == rollup, "ONLY_ROLLUP");
+        _;
+    }
+
+    function initialize(IBridge _bridge) external override onlyDelegated {
+        if (address(bridge) != address(0)) revert AlreadyInit();
+        if (address(_bridge) == address(0)) revert HadZeroInit();
+        bridge = _bridge;
+        rollup = address(_bridge.rollup());
+    }
+
+    function rollupInitialized(uint256 chainId, string calldata chainConfig)
+        external
+        override
+        onlyRollup
+    {
+        require(bytes(chainConfig).length > 0, "EMPTY_CHAIN_CONFIG");
+        uint8 initMsgVersion = 1;
+        uint256 currentDataCost = block.basefee;
+        if (ArbitrumChecker.runningOnArbitrum()) {
+            currentDataCost += ArbGasInfo(address(0x6c)).getL1BaseFeeEstimate();
+        }
+        bytes memory initMsg = abi.encodePacked(
+            chainId,
+            initMsgVersion,
+            currentDataCost,
+            chainConfig
+        );
+        uint256 num = _enqueueInitializationMsg(initMsg);
+        emit InboxMessageDelivered(num, initMsg);
+    }
+
+    function _enqueueInitializationMsg(bytes memory initMsg) internal virtual returns (uint256);
+}