Test/configurator scenario

.github/workflows/deploy-market.yaml

@@ -61,7 +61,7 @@ jobs:
         with:
           wallet_connect_project_id: ${{ secrets.WALLET_CONNECT_PROJECT_ID }}
           requested_network: "${{ inputs.network }}"
-          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://rpc.scroll.io\"}')[github.event.inputs.network] }}"
+          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://scroll.drpc.org\"}')[github.event.inputs.network] }}"
           port: 8585
         if: github.event.inputs.eth_pk == ''
 

.github/workflows/enact-migration.yaml

@@ -105,7 +105,7 @@ jobs:
         with:
           wallet_connect_project_id: ${{ secrets.WALLET_CONNECT_PROJECT_ID }}
           requested_network: "${{ inputs.network }}"
-          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://rpc.scroll.io\"}')[github.event.inputs.network] }}"
+          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://scroll.drpc.org\"}')[github.event.inputs.network] }}"
           port: 8585
         if: github.event.inputs.eth_pk == ''
 

.github/workflows/prepare-migration.yaml

@@ -75,7 +75,7 @@ jobs:
         with:
           wallet_connect_project_id: ${{ secrets.WALLET_CONNECT_PROJECT_ID }}
           requested_network: "${{ inputs.network }}"
-          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://rpc.scroll.io\"}')[github.event.inputs.network] }}"
+          ethereum_url: "${{ fromJSON('{\"linea\":\"${LINEA_QUICKNODE_LINK}\",\"ronin\":\"${RONIN_QUICKNODE_LINK}\",\"unichain\":\"${UNICHAIN_QUICKNODE_LINK}\",\"mantle\":\"${MANTLE_QUICKNODE_LINK}\",\"optimism\":\"${OPTIMISM_QUICKNODE_LINK}\",\"fuji\":\"https://api.avax-test.network/ext/bc/C/rpc\",\"mainnet\":\"${MAINNET_QUICKNODE_LINK}\",\"sepolia\":\"${SEPOLIA_QUICKNODE_LINK}\",\"polygon\":\"${POLYGON_QUICKNODE_LINK}\",\"arbitrum\":\"${ARBITRUM_QUICKNODE_LINK}\",\"base\":\"${BASE_QUICKNODE_LINK}\",\"scroll\":\"https://scroll.drpc.org\"}')[github.event.inputs.network] }}"
           port: 8585
         if: github.event.inputs.eth_pk == ''
 

.github/workflows/run-slither.yaml

@@ -18,9 +18,6 @@ jobs:
         with:
           python-version: '3.x'
 
-      - name: Install solc
-        run: sudo add-apt-repository ppa:ethereum/ethereum;sudo add-apt-repository ppa:ethereum/ethereum-dev;sudo apt-get update;sudo apt-get install solc
-
       - name: Install packages
         run: pip install slither-analyzer solc-select
 

contracts/AssetList.sol

@@ -1,10 +1,10 @@
 // SPDX-License-Identifier: BUSL-1.1
 pragma solidity 0.8.15;
 
 import "./IPriceFeed.sol";
 import "./IERC20NonStandard.sol";
 import "./CometMainInterface.sol";
 import "./CometCore.sol";
 
 /**
  * @title Compound's Asset List
@@ -20,12 +20,12 @@
     /// @dev The max value for a collateral factor (1)
     uint64 internal constant MAX_COLLATERAL_FACTOR = FACTOR_SCALE;
 
     uint256 internal immutable asset00_a;
     uint256 internal immutable asset00_b;
     uint256 internal immutable asset01_a;
     uint256 internal immutable asset01_b;
     uint256 internal immutable asset02_a;
     uint256 internal immutable asset02_b;
     uint256 internal immutable asset03_a;
     uint256 internal immutable asset03_b;
     uint256 internal immutable asset04_a;
@@ -137,9 +137,18 @@
         if (IPriceFeed(priceFeed).decimals() != PRICE_FEED_DECIMALS) revert CometMainInterface.BadDecimals();
         if (IERC20NonStandard(asset).decimals() != decimals_) revert CometMainInterface.BadDecimals();
 
-        // Ensure collateral factors are within range
-        if (assetConfig.borrowCollateralFactor >= assetConfig.liquidateCollateralFactor) revert CometMainInterface.BorrowCFTooLarge();
-        if (assetConfig.liquidateCollateralFactor > MAX_COLLATERAL_FACTOR) revert CometMainInterface.LiquidateCFTooLarge();
+        // Valid collateral factor configurations:
+        //  1. Both zero => fully de-listed
+        //  2. borrowCF=0, liquidateCF>0 => soft de-list (no new borrows, controlled liquidation wind-down)
+        //  3. Both non-zero, properly ordered => active collateral
+        // Invalid: borrowCF>0, liquidateCF=0 => reverts (borrow power without liquidation coverage)
+        if (assetConfig.borrowCollateralFactor != 0 && assetConfig.liquidateCollateralFactor == 0) {
+            revert CometMainInterface.BorrowCFTooLarge();
+        } else if (assetConfig.borrowCollateralFactor != 0 && assetConfig.liquidateCollateralFactor != 0) {
+            // Ensure collateral factors are within range
+            if (assetConfig.borrowCollateralFactor > assetConfig.liquidateCollateralFactor) revert CometMainInterface.BorrowCFTooLarge();
+            if (assetConfig.liquidateCollateralFactor > MAX_COLLATERAL_FACTOR) revert CometMainInterface.LiquidateCFTooLarge();
+        }
 
         unchecked {
             // Keep 4 decimals for each factor
@@ -148,8 +157,12 @@
             uint16 liquidateCollateralFactor = uint16(assetConfig.liquidateCollateralFactor / descale);
             uint16 liquidationFactor = uint16(assetConfig.liquidationFactor / descale);
 
-            // Be nice and check descaled values are still within range
-            if (borrowCollateralFactor >= liquidateCollateralFactor) revert CometMainInterface.BorrowCFTooLarge();
+            if (borrowCollateralFactor != 0 && liquidateCollateralFactor == 0) {
+                revert CometMainInterface.BorrowCFTooLarge();
+            } else if (borrowCollateralFactor != 0 && liquidateCollateralFactor != 0) {
+                // Be nice and check descaled values are still within range
+                if (borrowCollateralFactor >= liquidateCollateralFactor) revert CometMainInterface.BorrowCFTooLarge();
+            }
 
             // Keep whole units of asset for supply cap
             uint64 supplyCap = uint64(assetConfig.supplyCap / (10 ** decimals_));

contracts/CometCore.sol

@@ -38,6 +38,24 @@ abstract contract CometCore is CometConfiguration, CometStorage, CometMath {
     uint8 internal constant PAUSE_ABSORB_OFFSET = 3;
     uint8 internal constant PAUSE_BUY_OFFSET = 4;
 
+    /// @dev Offsets for specific actions in the extended pause flag bit array
+    /// @dev Offset of pause lenders withdraw
+    uint24 internal constant PAUSE_LENDERS_WITHDRAW_OFFSET = 0;
+    /// @dev Offset of pause borrowers withdraw
+    uint24 internal constant PAUSE_BORROWERS_WITHDRAW_OFFSET = 1;
+    /// @dev Offset of pause collateral supply
+    uint24 internal constant PAUSE_COLLATERAL_SUPPLY_OFFSET = 2;
+    /// @dev Offset of pause base supply
+    uint24 internal constant PAUSE_BASE_SUPPLY_OFFSET = 3;
+    /// @dev Offset of pause lenders transfer
+    uint24 internal constant PAUSE_LENDERS_TRANSFER_OFFSET = 4;
+    /// @dev Offset of pause borrowers transfer
+    uint24 internal constant PAUSE_BORROWERS_TRANSFER_OFFSET = 5;
+    /// @dev Offset of pause collateral transfer
+    uint24 internal constant PAUSE_COLLATERALS_TRANSFER_OFFSET = 6;
+    /// @dev Offset of pause collateral withdraw
+    uint24 internal constant PAUSE_COLLATERALS_WITHDRAW_OFFSET = 7;
+
     /// @dev The decimals required for a price feed
     uint8 internal constant PRICE_FEED_DECIMALS = 8;
 

contracts/CometExt.sol

@@ -2,6 +2,7 @@
 pragma solidity 0.8.15;
 
 import "./CometExtInterface.sol";
+import "./CometMainInterface.sol";
 
 contract CometExt is CometExtInterface {
     /** Public constants **/
@@ -29,6 +30,27 @@
     /// @dev The ERC20 symbol for wrapped base token
     bytes32 internal immutable symbol32;
 
+    /** Modifiers **/
+
+    /**
+     * @dev Modifier to check if the sender is the governor or pause guardian
+     */
+    modifier onlyGovernorOrPauseGuardian() {
+        if (msg.sender != CometMainInterface(address(this)).governor() && 
+        msg.sender != CometMainInterface(address(this)).pauseGuardian()) 
+            revert OnlyPauseGuardianOrGovernor();
+        _;
+    }
+
+    /**
+     * @dev Modifier to check if the asset index is valid
+     * @param assetIndex The index of the asset
+     */
+    modifier isValidAssetIndex(uint24 assetIndex) {
+        if (assetIndex >= CometMainInterface(address(this)).numAssets()) revert InvalidAssetIndex();
+        _;
+    }
+
     /**
      * @notice Construct a new protocol instance
      * @param config The mapping of initial/constant parameters
@@ -205,4 +227,198 @@
         if (block.timestamp >= expiry) revert SignatureExpired();
         allowInternal(signatory, manager, isAllowed_);
     }
+
+    /*//////////////////////////////////////////////////////////////
+                        EXTENDED PAUSE CONTROL
+    //////////////////////////////////////////////////////////////*/
+
+    /**
+     * @notice Set the status of a pause offset
+     * @param offset The offset to set
+     * @param paused The new status of the pause offset
+     */
+    function setPauseFlag(uint24 offset, bool paused) internal {
+        paused ? extendedPauseFlags |= (uint24(1) << offset) : extendedPauseFlags &= ~(uint24(1) << offset);
+    }
+
+    /**
+     * @notice Get the current status of a pause offset
+     * @param offset The offset to check
+     * @return The current status of the pause offset
+     */
+    function currentPauseOffsetStatus(uint24 offset) internal view returns (bool) {
+        return (extendedPauseFlags & (uint24(1) << offset)) != 0;
+    }
+
+    /**
+     * @notice Check if the collateral asset is deactivated
+     * @param assetIndex The index of the collateral asset
+     * @return Whether the collateral asset is deactivated
+     */
+    function isCollateralDeactivated(uint24 assetIndex) public view returns (bool) {
+        return (deactivatedCollaterals & (uint24(1) << assetIndex) != 0) == true;
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseLendersWithdraw(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_LENDERS_WITHDRAW_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_LENDERS_WITHDRAW_OFFSET, paused);
+
+        setPauseFlag(PAUSE_LENDERS_WITHDRAW_OFFSET, paused);
+
+        emit LendersWithdrawPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseBorrowersWithdraw(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_BORROWERS_WITHDRAW_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_BORROWERS_WITHDRAW_OFFSET, paused);
+
+        setPauseFlag(PAUSE_BORROWERS_WITHDRAW_OFFSET, paused);
+
+        emit BorrowersWithdrawPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralWithdraw(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_COLLATERALS_WITHDRAW_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_COLLATERALS_WITHDRAW_OFFSET, paused);
+
+        setPauseFlag(PAUSE_COLLATERALS_WITHDRAW_OFFSET, paused);
+
+        emit CollateralWithdrawPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralAssetWithdraw(uint24 assetIndex, bool paused) override external onlyGovernorOrPauseGuardian isValidAssetIndex(assetIndex) {
+        if ((collateralsWithdrawPauseFlags & (uint24(1) << assetIndex) != 0) == paused) revert CollateralAssetOffsetStatusAlreadySet(collateralsWithdrawPauseFlags, assetIndex, paused);
+
+        paused ? collateralsWithdrawPauseFlags |= (uint24(1) << assetIndex) : collateralsWithdrawPauseFlags &= ~(uint24(1) << assetIndex);
+
+        emit CollateralAssetWithdrawPauseAction(assetIndex, paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralSupply(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_COLLATERAL_SUPPLY_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_COLLATERAL_SUPPLY_OFFSET, paused);
+
+        setPauseFlag(PAUSE_COLLATERAL_SUPPLY_OFFSET, paused);
+
+        emit CollateralSupplyPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseBaseSupply(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_BASE_SUPPLY_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_BASE_SUPPLY_OFFSET, paused);
+
+        setPauseFlag(PAUSE_BASE_SUPPLY_OFFSET, paused);
+
+        emit BaseSupplyPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralAssetSupply(uint24 assetIndex, bool paused) override external onlyGovernorOrPauseGuardian isValidAssetIndex(assetIndex) {
+        if ((collateralsSupplyPauseFlags & (uint24(1) << assetIndex) != 0) == paused) revert CollateralAssetOffsetStatusAlreadySet(collateralsSupplyPauseFlags, assetIndex, paused);
+        if (!paused && isCollateralDeactivated(assetIndex)) revert CollateralIsDeactivated(assetIndex);
+
+        paused ? collateralsSupplyPauseFlags |= (uint24(1) << assetIndex) : collateralsSupplyPauseFlags &= ~(uint24(1) << assetIndex);
+
+        emit CollateralAssetSupplyPauseAction(assetIndex, paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseLendersTransfer(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_LENDERS_TRANSFER_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_LENDERS_TRANSFER_OFFSET, paused);
+
+        setPauseFlag(PAUSE_LENDERS_TRANSFER_OFFSET, paused);
+
+        emit LendersTransferPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseBorrowersTransfer(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_BORROWERS_TRANSFER_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_BORROWERS_TRANSFER_OFFSET, paused);
+
+        setPauseFlag(PAUSE_BORROWERS_TRANSFER_OFFSET, paused);
+
+        emit BorrowersTransferPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralTransfer(bool paused) override external onlyGovernorOrPauseGuardian {
+        if (currentPauseOffsetStatus(PAUSE_COLLATERALS_TRANSFER_OFFSET) == paused) revert OffsetStatusAlreadySet(PAUSE_COLLATERALS_TRANSFER_OFFSET, paused);
+
+        setPauseFlag(PAUSE_COLLATERALS_TRANSFER_OFFSET, paused);
+
+        emit CollateralTransferPauseAction(paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function pauseCollateralAssetTransfer(uint24 assetIndex, bool paused) override external onlyGovernorOrPauseGuardian isValidAssetIndex(assetIndex) {
+        if ((collateralsTransferPauseFlags & (uint24(1) << assetIndex) != 0) == paused) revert CollateralAssetOffsetStatusAlreadySet(collateralsTransferPauseFlags, assetIndex, paused);
+        if (!paused && isCollateralDeactivated(assetIndex)) revert CollateralIsDeactivated(assetIndex);
+
+        paused ? collateralsTransferPauseFlags |= (uint24(1) << assetIndex) : collateralsTransferPauseFlags &= ~(uint24(1) << assetIndex);
+
+        emit CollateralAssetTransferPauseAction(assetIndex, paused);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function deactivateCollateral(uint24 assetIndex) override external isValidAssetIndex(assetIndex) {
+        if (msg.sender != CometMainInterface(address(this)).pauseGuardian()) revert OnlyPauseGuardian();
+        if (isCollateralDeactivated(assetIndex)) revert CollateralIsDeactivated(assetIndex);
+
+        // Mark collateral as deactivated
+        deactivatedCollaterals |= (uint24(1) << assetIndex);
+        emit CollateralDeactivated(assetIndex);
+
+        // Pause supply of this collateral
+        collateralsSupplyPauseFlags |= (uint24(1) << assetIndex);
+        emit CollateralAssetSupplyPauseAction(assetIndex, true);
+
+        // Pause transfer of this collateral
+        collateralsTransferPauseFlags |= (uint24(1) << assetIndex);
+        emit CollateralAssetTransferPauseAction(assetIndex, true);
+    }
+
+    /**
+     * @inheritdoc CometExtInterface
+     */
+    function activateCollateral(uint24 assetIndex) override external isValidAssetIndex(assetIndex) {
+        if (msg.sender != CometMainInterface(address(this)).governor()) revert OnlyGovernor();
+        if ((deactivatedCollaterals & (uint24(1) << assetIndex) != 0) == false) revert CollateralIsActivated(assetIndex);
+
+        // Mark collateral as activated
+        deactivatedCollaterals &= ~(uint24(1) << assetIndex);
+        emit CollateralActivated(assetIndex);
+
+        // Unpause supply of this collateral
+        collateralsSupplyPauseFlags &= ~(uint24(1) << assetIndex);
+        emit CollateralAssetSupplyPauseAction(assetIndex, false);
+
+        // Unpause transfer of this collateral
+        collateralsTransferPauseFlags &= ~(uint24(1) << assetIndex);
+        emit CollateralAssetTransferPauseAction(assetIndex, false);
+    }
 }