The user submits a withdrawal request to the off-chain application.
The off-chain app checks the validity of the withdrawal request according to its business logic and the relevant
If it is valid, it sends the off-chain withdrawal transaction to the StarkEx service.
StarkEx verifies that the withdrawal request is valid, according to the relevant business logic statement to be proved, and the relevant
vaultId state. 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
starkKey of the corresponding
Once the funds are in the withdrawal area, the
ethereumAddress under which the
starkKey is registered can make an on-chain call to withdraw the funds to any recipient. For more info, see