vaultId
(which she, allegedly, owns).vaultId
is actually Bob), StarkEx proves it, and no funds are moved on-chain.freezeRequest
along with the parameters of the ignored Forced Operation.
As a result, the exchange becomes frozen, and no further state updates can get accepted. Withdrawals of on-chain funds are still possible.