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

狀態規模日益惡化?以太坊狀態規模管理諸提議_ROL

Author:

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

以太坊協議所面臨的一個最為長久且尚未解決的挑戰,就是由于狀態數據規模不斷增長而帶來的問題。以太坊區塊鏈上的許多操作(創建賬戶、寫入一個合約存儲槽、發送 ETH 到一個新的賬戶……)都會給以太坊添加狀態內容(也即是給狀態數據增加數據對象),而所有全節點都必須存儲全量的狀態數據,這樣才能驗證新區塊以及制造新區塊。這些操作只需事務的發送者一次性繳交按 gas 用量來計量的手續費,但會給整個網絡造成永久的持續性成本,因為節點需要存儲這些新數據(而未來加入的節點也需要在同步過程中下載這些數據)。

這是系統設計中的一個顯著的失衡,可能會讓以太坊系統變得越來越難用,因為狀態中充斥著不再有用處的 “垃圾數據”。本文的目的是詳細解釋問題產生的根源,以及一些解決該問題的方法。如果我們能實現某個解決方案,這將為安全地大幅提高區塊 Gas 上限 鋪平道路。

本文所論述的研究領域仍在推進中,隨時有可能出現更新、更好的想法和更優雅的權衡。

“狀態” 指的是節點若想處理新產生的區塊和事務就必須存有的信息。狀態與 “歷史” 完全不同,后者是關于過去時間的信息,節點可以保存這些信息以便日后重新廣播或歸檔,但并不是處理區塊鏈所必需的。

在以太坊協議中,狀態信息包括:

賬戶的 ETH 余額 和 nonce(流水號)

智能合約的代碼

智能合約的存儲項(storage)

與共識機制相關的數據(近期的區塊哈希值,叔塊;權益證明的共識數據還包括驗證者的公鑰以及及其記錄在信標鏈上的活動,等等)

歷史信息則由舊的區塊和收據組成。EVM 中沒有操作碼可以讓你訪問舊區塊、舊事務和內容和收據輸出,所以節點丟棄這些數據也仍然能驗證新區塊,所以這些是歷史信息。

上述狀態信息列表中的最后一項 —— 共識機制相關數據 —— 在設計上已經精心限制了其規模,因此我們不太需要為此困擾。但前面三項,就令人頭大了。這三類狀態信息的規模會隨著時間推移而不斷增大,因為不斷會有新用戶加入網絡,他們會創建新的賬戶、新的合約,還會加入合約、收到 token 什么的。

難辦的是,許多狀態用過之后就會靜靜地躺在那里(不會再被觸及);一旦某個用戶停用某個應用之后,就會產生一些 “垃圾狀態” —— 不會再派上用場,但會永遠存在那里。

理論上,用戶可以做到 “垃圾不落地”。用戶可以僅發布帶有 SELFDESTRUCT 條件的合約,等他們再也用不上這個合約的時候,就調用這個操作碼移除這個合約、清空其 token 余額;他們還可以使用智能合約錢包,通過一個已有的外部持有賬戶(EOA)來發送交易,而無需生成一個新的 EOA(EOA 狀態是沒法刪除的)。

Spruce:SIWE標準EIP-4361已從“草案”狀態變更為“審查”狀態:7月19日消息,數字身份認證公司Spruce發推稱,EIP-4361(使用以太坊登錄,簡稱SIWE)作為一項EIP已經從“草案(draft)”狀態變更為“審查(review)”狀態。這是將“使用以太坊登錄”作為廣泛采用標準向前邁進的一大步。

據悉,EIP-4361描述了使用簽名消息的現有Web2服務的身份驗證方法。用戶可以使用自己的私鑰(帶有相應的地址)進行身份驗證,而不是使用用戶名和密碼的組合。

此前消息,Spruce于2021年10月與以太坊基金會、ENS共同制定了SIWE標準EIP-4361 并于去年年底發布了EIP-4361的實現源代碼,并于今年5月發布其2.0版本。[2022/7/19 2:22:34]

但是在實踐中,這樣的激勵非常少,而適當的狀態清理的技術復雜性又太大了。在許多合約中,給任何人賦予這樣調用 SELFDESTRUCT 的權限都是不合適的(人們想要的就是 “無法終止” 的應用!),而且,也會給用戶體驗和代碼上也會增加很多復雜性。實際上,由于 SELFDESTRUCT 用處極其有限而副作用極大,我更傾向于永遠移除這個操作碼。如果我們真想控制狀態數據的規模,我們需要的是一個網絡中的節點可以 默認 丟棄不再被使用的 “垃圾狀態” 的方法。

這個問題的一類解決方案基于 “無狀態客戶端” 的觀念(此文是論述這個觀念的出處 ,此處是演講視頻)。

基本原理是,讓區塊驗證不再以持有全局狀態為前提。相反,區塊會自帶證據(或者叫 “見證數據(witness)”),證明其所訪問狀態的值。就跟現在的設計一樣,區塊內會包含一個 “狀態根(state root)”,所訪問的值可以對應著狀態根得到證明(譯者注:默克爾證明即是一種常見的證明技術)。以太坊現在的狀態樹方案(默克爾帕特里夏樹)支持這樣的證明技術,像二進制樹或者 Verkle Trie 這樣更高效的方案也可以。見證數據也會證明處理完該塊后新狀態根的正確性。

無狀態性有兩種形式:

弱無狀態性:出塊者仍然需要完整的狀態,以為(自己制造的)區塊生成見證數據;但驗證區塊的階段可以是無狀態的;

強無狀態性:沒有任何節點需要完整的轉臺。反過來,是交易發送者需要提供見證數據,而出塊者可以聚合這些數據。交易發送者自己負責存儲為所關切的賬戶生成見證數據所需的部分狀態樹。

數據:以太坊連續4天處于通縮狀態:11月1日消息,據歐科云鏈數據顯示,以太坊供應量在10月27日-31日連續4天處于通縮狀態,總供應量從117,457,744枚減少為117,449,172枚,4天內減少了8572枚。8月5日,以太坊實施EIP-1559提案,每筆交易用戶需要支付固定基礎費,基礎費全部銷毀。自該方案實施以來,以太坊已經銷毀了超過71萬枚,當前價值約30億美元。[2021/11/1 6:24:37]

強無狀態性是一個非常 “優雅” 的解決方案,因為它把責任完全轉移給了用戶,雖然為了保證實踐中的良好用戶體驗,我們需要創造某些類型的協議來幫助不運行個人節點的用戶維護狀態、并處理用戶需要與意料之外的賬戶交互的情形。打造這樣的協議非常難。

此外,所有類型的無狀態性都提高了網絡所需的數據帶寬;而強無狀態性還需要交易聲明其所交互的賬戶及存儲項的鍵(概念上這個叫做 “訪問列表”)。

更溫和的解決方案可以歸結為不同形式的 “狀態過期” 方案。必須持續得到訪問的狀態才能保持 “激活狀態”;而長期無人問津的狀態會變成 “失活”(或者叫 “過期的”)。具體用什么機制來更新狀態,有很多選擇(例如預付 “租金”,或者只需訪問那個狀態),但一般原則是,除非某個狀態對象被顯式地更新,否則就以某種形式處于失活狀態。因此,任何創建新狀態對象(以及更新已有狀態對象)的活動,都只能成為節點在一段時間內的負擔,而不像現在這樣變成永久負擔。

失活狀態,故名思義,就不是 “狀態” 的一部分;想要處理區塊或創建區塊的節點無需存儲失活狀態。不過,失活狀態不是被完全刪除了!在所有類型的狀態過期提案中,都預設了某種方法可以 “復活” 已經失活的狀態。

一般原則是,激活狀態的使用與當前相同,而失活狀態則需通過上述無狀態客戶端的機制來使用。復活一個過期狀態對象的事務需要提供一個證據(見證數據),來證明該對象是失活狀態的一部分。為了能夠生成這樣的證據,用戶自己需要存儲和維護至少一部分失活狀態(對應于其所關切的失活狀態對象的那部分)。

決定過期條件的設計也有很多種。最常見的幾種是:

直接租金:逐塊逐塊收取 “租金”,直接以每個賬戶(或其他狀態對象)的余額來支付;狀態對象的余額降到了零,該賬戶就過期了。

剩余存活時間值:每個狀態對象都存儲一個 ”剩余存活時間“ 值,這個值可以通過支付費用來增加

動態 | IOTA已發布Trinity錢包安全版本,但主網仍處于關閉狀態:IOTA基金會已發布Trinity錢包的安全版本,但主網仍然處于關閉狀態。小蔥此前提及,IOTA基金會因Trinity錢包用戶資金被盜而暫停網絡 。(Cryptopotato)[2020/2/17]

觸達即刷新:每個狀態對象都存儲一個 ”剩余存活時間“ 值,并且每逢讀取或寫入該賬戶都會增加該值

所有狀態對象定期過期(例如每 6 個月一次):也就是 ReGenesis 提案(中文譯本)

我自己越來越喜歡 ”觸達即刷新“ 方案,因為(1)它避免了應用需要創造復雜的經濟模型來讓用戶承擔狀態租金;以及(2)它保證了激活狀態的規模有一個清晰的上限(區塊 Gas 上限 / 觸達狀態對象的 Gas 消耗量 × 狀態存活的時長)。讓大量狀態按照規律的時間間隔過期的方案(也就是 ReGenesis)也有同樣的好處,但也有一些有趣的權衡:關鍵好處是,過期方案更簡單(無需遍歷整棵狀態樹而逐個逐個地滅活狀態對象),但關鍵不足是,跨過一個過期時點后,你再激活自己的狀態對象時,需要多少見證數據會跟你觸達狀態對象的時間點有關。

狀態過期的邏輯既可以運營到賬戶層面,也可以運用到單個存儲槽層面。當前,我強烈偏向于在存儲槽層面實現狀態過期方案。因為很多合約賬戶的存儲槽數量是不受限制的,任意用戶都能加入合約并增加合約名下的存儲槽的數量(例如,空投就是一個已經出現過的案例)。不管使用什么樣的賬戶層過期方案,想要實際限制狀態的規模,租金的數量都必須與合約內存儲槽的數量成比例(或者存活時間與之成反比)。結果是,用戶還是能夠僅支付一次性的費用就給合約及其用戶施加 永久的持續性成本。

要解決這個問題,合約要么加入復雜的內部邏輯,將存儲操的租金 “轉嫁” 給用戶,要么重新設計自己合約的模式,轉向使用 CREATE2 操作碼創建新的合約并使用這些合約來充當存儲槽。不管是哪種辦法,最后都會變成等價于存儲槽層面的過期方案。因此,我個人認為,我們應該僅在合約存儲槽層面實現狀態過期方案。

但是,存儲槽層面的過期方案也有自己的缺點:每個存儲槽都要增加一個元數據,指明它何時過期(或者說是否已經失活),這也意味著 “復活沖突問題”(詳見下文)不僅會影響賬戶,也會影響存儲槽。

從狀態樹上移除 vs. 給狀態樹安排一個 “退休” 部分

另一個區分不同狀態過期提議的技術角度是 “一樹流” 和 “二樹流”。也就是說,我們到底是像現在這樣,只有一棵狀態樹,只不過把某些狀態標記為過期;還是直接把失活的狀態從主狀態樹上移除,轉移到另一棵專門的(只包含過期狀態的)樹(或者其他數據)上?

聲音 | V神:以太坊2.0的無狀態模型可以增強安全性:據AMBcrypto消息,以太坊創始人V神表示,以太坊2.0的無狀態模型將增強安全性并減少時間消耗,同時將整體狀態和與此相關的其他問題最小化。此外,V神還介紹了無狀態模型目前面臨的問題,即在進行交易時,必須提交個人帳戶狀態的證明。在最新模型的提議下,將出現由誰提供證明或數據庫的難題。據此前消息,V神曾表示,將智能合約的存在方式更改為無狀態模型是以太坊區塊鏈擴容解決方案之一。[2019/11/25]

激活節點以白色標記,失活節點以灰色標記

注意,即使是樹上的中間節點,也會被標記為激活或者失火(或者,更現實一點的方案,每個節點都會帶有失活日期的標記,所以能夠容易檢查其活性);標記工作可以在狀態樹上的每個節點(葉子節點和中間節點)處完成。

白色的樹包含激活狀態;灰色的樹存儲失活狀態

一樹流的好處是,最起碼,其工作方式看起來會跟當前的狀態樹相似,失活和復活的流程也比較簡單:復活流程只需刷新樹上相關節點的 “過期日期” 參數,而失活則是自動化的。但它的缺點在于:它需要一種能夠在節點中以此種方式存儲過渡信息(intermediate information)的樹結構,而且不能很好地擴展到 Verkle 樹。此外,它還需要額外的默克爾證明元件,不僅要能夠下沉到葉子節點,還要能夠(在需要證明某部分狀態已經過期時)停在中間節點處。

二樹流的好處是:當前的、形式純粹的狀態累加器就能支持這類方案,而無需為每個節點增加元數據。缺點是,它需要對整個協議做一些更深層次的變更,而且需要一個顯式的流程來滅活狀態(所以過期不再是自動化的了)。另外,它也沒有為復活沖突兩難(見下一節)提供內置的解決方案,所以需要在兩種辦法中作出選擇。

注意,在二樹流中,存儲失活狀態的數據結構不是非樹不可。事實上,完全有可能出現這樣一種設計:需要復活一個狀態對象時,只需提供一個指向該對象失活時候收據的默克爾樹,再附上一些密碼學證據,證明此前該對象未被復活過(或者最近又重新過期),即可。

然后我們就到了狀態過期方案的一個關鍵難題上:“復活沖突”。復活沖突的概念如下。假設某個賬戶由地址 A 生成;這個賬戶過期了;然后,地址 A 又創建了一個新的賬戶(例如,使用 CREATE2 操作碼保證兩次生成的賬戶的地址時同一個);最后,地址 A 再嘗試復活那個最開始的賬戶。這時候會出現什么情況?

行情 | 數據顯示:四家交易所昨日 ETH 余額變化均為流出狀態:據 Searchain.io 數據顯示:截止今日 0 點,包含未公開的數據中,Bitfinex 的 ETH 余額最高。從余額變動來看,根據 Searchain.io 自有交易所標簽統計,除 Gemini 有少量 ETH 流入,其他交易所 ETH 余額均為流出。其中 OKEX 流出最多,為 1.1 萬 ETH,Bitfinex 和

Huobi 流出 1 萬 ETH 和 0.8 萬 ETH。[2018/9/19]

這里有幾種可能的解決方案:

顯式的 “賬戶合并” 流程:類似于規定 “除了兩個賬戶的 ETH 余額相累加以外,以舊賬戶的狀態為準”或者 “除了累加 ETH 之外,以新賬戶的狀態為準”;甚至于,可以由舊賬戶的合約代碼來規定特殊的合并流程

通過消除同一地址重復部署的功能來確保復活沖突不會發生:也就是調整 CREATE2 的功能,比如在最終哈希成地址的數據原像中包含當前時間,因此即使未來使用同樣的數據來生成,也無法得到同樣的地址

向狀態對象增加一個 “存根”,以防止在同一位置生成新賬戶(上述一樹流方法自動實現了這一功能)

要求生成新賬戶時都必須附帶該賬戶此前未過期的證明:某種意義上等價于存根方案,只不過這種辦法是把存根放在狀態的一個單獨部分中,所以任何想要創建合約賬戶的用戶都必須跟蹤這部分狀態

(注意,如果我們使用存儲槽過期方案,則上述任一解決方案都必須延伸到單個存儲槽層面,而不能止步于賬戶層)

主要的擔憂有:(1)會給應用增加很多復雜性,他們需要加入合并的邏輯;(2)這樣做了之后,除非在鏈上 “注冊” 一個地址,否則用戶就沒法再輕易獲得可以與之交互、可以積累資產(例如 ERC20 token)的地址了。未注冊的地址是很重要的:任何第一次收到 ETH 的用戶都是在使用一個尚未注冊的地址。這第 (2) 的擔憂的根源是:未注冊的地址實際上有了時間限制,如果用戶生成了一個地址、收到了資金,但在接下來一年里忘了發送交易(也就是忘了 “注冊”),那他的資金就會被鎖住。

注意,EOA 也不能幸免。雖然看起來能夠,因為 EOA 的合并流程比較簡單(只需把舊的 ETH 余額加到新的里,對 nonce 則有 EIP 169)這樣的方案。不過,這里也有兩個問題。首先,賬戶抽象的目標是用合約來替代 EOA,而賬戶抽象化的合約的合并流程可能并不簡單。其次,會受過期和復活事件影響的不僅有 EOA 本身,還有該 EOA 所參與的應用中的相關存儲建(例如 ERC20 token 余額),所以還是需要復雜的合并邏輯。

因此,從我的角度來看,破壞性最小的是某種形式的存根方案。不過,存根方案里存在一個信息理論問題,會導致一些奇怪的結果。為了防止新的狀態對象在 N 個已經過期的狀態對象位置處創建,一個覆蓋(cover)了這 N 個地址(以及/或者 存儲鍵)的集合必須是狀態的一部分。如果這個集合是信息最小化的(即,只包含了這些地址),那么這個集合的大小會是 O(N),因此其狀態規模也是 O(N);那么,激活狀態的規模就將與失活狀態的規模成比例,所以實際上我們并沒有解決這個問題。

解決這個問題的唯一辦法就是覆蓋超過那 N 個賬戶的信息;實際上,我們將不得不讓整棵樹都變得不可訪問(再次提醒,這就是一樹流解決方案的實質:如果兩個賬戶過期了,它們之間的所有空間都會隱式過期( if two accounts get expired, all the space in between them also implicitly gets expired))。

而這里還有一個問題:這產生了一種形式的 “樹發霉(tree rot)”,隨著時間推移,對于新帳戶的創建來說,狀態樹的所有部分都是不可訪問的,至少對那些沒有跟蹤該區域過期狀態的用戶來說是這樣的。

而樹發霉導致的次生問題也必須解決。舉個例子:如果一個合約要創建子合約,它必須能夠在要么未發霉,要么用戶具有見證數據的狀態區域創建合約(也許需要用戶提供的 “提示”)。數發霉問題的一個解決方案見此處:持續地開放狀態的新區域以供賬戶創建。另一種思路是每個用戶都選擇狀態的某些區域(例如狀態的 1/256),跟蹤該區域的變化(包括過期狀態)以便能創建見證消息,并且只在該區域創建帳戶。

樹發霉的另一個問題是,它需要一個顯式的數據結構來存儲和檢查范圍。如果一棵樹有能夠放在節點中、指明該節點以下的哪些部分已經過期的數據(就像一樹流解決方案所用的那樣),那是最好的,但一個鍵值對存儲要做到這一點還是相當有難度的。

在狀態過期方案中使用樹結構所產生的許多問題,都可以被追溯到這樣一個事實:我們需要對哪些狀態是活躍的、哪些狀態是失活的,達成共識。在二樹流模式中,這一點更加明顯;但即使是在一樹流模式中,狀態樹上也需要有顯式的標記,以便近期使用快速同步下載了狀態的以太坊節點能夠確定一筆嘗試訪問某個賬戶、但又沒有提供見證消息的交易,應該成功還是失敗。那我們能不能做到不需要明確這個區別呢?

如果我們實現了完全的無狀態性,然后能幫助交易發送者和區塊生產者可靠地獲得見證消息生成所需的狀態,不就解決這個問題了嗎?那什么辦法能幫助交易發送者和區塊生產者做到這些呢?

一種自然而然的辦法是:網絡中的節點都僅保存狀態樹的一部分,例如,在過去一年中訪問到的那部分。只需在客戶端設定中加入一個自愿的設定即可。如果我們想要更可靠一些,我們可以通過引入一種 proof of custody 方案,強制至少礦工(后面就是 PoS 的驗證者)存儲一些數據。

有一點需要注意:如果共識層不能感知哪些狀態是活躍的、哪些狀態是失活的,那訪問近期狀態和老舊狀態的 Gas 開銷就是一樣的。這會導致兩個結果:

訪問近期狀態的 Gas 開銷也需要進一步提高

包含了見證消息的區塊大小上限可能非常之大,如果一個區塊里滿是訪問老舊狀態的事務的話(大概是 800 bytes * 12.5 m gas / 2400 gas per access ~= 4.1 MB,已假設實行了 EIP-2929,轉成了二進制樹)

如果我們想避免這些不利因素,就需要在共識中跟蹤哪些狀態對象(包括尚未填滿的地址空間區域)是活躍狀態,這又會讓我們回到接近于狀態過期方案的屬性。這再一次地說明了,“無狀態性 vs. 狀態過期(狀態租金)” 是一條光譜,是一個復雜的權衡空間,而不是一個非此即彼的選擇。

Rollup 也需要,也可以,使用同樣的解決方案

以太坊的一種重要的中期可擴展性解決方案是 rollups(中文譯本)。不過,rollup 本身并非不再需要擔憂狀態數據規模問題;實際上,rollup 系統的狀態規模問題,與以太坊鏈本身的,性質完全相同。

幸運的是,如果我們能推出一種解決方案,則至少 EVM rollup(嘗試最大程度復制以太坊運行環境的 rollup 方案)能夠使用同樣的解決方案,來解決其內部狀態的規模問題。因此,狀態規模管理方案,與 rollup 和 分片等可擴展性方案是互補的(state size management is complementary to rollups, sharding and other scaling strategies)。

(譯者注:個人認為此處的 “互補”一詞有嚴重誤導性。)

狀態規模是一個日益惡化的問題,而狀態規模的解決方案也能為大幅提高區塊 Gas 上限鋪平道路。我們應該對某種形式的狀態過期方案達成共識并加以實現。不過,不同的解決方案之間存在重大技術權衡,尤其如果我們還想要保持當前設計的一些重要屬性的話。

一些我們可能需要犧牲的屬性包括:

用戶可以離線生成賬戶并以該地址接收資金、并且在使該地址在鏈上顯明之前可以靜默任意時長的屬性

地址保持 20 字節的長度(rolling state expansion 方案需要更大的地址空間,雖然地址的長度可能本來就需要為抗碰撞的緣故很快改變)

狀態可以被視為 “純粹的” 鍵值對存儲的屬性,以及無需在狀態樹上每個節點內存儲元數據的屬性

現有的應用需要程度不等的重寫,以保證用戶無需存儲全部失活狀態就能生成見證數據

Gas 消耗量;或者創建新合約、寫入新存儲槽的難度

我們如果已經準備好作出犧牲,有些方案可以很快開始著手實現。另一方面,也許假以時日,我們能修補或者更好地匯總這些觀念,減少問題,尤其是使它們在技術上更容易實現(例如,允許使用 “純粹的” 鍵值對存儲)。我們應該更深入地理解我們 更愿意/更不愿意 接受哪些方面的犧牲,并繼續積極研究改進提案。

作者:?Vitalik Buterin 翻譯:?阿劍?寫于 2021 年 2 月 12 日

Tags:以太坊ETHGASROL以太坊交易幣怎么交易beth幣值錢嗎GasgainsTROLLBNB

火必
細數十大身價超10億美元加密富豪 上市公司CEO、投資人紛紛上榜_COI

2020 年的資本市場,史無前例,或許也后無來者。十幾年一遇的科技資產泡沫,再加上 IPO 大年,讓 2020 年的全球資本市場誕生了一個個神話.

1900/1/1 0:00:00
春節過后NFT會迎來牛市嗎?如何評估 NFT 資產價值?_NBS

NFT 現在規模尚小,但增勢猛勁。截至今年 1 月 29 日的一周,NFT 的銷售量相當于 600 萬美元.

1900/1/1 0:00:00
未來商業銀行應該以 BTC 為中心?_穩定幣

在最近的一篇文章中,Coindesk的Nic Carter為比特幣銀行提出了一個非常好的理由。雖然我贊同他的觀點,認為比特幣未來將在革新傳統銀行業方面發揮作用,但我想從一個稍有不同的角度,即新興.

1900/1/1 0:00:00
情人節看展:快帶你的 TA 一起云欣賞數字藝術品吧_ADE

原文標題:《情人節看展|快帶你的 TA 一起云欣賞 SR 上價值最高的 15 件數字藝術品吧》隨著比特幣近日突破新高,在 2021 牛年伊始,牛市便開始蓬勃發展.

1900/1/1 0:00:00
首發 | 數字資產金融市場2020年終報告_比特幣

報告正文: 綜述: ? ?區塊鏈技術在金融領域成功落地在疫情沖擊全球經濟、各國央行全力救市的大背景下.

1900/1/1 0:00:00
金色 × Cobo:DeFi 科學家手把手教你“耕田”_DEF

DeFi 是區塊鏈在近期落地的一個重要方向,經過過去幾年的發展、以及去年的爆發,目前已成為加密生態系統中最前沿、最火熱的領域之一.

1900/1/1 0:00:00
ads