如果欺诈性证明失败，所有资金都将丢失

zkRollup 有效性证明

如果有效性证明失败，重试即可