ZK rollup（轻取款增强型）：不存在活性故障风险和安全性故障风险。

最后是关于激励的问题：为了达到预期的效果，你所信任的参与者需要非常利他主义，一般利他主义，还是理性主义？默认情况下，“欺诈证明” 需要参与者是利他主义的，但是程度如何取决于计算的复杂性（详见 “验证者困境” ），而且有很多方法可以修改规则，使之变得理性。

如果我们增加一种方式来支付服务费，那么帮助他人从 ZK rollup 上取款的行为就是理性的，因此没必要担心无法退出 rollup 的问题。与此同时，如果整个社区都同意 不接受通过 51% 攻击创建的区块链（将交易历史回滚到很久之前，或审查很久之前的区块），就可以减轻其它系统的风险。

结论：如果你听到有人说某个系统 “依赖于信任”，一定要问清楚！这个系统是 “1 : 1” 模型、“1 : N” 模型还是 “N/2 : N” 模型？这个系统需要参与者是利他主义还是理性主义？如果是利他主义，参与者需要付出多大代价？如果假设被打破，那么你需要等待多久才能取回自己的资金？几个小时？几天？还是永远无法取回？搞清楚了这些问题，你才能决定要不要使用这个系统。