contract Escapes is MainStorage, MFreezable, MStateRoot, MWithdrawal

Escaping the exchange is the last resort for users that wish to withdraw their funds without relying on off-chain exchange services. The Escape functionality may only be invoked once the contract has become frozen. This will be as the result of an unserviced full withdraw request (see FullWithdrawals). At that point, any escaper entity may perform an escape operation as follows:

  1. Escapers must obtain a Merkle path of a vault to be evicted with respect to the frozen vault tree root. Typically, once the exchange is frozen, such data will be made public or would be obtainable from an exchange API, depending on the data availability approach used by the exchange.

  2. Escapers call the EscapeVerifier contract with the Merkle proof for the vault to be evicted. If the proof is valid, this results in the registration of such proof.

  3. Escapers call escape function with the same parameters as submitted to the EscapeVerifier (i.e. the vault ID, Stark Key of the vault owner, the token ID and the vault balance), sans the Merkle proof. If a proof was accepted for the same parameters by the EscapeVerifier, and no prior escape call was made for the vault, the contract adds the vault balance to an on-chain pending withdrawals account under the Stark Key of the vault owner and the appropriate token ID.

  4. The owner of the vault may then withdraw this amount from the pending withdrawals account by calling the normal withdraw function (see Withdrawals) to transfer the funds to the users Eth or ERC20 account (depending on the token type).

Note that while anyone can perform the initial steps of the escape operation (including the exchange operator, for example), only the owner of the vault may perform the final step of transfersing the funds.

Uses MFreezable, MStateRoot and MWithdrawal.

function escape(uint256 starkKey, uint256 vaultId, uint256 tokenId, uint256 quantizedAmount)