vaultIdstate. If it is valid, it sends the off-chain withdrawal transaction to the StarkEx service.
vaultIdstate. If the withdrawal is valid, it is aggregated to a batch to be submitted on-chain along with a validity proof.
state update, the StarkEx smart contract moves the relevant funds to the withdrawal area, under the user identity that appears in the withdrawn L2 vault.