Merge 29abaa4 into f009da5

contracts/script/output/devnet/batcher_deployment_output.json

@@ -0,0 +1,6 @@
+{
+  "addresses": {
+    "batcherPaymentService": "0x7bc06c482DEAd17c0e297aFbC32f6e63d3846650",
+    "batcherPaymentServiceImplementation": "0x7969c5eD335650692Bc04293B07F5BF2e7A673C0"
+  }
+}

contracts/src/core/BatcherPaymentService.sol

@@ -78,9 +78,11 @@ contract BatcherPaymentService is
 
     // PAYABLE FUNCTIONS
     receive() external payable {
-        userData[msg.sender].balance += msg.value;
-        userData[msg.sender].unlockBlockTime = 0;
-        emit PaymentReceived(msg.sender, msg.value);
+        if (msg.sender != address(alignedLayerServiceManager)) { // `alignedLayerServiceManager.withdraw()` triggers `receive()` (and with only 2300 gas)
+            userData[msg.sender].balance += msg.value;
+            userData[msg.sender].unlockBlockTime = 0;
+            emit PaymentReceived(msg.sender, msg.value);
+        }
     }
 
     // PUBLIC FUNCTIONS
@@ -178,6 +180,18 @@ contract BatcherPaymentService is
         emit FundsWithdrawn(msg.sender, amount);
     }
 
+
+    function withdrawFromServiceManager(
+        uint256 amount,
+        address withdrawAddress
+    ) public payable onlyOwner {
+        alignedLayerServiceManager.withdraw(amount); // reverts if InsufficientBalance
+        // money is now in this contract
+        // we transfer it to the withdraw address
+        payable(withdrawAddress).transfer(amount); // non-reentrant since .transfer() has low gas limit. Also, Owner is a multisig.
+        // this.balance is unchanged
+    }
+
     function pause() public onlyOwner {
         _pause();
     }

contracts/src/core/IAlignedLayerServiceManager.sol

@@ -63,6 +63,8 @@ interface IAlignedLayerServiceManager {
 
     function balanceOf(address account) external view returns (uint256);
 
+    function withdraw(uint256 amount) external;
+
     function setAggregator(address _aggregator) external;
 
     function isVerifierDisabled(