以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

以太坊狀態規模管理諸提議(下)_以太坊:以太坊幣在中國合法嗎

Author:

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

觀點|以太坊狀態規模管理諸提議

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

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

一樹流

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

注意,即使是樹上的中間節點,也會被標記為激活或者失火;標記工作可以在狀態樹上的每個節點處完成。

二樹流

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

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

以太坊網絡當前已銷毀239.91萬枚ETH:金色財經報道,據Ultrasound數據顯示,截止目前,以太坊網絡總共銷毀2,399,167.10枚ETH。其中,OpenSea銷毀230048.57枚ETH,ETHtransfers銷毀222858.11枚ETH,UniswapV2銷毀133171.25枚。注:自以太坊倫敦升級引入EIP-1559后,以太坊網絡會根據交易需求和區塊大小動態調整每筆交易的BaseFee,而這部分的費用將直接燃燒銷毀。[2022/6/4 4:02:26]

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

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

復活沖突

數據:ADA 24小時交易量一度超越以太坊位居第二位:1月17日消息,加密貨幣分析師Lark Davis今日在推特上援引Messari的數據表示,過去24小時內,Cardano(ADA)的交易量位居第二位,僅次于BTC。Cardano創始人Charles Hoskinson對此回應稱,這一切才剛剛開始。

截至發稿時,根據Messari的數據,Cardano過去24小時的交易量達70.2億美元,領先于以太坊(54.1億美元)。注:Messari最新數據顯示,ADA過去24小時交易量回落至53.1億美元,位居第三位。(U.Today)[2022/1/17 8:54:39]

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

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

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

以太坊未確認交易為118,964筆:金色財經消息,據OKLink數據顯示,以太坊未確認交易118,964筆,當前全網算力為331.33TH/s,全網難度為4.41P,當前持幣地址為53,661,323個,同比增加144,655個,24h鏈上交易量為3,468,880.46ETH,當前平均出塊時間為13s。[2021/1/28 14:15:58]

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

向狀態對象增加一個“存根”,以防止在同一位置生成新賬戶

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

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

以太坊2.0新測試網Spadina預計將于20:00啟動:據官網消息,以太坊2.0新測試網Spadina目前質押以太坊總量為32,768枚ETH,預計將于北京時間20:00啟動,

此前報道,新測試網SpadinaLaunchpad已激活。Spadina已達到1024個驗證節點門檻,9月26日開始與Medalla并行運行三天,以進行公開測試。[2020/9/29]

注意,EOA也不能幸免。雖然看起來能夠,因為EOA的合并流程比較簡單這樣的方案。不過,這里也有兩個問題。首先,賬戶抽象的目標是用合約來替代EOA,而賬戶抽象化的合約的合并流程可能并不簡單。其次,會受過期和復活事件影響的不僅有EOA本身,還有該EOA所參與的應用中的相關存儲鍵,所以還是需要復雜的合并邏輯。

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

動態 | 28款錢包承諾(或已經)集成以太坊域名服務ENS的多代幣支持功能:金色財經報道,10月16日,以太坊域名服務ENS宣布在主網上線多代幣支持,有15款合作的錢包承諾支持新功能。今日,ENS宣布,承諾支持或已經集成新功能的合作錢包的數量現已增至28款。[2019/10/30]

Treerot

解決這個問題的唯一辦法就是覆蓋超過那N個賬戶的信息;實際上,我們將不得不讓整棵樹都變得不可訪問)。

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

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

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

回頭再看強無狀態性

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

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

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

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

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

包含了見證消息的區塊大小上限可能非常之大,如果一個區塊里滿是訪問老舊狀態的事務的話

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

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

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

幸運的是,如果我們能推出一種解決方案,則至少EVMrollup能夠使用同樣的解決方案,來解決其內部狀態的規模問題。因此,狀態規模管理方案,與rollup和分片等可擴展性方案是互補的。

結論

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

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

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

地址保持20字節的長度

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

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

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

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

原文鏈接:

https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/state_size_management

作者:?VitalikButerin

翻譯:?阿劍

Tags:以太坊ETHROLLROL以太坊幣在中國合法嗎DSETHroll幣是什么意思HydroLink

狗狗幣價格
以太坊1.0 vs 以太坊2.0 vs幣安智能鏈,到底誰才是未來?_ETH:POW

雖然很多人看好以太坊2.0,看好POS共識,雖然幣安智能鏈很繁榮、火幣生態鏈也在前進中……但是,小蜜蜂仍然有一個顧慮。首先,小蜜蜂無意對平臺進行比較,只是借助比較來表達一個觀點.

1900/1/1 0:00:00
金色趨勢丨BTC大幅跳水 趨勢是否終結?_加密貨幣:LIBRA

在外圍利空消息面的刺激下,短短兩天不到的時間BTC價格出現大幅跳水,從58000美金上方一路跌至目前最低45000美金在回升,52萬人爆倉,爆倉量超過312,市場一片慘烈.

1900/1/1 0:00:00
中幣(ZB)市場研究員:MicroStrategy表示將買入更多比特幣_ETH:比特幣

昨天,微策略官網有報道稱,該公司將通過私募向合格機構買家出售2027年到期的9億美元可轉換優先債券。此次拍賣的收益約為8.79億美元.

1900/1/1 0:00:00
覓新|Flow:一條為游戲和NFT而生的公鏈_FLO:COI

《覓新》是金色財經推出的一檔區塊鏈項目觀察類項目,覆蓋行業各領域項目發展情況,具體設計到項目概況、技術進展、募資情況等,力圖為您呈現熱門新潮的項目合輯.

1900/1/1 0:00:00
美聯儲發話 道指再創新高 BTC突破52000美元 牛市女皇:看高到40萬美元_比特幣:WOO

當地時間周三,美股三大指數集體低開,收盤漲跌互現。道指漲0.29%,再創歷史新高,標普500指數跌0.03%,納指跌0.58%.

1900/1/1 0:00:00
春節薦讀 | 比特幣和商業周期_比特幣:ZB.com

春節薦讀|比特幣和商業周期 金色薦讀 剛剛 14 今天是大年初三,受新型肺炎疫情的影響,很多金色用戶都選擇就地過年,金色財經將7×24小時陪伴大家.

1900/1/1 0:00:00
ads