原则上，ZK Rollup 系统也可以按照类似的方式运行；即，将交易的顺序（可以经常发布到 Layer 1）与稍后进行的验证与偶尔的有效性证明分开。然而，与 Optimistic Rollup 系统发布数据一样，以这种方式运行的 ZK Rollup 需要将基本相同的数据发布到 Layer 1 链上，但对于上文中讨论的（所谓）“压缩”技术并不支持这么做。ZK Rollup 为了让“压缩”技术起作用，必须实时证明一系列 Layer 2 交易的有效性，在同一个 Layer 1 交易中，而且每次发布一批 Layer 2 交易时都必须这么做。

　　因此，虽然所谓的“压缩”技术备受 ZK Rollup 吹捧，但在遇到上述情况时，他们不得不做两个选择：

　　1) 每分钟左右发布排序交易以及执行证明：这可以保持快速确定性，但需要每分钟在情况链外生成 ZK 证明并在 Layer 1 链上进行验证。根据实施情况，在区块链链上发布 ZK 证明的成本估计在 500,000 到 500 万 GAS 之间。

　　2) 每小时发布排序交易和证明：这种做法虽然可以使 ZK 证明检查成本变得略微合理，但将最终确定时间会延长到一个小时。在用户向 ZK Rollup 运营者提交交易和其发布到情况链上之间的时间里，用户无法保证他们的交易是否会被包括在内，而且只能相信 ZK Rollup 的运营者。

　　如果你正在构建一个 ZK Rollup 系统，会发现上述两个选项其实都是不可接受的——第一个成本太昂贵，第二个无法提供及时的终结。因此，如果最终会使用相同类型的序列器（sequencer），就需要在 Arbitrum 的 ZK Rollup 版本中发布与我们的 Optimistic Rollup 版本基本相同的数据。

　　如果您听到有人吹捧 ZK Rollup 可以将数小时的数据压缩为一个点，请不要担心。如果他们只在很长一段时间结束时发布单点数据，那么这意味着他们在这段时间内没有提供最终确定性。

　　结论：出于实际考虑，ZK Rollup 系统不得不以 Optimistic Rollup 相同的方式处理实时终结。

　　Optimistic Rollup vs. ZK Rollup：去信任活性

　　去信任活性意味着任何人都可以迫使系统取得进步。（去信任的安全属性可以确保进度是正确的。）

　　Optimistic Rollup 允许任何节点声明正确执行交易，提出该声明只需要节点执行链的交易，然后存入一笔可以在协议确认声明后退还的质押即可。

　　在 ZK Rollup 系统上，进程要求任何节点都可以创建并发布推进区块链状态所需的 ZK 证明，但并不是每个人都可以使用普通硬件和软件就能实现的。因此，如果要完成 ZK 证明就必须构建或购买特定的专用硬件而且还要进行大规模并行计算。即便是在普通设备上，也需要构建合适的ZK证明的路径，不提供此功能或未发布为其系统生成证明的代码的 ZK 提供者就无法提供去信任进程，系统也就没有任何活性保证。也就是说，ZK Rollup 的系统是中心化的，因为只有拥有特殊设备的证明者才能推动进程。（目前尚不清楚领先的 ZK rollup 提供这是否会为普通用户提供可行的证明。） (责任编辑：admin)