噜噜影院,一本大道色婷婷在线,中文字幕乱码高清完整版 ,最近2019中文字幕国语免费版 ,哺乳期色妇videos

探討TTF:最終確認Rollup交易的持續(xù)時間

LU 交易 交易的 2023-11-16 43

原文標題:《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 取樣。

相關(guān)推薦