原文标题:《A tweet on rollup time-to-finality (TTF)》
原文作者:@larry 0x
原文编译:Frank,Foresight News
首先,什么叫 TTF,为什么它很重要?
最后是交易永远不会被撤销、恢复或修改,即被视为解决了相应的交易问题。
TTF(time to finality)这是一个交易信号从广播开始到达到最终状态所花费的时间,以下是几个选定链的时间 TTF:
TTF 它是具有多种用途的重要参数:
如果是接受数字货币支付的商家,可能会在交付产品或服务前等待 TTF,以确保支付不会被撤销。
对于跨链桥接协议,如果发送方链上提交了一个数据包,则有可能在等待接收方链之前等待 TTF。
……
其次,Rollups
Rollup 块的生命周期有 2 个阶段:
(1)其数据被发布到数据可用性(DA)层;
(2)在清算层确认有效;
值得注意的是,TTF 对于 Rollup 链的整个节点和轻节点是不同的:
对于前者,他们不需要等待 ( 2) 清算,因为只要 ( 1) 在发布区块数据时,他们可以立即自行验证有效性;
对于后者,他们确实需要等待清算过程;
在清算层确认阶段,有两种类型 Rollups,这取决于他们使用的机制:
Validity Rollups(又名 zero-knowledge rollups,zkRUs)。排序器生成块后,证明者(通常与排序器相同的人)提交有效性证明,并通过一些加密方法证明块是有效的。
Optimistic Rollups(opRUs)。排序器生成块,但不能证明它是有效的。如果它实际上无效,任何人(证人)都可以提交欺诈证明来挑战它,这将导致块被拒绝。如果没有人确认某个块在一段时间内无效(称为争议期),则该块被视为有效。
还有一些重要的事情需要理解:
事实上,区块数据通常不会在区块生成后立即发布 DA 层。排序器通常会等一会儿,然后批量发布几个块(可能是为了节省) Gas 费);
有效性证明也经常被推迟,通常是因为这些证明的计算量很大,而且需要时间;
有效性和欺诈性的确认不仅在链上传播。例如,如果有人在链下发送有效性确认,则可以确定块是有效的,而不需要等待(2)链上的清算过程。
最后,准备讨论 Rollup 最终结果需要多长时间才能达到。
对于整个节点,过程非常简单:只要区块 ( 1) 被发布并在 DA 在层上完成,然后最终确定。
如果表示:
T 1 :区块发布在 DA 层上的频率(例如,如果排序器每次排序, 10 分钟在 DA 如果在层上发布一批,则 T 1 = 10 分钟 )
T 2 :DA 层 TTF
那么 Rollup 的 TTF = T 1 T 2 。
他们必须等待轻节点 ( 1) 和 ( 2) 完成。对于 opRU,(2)时间为挑战期;对于挑战期; zkRU 时间是证明者生成并发布有效性的证明。
如果表示:
T 3 :对于 opRU,挑战期;
T 4 :对于 zkRU,实效性证明在清算层时间发布;
T 5 :清算层 TTF;
然后是 Rollup 的 TTF:
对于 opRU:max (T 1 T 2, T 3);
对于 zkRU:max(T 1 T 2 ,T 4 T 5);
在这些方程中「最高值」这意味着需要等待 DA 结算过程完成,以时间较长者为准(几乎总是清算)。
现在,问题来了!请记住,我们已经证实它也可以在链下传播。对于这个问题。 zkRU,如果在链下收到有效性的确认,那么我们可以立即说交易已经完成,而不必等待链上的清算过程。
对于 opRU 很难说。挑战期。(T 3)通常更长的原因是担心清算层可能会审查欺诈证据。所以这显然取决于你的风险承受能力。如果你有信心清算层不会审查交易,你可以选择等待更短的时间。否则,你会等待更长的时间,但你不必等待比较 T 3 更长的时间。
总结一下:
这里有两个实际案例,Arbitrum 和 zkSync。他们使用以太坊 DA 和结算,因此。和结算 T 2 = T 5 = 13 分钟。
Arbitrum 大约每个排序器 T 1 = 6 每分钟发布一次数据,Arbitrum 的考验期 T 3 = 1 周;
zkSync 大约每个排序器 T 1 = 3 每分钟发布一次数据,确认不定期发布,但均值一次 T 4 = 1 小时;
也可以考虑一个假设 zkRU,它使用 Celestia 进行 DA,我认为这更接近最终结果:
T 1 = 0 (Celestia 它非常便宜,所以可以假设块在生成后立即发布);
T 2 = 12 秒;
T 4 = 确认生成时间取决于确认系统;
最后,简要讨论一下这一切的含义
对于 opRU,这也许将近 1 周(如果你对以太坊的审查阻力不是很有信心),这对实际目的来说太长了。这就是为什么对以太坊的审查不是很有信心。 opRU,必须采用全节点桥,如全节点桥 Axelar 和 Wormhole,它们由一堆运行整个节点的运营商组成。
缺点是我们应该信任这个运营商集合,它在经济上可能不如发送者链安全。
对于普通的 zkRU,我们只需要等待 DA 最终确定(以太坊为以太坊 16 分钟) 确认生成时间,我们不需要等待以太坊上的发布——这是相对的 opRU 主要优势!
这也是觉得 Celestia 可以改善 Rollup 一种跨链感觉的方式。在以太坊上,我们只在等待。 12 秒 确认生成时间,而不是等待 16 几分钟。轻节点客户端可使用。 QGB 检查来自 Celestia 或者可以证明验证器,或者 DA 取样。