Merge pull request #159 from etherfi-protocol/syko/certora/L-02

Fix [Certora][L-02] Redundant code block

src/StakingManager.sol

@@ -411,11 +411,6 @@ contract StakingManager is
         // Call function in auction contract to re-initiate the bid that won
         auctionManager.reEnterAuction(_validatorId);
 
-        bool isFullStake = (msg.sender != liquidityPoolContract);
-        if (isFullStake) {
-            _refundDeposit(msg.sender, stakeAmount);
-        }
-
         emit DepositCancelled(_validatorId);
     }
 

src/eBtcRateProvider.sol

@@ -0,0 +1,24 @@
+// SPDX-License-Identifier: MIT
+pragma solidity ^0.8.24;
+
+interface IRateProvider {
+    function getRate() external view returns (uint256);
+    function getRateSafe() external view returns (uint256 rate);
+    function decimals() external view returns (uint8);
+}
+
+contract eBtcRateProvider is IRateProvider {
+    IRateProvider public rateProvier = IRateProvider(0x1b293DC39F94157fA0D1D36d7e0090C8B8B8c13F);
+
+    function getRate() external view returns (uint256) {
+        return rateProvier.getRate() * 1e10;
+    }
+
+    function getRateSafe() external view returns (uint256 rate) {
+        return rateProvier.getRateSafe() * 1e10;
+    }
+
+    function decimals() external view returns (uint8) {
+        return rateProvier.decimals() + 10;
+    }
+}