買以太坊 買以太坊
Ctrl+D 買以太坊
ads

ROL:以 “狀態” 視角理解以太坊及其未來_BankRoll

Author:

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

一.引言

自2015年創世以來,以太坊區塊鏈已歷經五個寒暑。五年的時間不僅把作為一種理念的以太坊協議?1?變成現實、使這套協議變得更加成熟、更加具體,也使這樣一套設計的特性和權衡關系暴露出來。這些權衡關系,作為設計上的挑戰,自然也吸引了并持續吸引著無數聰明才智,嘗試提升以太坊的可用性;其中匯聚了最多努力和想象力的,當屬為提高“可擴展性”而提出的一系列方案。

本文想指出的是,就像以太坊范式面臨著設計上的取舍,所有這些可擴展性方案也面臨著取舍;而評價這些取舍的值得與不值得,需要我們回到以太坊本身,回到以太坊節點和以太坊用戶的真實問題和真實需要。而“狀態”視角,作為理解以太坊本身的視角,正好能幫助我們廓清這些方案的設計,并揭示我們的所得和所失。

本文將從解釋“狀態”的含義開始,揭示以太坊的終極之矛和阿喀琉斯之踵,然后探討各種改進方向。“富狀態性”是以太坊智能合約“可組合性”的來源,但也是以太坊網絡最大的弱點。由此,我們可以見出現在常被人提起的哪些方案會影響“可組合性”,哪些“可擴展性”的意義更明顯。

二.以太坊作為一種范式

富狀態性與可組合性

什么是“狀態”?狀態就是一個系統在某一個時刻的具體情形。以實現密碼學貨幣的區塊鏈為例,一個區塊鏈在某一個時刻的狀態就是該時刻,該區塊鏈上所有地址的資產分布。

在此視角下,每一套區塊鏈協議都可以粗略地分成兩個部分,一部分是共識機制,另一部分是狀態轉換規則;前者定義了出塊規則,它指明了所有參與該區塊鏈的節點在什么時候需要在本地更新區塊鏈數據庫的狀態;而狀態轉換規則,則定義了什么交易是有效的,也定義了節點在處理交易時,應當如何更新狀態。

對比特幣來說,其共識機制是“PoW+中本聰共識”,而其狀態轉換規則基于UTXO。對以太坊來說,其出塊機制是“PoW+Ghost規則”,其狀態轉換規則基于賬戶。

那么,到底是什么東西讓以太坊變成一個有突破性的創新呢?

我們時常聽說,以太坊之所以特別,在于其“引入了圖靈完備的編程語言,支持可編程性”等等。實際上這種說法并不準確?2。因為允許使用更復雜的編程語言并不意味著什么,其實比特幣也可以編程;允許比特幣使用solidity編程語言并不能得到一個以太坊。以太坊真正特殊的地方在于“富狀態性”3?:它允許一個合約調用另一個合約,并且,除了區塊容量本身,不對這種調用的層級數量施加任何的限制。

專家:美國的加密稅收規則不太可能在2024年生效:金色財經報道,加密貨幣投資者和經紀公司正在等待美國的一項稅收規定,該規則出臺后,將規范加密貨幣公司如何報告有關客戶稅務狀況的信息,類似于傳統經紀公司提交的 1099 份表格,概述損益,據悉,財政部國稅局(IRS)實際上在幾個月前就完成了該提案,但白宮遲遲未開啟內部審查程序。前美國國稅局律師Miles Fuller表示,該加密稅收規則不太可能在2024年生效,因為提出、收集公眾意見并最終實施新的稅收規則是一個通常需要幾個月甚至更長的過程,可能會延長到明年。

Coinbase稅務律師Zlatkin表示,期盼這些規則將于2024年1月1日生效是不現實的,這不僅是行業適應和遵守的問題,而且是國稅局讓系統做好吸收和分析大量新數據的準備的問題。[2023/8/8 21:30:33]

B合約可以根據A合約公開的代碼來調用A合約、改變A合約的狀態;調用B合約的C合約也可以間接地調用A合約、改變A合約的狀態……由此,一個狀態,雖然保存在A合約里,但其控制邏輯,可以如此重重疊疊不斷累加;如果把狀態理解為資產,這等于是讓資產的使用權可以不斷得到更嚴格、更復雜的控制;這意味著,從理論上來說,一個狀態的更新邏輯能夠無限接近于現實生活中的金融合約。這種允許累加任意多層的控制的屬性,才是最關鍵的,而怎么編程這種控制,反而是次要的。

此外,以太坊還允許用戶給區塊鏈寫入狀態,使這些狀態成為全局狀態的一部分,并要求節點按照合約自定義的邏輯來更新狀態。由此,一個合約能夠把自身的狀態向以太坊上的所有其它賬戶公開,前述的富狀態性真正有了用武之地。

沒錯,現在我們已經像收集龍珠那樣集齊了三種屬性:

鏈上計算范式:合約可以要求節點按自己定義的邏輯來執行計算;

全局狀態:合約的狀態可以成為全局狀態的一部分,向所有其他賬戶公開;

富狀態性:合約之間可以相互調用,且棧層數量沒有限制,因此控制邏輯可以層層累加;

現在我們可以召喚出以太坊的最強之矛了:“可組合性”!

鏈上計算方式使我們可以擁有各式各樣的合約;全局狀態讓這些合約可以相互訪問彼此的狀態;富狀態性讓合約的組合方式可以無限多樣。所以我們不僅可以擁有穩定幣DAI,還可以擁有借貸市場,還可以擁有彩票應用,還可以擁有把彩票的收益自動捐獻的應用,還可以擁有在不同的借貸市場間自動再平衡儲蓄比例的應用……

869 BTC從Binance轉移到未知錢包:金色財經報道,數據顯示,北京時間7月11日下午12:09,869 BTC (價值約26,533,315美元) 從Binance轉移到未知錢包。[2023/7/11 10:47:49]

狀態數據爆炸問題

“可組合性”太美好了,以至于不像是真的,對嗎?沒錯,上述三種屬性的三位一體,實際上是一把雙刃劍。

以太坊的狀態轉換過程可以抽象為:狀態轉換函數以舊的狀態和事務列表為輸入,輸出新的狀態。這意味著,以太坊的全驗證節點必須在本地維護著以太坊區塊鏈的最新狀態,以便能執行狀態函數并以結果來驗證一個區塊的有效性。

矛盾之處在于:對于合約及開發者來說,合約的狀態作為以太坊全局狀態的一部分,保存在以太坊的節點上,合約的狀態更新由以太坊節點來計算,這種“無服務器”的架構非常舒服;但是,這些狀態只要一次付費就會永久保存在以太坊的全驗證節點中,雖然每次更新都需要付費,但無法避免節點本地保存的狀態數據會不斷累積、膨脹。

狀態數據的膨脹之所以是一個問題,在于它會為全驗證節點帶來越來越高的硬盤讀寫負擔。狀態數據不像區塊數據,區塊數據是靜態的,持久化保存后并不需要頻繁讀寫;但狀態數據每多一個區塊就要讀寫許多次;而隨著狀態數據量的增大,讀寫的負擔也會越來越重。在過去幾年中,我們時常聽到有人說以太坊的全節點難以部署,一大原因即在于此。前一段時間Infura的免費以太坊節點服務崩潰?4,導致許多依賴Infura的服務崩潰,算是給大家鳴響了一個警鐘——原來以太坊的節點維護如此不易,讓大家寧愿選擇信任他人。

這個問題也并不容易解決。在過去幾年中,以太坊的多次硬分叉升級都提高了訪問狀態的操作碼的Gas消耗量,正是為了以經濟代價遏制合約創建新的狀態。但這顯然只是治標的辦法,因為根本上邏輯并沒有變,狀態數據要持續存留在以太坊節點處,但創造狀態數據的用戶只需付一次費。也有人提出,為改變這一點,需要引入某種“狀態租金”機制,要求保存了狀態的合約不斷支付租金,否則就終止該合約的可用性。但是,這種機制存在難以想象的復雜度,一方面,難以確定合理的收取租金的方法,另一方面,也難以確定合理的支付對象。所以狀態租金機制的研究在2019年也停滯了?5。還有項目嘗試以持幣量的多少來界定可用的狀態空間大小,因此狀態數據的大小將總是有上限的,這就避免了狀態膨脹問題,但這也改變了原生資產的經濟屬性。

研究:2023年市值前1000加密項目中35.8%未在其網站上發表任何文章:金色財經報道,據GuerrillaBuzz研究發現,2023年,市值排名前1000的加密貨幣項目中,有35.8%的項目沒有在其網站上發表任何文章,只有49.7%發表了2篇以上的文章。排名前1000的加密項目中有84.8%在Medium上托管他們的博客,只有10.4%的項目在其主域上有博客,4.7%的項目沒有任何類型的博客。[2023/5/5 14:44:42]

到目前為止,除了“無狀態性”,我沒有看到令人滿意的、從根本上解決這個問題的方法,而“無狀態性”,我們現實地說,也面臨許多挑戰。這個我們后文再說。

總而言之,全局狀態、鏈上計算和富狀態性,既使以太坊上的合約獲得了可組合性,也使以太坊的網絡有陷于中心化的危險;就像小說《指環王》中的魔戒,既能召喚強大的力量,也可能吞噬使用者自己。我擔心以太坊還要承受這樣的重負很久。

接下來,我們以“狀態”視角,來理解諸種可擴展性方案的設計和權衡。

三.以太坊的發展方向

在此章節中,我們會分析四種以太坊的發展方向:Layer-2方案、分片、無狀態性和Rollup方案。這個分類是完全不合理的,因為rollup是Layer-2方案的子集;而無狀態性是分片的前置技術;甚至于,將它們并列也是不合理的,因為Layer-2方案幾乎不需要改動以太坊的底層,而分片和無狀態性則有這樣的要求。這樣做只是為了敘述和認識的方便。

Layer-2方案

Layer-2方案背后的理念來源于一種簡單但非常精準的直覺:以太坊之所以會面臨吞吐量的瓶頸,是因為組成以太坊網絡的節點的帶寬、計算能力和維護狀態數據的能力都是有限的,而且很難提高;單純要求整個網絡的節點在單位時間內處理更多的交易,節點的運行要求必然上升,這就損及了去中心化;但是,從使用的角度看,并不需要讓所有的狀態都放在以太坊上,也不需要讓所有的狀態計算都在以太坊上發生;我們可以把一個合約的中間狀態都保存在別的地方,用戶的交互也不在以太坊區塊鏈上發生;僅當用戶認為有必要結算某個狀態時,再將該狀態發送到以太坊上,由以太坊來加以確認。

一句話:如果我們沒法讓網絡在單位時間內對更多的事務達成共識,那就提高單筆事務的內涵。

Aura Network主網The Xstaxy將于3月20日21時正式啟動:2月22日消息,Cosmos生態NFT區塊鏈Aura Network主網The Xstaxy將于3月20日21時正式啟動,經過了超15個月的持續開發以及穩定的測試和產品優化。隨著主網的激活,Aura Network將自己定位為第一個獲得許可的智能合約layer-1鏈,推動在Cosmos生態系統中大規模采用NFT。

主網開發的一些重要關鍵更新包括:生態系統擴展、Token遷移到主網、招募額外驗證程序、伙伴關系和社區發展等。[2023/2/22 12:21:27]

經典的Layer-2方案“狀態通道”最徹底地體現了這種思想:當參與一個通道的兩個用戶將資金鎖入合約后,此后兩人之間的交易都不會發到鏈上,他們彼此之間使用其他通訊工具來交流簽名消息,并以此達成彼此對通道內狀態的共識;直到兩人認為不再需要交互了,就把共同認可的狀態及兩人的簽名發送到以太坊上,以太坊這才更新該合約的狀態,并根據此狀態為兩人結算資金。

如果你把Layer-2方案當成合約的一種設計模式,你會更清楚地看到——?Layer-2方案選擇了不去利用全局狀態。另一個合約并不能實時地知道某個Layer-2合約內部到底是什么狀態,因為這些狀態并不在鏈上,也因此,一個Layer-2合約就無法與其它合約相組合了。

雖然如此,Layer-2方案也換來了極有價值的東西:更快的交易速度、更低的手續費、更小的主鏈節點負擔。

但Layer-2方案為什么在過去幾年中都沒有結出果實呢?因為在Rollup方案出現以前,其他方案,包括狀態通道和Plasma,都沒法證明鎖入自己合約的資金與鎖入帶狀態合約中的同樣安全。在狀態通道方案中,如果你沒有時刻監控區塊鏈,你的交易對手可以通過向主鏈提交舊的狀態,來“盜”走你的錢;在Plasma方案中,往往你需要依賴于運營者來為你提供自己狀態的證明,因此它對運營者本身是很難設防的。

這跟以太坊主網帶狀態合約的使用體驗完全不同。除去合約的代碼風險,你存入合約的錢,如非有人發動51%攻擊取消你的所得交易,否則不會被盜;除非有人一直通過51%攻擊來審查你的交易,否則你必定可以將自己的資金取出。

分片

過去24小時全網爆倉5.1億美元,被爆倉人數達154,076人:金色財經消息,據coinglass最新數據顯示,過去24小時全網爆倉5.1億美元。其中比特幣爆倉達1.68億美元,以太坊爆倉達2.2億美元。另外數據顯示,近24小時全網有154,076人被爆倉。[2022/6/16 4:30:34]

另一種改進以太坊、提高以太坊吞吐量的直覺是:以太坊的吞吐量有限,源于每個全節點都必須處理所有鏈上交易;如果我們可以讓每個節點只處理一部分交易,不同組的節點分別處理不同的交易,那么整個系統在單位時間內的吞吐量就等于這幾組節點的單組處理量的總和;即,單個節點的負擔并沒有增加,但整個系統的吞吐量提高了。這就是所謂的“分片”。

關于分片化架構,一個有趣的問題是其確切定義。在經典的、非分片化的區塊鏈架構中,全節點必須重復所有計算;維護所有狀態;傳播所有區塊/交易。有人認為,只需打破一者,就算是分片化的了;但從更嚴格的視角看,必須打破所有三者,才能達到理論所推導的吞吐量提升效果?6。取不同的定義,帶來的效果也很不同。此處,我所采取的定義是,一個節點至少無需維護整個系統所有的狀態。

但另一個更有趣的問題是,假使分片架構所要求的前置技術都能實現,這一架構能有多大的意義。

在以太坊基金會的研究團隊所構想的分片架構中,整個系統的狀態被分割成了幾個部分,各部分是并行更新的,也就是說,一個分片并不能實時地了解另一個分片的內部狀態。當位于分片A的合約A'嘗試調用分片B上的合約B'時,并不能假設處理者擁有分片B的狀態,也因此,處理的結果必須等待分片B完成狀態更新后才能返回。由此,跨分片的交易必須忍受事務處理中最難以忍受的代價:時延。關鍵在于,此種時延是不能用貨幣代價來加以抽象的。因為分片B也并不知道分片A上發生了一筆需要調用自身的交易,因此只能等待一個可信的通信層為自己播報這條交易。

單位時間內能夠創造的價值越高,時延越不可忍受;而這意味著,假設有某個DeFi應用集中的分片,這些應用根本不會通過跨分片的交易來調度其它分片上的處理能力,因為這根本沒有意義,滿足不了DeFi應用對時延的要求。同樣,這也意味著,這個DeFi應用集聚的分片,其單分片處理能力就是其處理能力上限。在深山老林里造房子和修路,解決不了大都市里人們的生活空間問題。

無狀態性

無狀態性是唯一直面了狀態數據膨脹問題的升級方向?7。

在當前的以太坊協議中,交易自身并不攜帶自身所訪問的狀態的信息,正是因此,處理交易的節點才必須維護狀態數據,作為執行狀態轉換函數的前置條件。也正因此,狀態數據的膨脹才是一個問題。

而無狀態性的關鍵,正是讓交易/區塊自身附帶所訪問狀態的信息,因此,一個區塊僅憑自身就是可驗證的,無需處理交易的節點具有狀態。

實際上,無狀態性是通過改變以太坊區塊的結構,改變以太坊區塊的驗證方式。無需維護狀態數據,也就免去了讀寫硬盤的需要,區塊驗證的速度也可以更快。此外,各節點既可以完全不維護狀態數據,也可以根據自己的需要,維護某些合約的狀態數據。

但是,誠實地說,無狀態性目前還面臨許許多多的設計挑戰。具體來說:無狀態性要求為區塊/交易附加所訪問狀態的證明,這部分數據的規模可能非常大,以太坊當前的區塊數據大小大概是20~40KB,但witness數據的大小可能在MB級別;只有維護了所有狀態的節點才能組裝出witness,那么誰來為普通用戶提供狀態呢?;如何為交易的gas消耗量定價?尤其因為witness有時效性,并不能根據操作碼來確定組裝witness耗費了多少計算量。

正是因為這些困難,以太坊的全節點可能還必須在這種維護所有狀態的模式中運行很久。但是,無狀態性絕對是當前對以太坊協議的改進中,最激動人心的方向。因為它直面了以太坊的核心問題,并嘗試釜底抽薪地解決這個問題。另外,對狀態數據在以太坊協議中的使用的研究,也滋養著其他的研究方向,如同步方法?8。

我有偏見地相信,以太坊的未來即使不是無狀態性,也是得到無狀態性啟發的某種方案。

Rollup方案

Rollup方案是一種Layer-2方案,其特殊之處在于,它會將每一次狀態更新所用到的交易,都在以太坊區塊鏈上發布出來。

與其他Layer-2方案一樣,Rollup方案也把狀態存在鏈下,也不要求以太坊的節點來計算合約的新狀態;但是,把會更改這個合約狀態的交易,都作為數據發布出來,這意味著,任意第三方,都可以憑借這些公開的數據和公開的規則,計算出該合約的狀態。

前面說到,當Lyaer-2合約選擇了把狀態計算移到以太坊鏈外,并遮蔽了自己的合約狀態,它就給用戶引入了風險:用戶并不知道,Layer-2合約的運營者會不會把一個無效的狀態發到鏈上交由區塊鏈來敲定,如果運營者能夠這樣做,那就等于是能直接盜取用戶的資金;此外,用戶也不知道Layer-2合約的運營者會不是審查自己的交易,從而凍結自己的資金。

資金被盜問題有兩種解決思路,一是保證每一次狀態轉換都是有效的,也即是每一次要更新合約的狀態根時,都讓以太坊來執行一次對計算完整性的驗證程序,只有驗證通過了,才允許合約更新狀態根,這就是zk-rollup的思路;另一種思路是,要求人們在請求更新合約狀態根時,都附帶押金,如果所提交的狀態根是無效的,檢舉此狀態根的人可以獲得原提交者的押金,這就是optimistic-rollup。但后面這種思路有個前提條件:檢舉人必須有辦法獲得該次狀態轉換前的狀態,否則無以生成該次轉換的錯誤性證明。

資金被鎖問題的解決思路只有一種:盡可能弱化“運營者”的概念,使得誰都能向以太坊提交交易來更新該Layer-2合約的狀態。但這又回到了那個問題:如果提交者沒有該合約的狀態,怎么證明自己的狀態訪問的有效性,讓合約放行呢?

終于,Rollup方案用“在每一次狀態轉換時都發表匹配的交易數據”解決了這個問題。由此,Rollup合約雖然沒有把狀態公開在鏈上,但是任何人——也包括rollup合約的用戶——都能根據這些公開的交易包重建出一個rollup合約的內部狀態。這意味著,假使設計得當,rollup合約內的資金,與以太坊區塊鏈上保存了狀態的合約,可以是同樣安全的!

以zk-rollup為例,鏈上驗證程序保證了一個rollup合約不可能更新一個錯誤的狀態根,就像如果沒有你的允許,MakerDAO也不能沒收你的DAI;同時,假設它也公開了計算完整性的構造方法,則你隨時可以在鏈上直接向合約發起狀態轉換,來取出自己的錢。這就跟普通的、帶狀態的合約完全一樣了:如果沒有51%攻擊,就無法回滾rollup合約的狀態;如果沒有持續的51%攻擊,就無法阻止你取回自己的錢。

Optimistic-rollup依賴于一些密碼經濟學的假設,因此稍弱一些:除了51%攻擊回滾狀態以外,攻擊者還可以通過持續一段時間的51%審查攻擊來給合約注入錯誤狀態根;或者可以賭一把,賭所有計算出了該合約最新狀態的人都不會觀察到錯誤。但Optimistic-rollup同樣能提供很強的免托管性,你也能隨時取回自己的錢。

換言之,如果用戶愿意把錢存進一個有狀態的合約,那就沒有理由不愿意存進rollup合約。有了zk-rollup,layer-2方案已經能為用戶提供以太坊區塊鏈上合約所能提供的最大程度的資金安全了。顯然,也只有做到這份上,才有可能獲得大規模采用。

所有的Layer-2方案都可以視為一種趨向無狀態性的折衷:Layer-2方案本身是無狀態的,其內部狀態再復雜,都不會增加以太坊節點的負擔;同時,更新Layer-2合約時,以太坊扮演的角色更多是驗證,即驗證狀態根更新是有效的,而不是自己去計算出這個狀態根。但是,到了rollup時代,Layer-2方案才證明了自己可以和帶狀態的合約一樣安全,其承諾這才有可能化為現實。

四.結語

綜上,在本文中,我解釋了以太坊的“可組合性”的來源,以及各種受到熱議的可擴展性方案是否犧牲了這種可組合性,又換來了什么。讀者可能會注意到,我在推理和評價的時候,相當重視“我們已經實現了什么/得到了什么”“人們的行為表明他們需要什么”。不錯,我正是從這個角度出發,來解釋rollup方案的魅力的。在我看來,這樣一種思維傾向,能使我們的思考的起點更加可靠,免于臆測用戶的需要,亦免于投入建設空中樓閣。

在歷史的流轉中,我看到人們在可選的東西中選了某些東西,這就使我不得不認為,這些東西是重要的;而如果某些技術,既沒有增加人們可選的東西,又犧牲了人們實際上選擇了的東西,那就沒有理由對這些技術懷有信心。

Tags:以太坊LAYERROLLROL以太坊和瑞波幣在中國合法嗎PlayersOnlyroll幣能出泰沙拉克嗎BankRoll

火幣APP下載
OIN:IPFS官方帶你回顧2020年的Filecoin_Metahub Coin

在我們歡迎2021年的最后幾個小時里,我們花一點時間回顧一下2020年Filecoin社區和網絡所取得的成就.

1900/1/1 0:00:00
比特幣:橙橙說幣 30000一步之遙 日內繼續看漲?_CER

????不定的不是路,是心,左右徘徊缺的不是理由,是勇氣,心若不停,必須堅強!上下波動的不是價格,是行情,抓得住的是利潤,抓不住的未必全是虧損.

1900/1/1 0:00:00
BIT:宸浩論幣 以太坊短線回調趨勢依舊未變 晚間關注下方支撐情況不破繼續看反彈_InvestDigital

宸浩論幣:以太坊短線回調趨勢依舊未變,晚間關注下方支撐情況不破繼續看反彈!下午的行情也是在上方突破了以后,短線回調了一波,有關注宸浩布局的朋友都是可以看到的,近期宸浩一直都是多單的布局的.

1900/1/1 0:00:00
CRY:鏈博科技朱清、李征光新書入選四川省重點出版規劃項目_CRYP

添加微信號ChainboardTech,免費預約新書!12月30日,四川省新聞出版局公布了四川省2020-2021年度重點出版規劃項目名單.

1900/1/1 0:00:00
比特幣:馬校長論幣:2021大餅三萬啟航_LID

前言: 比特幣在2020年最后一日再次大幅上行,距離30000美金只是一步之遙;市場強弱格局再次體現,主流幣紛紛滯漲.

1900/1/1 0:00:00
加密貨幣:央視財經微 博再次報道比特幣價格創歷史新高_BTC

央視財經微博再次報道比特幣價格創歷史新高 韭菜幣圈區塊鏈?今天 機構分析師:上調明年油價預測但前景受到變異病打擊機構調查顯示,油價在2021年不太可能大幅回升.

1900/1/1 0:00:00
ads