Even in the case of the catastrophic failure, we have been making pressured exit into the protocol to ensure that users will be able to withdraw their money. It is actually moved off-chain (circuit kind) and the integrity with the computations will probably be verified as a result of succinct https://www.scrollbridge.com/