深入理解區塊鏈二層擴展方案Rollup_KRO:akro幣漏洞

編者注：原標題為《深入理解區塊鏈二層擴展方案Rollup》

本文作者朱光宇，區塊鏈愛好者，前阿里巴巴JVM專家。現就職于Westar實驗室，從事智能合約編程語言及其執行引擎的研發。

背景

最近，以太坊創始人VitalikButerin在一篇題為“混合式二層協議的曙光”的文章里對Rollup方案大加贊賞，認為它為智能合約的可擴展性打開了大門。那么什么是Rollup？它包括哪些主流方案？這些方案各自有什么優缺點？它們未來發展前景怎么樣？為了找到這些問題的答案，筆者對相關項目做了一番調研，將收集到的信息整理成下面這篇文章。

Rollup的出現

最近兩年，以太坊二層擴容技術得到突飛猛進的發展。所謂二層技術，就是將一部分資金存儲在主鏈上的智能合約內作為，在保證足夠的安全性和不可篡改的前提下，把一部分交易放到主鏈之外進行，就好像鏈下多出來第二層網絡。二層方案里表現較突出的要數狀態通道和Plasma側鏈，但是這兩種方案距離被廣泛接受還有一段距離，其背后的原因歸根結底是數據的可用性問題。什么是數據可用性呢？假設你去賭場玩撲克，需要先到柜臺把現金兌換成籌碼，這可以理解成在鏈上創建狀態通道并存入押金。然后你開始玩撲克，這就是所謂的鏈下交易。在贏得一手大牌之后，你想要兌現籌碼走人，突然有人給你腦后來了一悶棍，醒來后桌上的籌碼不翼而飛。你記不起來牌局的細節，所以無法追回已經贏得的籌碼。這就是所謂的“數據不可用”。無論是狀態通道還是Plasma側鏈，完整的交易記錄和見證數據都只保存在鏈下，出現爭端時如果參與者沒有及時提供正確的交易和見證數據，交易的安全性就無法保證。就好像是玩撲克的人被打了一悶棍忘記了牌局細節，很難追回屬于自己的籌碼。即便是數據沒有丟失，面對不合作的對手，也要走非常復雜的仲裁流程。

彭博社：美CFTC和SEC正在深入調查三箭資本:金色財經報道，兩位知情人士透露，美國商品期貨交易委員會（CFTC）和證券交易委員會（SEC）目前正在深入調查三箭資本（Three Arrows Capital），以確定該公司是否違反了規則，在資產負債表方面誤導投資者，并且沒有在兩家監管機構注冊。兩家機構均拒絕置評，但其審查可能導致對公司和個人處以罰款和其他處罰。

此前報道，總部位于新加坡的三箭公司于7月申請破產，稱其業務“在加密貨幣市場劇烈波動后崩潰”，三箭聯合創始人Su Zhu和Kyle Davies目前仍下落不明，導致該破產案的清算人及其律師無法追蹤，清算人向法院申請通過二人的電子郵件地址、Twitter帳戶及其律師的電子郵件地址送達傳票。（彭博社）[2022/10/18 17:29:38]

就在二層擴容技術舉步維艱的時候，一位開發者提出了一種名叫Rollup的新方案。與Plasma不同的是，它可以“打包”交易，將“打包”后的交易數據連同一個SNARK零知識證明發布在鏈上。打包的正確性可以通過SNARK證明，從而確保運營商不可能發布惡意或無效的交易。這就是后來被VitalikButerin稱之為ZKRollup的二層擴容方案。ZKRollup并非萬能，它遇到的最大問題是通用性。除非要證明的交易非常簡單，否則創建SNARK證明的成本會非常高。因此，一個名叫OptimisticRollup的折衷方案被提了出來。OptimisticRollup也是把交易數據都放到鏈上，但不是用SNARK做驗證，而是采用加密經濟學有效性博弈來實現有效性驗證。我們將在下面的章節詳細介紹這兩種Rollup方案的原理。

報告：區塊鏈等技術深入應用為在線娛樂帶來發展機遇:7月30日，中國音像與數字出版協會游戲出版工作委員會和中國游戲產業研究院聯合發布《2020年1-6月中國游戲產業報告》，報告稱，5G、云計算、虛擬化技術、編碼技術、人工智能、區塊鏈、數據中心等一系列互聯網新技術的深入應用，將為在線娛樂和云端經濟帶來新的發展機遇。這些新技術將加快云游戲及 AR、VR等多終端游戲的發展和升級迭代，能有效提升用戶體驗。（界面）[2020/7/30]

工作原理

Rollup的核心思想是將“打包”后的交易數據區塊發布在鏈上，從而大大降低交易有效性驗證的難度。交易數據的上鏈和驗證是基于智能合約完成的。運營者收集到不同參與者提交的鏈下交易后，在鏈上執行Rollup智能合約提供的腳本，將打包后的交易數據區塊作為參數提交給合約，合約驗證數據有效后為每個參與者記賬。這相當于一次性執行了一批鏈下交易，但是在鏈上只執行了一個交易。

下圖是ZKRollup提交上鏈的打包數據。它包含一組壓縮后的交易數據、執行這批交易之前的記錄用戶狀態的merkle樹樹根，以及執行交易之后的新merkle樹樹根。除此之外還包含一個SNARK零知識證明，合約用它來驗證在Prev狀態上施加這批交易后結果就是New狀態。如果對零知識證明的工作原理感興趣，可以參考文章。

火幣區塊鏈研究院李慧：未來銀行會更加深入布局區塊鏈技術:4月7日消息，火幣區塊鏈研究院副院長李慧表示，未來銀行業對區塊鏈技術布局會否更加深入的答案是肯定的。她認為，“通過區塊鏈技術的嵌入，銀行實現原有業務基礎上的降本提效，并且吸納更多客戶，達到雙贏局面。上面所提到的區塊鏈在銀行各業務的布局以B2B業務居多，隨著區塊鏈技術的普及與發展，銀行會逐漸將區塊鏈布局到更多的toC業務領域，如信用卡積分管理等。”（證券日報）[2020/4/7]

生成SNARK的成本非常高，所以OptimisticRollup采用了不同的方法——“欺詐證明”來驗證交易有效性。這里的“欺詐證明”并非類似SNARK那樣的見證數據，它實際上指的是加密經濟學有效性博弈。也就是說，運營者發布新的狀態樹樹根時無需每次都接受Rollup智能合約的驗證，每個人都假設狀態轉換是正確的。如果有人發布了非法的狀態轉換，其它運營者或者參與者都可以挑戰非法交易并回滾不正確的區塊。為了實現“欺詐證明”，光有ZKRollup那樣的交易數據是不夠的，Tx數據需要包涵交易提交者的簽名，合約通過校驗簽名判斷交易是否合法。

安全性

Rollup的安全性來自于數據可用性和交易有效性。有了數據可用性和交易有效性，就能保證Rollup操作者永遠不能破壞狀態或竊取資金，即使操作者不配合，參與者也能方便的追回Rollup網絡上的資產。Rollup將交易數據發布到鏈上，就像“錨”一樣將Rollup網絡錨定到了以太坊主鏈上。就好比是賭場里裝上了攝像頭，即便是玩撲克的人被打了一悶棍，還是能通過視頻記錄證明自己確實贏了錢。

聲音 | 全國政協副主席：許多專家認為區塊鏈能為AI奠定數據和信任基礎，值得深入探討:據澎湃新聞報道，5月16日，在天津舉行的第三屆世界智能大會上，全國政協副主席、中國科協主席萬鋼表示，技術的發展角度來看，有許多專家認為區塊鏈技術將是人工智能安全問題有效解決方案，能夠將大數據改造成為可信、可靠、可用和高效的真數據。為人工智能奠定數據和信任的基礎，這一點值得我們深入探討。[2019/5/16]

對于交易有效性驗證，ZKRollup和OptimisticRollup采取了不同的方法。ZKRollup采用零知識證明來保證交易有效。它的安全性建立在密碼學基礎之上，智能合約僅在交易數據被證明為正確之后才會接受狀態轉換。每次狀態轉換都有一個零知識證明，這保證了鏈上總是對應著一個正確的二層狀態。OptimisticRollup采用基于加密經濟學有效性博弈的錯誤證明，它無需為每一次狀態轉換都提供證明，只在有人認為狀態轉換有誤的時候提供。所以它要求交易方必須在線，因為沉默將被視為同意。所以相比較ZKRollup，OptimisticRollup的安全性有所降低，它需要采取額外的措施來防止DDoS攻擊造成的默許。

可擴展性

SYNC 2018區塊鏈系列活動會議于新加坡召開 MDT與諸多領域大咖進行深入探討:3月9日，由科技媒體Pingwest舉辦的SYNC 2018區塊鏈系列活動會議于新加坡召開。MDT量數代表黃何，火幣全球運營總監Herbert，ODYSSEY/OBike項目負責人Sophie，新加坡星展銀行DBS私人銀行副總監于珊珊一同前來參會。在會議現場MDT量數與銀行、虛擬貨幣交易所，通過不同立場探討了虛擬貨幣作為貨幣形態在科技領域的展望。[2018/3/12]

Rollup通過一次鏈上交易可以執行一大批打包后的鏈下交易，主鏈不需要通過執行每筆交易來驗證其有效性，而且交易數據是作為函數參數發布的，驗證完有效性后就會被丟棄，這樣就不會占據以太坊的存儲空間。因此Rollup可以大幅度提升以太坊的可擴展性。

但是這種提升并非沒有限制，雖然只有一次鏈上交易，但是它會受到交易數據本身gas成本的制約。以太坊數據的gas成本在伊斯坦布爾升級前是每字節68單位，而以太坊上每個地址就會占用20字節，所以用以太坊交易數據結構來表示鏈下交易gas費用會非常高，因此Rollup對交易數據進行了壓縮。

ZKRollup在智能合約里用merkle樹來記錄地址，這樣地址就可以表示成樹的索引值，地址數據的大小就從原本的20bytes減少到只有3bytes到4bytes。每筆交易就被壓縮成10幾個字節，再加上一個約100-300字節的SNARK，理論上可以將以太坊吞吐量從32TPS提升到約680TPS，伊斯坦布爾升級后可達到2000TPS。下圖是壓縮后ZKRollup每筆交易數據的格式：

OptimisticRollup的吞吐量理論上只有100TPS，主要原因是上文提到過的，為了支持欺詐證明OptimisticRollup的每筆交易數據需要包涵交易提交者的簽名。每條簽名的大小是64bytes，這大大增加了提交上鏈的交易數據的字節數，從而很快達到gas上限。為了減少交易數據的字節數，一種BLS聚合簽名機制被提了出來。如下圖所示，BLS聚合簽名機制是在操作員收集到所有交易后，將打包后的交易發送給每個交易提交者簽名，因為每個簽名都是針對相同的數據，所以可以被操作員聚合成一個BSL簽名。發送給鏈上合約的將是壓縮后的交易數據加上聚合后的BLS簽名，從而大幅減少了交易數據所消耗的gas。BLS簽名可以將OptimisticRollup的吞吐量從100TPS提升到450TPS，伊斯坦布爾升級后也可以達到2000TPS。

延遲

OptimisticRollup基于加密經濟學有效性博弈，只有過了1～2周的挑戰期才能確認交易生效。ZKRollup的延遲相對較小，如果一個打包區塊中有1000筆交易，在普通的服務器上大概需要20分鐘可以構造出一個證明。開發者們已經提出很多減少延遲的方法，比如采用GPU加速可以將零知識證明構造時間壓縮到1分鐘。還有一種叫做“即時交易收據”的方法兩種Rollup方案都適用。它主要借助經濟學博弈來完成，就是負責打包的操作員需抵押一部分安全保證金，如果某個交易沒有被打包到區塊中，這筆錢就會被沒收。理論上“即時交易收據”可以將交易確認時間壓縮到1秒以內，但是實現相對復雜，安全性有所降低。

通用性

通用性方面，OptimisticRollup明顯好于ZKRollup，當然它的設計目標就是支持任意智能合約。而ZKRollup目前僅適用于支付之類的特定交易，對于通用智能合約，由于創建零知識證明的成本非常高，部署起來困難較大。為了提高效率，開發者正在開發專門的零知識證明虛擬機，比如ZEXE。它在一定程度上可以縮短創建證明的時間，但是缺點是合約開發者需要大量的專業知識。MatterLabs團隊基于ZKRollup開發的新一代區塊鏈擴展方案ZKSync，設計開發了一款以委托的方式生成零知識證明的沙盒式虛擬機，開發者不需要深入了解零知識證明領域的技術細節就可以編寫出高效且安全的智能合約。

總結與展望

本文簡要介紹了區塊鏈擴容方案Rollup的工作原理，對比分析了兩種Rollup方案ZKRollup和OptimisticRollup在可擴展性、延遲、通用性、安全性上的優劣。

根據以上的對比分析，短期看來OptimisticRollup由于較好的通用性會受到開發者的青睞；但從長期來看，隨著零知識證明虛擬機的演進，ZKRollup會在通用性上不斷提高。它能否主宰智能合約可擴展性的未來呢？這個問題只能留給時間來回答了。

參考文章

1、《混合式二層協議的曙光》2、《零知識證明–zkSNARK入門》3、《有效性證明和錯誤證明》4、《ZKSync介紹》

Tags：ROLLROL區塊鏈KROroll幣能出坐騎嗎ROLC區塊鏈域名成交akro幣漏洞

BNB