Function: withdraw(byte[] payload)

This allows to send a message to withdraw funds from the ARBITRUM chain. The message can trigger one of these functions: withdraw, withdrawAndBridge, or withdrawSwapAndBridge.

Inputs

• payload

  • Constraints: No verifications.

  • Impact: It contains all the necessary data for withdrawal: funcSelector, bridgeId, receiver, ID (the ID for the epoch being withdraw from), and vaultAddress. Also can contain data for swap --- swapId, toAmountMin, dexId, toToken, and fee --- and for bridging: maxSlippage in case of _bridgeWithCeler, maxSlippage and bonderFee in case of _bridgeWithHop. The receiver address will be changed to the msg.sender address.

Function call analysis

• ILayerZeroRouter(layerZeroRouter).send

  • What is controllable? payload.

  • If return value controllable, how is it used and how can it go wrong? N/A.

  • What happens if it reverts, reenters, or does other unusual control flow? Can revert in case of unpaid fee.