最近,以太坊創始人Vitalik Buterin在一篇題為“混合式二層協議的曙光” 的文章里對Rollup方案大加贊賞,認為它為智能合約的可擴展性打開了大門。
那么什么是Rollup?它包括哪些主流方案?這些方案各自有什么優缺點?它們未來發展的前景如何?
Rollup的出現
最近幾年,以太坊二層(Layer-2)擴容技術得到了迅猛發展。
所謂二層,就是將一部分資金存儲在主鏈智能合約里,在保證足夠安全的前提下,把一部分交易放到主鏈之外進行,就好像鏈下多出來了一層網絡。
在二層方案里表現比較突出的就是狀態通道和 Plasma側鏈。雖然這兩種方案誕生時間很早,但是發展的卻比較緩慢。其背后的原因歸根結底是數據的可用性問題。
就在二層擴容技術舉步維艱的時候,一種名叫 Rollup的新方案被提了出來。
但是與狀態通道和Plasma不同的是,它可以“打包”交易,并將“打包”后的交易數據連同一個SNARK零知識證明發布到鏈上。
打包的正確性可以通過零知識證明來見證,負責“打包”的操作者不可能發布惡意或無效的交易。這就是后來被Vitalik Buterin稱之為ZK Rollup 的二層擴容方案。
MarketVector和Figment推出業界首個以太坊質押獎勵指數:金色財經報道,MarketVector Indexes 正在與質押基礎設施公司 Figment 合作,推出業界首個以太坊質押獎勵指數,MarketVector 數字資產產品策略師 Martin Leinweber 在一份聲明中表示,資產管理者和顧問能夠以可定制的方式獲得質押獎勵,這在業界尚屬首例。
該合作伙伴計劃推出兩款產品——MarketVector Figment 以太坊質押獎勵參考率和 MarketVector Figment 以太坊總回報指數。這些指數將為向投資者提供數字資產投資機會的機構帶來新的機會,并允許資產管理公司提供以新指數為基準的質押獎勵產品。[2023/7/28 16:03:05]
ZK Rollup并非萬能,它遇到的最大問題就是通用性。除非要證明的交易非常簡單,否則創建SNARK證明的成本會非常高。
因此,一種名叫Optimistic Rollup的折中方案被提了出來。
Optimistic Rollup同樣也是把交易數據都放到鏈上,但不是用SNARK做見證,而是采用“加密經濟學有效性博弈”來實現有效性驗證。
美聯儲利率掉期完全定價美聯儲將在年底前降息25個基點:金色財經報道,美聯儲利率掉期完全定價美聯儲將在年底前降息25個基點。[2023/3/10 12:54:51]
作為一種提高區塊鏈吞吐量的技術,Rollup可以在有效提高網絡吞吐量的同時,避免對協議層進行大量的更改,部署Rollup也不需要對網絡發起硬分叉升級。
目前已經有許多以太坊上的項目(如Celer,ANON等)采用了Rollup協議來提高Dapp的吞吐量和用戶體驗。
Rollup是如何工作的?
鏈上有一個智能合約,它維護狀態根:rollup狀態的Merkle根(意思是,“余額”內的帳戶余額,合同代碼等)。
任何人都能夠以高度壓縮的形式發布批處理,交易集合以及先前的狀態根和新的狀態根(處理交易后的Merkle根)。
合同檢查批處理中的先前狀態根是否與其當前狀態根相匹配;如果是這樣,它將狀態根切換到新的狀態根。
Magic Square完成新一輪融資,Huobi Ventures參投:9月27日消息,多鏈加密應用商店MagicSquare宣布獲得Huobi Ventures新一輪戰略投資,具體金額暫未披露。Magic Square將利用這筆資金繼續開發其平臺、加速技術采用并擴大用戶群。
此前報道,MagicSquare于今年七月完成300萬美元種子輪融資,Binance Labs領投,九月宣布引入新戰略投資者Gate Labs。[2022/9/27 22:34:05]
為了支持存款和提款,我們增加了使輸入或輸出處于rollup狀態“之外”的交易的功能。
如果批次具有來自外部的輸入,則提交該批次的事務也需要將這些資產轉移到rollup合同中。
如果某個批次有外部輸出,則在處理該批次時,智能合約會啟動這些提款。
就是這樣!除了一個主要細節:如何知道批次中的狀態后根是正確的?
如果某人可以提交具有任何后期狀態根源的批次而沒有任何后果,那么他們可以將rollup中的所有Token轉移給自己。
這個問題很關鍵,因為有兩個非常不同的解決方案系列,而這兩個解決方案系列就導致了兩種rollup方式。
Optimistic Rollup與ZK Rollup
Rollup的兩種類型分別是Optimistic rollup和ZK Rollup。
南非Nedbank宣布進軍元宇宙領域:金色財經報道,南非第四大貸款機構Nedbank集團宣布與與Africarare合作,并在Ubuntuland為自己建立了一個村莊,從而在元宇宙中建立了自己的存在。
該集團營銷和公司事務主管 Khensani Nobanda 在周三的電子郵件聲明中表示,我們進入元宇宙不僅僅是為了在這個領域占有一席之地,而是為了在與他們產生共鳴的平臺上滿足我們客戶的需求。[2022/9/22 7:13:53]
Optimistic Rollup
Optimistic rollup,使用欺詐證明—rollup合同會跟蹤其整個狀態根歷史以及每個批次的哈希值。
如果有人發現某個批次的狀態后根不正確,則發布需要鏈的證明,以證明該批次的計算不正確。合同將驗證證明,并還原該批次及其之后的所有批次。
ZK rollup
ZK rollup,使用有效性證明—每個批次都包含一個稱為ZK-SNARK的加密證明(例如,使用PLONK協議),這證明后狀態根是執行批次的正確結果。
無論計算量有多大,都可以在鏈上非常迅速地驗證證明。
Web3游戲生態系統提供商Fitchin完成350萬美元融資:金色財經報道,Web3游戲生態系統提供商Fitchin宣布完成350萬美元融資,投資方來自于一批未公開姓名的加密投資者、VC、游戲名人和體育明星。Finchin構建了惡一個Web3游戲社區平臺,將電子競技團隊、內容創作者和粉絲聯系在一起, 其工具可以幫助游戲社區增加收入,允許用戶成為頂級團隊社區的成員,參加錦標賽、購買限量NFT藏品,并參與獨家活動和體驗等。(finsmes)[2022/7/19 2:21:50]
總的來說,我個人認為,在短期內,對于通用EVM計算而言,樂觀可能會勝出;而對于簡單付款,交易和其他特定于應用的用例,ZK可能會勝出。
隨著ZK-SNARK技術的改進,中長期ZK將在所有用例中勝出。
Rollup工作細節
在Optimistic Rollup中,首先我們需要設立一個可信任的節點,這個節點負責收集所有的交易信息、驗證然后打包.
打包后的信息集合將帶上該節點的簽名發送到區塊鏈網絡中。
當一個可信節點設置成功后,該節點將成為Rollup節點,這個節點需要同全節點一樣,下載整個區塊數據并實時更新區塊狀態。
我們仍舊以之前那個公司為例,假設目前有2000筆交易正在等待執行,公司的員工會將2000筆交易發給Rollup節點。
之后,Rollup節點需要根據已有的狀態和區塊數據,對交易進行驗證,并保存以下數據集(交易內容,交易前狀態,交易后狀態)。
當Rollup節點對所有交易完成了驗證與執行并生成數據集后,節點需要對這個數據集進行簽名,即Sig Rollup節點(交易內容,交易前狀態,交易后狀態)。
最后將簽名與數據集整合到一筆交易中,這個交易被稱作斷言Assertion,發送到區塊鏈網絡等待其他節點驗證即可。
需要注意的是,網絡中的其他節點并不會驗證Rollup節點發來的數據集,僅僅只驗證其簽名,驗證完畢后將根據數據集更新區塊鏈網絡狀態。
正如它的名稱“Optimistic Rollup”,實際上所有的Rollup協議由于將交易驗證從鏈上轉移到了鏈下,因此都是一種基于“樂觀”的假設—假設大多數情況下Rollup節點不會作惡。
但光有樂觀假設是不足的,節點總會因為各種各樣的原因出現問題。
為了避免這些節點惡意行為,提高作惡成本,Optimistic Rollup中還有如下機制:
一方面,Rollup節點需要向網絡質押一定額度的Token,這些Token有一定的解鎖時間,并會在Rollup節點做出惡意行為時被罰沒。
另一方面,Rollup節點所提交斷言不會被網絡立即認可,所以存在一定時間的窗口期(一般是1周)。
如果其他節點認為該Rollup節點提交的斷言存在惡意行為,節點可以質押一定押金并對該斷言發起挑戰。
并且區塊鏈中的出塊/驗證節點會對該斷言中的所有內容(包括數據集)進行重新驗證、執行,比對交易狀態的差距。
如果的確存在惡意行為,那么Rollup節點的押金會被罰沒,則發起挑戰的節點則會獲得一定獎勵。如果不存在惡意行為,則發起挑戰節點的押金會被罰沒。
另外,在窗口期結束時沒有其他節點對斷言發起挑戰的話,斷言中的狀態信息將會被系數更新至區塊鏈狀態中。
Optimistic Rollup可以將多個交易信息經可信第三方聚合為單筆信息,由于交易中的狀態變更情況是由鏈下節點驗證而非鏈上節點驗證。
因此降低了區塊鏈上節點的驗證難度(僅需要驗證Rollup節點所提交的簽名,并更新由該節點提交的狀態信息即可)。
數據集雖然看起來并沒有較單個交易的疊加更小,但數據集因為不會受鏈上節點的驗證,故不需要為其支付高昂的手續費。
依靠這種Layer2處理方案,可以很容易的提高區塊鏈的有效吞吐量。
ZK rollup是如何工作的?
一個簡單的以太坊交易(發送ETH)需要約110個字節。但是,Rollup上的ETH傳輸僅占用約12個字節。
ZK特有的一個重要壓縮技巧是,如果事務的一部分僅用于驗證,而與計算狀態更新無關,則可以將該部分留在鏈下。
這不會完全在樂觀的狀態下完成,因為如果以后需要在欺詐證明中檢查數據,則仍需要將數據包含在鏈上。
而在ZK中,SNARK證明批次的正確性已證明任何數據提供了驗證所需的信息。
還有一個重要的例子是隱私保護,在樂觀的狀態下,每筆交易中用于隱私的約500字節需要進行保留,而在ZK中,覆蓋整個批次的ZK-SNARK已經沒有了。
這些壓縮技巧是Rollup可伸縮性的關鍵。沒有它們,Rollup可能只會使基礎鏈的可伸縮性提高約10倍,而采用壓縮技巧時,縮放系數幾乎可以超過100倍所有應用程序。
鏈金分析
Rollup的基本概念現在已經得到了很好的理解,但我們可以肯定它們在根本上是可行且安全的,并且已經將多個Rollup部署到了主網上。
但仍有很多Rollup設計領域尚未得到很好的探索,充分利用以太坊的可伸縮性,將以太坊生態系統的大部分完全整合到Rollup中還將面臨很多挑戰。
Rollup是一種強大的新的2層伸縮范例,在短期和中期的未來(以及可能也是長期的)中,有望成為以太坊伸縮的基石。
Tags:ROLROLLARK以太坊TROLL價格TROLL幣MARKETING幣以太坊幣最新價格今日行情2022.10.12
今日(9月28日)聯同國際結算銀行創新樞紐轄下香港中心(創新樞紐)、泰國中央銀行、中國人民銀行數字貨幣研究所及阿拉伯聯合酋長國中央銀行發布題為「Inthanon-LionRock to mBri.
1900/1/1 0:00:00原文標題 | 《區塊鏈應用:參數保險》原文作者 | Anh Le編譯出品 | 白澤研究院參數保險的市場規模潛力巨大.
1900/1/1 0:00:00去年,疫情推動直播行業爆發,背后有一個更大的趨勢是全球范圍內正在興起的“創作者經濟”(Creator Economy).
1900/1/1 0:00:00在加密貨幣行業里,穩定幣似乎一直都是核心爭議話題之一,而且還有許多新問題不斷涌現。我們發現,一些公司和協議幾乎每周都會宣布各種的穩定幣舉措,似乎加密貨幣行業中的每個人都急于推出自己的穩定幣.
1900/1/1 0:00:00本文由Patract Labs與Polkadot生態研究院聯合出品,本文會涉及一些技術用語,不過我們會用通俗易懂地方式再闡述一下,大家可酌情看重要解釋即可.
1900/1/1 0:00:00本文略有刪減。 我們一直擔心在過去的幾十年里,西方經濟中的反直覺趨勢——不斷增長的GDP流向了金融部門,但仍然有數以百萬計的人無法享受到基本的金融服務.
1900/1/1 0:00:00