@arbitrum/nitro-contracts 2.0.0 → 3.0.0-alpha.0

package/src/challengeV2/libraries/Enums.sol

@@ -0,0 +1,26 @@
+// Copyright 2023, Offchain Labs, Inc.
+// For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+//
+pragma solidity ^0.8.17;
+
+/// @notice The status of the edge
+/// - Pending: Yet to be confirmed. Not all edges can be confirmed.
+/// - Confirmed: Once confirmed it cannot transition back to pending
+enum EdgeStatus {
+    Pending,
+    Confirmed
+}
+
+/// @notice The type of the edge. Challenges are decomposed into 3 types of subchallenge
+///         represented here by the edge type. Edges are initially created of type Block
+///         and are then bisected until they have length one. After that new BigStep edges are
+///         added that claim a Block type edge, and are then bisected until they have length one.
+///         Then a SmallStep edge is added that claims a length one BigStep edge, and these
+///         SmallStep edges are bisected until they reach length one. A length one small step edge
+///         can then be directly executed using a one-step proof.
+enum EdgeType {
+    Block,
+    BigStep,
+    SmallStep
+}

package/src/challengeV2/libraries/MerkleTreeAccumulatorLib.sol

@@ -0,0 +1,390 @@
+// Copyright 2023, Offchain Labs, Inc.
+// For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+//
+pragma solidity ^0.8.17;
+
+import "../../libraries/MerkleLib.sol";
+import "./ArrayUtilsLib.sol";
+import "./UintUtilsLib.sol";
+
+/// @title  Merkle tree accumulator utilities
+/// @notice
+///         This library provides utilities for manipulating, and verifying proofs about, a kind of
+///         merkle tree accumulator.
+///
+///         --------------------------------------------------------------------------------------------
+///         The accumulator is composed of a number of complete merkle trees.
+///         A complete tree is a tree with a leaf size of a power of 2
+///         One or zero complete trees at each power of 2 is enough to define any size of accumulator.
+///         The root of the accumulator is defined as the cumulative hashing of all of the
+///         roots of each of its complete trees, substituting a zero where no tree is necessary at that power of 2
+///         Where we refer to "level" in this documentation we mean the power of 2 used at the level: 2^level
+///         Where we refer to a subtree we mean one of the complete trees which makes up the accumulator.
+///         ---------
+///         eg. Below are 3 leaves (A, B, C) which can be represented as an accumulator made up of the
+///         composition of 2 complete subtrees, one of level=1: 2^1=2 (AB) and one of level=0: 2^0=1 (C).
+///            AB
+///           /  \
+///          A    B    C
+///
+///
+///         Merkle expansions and roots
+///         --------------------------------------------------------------------------------------------
+///         The minimal amount of information we need to keep in order to compute the accumulator
+///         is the roots of each of its complete subtrees, and the levels of each of those subtrees
+///         A "merkle expansion" (ME) is a representation of this information - it is a vector of roots of each complete subtree,
+///         the level of the tree being the index in the vector, the subtree root being the value.
+///         The accumulator root is calculated by hashing each of the levels of the subtree together, adding zero hashes
+///         where relevant to make a balanced tree.
+///         ---------
+///
+///         ME Example 1 - 1 leaf C
+///
+///         C => (C)
+///
+///         ME of the C tree = (C), accumulator=(C)
+///         The merkle expansion of an accumulator consisting of a single leaf is vector of size one with the
+///         zeroth index being the leaf C. The zeroth index of the vector represents the presence of a size
+///         one complete subtree in the accumulator. So if an accumulator has a size one complete subtree as part
+///         of its composition, the root of that size one accumulator will be present in the zeroth index.
+///
+///         ME Example 2 - 2 leaves A and B
+///
+///            AB
+///           /  \
+///          A    B
+///
+///         ME of the AB tree = (0, AB), accumulator=AB
+///         The merkle expansion of an accumulator consisting of a single size 2 complete subtree is a vector
+///         of size 2, with the zeroth index value being 0, and the 1st index value being the root of the size
+///         2 subtree. The zero in the zeroth index indicated that there is not a size 1 subtree in the accumulators's
+///         composition. If an accumulator has a size 2 subtree in its composition the root of the subtree will be present in the
+///         1st index.
+///
+///         ME Example 3 - 3 leaves A, B, C
+///
+///            AB
+///           /  \
+///          A    B    C
+///
+///         ME of the composed ABC tree = (C, AB), accumulator=hash(AB, hash(C, 0)).
+///         When a accumulator size is not a power of 2, a composition of subtrees is used to calculate it's value.
+///         The lowest level sub tree is hashed with zero, to form the initial accumulator. The accumulator is then
+///         hashed with the value (including zeros) at each level of the expansion.
+///         The merkle expansion of this composed tree is a vector of size two. Since it has a size one tree in
+///         its composition, the root of which goes in the zeroth index of the expansion - C, and since it has a
+///         size two tree in its composition the root of that goes in the 1st index, to give (C, AB).
+///
+///         Tree operations
+///         --------------------------------------------------------------------------------------------
+///         Accumulators are modified by adding or subtracting complete subtrees, however this library
+///         supports additive only accumulators since we dont have a specific use for subtraction at the moment.
+///         We call adding a complete subtree to an accumulator "appending", appending has the following
+///         rules:
+///         1. Only a complete sub trees can be appended
+///         2. Complete sub trees can only be appended at the level of the lowest complete subtree in the tree, or below
+///         3. If the existing accumulator is empty a sub tree can be appended at any level
+///         When appending a sub tree we may increase the size of the merkle expansion vector, in the same
+///         way that adding 1 to a binary number may increase the index of its most significant bit
+///         ---------
+///         eg. A complete subtree can only be appended to the ABC accumulator at level 0, since the its lowest complete
+///         subtree (C) is at level 0. Doing so would create a complete sub tree at level 1, which would in turn
+///         cause the creation of new size 4 sub tree
+///
+///                                         ABCD
+///                                       /     \
+///            AB                        AB     CD
+///           /  \         +       =    /  \   /  \
+///          A    B    C       D       A    B C    D
+///
+///         ME of ABCD = (0, AB) + (C) + (D)
+///                    = (C, AB) + (D)
+///                    = (0, 0, ABCD)
+///         accumulator of ABCD = hash(AB, CD)
+///         --------------------------------------------------------------------------------------------
+library MerkleTreeAccumulatorLib {
+    // the go code uses uint64, so we ensure we never go above that here
+    uint256 public constant MAX_LEVEL = 64;
+
+    /// @notice The accumulator root of the a merkle expansion.
+    /// @dev    The accumulator root is defined as the cumulative hashing of the
+    ///         roots of all of its subtrees. Throws error for an empty merkle expansion
+    /// @param me   The merkle expansion to calculate the root of
+    function root(
+        bytes32[] memory me
+    ) internal pure returns (bytes32) {
+        require(me.length > 0, "Empty merkle expansion");
+        require(me.length <= MAX_LEVEL, "Merkle expansion too large");
+
+        bytes32 accum = 0;
+        for (uint256 i = 0; i < me.length; i++) {
+            bytes32 val = me[i];
+            if (accum == 0) {
+                if (val != 0) {
+                    accum = val;
+
+                    // the tree is balanced if the only non zero entry in the merkle extension
+                    // is the last entry
+                    // otherwise the lowest level entry needs to be combined with a zero to balance the bottom
+                    // level, after which zeros in the merkle extension above that will balance the rest
+                    if (i != me.length - 1) {
+                        accum = keccak256(abi.encodePacked(accum, bytes32(0)));
+                    }
+                }
+            } else if (val != 0) {
+                // accum represents the smaller sub trees, since it is earlier in the expansion
+                // we put the larger subtrees on the left
+                accum = keccak256(abi.encodePacked(val, accum));
+            } else {
+                // by definition we always complete trees by appending zeros to the right
+                accum = keccak256(abi.encodePacked(accum, bytes32(0)));
+            }
+        }
+
+        return accum;
+    }
+
+    /// @notice Append a complete subtree to an existing accumulator
+    /// @dev    See above description of the accumulator for rules on how appending can occur.
+    ///         Briefly, appending works like binary addition only that the value being added must be an
+    ///         exact power of two (complete), and must equal to or less than the least significant bit
+    ///         in the existing tree.
+    ///         If the me is empty, will just append directly.
+    /// @param me           The merkle expansion to append a complete sub tree to
+    /// @param level        The level at which to append the complete subtree
+    /// @param subtreeRoot  The root of the complete subtree to be appended
+    function appendCompleteSubTree(
+        bytes32[] memory me,
+        uint256 level,
+        bytes32 subtreeRoot
+    ) internal pure returns (bytes32[] memory) {
+        // we use number representations of the levels elsewhere, so we need to ensure we're appending a leve
+        // that's too high to use in uint
+        require(level < MAX_LEVEL, "Level too high");
+        require(subtreeRoot != 0, "Cannot append empty subtree");
+        require(me.length <= MAX_LEVEL, "Merkle expansion too large");
+
+        if (me.length == 0) {
+            bytes32[] memory empty = new bytes32[](level + 1);
+            empty[level] = subtreeRoot;
+            return empty;
+        }
+
+        // This technically isn't necessary since it would be caught by the i < level check
+        // on the last loop of the for-loop below, but we add it for a clearer error message
+        require(level < me.length, "Level greater than highest level of current expansion");
+
+        bytes32 accumHash = subtreeRoot;
+        uint256 meSize = treeSize(me);
+        uint256 postSize = meSize + 2 ** level;
+
+        // if by appending the sub tree we increase the numbe of most sig bits of the size, that means
+        // we'll need more space in the expansion to describe the tree, so we enlarge by one
+        bytes32[] memory next = UintUtilsLib.mostSignificantBit(postSize)
+            > UintUtilsLib.mostSignificantBit(meSize)
+            ? new bytes32[](me.length + 1)
+            : new bytes32[](me.length);
+
+        // ensure we're never creating an expansion that's too big
+        require(next.length <= MAX_LEVEL, "Append creates oversize tree");
+
+        // loop through all the levels in self and try to append the new subtree
+        // since each node has two children by appending a subtree we may complete another one
+        // in the level above. So we move through the levels updating the result at each level
+        for (uint256 i = 0; i < me.length; i++) {
+            // we can only append at the level of the smallest complete sub tree or below
+            // appending above this level would mean create "holes" in the tree
+            // we can find the smallest complete sub tree by looking for the first entry in the merkle expansion
+            if (i < level) {
+                // we're below the level we want to append - no complete sub trees allowed down here
+                // if the level is 0 there are no complete subtrees, and we therefore cannot be too low
+                require(me[i] == 0, "Append above least significant bit");
+            } else {
+                // we're at or above the level
+                if (accumHash == 0) {
+                    // no more changes to propagate upwards - just fill the tree
+                    next[i] = me[i];
+                } else {
+                    // we have a change to propagate
+                    if (me[i] == 0) {
+                        // if the level is currently empty we can just add the change
+                        next[i] = accumHash;
+                        // and then there's nothing more to propagate
+                        accumHash = 0;
+                    } else {
+                        // if the level is not currently empty then we combine it with propagation
+                        // change, and propagate that to the level above. This level is now part of a complete subtree
+                        // so we zero it out
+                        next[i] = 0;
+                        accumHash = keccak256(abi.encodePacked(me[i], accumHash));
+                    }
+                }
+            }
+        }
+
+        // we had a final change to propagate above the existing highest complete sub tree
+        // so we have a new highest complete sub tree in the level above - this was why we
+        // increased the storeage above
+        if (accumHash != 0) {
+            next[next.length - 1] = accumHash;
+        }
+
+        // it should never be possible to achieve this ever we sized the array correctly
+        // so this is just a sanity check
+        require(next[next.length - 1] != 0, "Last entry zero");
+
+        return next;
+    }
+
+    /// @notice Append a leaf to a merkle expansion
+    /// @dev    Leaves are just complete subtrees at level 0, however we hash the leaf before putting it
+    ///         into the tree to avoid root collisions.
+    /// @param me   The merkle expansion to append a leaf to
+    /// @param leaf The leaf to append - will be hashed in here before appending
+    function appendLeaf(
+        bytes32[] memory me,
+        bytes32 leaf
+    ) internal pure returns (bytes32[] memory) {
+        // it's important that we hash the leaf, this ensures that this leaf cannot be a collision with any other non leaf
+        // or root node, since these are always the hash of 64 bytes of data, and we're hashing 32 bytes
+        return appendCompleteSubTree(me, 0, keccak256(abi.encodePacked(leaf)));
+    }
+
+    /// @notice Find the highest level which can be appended to an accumulator of size startSize without
+    ///         creating a tree with size greater than end size (inclusive)
+    /// @dev    Subtrees can only be appended according to certain rules, see tree description at top of file
+    ///         for details. A subtree can only be appended if it is at the same level, or below, the current lowest
+    ///         subtree in the expansion
+    /// @param startSize    The size of the start tree to find the maximum append to
+    /// @param endSize      The size of the end tree to find a maximum append under
+    function maximumAppendBetween(
+        uint256 startSize,
+        uint256 endSize
+    ) internal pure returns (uint256) {
+        // The accumulator can be represented in the same way as a binary representation of a number
+        // As described above, subtrees can only be appended to a tree if they are at the same level, or below,
+        // the current lowest subtree.
+        // In this function we want to find the level of the highest tree that can be appended to the current
+        // accumulator, without the resulting accumulator size surpassing the end point. We do this by looking at the difference
+        // between the start and end size, and iteratively reducing it in the maximal way.
+
+        // The start and end size will share some higher order bits, below that they differ, and it is this
+        // difference that we need to fill in the minimum number of appends
+        // startSize looks like: xxxxxxyyyy
+        // endSize looks like:   xxxxxxzzzz
+        // where x are the complete sub trees they share, and y and z are the subtrees they dont
+
+        require(startSize < endSize, "Start not less than end");
+
+        // remove the high order bits that are shared
+        uint256 msb = UintUtilsLib.mostSignificantBit(startSize ^ endSize);
+        uint256 mask = (1 << (msb) + 1) - 1;
+        uint256 y = startSize & mask;
+        uint256 z = endSize & mask;
+
+        // Since in the verification we will be appending at start size, the highest level at which we
+        // can append is the lowest complete subtree - the least significant bit
+        if (y != 0) {
+            return UintUtilsLib.leastSignificantBit(y);
+        }
+
+        // y == 0, therefore we can append at any of levels where start and end differ
+        // The highest level that we can append at without surpassing the end, is the most significant
+        // bit of the end
+        if (z != 0) {
+            return UintUtilsLib.mostSignificantBit(z);
+        }
+
+        // since we enforce that start < end, we know that y and z cannot both be 0
+        revert("Both y and z cannot be zero");
+    }
+
+    /// @notice Calculate the full tree size represented by a merkle expansion
+    /// @param me   The merkle expansion to calculate the tree size of
+    function treeSize(
+        bytes32[] memory me
+    ) internal pure returns (uint256) {
+        uint256 sum = 0;
+        for (uint256 i = 0; i < me.length; i++) {
+            if (me[i] != 0) {
+                sum += 2 ** i;
+            }
+        }
+        return sum;
+    }
+
+    /// @notice Verify that a pre-accumulator-root commits to a prefix of the leaves committed by a post-accumulator-root
+    /// @dev    Verifies by appending sub trees to the pre accumulator until we get to the size of the post accumulator
+    ///         and then checking that the root of the calculated post accumulator is equal to the supplied one
+    /// @param preRoot      The root of the accumulator which is a prefix of the post accumulator
+    /// @param preSize      The size of the pre-accumulator
+    /// @param postRoot     The root the post-accumulator - the accumulator which we're proving pre is a prefix of
+    /// @param postSize     The size of the post-accumulator
+    /// @param preExpansion The merkle expansion of the pre-accumulator
+    /// @param proof        The proof is the minimum set of complete subtree hashes that can be appended to
+    ///                     the accumulator-tree in order to form the post accumulator
+    ///                     The first entry in the proof will be appended at the level of the first non-zero entry in the pre-expansion.
+    ///                     The second entry will then be appended to the the first non zero entry in the resulting expansion and so on, until
+    ///                     appending a sub tree will create a tree of greater that the post size. Then, starting at the highest level,
+    ///                     the next entry in the proof is attempted to be appended to the expansion, but the result is only accepted if has a size
+    ///                     less than or equal the post-size. This continues until all proof entries have been used up.
+    ///                     The resulting expansion is then checked to see if it equals the provided post-root
+    function verifyPrefixProof(
+        bytes32 preRoot,
+        uint256 preSize,
+        bytes32 postRoot,
+        uint256 postSize,
+        bytes32[] memory preExpansion,
+        bytes32[] memory proof
+    ) internal pure {
+        require(preSize > 0, "Pre-size cannot be 0");
+        require(root(preExpansion) == preRoot, "Pre expansion root mismatch");
+        require(treeSize(preExpansion) == preSize, "Pre size does not match expansion");
+        require(preSize < postSize, "Pre size not less than post size");
+
+        uint256 size = preSize;
+        uint256 proofIndex = 0;
+        // we clone here to avoid mutating the input arguments
+        // which could be unexpected for callers
+        bytes32[] memory exp = ArrayUtilsLib.slice(preExpansion, 0, preExpansion.length);
+
+        // Iteratively append a tree at the maximum possible level until we get to the post size
+        while (size < postSize) {
+            uint256 level = maximumAppendBetween(size, postSize);
+
+            require(proofIndex < proof.length, "Index out of range");
+            exp = appendCompleteSubTree(exp, level, proof[proofIndex]);
+
+            uint256 numLeaves = 1 << level;
+            size += numLeaves;
+            assert(size <= postSize);
+            proofIndex++;
+        }
+
+        // Check that the calculated root is equal to the provided post root
+        require(root(exp) == postRoot, "Post expansion root not equal post");
+
+        // ensure that we consumed the full proof
+        // this is just a safety check to guard against mistakenly supplied args
+        require(proofIndex == proof.length, "Incomplete proof usage");
+    }
+
+    /// @notice Using the provided proof verify that the provided leaf is included in the roothash of a complete tree at
+    ///         the specified index. Note that here we use a 0-indexed value for the leaf number, whereas
+    ///         elsewhere we use size.
+    /// @param rootHash The root hash to prove inclusion in
+    /// @param leaf     The leaf preimage to prove inclusion - will be hashed in here before checking inclusion
+    /// @param index    The index of the leaf in the tree
+    /// @param proof    The path from the leaf to the root
+    function verifyInclusionProof(
+        bytes32 rootHash,
+        bytes32 leaf,
+        uint256 index,
+        bytes32[] memory proof
+    ) internal pure {
+        bytes32 calculatedRoot =
+            MerkleLib.calculateRoot(proof, index, keccak256(abi.encodePacked(leaf)));
+        require(rootHash == calculatedRoot, "Invalid inclusion proof");
+    }
+}

package/src/challengeV2/libraries/UintUtilsLib.sol

@@ -0,0 +1,74 @@
+// Copyright 2023, Offchain Labs, Inc.
+// For license information, see https://github.com/offchainlabs/bold/blob/main/LICENSE
+// SPDX-License-Identifier: BUSL-1.1
+//
+pragma solidity ^0.8.17;
+
+/// @title  Uint utils library
+/// @notice Some additional bit inspection tools
+library UintUtilsLib {
+    /// @notice The least significant bit in the bit representation of a uint
+    /// @dev    Zero indexed from the least sig bit. Eg 1010 => 1, 1100 => 2, 1001 => 0
+    ///         Finds lsb in linear (uint size) time
+    /// @param x Cannot be zero, since zero that has no signficant bits
+    function leastSignificantBit(
+        uint256 x
+    ) internal pure returns (uint256 msb) {
+        require(x > 0, "Zero has no significant bits");
+
+        // isolate the least sig bit
+        uint256 isolated = ((x - 1) & x) ^ x;
+
+        // since we removed all higher bits, least sig == most sig
+        return mostSignificantBit(isolated);
+    }
+
+    /// @notice The most significant bit in the bit representation of a uint
+    /// @dev    Zero indexed from the least sig bit. Eg 1010 => 3, 110 => 2, 1 => 0
+    ///         Taken from https://solidity-by-example.org/bitwise/
+    ///         Finds msb in log (uint size) time
+    /// @param x Cannot be zero, since zero has no sigificant bits
+    function mostSignificantBit(
+        uint256 x
+    ) internal pure returns (uint256 msb) {
+        require(x != 0, "Zero has no significant bits");
+
+        // x >= 2 ** 128
+        if (x >= 0x100000000000000000000000000000000) {
+            x >>= 128;
+            msb += 128;
+        }
+        // x >= 2 ** 64
+        if (x >= 0x10000000000000000) {
+            x >>= 64;
+            msb += 64;
+        }
+        // x >= 2 ** 32
+        if (x >= 0x100000000) {
+            x >>= 32;
+            msb += 32;
+        }
+        // x >= 2 ** 16
+        if (x >= 0x10000) {
+            x >>= 16;
+            msb += 16;
+        }
+        // x >= 2 ** 8
+        if (x >= 0x100) {
+            x >>= 8;
+            msb += 8;
+        }
+        // x >= 2 ** 4
+        if (x >= 0x10) {
+            x >>= 4;
+            msb += 4;
+        }
+        // x >= 2 ** 2
+        if (x >= 0x4) {
+            x >>= 2;
+            msb += 2;
+        }
+        // x >= 2 ** 1
+        if (x >= 0x2) msb += 1;
+    }
+}

package/src/libraries/AddressAliasHelper.sol

@@ -11,7 +11,9 @@ library AddressAliasHelper {
     /// the inbox to the msg.sender viewed in the L2
     /// @param l1Address the address in the L1 that triggered the tx to L2
     /// @return l2Address L2 address as viewed in msg.sender
-    function applyL1ToL2Alias(address l1Address) internal pure returns (address l2Address) {
+    function applyL1ToL2Alias(
+        address l1Address
+    ) internal pure returns (address l2Address) {
         unchecked {
             l2Address = address(uint160(l1Address) + OFFSET);
         }
@@ -21,7 +23,9 @@ library AddressAliasHelper {
     /// address in the L1 that submitted a tx to the inbox
     /// @param l2Address L2 address as viewed in msg.sender
     /// @return l1Address the address in the L1 that triggered the tx to L2
-    function undoL1ToL2Alias(address l2Address) internal pure returns (address l1Address) {
+    function undoL1ToL2Alias(
+        address l2Address
+    ) internal pure returns (address l1Address) {
         unchecked {
             l1Address = address(uint160(l2Address) - OFFSET);
         }

package/src/libraries/AdminFallbackProxy.sol

@@ -34,7 +34,9 @@ abstract contract DoubleLogicERC1967Upgrade is ERC1967Upgrade {
     /**
      * @dev Stores a new address in the EIP1967 implementation slot.
      */
-    function _setSecondaryImplementation(address newImplementation) private {
+    function _setSecondaryImplementation(
+        address newImplementation
+    ) private {
         require(
             Address.isContract(newImplementation),
             "ERC1967: new secondary implementation is not a contract"
@@ -47,7 +49,9 @@ abstract contract DoubleLogicERC1967Upgrade is ERC1967Upgrade {
      *
      * Emits an {UpgradedSecondary} event.
      */
-    function _upgradeSecondaryTo(address newImplementation) internal {
+    function _upgradeSecondaryTo(
+        address newImplementation
+    ) internal {
         _setSecondaryImplementation(newImplementation);
         emit UpgradedSecondary(newImplementation);
     }
@@ -119,8 +123,8 @@ contract AdminFallbackProxy is Proxy, DoubleLogicERC1967Upgrade {
             _IMPLEMENTATION_SLOT == bytes32(uint256(keccak256("eip1967.proxy.implementation")) - 1)
         );
         assert(
-            _IMPLEMENTATION_SECONDARY_SLOT ==
-                bytes32(uint256(keccak256("eip1967.proxy.implementation.secondary")) - 1)
+            _IMPLEMENTATION_SECONDARY_SLOT
+                == bytes32(uint256(keccak256("eip1967.proxy.implementation.secondary")) - 1)
         );
         _changeAdmin(adminAddr);
         _upgradeToAndCall(adminLogic, adminData, false);

package/src/libraries/ArbitrumChecker.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;
@@ -8,9 +8,8 @@ import "../precompiles/ArbSys.sol";
 
 library ArbitrumChecker {
     function runningOnArbitrum() internal view returns (bool) {
-        (bool ok, bytes memory data) = address(100).staticcall(
-            abi.encodeWithSelector(ArbSys.arbOSVersion.selector)
-        );
+        (bool ok, bytes memory data) =
+            address(100).staticcall(abi.encodeWithSelector(ArbSys.arbOSVersion.selector));
         return ok && data.length == 32;
     }
 }