比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 聚幣 > Info

科普 | Validium 與 Layer 2 的設計空間_ROL

Author:

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

原文鏈接:?https://www.buildblockchain.tech/newsletter/issues/no-99-validium-and-the-layer-2-two-by-two作者:?BenDiFrancesco翻譯&校對:?IANLIU&阿劍

本月初,StarkWare團隊推出了全新的以太坊主網layer2擴展方案。

這個全新的項目——StarkEx,沒有完全按照已被大眾接受的現有layer2架構來做。StarkWare的聯合創始人EliBen-Sasson將這種新的layer2架構稱為“Validium”——這個名字獲得Vitalik的背書,因此“Validium”的叫法應該是板上釘釘的事。

本期BuildBlockchain中,我們會通過經典的二階矩陣,重新回顧以太坊生態系中出現過的layer2設計;最終引出Validium作為收尾,探討這個新方案的利弊。

Layer2二階矩陣

以太坊layer2的擴展研究的演進之路已經成為現實中許多工程項目的研究案例。然而理想很豐滿,現實很骨感,很多具有前瞻性的想法,直到真正實踐的時候,工程師才會意識到可行的方案中充滿著權衡及折中的考慮。經過多年的研究和嘗試,以太坊layer2生態的擴展方案可以用二階矩陣做歸結。

火幣推出《一分鐘讀懂DeFi》系列科普視頻:據官方消息,8月24日,火幣推出《一分鐘讀懂DeFi》系列科普視頻,并與微博財經合作冠名播出,布道DeFi認知,助力行業發展《一分鐘讀懂DeFi》是由火幣成長學院打造的業內首個系統全面講解DeFi的系列科普動畫,繼推出《區塊鏈100問》后的再續佳作。《一分鐘讀懂DeFi》系列動畫對DeFi的發展進行系統梳理,適合想要由淺入深、全面系統了解區塊鏈DeFi的人們輕松了解DeFi。目前視頻已由火幣網官方微博發布。[2020/8/24]

在區塊鏈layer1中,所有的計算過程和數據存儲都在主鏈進行;但layer2不同,我們可以根據layer2如何解決這兩個擴展相關的瓶頸問題來對他們分類,正如上圖的二階矩陣所示。讓我們繼續完成這個矩陣,最終看看Validium應該定位在哪。

Plasma

Plasma?由VitalikButerin和JosephPoon在2017年共同提出;Plasma作為被寄予厚望的理論思想,可以說是開啟了以太坊擴展研究的先驅。我們將其放在矩陣右下角:

人民數字FINTECH推出區塊鏈科普動畫:人民日報數字傳播發布微博稱,人民數字FINTECH出品《趣味科普|區塊鏈動畫》。[2020/3/31]

從本質來說,Plasma的思想相對直觀。為了獲得更好的擴展性,Plasma將計算和數據存儲都遷移到layer2進行;由layer2的執行者周期性地向主鏈遞交Merkle根形式的“狀態承諾”。如果執行者遞交無效的狀態,用戶可以向主鏈上的智能合約提供錯誤性證明;一旦確認執行者出現欺詐行為,則智能合約會罰沒他的保證金。

雖然這個想法簡單優雅,但細節實現起來卻是困難重重——其中一個問題就出在數據可用性。雖然說我們可以通過錯誤性證明,使得提供無效承諾的執行者在主鏈上遭到懲罰;但用戶如果想要提供錯誤性證明,首先得取得構造出錯誤承諾的錯誤數據。這時候問題就來了——如果plasma的執行者拒絕在主鏈上公開數據,那用戶能怎么辦?

針對這個問題,Plasma衍生出一些相應的方案,如延長資產從layer2退出的時間——當出現作惡行為,就能允許大量資產從Plasma鏈退出。但經過這些年的摸索,可行的方案還沒有真正實現;這也促使二階矩陣其他象限的方案的出現。

動態 | 區塊鏈技術入選科普雜志《科學美國人》2019十大突破性技術榜單:據新浪網今日新聞報道,美國科普雜志《科學美國人》公布 2019 十大突破性技術榜單。區塊鏈技術因在保障食品安全中的作用而上榜。 入選榜單具體原因:區塊鏈技術的發展應用將顯著改善食品污染源數據追蹤的困境。利用區塊鏈云端系統,食品制造商可以依次在計算機儲存各類過程的信息。[2019/9/29]

zkRollup

下一個值得關注的方案被放在Plasma斜對角象限——也就是?zkRollup;有意思的是,zkRollup是由某個以太坊研究員提出的,而非VitalikButerin。

zkRollup通過一種間接的方式解決了數據可用性問題——將所有layer2上的交易數據,作為參數發送到主鏈上的某個智能合約內;這意味任何人都能通過觀察區塊鏈上的“calldata”來獲得layer2的所有數據,但這同時讓zkRollup能帶來的可擴展性優勢僅限于計算這一個維度上了。

Plasma設計了錯誤性證明激勵機制,來保證計算的正確;而zkRollup則是靠著在主鏈完成零知識證明,保證無效的狀態絕不會發生。因為所有計算都被“匯總”到證明里,所以無需信任或是檢查執行者。

動態 | 浙江衛視節目科普支付寶區塊鏈防偽溯源產品:昨日,在浙江衛視播出的科普綜藝欄目《智造將來》現場,支付寶首次展示了支付寶區塊鏈防偽溯源產品,以接地氣的方式公開向大眾展示區塊鏈在生活中的應用。[2019/3/4]

另外,zkRollups對數據存儲方面也帶來了一定程度上的擴展性提升。舉例來說,zkRollups可以發送壓縮過的數據給智能合約,而且全節點不需要將calldata存儲在活躍狀態里面,減輕了全節點的使用負擔;在zkRollups鏈上無需包含簽名數據,因為零知識證明就足以證明交易的有效與否。

zkRollup強大的功能卻也成為它主要的短板:這些強大的功能依托于零知識證明——一種非常前沿的密碼學方法。zkRollup除了很難安全部署,大眾對當前可用的零知識證明接受度也不高,所以現有的zkRollup技術只專注于應用在某幾個特定項目,如?Loopring?的去中心化layer2交易所。

OptimisticRollup

為了在layer2也能使用智能合約,研究者們開始探索一種“與zkRollups架構相似,但不依靠零知識證明”的擴展方案。有個現成的方案是重新采用交互式錯誤性證明,也就是接下來我們要談到的OptimisticRollups。

中科院自動化研究所將面向大中小學生開展區塊鏈等主題的科普講座:5月21日,新華網訊,今年,中國科學院自動化研究所將舉辦第十四屆“自動化之光”公眾科學開放日活動。屆時,自動化所將面向大中小學生分別開展《腦與智能》、《區塊鏈技術與平行智能》、《大數據時代的視覺智能》、《動畫真奇妙》等4個主題報告,用實例和生動的演示深入淺出地為大家揭示智能技術的原理和奧妙。[2018/5/21]

前面我們已經聊過Plasma和zkRollup,那么OptimisticRollup也很好理解。OptimisticRollups保留calldata,可以在主鏈獲得所有layer2的數據;同時OptimisticRollup采用錯誤性證明,對提交無效狀態的執行者進行懲罰。

相比于Plasma和zkRollup,OptimisticRollup做了一些權衡,所以帶來的擴展性提升幅度最小。但這也是為什么OptimisticRollup如此令人感興趣,因為OptimisticRollup不依賴于什么過于前沿的技術或懸而未決的問題,實際推廣中OptimisticRollup?更好落地。

有多個團隊都已接近將OptimisticRollup架構部署到主網上。

Validium

最后,終于盼來二階矩陣中最后一個空格了!這個象限里我們要填入剛完成命名的Validium,并討論Validium方案的首個落地實現——StarkEx。

Validium選擇將layer2的交易數據放在鏈下,因而比rollup架構有著更高的擴展性。驗證計算方面,Validium不像Plasma依托詐欺證明,而是采用零知識證明。如先前在討論zkRollup時提到的,這樣做會導致Validium在目前的應用部署,只能局限于特定目的,比如StarkEx就是面向去中心化交易所的方案。

但這些權衡使得Validium在某些方面優于Plasma。在主網進行零知識證明驗證能避免執行者提供無效狀態,也能降低執行者不公開數據造成的后果。舉例來說,想要勾結執行者,讓狀態錯誤地轉變為“把他人的錢轉到自己賬戶”是不可能辦到的;因此Validium不需要在協議中設計“大量資金退出”激勵博弈,也不需要延長資金從layer2退出的時間。

正如其他研究者指出的,零知識證明并不是解決數據可用性問題的萬靈丹:比如執行者修改自己所控制的賬戶的狀態是沒有問題的,然后積壓關于這些交易的數據,這會導致某些用戶想退出資金時,無法提供Merkleproof。

這種攻擊在本質上就是凍結layer2上的賬戶,也為執行者的受賄行為大開方便之門——執行者可以拒絕提供某用戶需要的狀態,以此進行勒索或受賄。

為了避免此類攻擊發生,StarkWare團隊使用了一種手段,我稱之為“engineeringhack”技術。這個術語我用得很親切,因為我整個職業生涯中就時常與“engineeringhack”打交道。StarkEx系統中包含了一個“數據可用性委員會”——委員負責對數據簽名,并保證數據始終可用。只要其中有一位委員在線且他是誠實的,用戶就一定能獲得退出資金需要的數據。

Validium不是最完美的方案,但它可能是目前各種場景最能接受的一種方案,但要記住每件事情都有其權衡及折中的考量。相較于主鏈上完全去信任的DEX,StarkEx交易所的確面臨更高的第三方風險;但作為相應的優點,StarkEx交易所在性能上高出DEX幾個量級——高頻交易者非常看重這個優點。而相較于傳統的中心化交易所,Validium仍然安全得多,也最大程度地去信任化。

生產過程公開化

正如我先前提到的,以太坊layer2的擴展研究是工程領域很好的例子,因為原先工程領域那些放在臺面下、不為人知的研究過程,在以太坊中都能看得一清二楚。當然如果有人對其看似曲折而緩慢的發展過程冷嘲熱諷,我也不會覺得太驚訝。

在大多數研究的開始階段,會有許多方案的迭代轉換發生在設計臺面下;隨著工程師被迫直面理論與現實的差距,一個可實施的方案真正需要做的權衡,才會成為關注點。對于以太坊layer2擴展研究來說,這些不同方案的發掘過程是直接放在臺面上討論的;業內的大牛和方案支持者們都能夠詳細的審查這些方案,貢獻自己的心力。

就我來說,我覺得以太坊layer2生態非常健壯,研究者和開發者通過反復試驗,煞費苦心地制定出layer2的設計框架。現在許多的團隊都在加緊尋找能夠滿足用戶實際需求的具體的解決方案,這過程當然包含很多權衡和折中。考慮到最近幾個月以太坊layer2的發展,以及以太坊主網越來越擁堵的問題,我認為layer2方案已經箭在弦上、蓄勢待發。我猜測在接下來12~18個月內,就能看到layer2方案套用到實際應用中。

讓我們拭目以待。

Tags:LAYERROLLROLALIReady Player OneThe Troller CoinTROLLERalice幣最新消息

聚幣
2020年四省八市區塊鏈專項政策盤點:北京發文引關注,各省市產業競賽日趨激烈_元宇宙

半年之內,十二省市印發區塊鏈發展專項政策,行業春天到了嗎?2020年,區塊鏈開啟了發展的第2個十年,這是區塊鏈高速發展的新起點.

1900/1/1 0:00:00
最有力支持者倒戈?前比特幣開發者Gavin Andresen懷疑CSW并非中本聰_ANC

最近公布的證詞表明,GavinAndresen對CraigWright是否是比特幣的創造者中本聰產生了懷疑。值得注意的是,他曾在CSW公開宣稱自己是中本聰時表示了他的支持.

1900/1/1 0:00:00
巴比特專欄 | 肖颯:區塊鏈通證化積分靠譜嗎?_GNO

你是否也有很多積分? 日常生活中,你是否也遇到如下情形:去商場、超市、餐廳等消費結算時,柜員多會提一句:您有會員卡嗎?您需要積分嗎?辦理會員積分卡可以享受優惠哦等等.

1900/1/1 0:00:00
巴比特專欄 | 區塊鏈:把規則放在陽光下_ELLA

一、把規則放在陽光下! 每次和圈外的朋友聊天,他們總會問這么一個問題:區塊鏈到底有什么用啊?他們說:“看過了網上很多的解釋,都太復雜了,好多專業術語.

1900/1/1 0:00:00
對話TOP&標準共識:Staking經濟的機遇與挑戰 | 鏈節點AMA_STA

隨著PoS共識機制的興起,代幣持有人通過質押、投票、授權委托和鎖定等行為獲取交易費、區塊獎勵以及分紅收益,這樣一種持幣生息的Staking經濟在過去的一年十分火爆.

1900/1/1 0:00:00
巴比特獨家:從文交所隕落史,看NFT藝術市場前景_SPARK

近來,NFT突然被熱議,甚至有社區KOL表示“NFT可能會成為今年最熱的一個概念”。實際上,NFT的本質就是實物資產Token化,現在較多用于藝術品和游戲資產領域.

1900/1/1 0:00:00
ads