fix

Author: uri-99

contracts/script/output/devnet/batcher_deployment_output.json

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

contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json

@@ -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,14 +180,16 @@ contract BatcherPaymentService is
         emit FundsWithdrawn(msg.sender, amount);
     }
 
+
     function withdraw_from_service_manager(
-        uint256 amount
-    ) public onlyOwner { // or onlyBatcher ??
-        alignedLayerServiceManager.withdraw(amount); // reverts on InsufficientBalance
+        uint256 amount,
+        address withdrawAddress
+    ) public payable onlyOwner {
+        alignedLayerServiceManager.withdraw(amount); // reverts if InsufficientBalance
         // money is now in this contract
-        // now transfer to hardcoded batcher wallet
-        payable(batcherWallet).transfer(amount);
-        // todo test
+        // 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 {