Any Depositor can withdraw his money using the withdraw() approach to the vault. The withdrawal method consists of two parts: a request plus a declare. The verifier might be Found on Ethereum as a smart deal, removing rely on assumptions within the shipping of data through the VERIFIER to SLASH https://symbictic.com/