比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

區塊鏈擴容方案Rollup的各類型異同簡介_ERT

Author:

Time:1900/1/1 0:00:00

作者:EdFelten

翻譯&校對:閔敏&阿劍

來源:以太坊愛好者編者注:原標題為《觀點|17萬個以太坊和40萬個ENS域名》

Rollup是近年來在智能合約可擴展性方面最火爆的想法之一。這個想法已經提出有一段時間了,但是直到最近才有幾個團隊,其中也包括我們OffchainLabs團隊,才開始大力推進。接下來讓我們花個幾分鐘時間,來談談什么是rollup,以及不同的方案之間有什么相關性。

Rollup是一種可以對開放式合約進行擴容的通用方法。在Rollup上,對合約的調用及其argument都是作為調用數據寫在鏈上的,但是合約的實際計算和存儲都是在鏈下完成的。有人會在鏈上發布一個assertion,斷言合約將要執行的一系列操作以及執行完成之后合約狀態的哈希值。可以認為,這個發布上鏈的斷言將所有的調用和結果都“卷起來”成為單筆發送上鏈的交易。

不同的Rollup系統有所區別的地方在于確保assertion正確性的方式。這里有三種基本方法:非交互型rollup、一輪交互型rollup和多輪交互型rollup。

中國工程院發布“榮澤區塊鏈政務協同平臺”應用案例:8月10日,中國工程院《中國區塊鏈發展戰略研究》項目發布“發現100個中國區塊鏈創新應用”欄目之“榮澤區塊鏈政務協同平臺”應用案例。

榮澤區塊鏈政務協同平臺是基于國家六項標準要求、創新利用區塊鏈技術研發的一款高安全、高性能、易集成的政務服務產品。(證券日報)[2021/8/11 1:48:15]

非交互型Rollup

非交互型rollup依賴于簡潔的有效性證明。每個assertion都會附有一個易于驗證的證明,以此表明assertion里的計算和結果都是正確的。例如,ZK-Rollup系統使用的是ZK-SNARKs,即,一種易于驗證的零知識證明系統。這對于礦工和其他觀察者來說很友好,因為驗證證明的成本較低,可以立即核實assertion的正確性。但是,零知識證明系統也有一個很大的缺點:除非要斷言的交易非常簡單,否則創建證明的成本會高得離譜。因此,ZK-Rollup非常適用于支付交易,但是對于復雜一點的智能合約執行來說,效果就沒那么好了。

用于智能合約的Rollup

以色列區塊鏈公司Kirobo為以太坊交易提供“撤銷”功能:以色列區塊鏈安全公司Kirobo此前推出的“可檢索轉賬”服務現在可用于以太坊網絡上。對于MetaMask的用戶和任何使用WalletConnect協議的錢包,可檢索的轉賬允許用戶通過生成由發送方輸入的密碼來回收發送到錯誤地址的資金。資金接收方還必須輸入匹配的密碼,否則發送方就會收回資金,從而撤銷交易。此外,該服務還旨在防止向不支持存款的智能合約發送資金,以及防止中間人攻擊。(Coindesk)[2020/11/12 14:08:46]

對于復雜的智能合約來說,我們必須采用一種交互式方法。也就是說,如果要將assertion發布到鏈上,asserter必須繳納保證金,并且會開放一個時間窗口,如果驗證者認為該assertion不正確,可以在窗口期內挑戰它。有時這被稱為“錯誤性證明”。如果asserter發布了錯誤的assertion,就會失去自己的保證金。

一輪交互型rollup又稱為“optimisticrollup”,不過這么說有點用詞不當,因為所有交互型rollup都是樂觀主義的設計。在一輪交互型rollup中,assertion包含每次調用的結果,挑戰者會指出assertion中對哪個調用給出的結果是錯的。鏈上合約會模擬執行被挑戰的調用,并驗證asserter關于這個調用的聲明是否有誤。如果真的有誤,則取消整個assertion,并罰沒asserter的保證金。如果一個assertion到挑戰期結束為止還沒有被挑戰成功的話,就會被接受并得到最終確定。

動態 | 區塊鏈初創公司Saga宣布推出代幣:倫敦區塊鏈初創公司Saga今天宣布推出Saga代幣(SGA)。據悉,該公司此前曾獲得3000萬美元的種子輪融資,摩根大通國際主席Jacob Frenkel和諾貝爾經濟學獎獲得者Myron Scholes為其顧問委員會成員。(BusinessWire)[2019/12/10]

在多輪交互型rollup中,也設有挑戰窗口期,挑戰者可以在此期間繳納保證金,并聲明該assertion是錯誤的。接下來就會觸發asserter和挑戰者之間的往復交互型協議,并由一個鏈上合約來充當該協議的仲裁方。最后由仲裁方來決定哪一方有誤,并罰沒其保證金。這種設計是為了將解決爭議所需的鏈上工作量降至最低,即,在鏈上仲裁方據實評估合約行為之前,先通過交互型協議盡可能縮小雙方之間的爭議范圍。

一輪交互型Rollupvs.多輪交互型Rollup

歸根結底,一輪交互型Rollup和多輪交互型Rollup之間的選擇就是在解決爭端所需的鏈上成本和時間之間作出權衡。一輪交互型Rollup需要在鏈上模擬一次完整的調用,成本可能會非常高——因此,合約所執行的調用會受到以太坊的全局gaslimit的限制。多輪交互型Rollup則不受此限制,它會進一步縮小爭議范圍,直到可以以較低成本在鏈上解決該爭議為止。通常情況下,多輪交互型Rollup還可以在鏈上編寫較少的數據。

聲音 | 工信部李鳴:區塊鏈技術的標準化可以采用自下而上的方式:據全景網報道,在第三屆區塊鏈開發大會上,工信部電子技術標準化研究院區塊鏈研究室主任李鳴指出,對于區塊鏈這種創新技術的標準化,可以采用自下而上的方式,即團體標準推出后再去驗證,我們希望打造標準體系來規范區塊鏈產業的發展,同時逐漸為國標、國際標準推出做導入。[2018/12/20]

寫到鏈上的內容

一輪交互型Rollup和多輪交互型Rollup都需要編寫所有對合約的調用及其數據到鏈上,這些就是調用數據。但是,二者之間的區別在于,需要放到鏈上作為assertion的數據不同。通常來說,assertion包含對多個對合約的調用。一輪交互型Rollup需要把每一步哈希值添加到assertion內。如此才能使得每一次調用都可以被單獨挑戰。相比之下,多輪交互型Rollup只需要在assertion的最后添加整個合約狀態的哈希值即可。這樣一來,多輪交互型Rollup的鏈上數據成本會略低一些。

一輪交互型Rollup中的挑戰期和最終確定性

在任意類型的交互型Rollup中,系統都必須具備抵御審查攻擊的能力。令人擔憂的是,攻擊者可能會提交一個錯誤的聲明,然后發起審查攻擊來阻止所有針對這個聲明的挑戰被公布到鏈上,直到挑戰期結束,錯誤的聲明被接受為止。對此的解決方案是,確保挑戰期比審查攻擊的持續時間更長。

動態 | 重慶數資區塊鏈研究院推出‘臻品鏈’D-BaaS平臺:據新華網報道,在2018重慶數資區塊鏈政企峰會上,重慶數資區塊鏈研究院發布自主研發的區塊鏈技術體系‘臻品鏈’D-BaaS平臺,該平臺是一個面向商品溯源領域的區塊鏈行業化通用技術平臺。[2018/10/19]

鑒于上文對審查攻擊的設想,挑戰期可能需要很長一段時間。例如,有些系統將挑戰期設為一周時間。也就是說,交易被提交之后,需要等待整整一周時間才能得到Rollup協議的確定——直到那時,通過交易完成的付款才算已經發生在鏈上。

這會造成很大的問題嗎?可能比你想象的要少。要想了解原因的話,我們先假設一個有效的assertion已經被發布到了鏈上,并且正在等待確認。你或是其他任何人都可以核實這個assertion的正確性。而且你知道Rollup協議最后會對有效的assertion進行確認。因此,即使Rollup協議還沒有確認某個assertion,但是每個關注它的人都知道這個assertion將會被確認,可以把它當作“已確認過”。他們都知道被確認是遲早的事,因此可以繼續推進下去。

舉例來說,如果你將會通過這類交易收到一筆付款,且每個人都能夠確定這筆付款肯定會發生,因此可以簽署這筆付款并將其轉讓給其他人,被轉讓人也能確定自己將來肯定會收到這筆付款。這幾乎就跟現金一樣,唯一的差別是,因為是延遲確認,其價值會等于面值減去一小筆利息。

關鍵在于,即使在被確認之前,一個有效的交易也可以獲得“免信任確定性”。也就是說,任何人都能夠確定這個交易會得到確認。

多輪交互型Rollup中的挑戰期和最終確定性

在多輪交互型Rollup中也是如此:該協議在設計上可以讓有效的assertion具備免信任確定性,因此任何人都可以確定這個assertion一定會得到確認。區別在于,為了確保交易得到確認,你必須準備好參與到該協議中來保護assertion——只要你愿意這樣做,你一個人就可以讓有效的assertion得到最終確認。

(這里還需要糾正一個誤區,即,只要有爭議存在,多輪交互型Rollup協議就必須“暫停整個網路”,也就是說,如果有惡意參與方愿意損失押金,就可以一直阻止網絡進程。在最新版本的協議中并非如此。各方可以繼續發布新的assertion,無論爭議是否繼續,新的assertion可以獲得免信任確定性。只是協議的正式確認被拖慢了而已——這需要攻擊者付出巨大代價。)

在多輪交互型Rollup協議中,確認一個assertion需要多久?在通常情況下,如果一個有效的assertion發布之后沒人挑戰的話,在確認之前就只會經歷一個挑戰期,就像一輪交互型Rollup那樣。

如果出現了特殊情況,即assertion有效但依然遭到了挑戰,最終確認會在多輪爭議協議的影響下被推遲。挑戰者注定會輸,并失去保證金,但是會將最終確認的時間推后。這不會影響assertion的免信任確定性,因為所有人一開始就可以判斷出該assertion是有效的,還可以在必要之時強制確認有效的assertion。整個網絡會繼續像往常那樣安全運行下去,所有人都知道這種惡意挑戰最終會輸。

哪種Rollup更適合你?

那么,你應該采用那種Rollup系統呢?如果僅僅用于支付,或是很簡單的智能合約,像ZK-Rollup這樣的非交互型系統比較合適。

如果你想運行比較復雜的智能合約,就需要從一輪交互型和多輪交互型Rollup系統中進行選擇。在通常情況下,這兩種系統都需要等待較長一段時間才能對assertion進行最終確認,而且會為有效的assertion提供即時的免信任確定性。一輪Rollup系統的優點是可以抵御“推遲確認”攻擊,作惡者無法通過放棄保證金的方式推遲assertion的最終確認。多輪Rollup系統的優點是通常情況下占用的鏈上空間較小,并且可以處理計算量和存儲量較大的合約,不受以太坊gaslimit的限制。

我們OffchainLabs團隊認為大多數人都會喜歡鏈上成本較低且適用性較廣的多輪Rollup系統,如ArbitrumRollup,而且多輪Rollup系統的劣勢也可以通過增加挑戰所需的保證金來補足,以此抵御推遲確認攻擊。

我們還認為,多輪Rollup系統很容易正確實施。這就是為什么我們希望接下來的幾個月在測試網上提供ArbitrumRollup的功能版本。

Tags:ROLLROLASSERTroll幣能出泰沙拉克嗎ROLSASSGVertLite

歐易okex官網
業界大咖熱議“區塊鏈+實體經濟”,一致看好區塊鏈產業的未來_代幣化

11月23日下午,“2019網易未來大會區塊鏈+實體經濟專場論壇”在杭州國際博覽中心召開。中外專家學者、企業領袖、知名投資人匯聚一堂,梳理了區塊鏈的發展脈絡,暢談了區塊鏈的過去未來,揭開了區塊鏈.

1900/1/1 0:00:00
螞蟻S9達到關機價,以前一天賺90元,現在賺6元_POOL

來源:嗶嗶news 11月25日,F2pool魚池官方發布微博稱“基于比特幣當前挖礦難度,以0.38元/度的電價計算,包括螞蟻S9在內的6款比特幣礦機已經達到關機價格”.

1900/1/1 0:00:00
BTC底部洗籌,耐心是最好的投資_BTC

作者|哈希派分析團隊 BTC突破18700美元關口 日內漲幅為0.25%:火幣全球站數據顯示,BTC短線上漲,突破18700美元關口,現報18702.62美元,日內漲幅達到0.25%.

1900/1/1 0:00:00
新華網:“炒幣”“挖礦”再度火爆,警惕披著區塊鏈“馬甲”的金融詐騙_區塊鏈

記者:王淑娟、高少華、李麗靜 來源:新華社 “區塊鏈應用場景落地,XX幣躺著也能賺大錢”“礦機一響,黃金萬兩”……早在2017年,國內虛擬貨幣交易和相關交易所就被監管叫停.

1900/1/1 0:00:00
英國皇家工程院院士比爾·羅斯科:區塊鏈技術要與監管融為一體_加密貨幣

來源:新浪財經 編者注:原標題為《牛津大學比爾·羅斯科:區塊鏈技術要與監管融為一體》新浪財經訊12月5日,由海南省工業和信息化廳主辦.

1900/1/1 0:00:00
觀點 | 到點就發車:以太坊 EIP 及升級流程改進提議_數字貨幣

這篇文章是DannoFerrin和我在DevconV上的談話的粗略記錄。文章中討論了社區在過去一年中提出的一些EIP流程改進建議,并且將其納入到一個統一的框架中用來指導我們如何讓以太坊更順利地升.

1900/1/1 0:00:00
ads