以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

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

Author:

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

作者:EdFelten

翻譯&校對:閔敏&阿劍

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

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

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

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

兩項區塊鏈領域國家標準獲批立項:近日,國標委發202014號文件下達新的標準制修訂計劃,由中國電子技術標準化研究院組織,眾安科技和安妮股份分別牽頭的《信息技術區塊鏈和分布式記賬技術智能合約實施規范》、《信息技術區塊鏈和分布式記賬技術存證應用指南》兩項國家標準獲批立項。(中國區塊鏈技術和產業發展論壇)[2020/4/3]

非交互型Rollup

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

用于智能合約的Rollup

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

動態 | 民生電商子公司發布“民農云倉”,應用區塊鏈等技術實現糧食資產數字化:金色財經報道,近日,民生電商旗下的民熙科技發布“民農云倉”,通過應用物聯網與區塊鏈技術,實現糧食行業的智能金融監管與資產數字化,將產業供應鏈上下游企業的糧食資產與銀行等金融機構的資金對接,構建了糧食供應鏈融資的科技通道。[2019/12/20]

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

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

公告 | 吉艾科技:子公司擬參與設立金融科技公司,研發區塊鏈等在AMC不良資產管理中的應用:吉艾科技(300309)9月10日晚間公告,全資子公司新疆吉創擬與中名控股合作成立金融科技公司,結合中名控股旗下資產交易平臺“上資所”相關技術與平臺,共同研發云計算、人工智能、區塊鏈等技術在AMC不良資產管理各個環節與場景中的應用。目標公司注冊資本5000萬元,新疆吉創股權比例為51%。[2019/9/11]

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

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

寫到鏈上的內容

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

動態 | 福布斯準備將來把所有內容全部轉移到區塊鏈上:據AXIOS消息,福布斯正與基于以太坊的新聞平臺Civil合作,準備將區塊鏈應用至其業務中。對此,福布斯產品與技術部高級副總裁Salah Zalatimo表示,“我們有機會參與到(區塊鏈)這一生態系統中去,且能通過我們獨特的商業模式塑造這一生態系統。”目前,福布斯將Civil的軟件應用于其內容管理系統“Bertie0”當中,且嘗試把樣本內容發布到Civil網絡,而雙方的愿景是將來把福布斯發布的所有內容全部轉移到區塊鏈上。[2018/10/9]

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

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

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

動態 | 幣安出資區塊鏈慈善基金會 與聯合國開發計劃署建立伙伴關系:趙長鵬在其個人社交媒體表示,由幣安出資的區塊鏈慈善基金會(BCF)和聯合國開發計劃署(UNDP)今天宣布建立伙伴關系,以支持區塊鏈技術應用于社會福利。據悉,BCF將向開發署捐款100萬美元。[2018/9/25]

這會造成很大的問題嗎?可能比你想象的要少。要想了解原因的話,我們先假設一個有效的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:ROLLROLERTSSETROLLBNBroll幣可以roll坐騎嗎liberty幣1978TSSEA價格

歐易交易所app官網下載
歐洲央行行長拉加德:正在評估央行數字貨幣對歐洲人民和經濟的影響_穩定幣:ANN

比推消息,新上任的歐洲中央銀行行長克里斯汀·拉加德表示其正在評估央行數字貨幣對歐洲人民和經濟的影響.

1900/1/1 0:00:00
賽迪區塊鏈研究院院長:區塊鏈即將在電子政務領域爆發,普通人最終會習慣區塊鏈的存在_區塊鏈:聯盟鏈

作者:?榴蓮哥 來源:?火訊財經資訊 編者注:原標題為《賽迪區塊鏈研究院院長劉權:區塊鏈應用即將在電子政務領域爆發》導語:10月25日,習近平總書記在中央局第十八次集體學習時.

1900/1/1 0:00:00
數據能否作為DeFi中的抵押品?_DEF:DEFI

作者:TrentMcConaghy 編譯:共享財經Neo 摘要 本文的問題是:數據可以作為金融資產使用嗎?并將代幣經濟與新興的數據經濟聯系起來.

1900/1/1 0:00:00
硅谷王川最新思考:閃電網絡可能用一個錢包改變現有金融體系_NET:ETF

本文來源:硅谷王川,原題《王川:下個十年,來自軟件定義世界的挑戰》 作者:王川 1、世界是個巨大的網絡,在一個已經有少數壟斷者的相對穩定狀態的網絡上,按照現有規則爭奪稀缺資源.

1900/1/1 0:00:00
推特將清理非活躍賬戶,哈爾·芬尼是個例外_INN:加密貨幣是錢嗎還是貨幣

推特準備對非活躍賬戶進行大規模清理。加密貨幣社區呼吁該公司保留傳奇程序員和早期比特幣采用者哈爾·芬尼的賬戶。2014年,Finney因漸凍癥去世,他最后一條推特停留在2010年9月15日.

1900/1/1 0:00:00
BTC獎勵減半將如何影響礦工及幣價?_BTC:比特幣

來源:小蔥 編者注:原標題為《1年額外增加超1億美金的BTC供應》今年大部分時間,比特幣網絡的運行速度都超過了預期,這進一步導致比特幣發行量大幅增加.

1900/1/1 0:00:00
ads