Plasma的隕落:是誰殺死了Plasma?

買賣虛擬貨幣
前言:由於Layer 1擴充套件不易,Layer 2擴充套件一直也是區塊鏈擴充套件的重要探索方向。以太坊社羣曾經提出過Plasma的解決方案,但事後證明,Plasma在資金退出等問題上非常複雜,導致其很難成為真正可行的可擴充套件性解決方案。但Plasma的失敗並非沒有用,zk-Rollup的誕生讓人們看到的layer-2擴充套件的可能方向,它可以解決Plasma的資料可用性問題和退出複雜性問題。

而Plasma Group也將重心轉向Optimistic Rollup,以期實現可用於通用智慧合約的Rollup側鏈。從這裡我們可以看出,很多的技術構想,包括Vitalik的構想從一開始也可能會有一定的侷限性,只有在不斷的摸索中才能找到真正可行的方向。社羣的力量很重要,rollup方案一開始就是由社羣成員提出的,只有更多人參與進來,才能推動以太坊和公鏈生態的發展。偉大的力量總是根植於人們之中。

本文作者是Ashwin Ramachandran&Haseeb Qureshi,由藍狐筆記社群的“SIEN”翻譯。

在2017年8月,Ether的價格接近歷史新高。以太坊區塊鏈使用量暴增,在不斷增長的需求下以太坊不堪重負。研究者和開發者瘋狂地尋找新的擴充套件性解決方案。

在全球各地的區塊鏈會議上,開發者爭論著擴充套件性的解決方案。以太坊社羣迫切需要一個方案。在這樣的瘋狂過程中,Plasma論文的第一版釋出了,它承諾一個layer-2可擴充套件性方案,可以處理“世界範圍內的幾乎所有財務計算”。

TechCrunch關於Plasma的報告

快進到2020年。以太坊跟以往一樣慢,但它卻在所有的所謂“以太坊殺手”專案中存活下來。ETH2.0的釋出日期越來越遠,隨著很多開發團隊關閉運營,Plasma看似完全消失。

不過,Optimistic Rollup和ZK Rollup(可以參考藍狐筆記之前的釋出《一文讀懂ZK Rollup和Optimistic Rollup:以太坊重要的擴充套件方向》)正在被譽為最佳擴充套件性解決方案。但是,對Plasma的記憶似乎消失得無影無蹤。

那麼,是誰殺死了Plasma?

讓我們回到2017年初。以太坊第一次進入主流,人們對其前景充滿無限樂觀。當時人們聲稱,所有有價值的資產會被代幣化。在舊金山的活動聚會中,人們在房間裡只能站著,每當有關於以太坊的主題,便是門庭若市。但以太坊並沒有實現可擴充套件。

在這樣的狂熱之下,Vitalik Buterin和Joseph Poon釋出了一篇論文,其中提到一種新的layer-2可擴充套件性解決方案,它就是Plasma。

" target="_blank" rel="nofollow noreferrer noopener">

Vitalik和Joseph Poon在舊金山的活動上介紹了Plasma

Plasma聲稱,它能讓以太坊擴充套件到Visa級別的交易量,這種大膽的宣告引發了開發者和社羣的熱潮。不久之後,以太坊研究社羣就Plasma問題進行集會,以作為解決以太坊擴充套件性問題的方案。

但什麼是Plasma?為什麼它最終沒能實現其承諾?

Plasma是如何執行的

Plasma論文最初描述了一種構建MapReduce“區塊鏈樹”的機制。樹中的每個節點都代表連線到其父節點的唯一區塊鏈。所有這些區塊鏈都按照巨大的層級結構進行排列。但是,最初的規範很模糊且複雜。不久之後,Vitalik簡化了規範,並稱之為MVP(藍狐筆記:也就是最小可行的Plasma,Minimal Viable Plasma)。

" target="_blank" rel="nofollow noreferrer noopener">

Plasma的“區塊鏈之樹”

MVP提出了簡化版本的Plasma:基於UTXO的簡單側鏈在資料不可用的情況下是安全的。但是,什麼是側鏈?資料不可用意味著什麼?在我們深入討論Plasma之前,先來了解一下這些術語的含義。

側鏈是連線到另外一個區塊鏈的區塊鏈。側鏈可以透過多種不同方式來操作,例如透過可信的第三方、聯盟、或共識演算法。例如,Blockstream參與了在比特幣網路上的聯盟側鏈,它被稱為Liquid。Liquid允許更高的交易吞吐量,它之所以能實現是因為它在其信任模型上做了權衡。使用者必須相信聯盟不會合謀和竊取資金。在這種情況下,鏈的運營者是Liquid聯盟的各種成員,例如Blockstream公司。

" target="_blank" rel="nofollow noreferrer noopener">

側鏈轉賬的視覺化圖(以Liquid作為例子)。來源:Georgios Konstantopoulos

側鏈透過雙向錨定連線到較大的區塊鏈,例如比特幣區塊鏈。使用者可以在側鏈儲存資金,其方式是將其資金髮送到主鏈上的特定地址或智慧合約。這稱為錨入交易。為了提取資金,使用者可以在側鏈上執行相同的操作以將其資金取回至主鏈。這稱為錨出交易。但這跟Plasma有什麼關係?

正如我們在上面的示例可以看到的那樣:將資金從側鏈移出需要一個關鍵的要素:信任。使用者必須信任側鏈的運營商不會拿資金潛逃。但這不是區塊鏈無須信任的主要特性嗎?如果使用者想跟側鏈互動而無須信任其運營商該怎麼辦?

這正是Plasma試圖要解決的問題。

Plasma旨在最小化對側鏈運營商的信任。也就是說,Plasma試圖阻止資金被盜取,甚至即使運營商(或多數共識)行為不當。但是,即使側鏈運營商無法徹底竊取資金,側鏈還有另外一個問題。萬一側鏈運營商釋出區塊頭,但拒絕釋出底層的交易資料呢?這將阻止任何人驗證側鏈的正確性。這一概念稱為資料的不可用性。(藍狐筆記:也就是資料的釋出需要依賴於可信的側鏈運營商,可能存在資料不可獲取的情況)

Plasma試圖確保使用者安全,即使運營商保留交易資料。也就是說,如果運營商拒絕釋出資料,所有使用者將仍然能夠取回其資金,並退出側鏈。

Plasma對其安全性和可擴充套件性許下很大的承諾。在2017年牛市期間,人們普遍相信Plasma將會解決以太坊的擴充套件性問題。但是,隨著2018年市場的清醒,區塊鏈炒作崩潰,關於Plasma的更現實的圖景開始具體化。當它進入現實世界的部署,相對於解決方案,Plasma提出了更多問題。

第一個問題是,每位使用者不得不監控和驗證Plasma MVP鏈上的所有交易以進行監察,並在運營商存在惡意行為時退出。但是,交易驗證非常昂貴,這種監控要求對參與Plasma鏈來說,增加了非常大的開銷。

研究者還意識到,使用者很難退出Plasma鏈。當使用者試圖從Plasma MVP鏈中提取資金時,他們必須提交退出交易,然後等待設定的時間週期。也就是通常所說的挑戰期。

在挑戰期內的任何時候,任何使用者可以挑戰其他使用者的退出,其方式是提交退出無效的證明(例如,他們挖出假代幣或盜取其他人的代幣等)。因此,所有退出只能在挑戰期結束之後處理,在一些提議中,這需要花費一週時間。

但情況可能更糟。

請記住,即使運營商保留資料(也就是不釋出資料),我們也希望使用者能夠從Plasma鏈中提取其資金。MVP以如下方式處理這個問題:如果Plasma交易資料被保留,則每個使用者都需要根據Plasma鏈最後的有效狀態,分別退出其自己的資金。請注意,為了避免惡意運營商搶在誠實使用者前面,退出按照最後一次交易的時間進行先後排序。

" target="_blank" rel="nofollow noreferrer noopener">

以太坊儲存的增長。來源:Alexey Akhunov

在最壞的情況下,如果所有使用者都需要退出Plasma鏈,則鏈的整個有效狀態都必須在單個挑戰期內釋出到以太坊主網。鑑於Plasma鏈可以任意增大,並且以太坊區塊鏈已經接近於其瓶頸,將整個Plasma鏈倒入以太坊主網幾乎是不可能的。因此,任何退出的踩踏都幾乎會導致以太坊的擁堵。這也就是眾所周知的大規模群體的退出問題。

隨著價格在2018年的崩潰,以太坊追隨者開始意識到Plasma MVP將不會是他們所期望的可擴充套件性的殺手鐧解決方案。根本沒有任何辦法可以克服其弱點。Plasma MVP陷入死衚衕。一直以來,以太坊繼續在其交易負擔下掙扎,而ETH2.0還有幾年才能實現。

下一代的Plasma

在2018年中,隨著價格持續暴跌,以太坊的研究社羣繼續其努力以最佳化Plasma,在Plasma MVP設計上迭代。新版本被稱為Plasma Cash。

按照其主設計師之一Vitalik的說法,Plasma Cash將可以實現任何高的tps,並解決困擾其前身的問題。有些人甚至聲稱這種新設計將實現每秒數十萬筆交易。

首先,讓我們回顧一下Plasma MVP的問題。

*在運營商存在不當行為時,會存在大規模群體退出的問題(藍狐筆記:就像是踩踏事件) *使用者不得不等待整個挑戰週期才能提取資金 *使用者不得不監控Plasma鏈上的所有交易

相對於Plasma MVP,Plasma Cash擁有一個主要優勢:透過使用不同的資料模型,Plasma Cash可以避免大規模群體退出問題。在Plasma Cash中,所有代幣都表示為NFT(藍狐筆記:不可互換代幣),這使得證明一組代幣的所有權更加容易。簡而言之,使用者有責任證明自己擁有代幣的所有權,而不是其他人。因此,使用者僅需要監控其自己代幣,而不必監控整個Plasma鏈。

Plasma Cash也展示了新的互動式挑戰系統,它允許使用者在運營商有不當行為時輕鬆提取資金。使用新的Merkle Tree結構,也就是所謂的Sparse Merkle Tree,使用者可以使用包含證明來輕鬆驗明代幣的歷史和所有權。

在運營商存在不當行為時,使用者將只需要釋出鏈上證明,證明其當前擁有代幣(由最近兩次交易和其相應包含證明組成)。然而,Plasma Cash 帶來一系列的全新問題。

首先,惡意使用者或代幣的過去所有者可以釋出錯誤的提取資金嘗試。由於使用者被要求證明其自己代幣的所有權,因此由這些使用者來實際抓獲並挑戰其資金的欺詐性提款。

結果是,Plasma Cash跟Plasma MVP一樣,要求使用者至少每兩週保持線上一次,以在其挑戰期內抓獲錯誤的提款。

此外,為了證明代幣的所有權,使用者將不得不維持其代幣的整個歷史記錄和相應的包含/排除證明,這導致不斷增加的儲存要求。

到2018年底,Ether的價格跌至谷底,烏托邦式的加密樂觀主義煙消雲散。Plasma Cash雖然比Plasma MVP有所改善,但它並不是以太坊所承諾的Visa規模的解決方案,並且其MapReduce“區塊鏈樹”現在只不過是個空想。大多數為Plasma Cash開發客戶端的公司都停止了工作,並且其實施都處於半完成的狀態。

以太坊社羣陷入了困境。儘管新的Plasma構建持續出現,並在其前身上有些許改進,但以太坊社羣在這些新構建上沒能實現反彈。

看上去Plasma已經死了。

進入Rollup

在對layer-2的信心降至冰點時,一個名為“roll_up”的GitHub儲存庫由一位筆名為Barry Whitehat的使用者釋出。這個儲存庫描述了新型的layer 2 擴充套件性解決方案:具有“捆綁”交易的類似於Plasma的結構,其中不是依賴於運營商的可信度,而可以使用鏈上的證明(SNARK)來驗證“捆綁交易”的正確性。

該SNARK確保運營商無法釋出惡意或無效交易,並保證所有側鏈區塊是有效的。

不久之後,Vitalik釋出了Barry提案的改進版本,並稱之為zk-Rollup。Zk-Rollup成為在以太坊研究論壇上瀏覽次數最高的帖子之一。Vitalik的提案引入一種解決方案,可以防止困擾Plasma的資料可用性問題:在以太坊鏈上釋出側鏈交易資料。

" target="_blank" rel="nofollow noreferrer noopener">

Vitalik的zk-Rollup帖子

釋出交易資料作為函式引數,這意味著它可以在釋出時對其進行驗證,然後可將其丟棄(這樣就不會造成以太坊儲存膨脹)。

Zk-Rollup可以完全避免Plasma的退出博弈和挑戰期,同時無須平衡可負擔性或安全性。藉助zk-Rollup,人們可以一次使用新穎的密碼學來解決所有Plasma的layer-2擴充套件性兩難。

然而,zk-Rollup也有其自身的一些平衡。即,有效性證明的生成在計算上是昂貴的。這些zk-SNARKS在每個區塊產生,最多可能需要10分鐘才能生成,而每次驗證(伊斯坦布林之後)的成本高達350,000gas。作為參考,它大約佔據整個區塊的3.5%(伊斯坦布林之前為8%)。(藍狐筆記:PUSH一般花費3gas,普通交易一般消耗21,000gas,由此可見有效性證明的gas花費高)

此外,當前在zk-Rollup側鏈上部署通用智慧合約還不可能。有些針對專用的零知識虛擬機器提案(例如zkVM和ZEXE)正在開發中,也許它們會支援,但它們依然需要很多專用知識來與其互動。在大多數情況下,zk-Rollup限制了通用的可程式設計性。

" target="_blank" rel="nofollow noreferrer noopener">

Zk-Rollup視覺化。來源:Georgios konstantopoulos

到2019年中,這些新發展讓以太坊研究社羣重新煥發活力。Zk-Rollup似乎解決了很多困擾layer-2敘事的難題。諸如Matter Labs和LoopRing這樣的公司開始積極開發zk-Rollup,如今兩者都有了測試網。透過最佳化,Matter Labs相信其可以在ZK Sync網路上實現高達2,000的tps。

此外,Starkware正在zk-Rollup上構建變體,他們稱之為StarkExchange。StarkExchange使用STARK證明側鏈交易的有效性,但卻代表了鏈外資料託管的問題(如果側鏈停止,則可以透過鏈上檢查點來確保退出)。

他們正在與DeversiFi合作實施這種設計的DEX,並在不久的將來在其主網上釋出。

但並非所有人都將其希望寄託在zk-Rollup上。在第一個zk-Rollup規範釋出一年之後,John Adler和Mikerah引入一種他們稱為Merged Consensus(合併共識)的設計。合併共識支援鏈下共識系統,它完全在以太坊上驗證,而無須任何花哨的零知識密碼學。

在釋出之後,Plasma Group釋出了合併共識設計的擴充套件版本,並帶有現在眾所周知的名字:Optimistic Rollup。

儘管zk-Rollup依賴於zk-SNARKS來驗證和實現每個區塊最終性,但Optimistic Rollups採用了不同的方法:如果僅假設每個單一區塊是有效的,該怎麼辦?

當每個人都正常運作,它會執行良好。但我們知道,運營商可能會有惡意行為。那麼,Optimistic Rollups如何處理運營商的行為不當?

Optimistic Rollups的答案是使用欺詐證明。欺詐證明是運營商執行無效操作的計算證明。如果運營商釋出無效狀態轉換,則任何人都可以提交該轉換無效的證明,並還原這些交易(大約1周時間)。由於這些證明是非互動式的,任何人都可以釋出:它們不需要使用者監控其代幣以確保安全。

但是,Optimistic Rollup跟zk-Rollup不同,它需要將更多的資料(3-5倍)釋出到鏈上。這些資料主要包括見證人,例如簽名資料(在zk-Rollup上並不需要,既然它用零知識來驗證)。

在最好的情況下,Optimistic Rollup將永遠無須驗證交易,除非有人提交欺詐證明。鏈上的見證驗證和釋出非常昂貴,然而,開發者已經探索了聚合簽名機制,該機制允許進行廉價的大規模驗證並減少交易資料的需求。這種最佳化可以提升Optimistic Rollup的理論TPS,從當前的大約450TPS提升到潛在的2000TPS左右。

Optimistic Rollup提供了跟zk-Rollup完全不同的權衡。考慮到欺詐挑戰不是經常的事,它們不會那麼昂貴,但是它們權衡了安全性,導致其安全性較差。換言之,交易可能會被錯誤應用且在後續還可能被還原。該安全視窗可以長達一整週。結果是,使用者無法在該安全視窗內將資金退出該鏈。否則,他們可能會帶著別人的資金跑掉。但是,可以透過引入二級市場來改善這些資金提取問題。

使用者可以將其資金退出權賣給第三方流動性提供商,流動性提供商可以收取小額費用。流動性提供商會因為承擔一週時間的退出帶來流動性不足而獲得報酬。這樣可以實現使用者在rollup鏈的即時退出。(藍狐筆記:第三方流動性提供商專業做這個事情,比使用者操作更合適,這是一個好的方案)

儘管zk-Rollup需要程式設計師理解複雜的約束系統和高階加密學,Optimistic Rollup允許通用智慧合約的部署(例如Solidity)和執行。這意味著基於智慧合約的協議,例如Uiswap可以構建於Optimistic Rollup側鏈之上。

Rollup系列的解決方案提供類似的方法來解決Plasma的資料可用性問題和退出複雜性問題,但是,所有這些都有可能大大擴充套件Plasma的結構。例如,IDEX已經構建並部署了自己的Optimistic Rollup,並在此結構上執行DEX。

同樣,Fuel Labs也已經構架了一個Optimistic Rollup版本,它允許UTXO模式付款和ERC-20代幣的交換。Plasma Group(現在是Optimism)近期宣佈將其重點轉向Optimistic Rollup,並致力於在其平臺(透過其OVM結構)提供通用智慧合約能力。

任何上升的東西必須收斂

Plasma最終遠不僅是協議。在一個非理性的繁榮時間,Plasma是以太坊需要相信的故事。但從事後看來,它聲稱的無限擴充套件性證明是技術的狂妄。只有越過Plasma,才能深入理解layer-2可擴充套件性所固有的權衡取捨。

隨著ETH價格在去年的反彈,對以太坊未來的樂觀情緒也隨之而來。在歷經接近3年對安全、可擴充套件和穩健的擴充套件性方案的尋找之後,以太坊研究社羣最終走向rollup為中心。Plasma及其表親是首次嘗試,但是,一群創新者最終創造了更現實的layer-2設計,似乎解決了Plasma的最嚴重問題。

" target="_blank" rel="nofollow noreferrer noopener">

一些專注於Plasma的研究團隊,例如Plasma Group已經著手研究Optimistic Rollup的解決方案,但我們相信尋找最終的layer2解決方案的工作才剛剛開始。這裡有很多競爭者,我們期望這一領域保持活躍,它也是讓人興奮的研究和開發領域。

------

風險警示:藍狐筆記所有文章都不能作為投資建議或推薦,投資有風險,投資應該考慮個人風險承受能力,建議對專案進行深入考察,慎重做好自己的投資決策。

免責聲明:

  1. 本文版權歸原作者所有,僅代表作者本人觀點,不代表鏈報觀點或立場。
  2. 如發現文章、圖片等侵權行爲,侵權責任將由作者本人承擔。
  3. 鏈報僅提供相關項目信息,不構成任何投資建議

推荐阅读

;