SSE:區塊鏈擴容方案Rollup的各類型異同簡介_NOBLESSE I COIN

作者:EdFelten

翻譯&校對:閔敏&阿劍

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

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

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

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

神魚：Cobo始終致力于提供區塊鏈的基礎設施:Cobo聯合創始人兼CEO神魚10月26日在Cobo三周年答謝宴上表示，區塊鏈底層技術具有去中心化特征，解決了信任問題，但缺點是效率不高，上層的中心化應用解決了效率問題，但信任不夠，而Cobo提供的是中間層的基礎設施，將始終致力于加速區塊鏈的普及，讓更多人享受區塊鏈技術帶來的紅利。

Cobo是一站式數字資產存儲和管理平臺，致力于為用戶提供安全、可靠的存儲與支付環境，公司旗下業務模塊包括支持行業領先的數字資產錢包——Cobo錢包，面向機構的錢包開發及數字資產托管解決方案——Cobo托管，全開源真脫網硬件數字錢包——Cobo金庫。[2020/10/26]

非交互型Rollup

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

聲音 | 央行數研所區塊鏈課題組：要引導區塊鏈產業健康有序發展:中國人民銀行數字貨幣研究所區塊鏈課題組課題組（成員：穆長春、狄剛、呂遠、錢友才、卿蘇德）發文《央行數字貨幣研究所談區塊鏈技術的發展與管理》。文章稱，區塊鏈以大量冗余數據的同步存儲和共同計算為代價，犧牲了系統處理效能和客戶的部分隱私，尚不適合傳統零售支付等高并發場景；但是，在對信息可信共享要求較高、對并發量要求較低的領域，例如交易結算、貿易金融、產權轉讓等，區塊鏈已經有廣泛應用。要引導區塊鏈產業健康有序發展。一是要去偽存真，“幣”和“鏈”不能混為一談；二是要務實推進，不能為了區塊鏈而搞形象工程；三是要立足長遠，認識到區塊鏈技術應用的系統性、長期性和復雜性特征；四是要標準先行，引導區塊鏈產業規范有序發展。（中國金融）[2020/2/21]

用于智能合約的Rollup

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

聲音 | 數字資產研究院理事長：區塊鏈將改變市場和社會的面貌:12月22日，區塊鏈與數字資產年會2019暨中國投資協會數字資產研究中心成立大會在北京召開。數字資產研究院理事長黃江南在會上表示，人類已經經歷了一次生產力和社會大變革，從工業社會進入了觀念社會。這個社會的規律以及支配這個社會的很多方面還留在舊時代（工業時代），這些都要經過革命，而革命根本上需要靠科學和技術，數字經濟、區塊鏈是這種革命的一種原動力，區塊鏈將改變整個市場和社會的面貌。[2019/12/23]

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

聲音 | 微博大V：微博開放區塊鏈廣告業務，需提供區塊鏈備案證明、不得宣傳投資和交易:據微博博主超級比特幣提供的信息顯示，微博已開始放開區塊鏈信息服務業務審核，區塊鏈公司或員工如果要在微博推廣區塊鏈服務，需要提供網信辦區塊鏈服務備案，同時不得提及區塊鏈投資和虛擬貨幣交易等違法內容。2018年2月份，新浪微博全面禁止比特幣和虛擬貨幣推廣內容，用戶可以搜索到與比特幣、虛擬貨幣和ICO相關的內容，但是看不到相關的廣告或者贊助文章。在此之前，Facebook、Twitter 等機構也紛紛暫停了加密貨幣相關內容的付費推廣業務。[2019/11/8]

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

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

金色財經現場報道 中關村區塊鏈產業聯盟理事長元道：新一代公鏈可以考慮在比特幣的基礎上強化通證發行:金色財經現場報道，在2018區塊鏈技術及應用峰會上，中關村區塊鏈產業聯盟理事長元道談到通證經濟時表示，比特幣只提供本幣不支持通證，以太坊用圖靈完備以ERC來支持通證但有巨大的安全隱患，新一代公鏈可以考慮在比特幣的基礎上強化通證發行、分配、交易、管理的功能，使其與圖靈完備的虛擬機剝離，增加安全性、可靠度和易用性。實現“人人發證”、即插即用（Plug & Play）。[2018/3/30]

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

寫到鏈上的內容

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

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

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

鑒于上文對審查攻擊的設想，挑戰期可能需要很長一段時間。例如，有些系統將挑戰期設為一周時間。也就是說，交易被提交之后，需要等待整整一周時間才能得到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：ROLROLLASSSSEroll幣怎么用BankRollViva ClassicNOBLESSE I COIN

BNB