原文標題:《A tweet on rollup time-to-finality (TTF)》
原文作者:@larry 0x
原文編譯:Frank,F(xiàn)oresight News
首先,什么叫 TTF,為什么它很重要?
最后是交易永遠不會被撤銷、恢復(fù)或修改,即被視為解決了相應(yīng)的交易問題。
TTF(time to finality)這是一個交易信號從廣播開始到達到最終狀態(tài)所花費的時間,以下是幾個選定鏈的時間 TTF:
TTF 它是具有多種用途的重要參數(shù):
如果是接受數(shù)字貨幣支付的商家,可能會在交付產(chǎn)品或服務(wù)前等待 TTF,以確保支付不會被撤銷。
對于跨鏈橋接協(xié)議,如果發(fā)送方鏈上提交了一個數(shù)據(jù)包,則有可能在等待接收方鏈之前等待 TTF。
……
其次,Rollups
Rollup 塊的生命周期有 2 個階段:
(1)其數(shù)據(jù)被發(fā)布到數(shù)據(jù)可用性(DA)層;
(2)在清算層確認有效;
值得注意的是,TTF 對于 Rollup 鏈的整個節(jié)點和輕節(jié)點是不同的:
對于前者,他們不需要等待 ( 2) 清算,因為只要 ( 1) 在發(fā)布區(qū)塊數(shù)據(jù)時,他們可以立即自行驗證有效性;
對于后者,他們確實需要等待清算過程;
在清算層確認階段,有兩種類型 Rollups,這取決于他們使用的機制:
Validity Rollups(又名 zero-knowledge rollups,zkRUs)。排序器生成塊后,證明者(通常與排序器相同的人)提交有效性證明,并通過一些加密方法證明塊是有效的。
Optimistic Rollups(opRUs)。排序器生成塊,但不能證明它是有效的。如果它實際上無效,任何人(證人)都可以提交欺詐證明來挑戰(zhàn)它,這將導(dǎo)致塊被拒絕。如果沒有人確認某個塊在一段時間內(nèi)無效(稱為爭議期),則該塊被視為有效。
還有一些重要的事情需要理解:
事實上,區(qū)塊數(shù)據(jù)通常不會在區(qū)塊生成后立即發(fā)布 DA 層。排序器通常會等一會兒,然后批量發(fā)布幾個塊(可能是為了節(jié)省) Gas 費);
有效性證明也經(jīng)常被推遲,通常是因為這些證明的計算量很大,而且需要時間;
有效性和欺詐性的確認不僅在鏈上傳播。例如,如果有人在鏈下發(fā)送有效性確認,則可以確定塊是有效的,而不需要等待(2)鏈上的清算過程。
最后,準備討論 Rollup 最終結(jié)果需要多長時間才能達到。
對于整個節(jié)點,過程非常簡單:只要區(qū)塊 ( 1) 被發(fā)布并在 DA 在層上完成,然后最終確定。
如果表示:
T 1 :區(qū)塊發(fā)布在 DA 層上的頻率(例如,如果排序器每次排序, 10 分鐘在 DA 如果在層上發(fā)布一批,則 T 1 = 10 分鐘 )
T 2 :DA 層 TTF
那么 Rollup 的 TTF = T 1 T 2 。
他們必須等待輕節(jié)點 ( 1) 和 ( 2) 完成。對于 opRU,(2)時間為挑戰(zhàn)期;對于挑戰(zhàn)期; zkRU 時間是證明者生成并發(fā)布有效性的證明。
如果表示:
T 3 :對于 opRU,挑戰(zhàn)期;
T 4 :對于 zkRU,實效性證明在清算層時間發(fā)布;
T 5 :清算層 TTF;
然后是 Rollup 的 TTF:
對于 opRU:max (T 1 T 2, T 3);
對于 zkRU:max(T 1 T 2 ,T 4 T 5);
在這些方程中「最高值」這意味著需要等待 DA 結(jié)算過程完成,以時間較長者為準(幾乎總是清算)。
現(xiàn)在,問題來了!請記住,我們已經(jīng)證實它也可以在鏈下傳播。對于這個問題。 zkRU,如果在鏈下收到有效性的確認,那么我們可以立即說交易已經(jīng)完成,而不必等待鏈上的清算過程。
對于 opRU 很難說。挑戰(zhàn)期。(T 3)通常更長的原因是擔(dān)心清算層可能會審查欺詐證據(jù)。所以這顯然取決于你的風(fēng)險承受能力。如果你有信心清算層不會審查交易,你可以選擇等待更短的時間。否則,你會等待更長的時間,但你不必等待比較 T 3 更長的時間。
總結(jié)一下:
這里有兩個實際案例,Arbitrum 和 zkSync。他們使用以太坊 DA 和結(jié)算,因此。和結(jié)算 T 2 = T 5 = 13 分鐘。
Arbitrum 大約每個排序器 T 1 = 6 每分鐘發(fā)布一次數(shù)據(jù),Arbitrum 的考驗期 T 3 = 1 周;
zkSync 大約每個排序器 T 1 = 3 每分鐘發(fā)布一次數(shù)據(jù),確認不定期發(fā)布,但均值一次 T 4 = 1 小時;
也可以考慮一個假設(shè) zkRU,它使用 Celestia 進行 DA,我認為這更接近最終結(jié)果:
T 1 = 0 (Celestia 它非常便宜,所以可以假設(shè)塊在生成后立即發(fā)布);
T 2 = 12 秒;
T 4 = 確認生成時間取決于確認系統(tǒng);
最后,簡要討論一下這一切的含義
對于 opRU,這也許將近 1 周(如果你對以太坊的審查阻力不是很有信心),這對實際目的來說太長了。這就是為什么對以太坊的審查不是很有信心。 opRU,必須采用全節(jié)點橋,如全節(jié)點橋 Axelar 和 Wormhole,它們由一堆運行整個節(jié)點的運營商組成。
缺點是我們應(yīng)該信任這個運營商集合,它在經(jīng)濟上可能不如發(fā)送者鏈安全。
對于普通的 zkRU,我們只需要等待 DA 最終確定(以太坊為以太坊 16 分鐘) 確認生成時間,我們不需要等待以太坊上的發(fā)布——這是相對的 opRU 主要優(yōu)勢!
這也是覺得 Celestia 可以改善 Rollup 一種跨鏈感覺的方式。在以太坊上,我們只在等待。 12 秒 確認生成時間,而不是等待 16 幾分鐘。輕節(jié)點客戶端可使用。 QGB 檢查來自 Celestia 或者可以證明驗證器,或者 DA 取樣。