2. 计算成本

• 证明器时间：在 Zk-rollup 中，证明器需要大量时间来生成证明。证明过程中需要进行大量计算，来验证证明中的数百万个限制条件。一般而言，零知识证明的证明器时间取决于电路大小和证明过程中使用的硬件的容量。如果是 Plonk，证明器时间可能是 2 至 14 分钟；如果是 Loopring v3.0，证明器时间可能是 7 至 10 分钟；如果是 Stark，证明器时间可能是 3 至 5 分钟。这是 Zk-rollup 的硬终局性延迟的主要决定因素。
• 证明器成本：证明器生成证明所消耗的资源，取决于证明器时间和实证吞吐量。

终局性延迟

• 硬终局性：敲定 Layer 2 区块所花费的时间。对 Optimistic Rollup 来说，这个时间就是挑战期的时长；对 Zk-rollup 来说则是证明器时间。

• 软终局性：将 Layer 2 区块提交到 Layer 1 上所花费的时间。

• 取款时间：一些快速交易方案需要先提交 Layer 2 区块，再作进一步处理。

吞吐量

• 理论最大吞吐量：基于链上操作的 gas 成本和以太坊上每个区块的最大 gas。

• Zk-rollup 的实证吞吐量：

1）实证吞吐量取决于证明器时间。
2）证明成本、实证吞吐量和资本要求之间存在权衡关系。更高的吞吐量需要更高的证明成本和资本要求。

用户体验

• 使用体验是否与使用以太坊相仿。

资本

• 资本要求：运营者存储在智能合约内用来保障系统安全性的资金。

• 资本效率：流动性提供者 / 运营者在 x 时间内锁定在智能合约里的资金。

（1）所有使用欺诈证明的 Rollup 必须接受活性假设。该假设引入了安全性和延迟的权衡（体现在挑战期的长短上）。Arbitrum 的测试网案例将挑战期设为 30 分钟，非常短而且实际上并不安全。这意味着，恶意运营者可以对以太坊发起 30 分钟的网络拥堵攻击，然后窃取 Layer 1 上的 Rollup 智能合约中的所有资金。

（2）每当 Loopring 改变其功能或数据结构时都需要新的设置。（最新版本的 Loopring 使用内部的临时起步仪式。）

（3）就每 30 万笔交易生成一个证明的电路而言，Stark 的验证者需要 500 万 gas。但是，deversiFi 使用的 Stark 电路是每 150 笔交易生成一个证明，需要超过 200 万 gas。（相比之下，Plonk 是每 300 笔交易生成一个证明，需要 50 万 gas；递归 Plonk 是每 3000 + 笔交易生成一个证明，需要 90 万 gas；Groth16 是每 2000 笔交易生成一个证明，需要 30 万 gas）。 (责任编辑：admin)