觀點|以太坊狀態規模管理諸提議
從狀態樹上移除vs.給狀態樹安排一個“退休”部分
另一個區分不同狀態過期提議的技術角度是“一樹流”和“二樹流”。也就是說,我們到底是像現在這樣,只有一棵狀態樹,只不過把某些狀態標記為過期;還是直接把失活的狀態從主狀態樹上移除,轉移到另一棵專門的樹上?
一樹流
-激活節點以白色標記,失活節點以灰色標記-
注意,即使是樹上的中間節點,也會被標記為激活或者失火;標記工作可以在狀態樹上的每個節點處完成。
二樹流
-白色的樹包含激活狀態;灰色的樹存儲失活狀態-
一樹流的好處是,最起碼,其工作方式看起來會跟當前的狀態樹相似,失活和復活的流程也比較簡單:復活流程只需刷新樹上相關節點的“過期日期”參數,而失活則是自動化的。但它的缺點在于:它需要一種能夠在節點中以此種方式存儲過渡信息的樹結構,而且不能很好地擴展到Verkle樹。此外,它還需要額外的默克爾證明元件,不僅要能夠下沉到葉子節點,還要能夠停在中間節點處。
以太坊全網算力達到1,137TH/s,創歷史新高:2月22日消息,據glassnode數據顯示,以太坊全網算力達到1,137TH/s,創歷史新高。[2022/2/22 10:07:08]
二樹流的好處是:當前的、形式純粹的狀態累加器就能支持這類方案,而無需為每個節點增加元數據。缺點是,它需要對整個協議做一些更深層次的變更,而且需要一個顯式的流程來滅活狀態。另外,它也沒有為復活沖突兩難提供內置的解決方案,所以需要在兩種辦法中作出選擇。
注意,在二樹流中,存儲失活狀態的數據結構不是非樹不可。事實上,完全有可能出現這樣一種設計:需要復活一個狀態對象時,只需提供一個指向該對象失活時候收據的默克爾樹,再附上一些密碼學證據,證明此前該對象未被復活過,即可。
復活沖突
然后我們就到了狀態過期方案的一個關鍵難題上:“復活沖突”。復活沖突的概念如下。假設某個賬戶由地址A生成;這個賬戶過期了;然后,地址A又創建了一個新的賬戶;最后,地址A再嘗試復活那個最開始的賬戶。這時候會出現什么情況?
這里有幾種可能的解決方案:
以太坊開發者Evan Van Ness剛逢低進行了買入:以太坊開發者Evan Van Ness剛剛發推稱,他剛剛抄底了,可惜沒有太多資產可用來買入該抄底。[2020/11/26 22:12:29]
顯式的“賬戶合并”流程:類似于規定“除了兩個賬戶的ETH余額相累加以外,以舊賬戶的狀態為準”或者“除了累加ETH之外,以新賬戶的狀態為準”;甚至于,可以由舊賬戶的合約代碼來規定特殊的合并流程
通過消除同一地址重復部署的功能來確保復活沖突不會發生:也就是調整CREATE2的功能,比如在最終哈希成地址的數據原像中包含當前時間,因此即使未來使用同樣的數據來生成,也無法得到同樣的地址
向狀態對象增加一個“存根”,以防止在同一位置生成新賬戶
要求生成新賬戶時都必須附帶該賬戶此前未過期的證明:某種意義上等價于存根方案,只不過這種辦法是把存根放在狀態的一個單獨部分中,所以任何想要創建合約賬戶的用戶都必須跟蹤這部分狀態
主要的擔憂有:會給應用增加很多復雜性,他們需要加入合并的邏輯;這樣做了之后,除非在鏈上“注冊”一個地址,否則用戶就沒法再輕易獲得可以與之交互、可以積累資產的地址了。未注冊的地址是很重要的:任何第一次收到ETH的用戶都是在使用一個尚未注冊的地址。這第的擔憂的根源是:未注冊的地址實際上有了時間限制,如果用戶生成了一個地址、收到了資金,但在接下來一年里忘了發送交易,那他的資金就會被鎖住。
以太坊彩票平臺PoolTogether發布協議V3版本:金色財經報道,以太坊無損彩票平臺PoolTogether正在發布其協議的V3 版本。新版本增加了一些去中心化元素,包括創建新游戲的能力。據悉,該協議還將支持YFI和TUSD等代幣。[2020/10/23]
注意,EOA也不能幸免。雖然看起來能夠,因為EOA的合并流程比較簡單這樣的方案。不過,這里也有兩個問題。首先,賬戶抽象的目標是用合約來替代EOA,而賬戶抽象化的合約的合并流程可能并不簡單。其次,會受過期和復活事件影響的不僅有EOA本身,還有該EOA所參與的應用中的相關存儲鍵,所以還是需要復雜的合并邏輯。
因此,從我的角度來看,破壞性最小的是某種形式的存根方案。不過,存根方案里存在一個信息理論問題,會導致一些奇怪的結果。為了防止新的狀態對象在N個已經過期的狀態對象位置處創建,一個覆蓋了這N個地址的集合必須是狀態的一部分。如果這個集合是信息最小化的,那么這個集合的大小會是O(N),因此其狀態規模也是O(N);那么,激活狀態的規模就將與失活狀態的規模成比例,所以實際上我們并沒有解決這個問題。
以太坊全網算力約238,927.19GH/s 挖礦難度約3,241.73T:據以太坊鏈上數據顯示,當前以太坊全網算力約238,927.19GH/s,挖礦難度約3,241.73T。
ETH當前價格:$351.98
交易費Gas均價:68.00Gwei
未確認交易數:56531[2020/10/5]
Treerot
解決這個問題的唯一辦法就是覆蓋超過那N個賬戶的信息;實際上,我們將不得不讓整棵樹都變得不可訪問)。
而這里還有一個問題:這產生了一種形式的“樹發霉”,隨著時間推移,對于新帳戶的創建來說,狀態樹的所有部分都是不可訪問的,至少對那些沒有跟蹤該區域過期狀態的用戶來說是這樣的。
而樹發霉導致的次生問題也必須解決。舉個例子:如果一個合約要創建子合約,它必須能夠在要么未發霉,要么用戶具有見證數據的狀態區域創建合約。樹發霉問題的一個解決方案見此處:持續地開放狀態的新區域以供賬戶創建。另一種思路是每個用戶都選擇狀態的某些區域,跟蹤該區域的變化以便能創建見證消息,并且只在該區域創建帳戶。
至少六名以太坊社區會議EthCC參會成員感染新冠病:到目前為止,在本月初于巴黎舉行的以太坊社區會議EthCC上,至少有六人被證實感染了新型冠狀病。據悉,該會議于3月3日至3月5日舉行,出席人數眾多。許多與會者表示,他們已經對新型冠狀病進行了測試,目前尚不清楚總共感染多少人。(BeInCrypto)[2020/3/15]
樹發霉的另一個問題是,它需要一個顯式的數據結構來存儲和檢查范圍。如果一棵樹有能夠放在節點中、指明該節點以下的哪些部分已經過期的數據,那是最好的,但一個鍵值對存儲要做到這一點還是相當有難度的。
回頭再看強無狀態性
在狀態過期方案中使用樹結構所產生的許多問題,都可以被追溯到這樣一個事實:我們需要對哪些狀態是活躍的、哪些狀態是失活的,達成共識。在二樹流模式中,這一點更加明顯;但即使是在一樹流模式中,狀態樹上也需要有顯式的標記,以便近期使用快速同步下載了狀態的以太坊節點能夠確定一筆嘗試訪問某個賬戶、但又沒有提供見證消息的交易,應該成功還是失敗。那我們能不能做到不需要明確這個區別呢?
如果我們實現了完全的無狀態性,然后能幫助交易發送者和區塊生產者可靠地獲得見證消息生成所需的狀態,不就解決這個問題了嗎?那什么辦法能幫助交易發送者和區塊生產者做到這些呢?
一種自然而然的辦法是:網絡中的節點都僅保存狀態樹的一部分,例如,在過去一年中訪問到的那部分。只需在客戶端設定中加入一個自愿的設定即可。如果我們想要更可靠一些,我們可以通過引入一種proofofcustody方案,強制至少礦工存儲一些數據。
有一點需要注意:如果共識層不能感知哪些狀態是活躍的、哪些狀態是失活的,那訪問近期狀態和老舊狀態的Gas開銷就是一樣的。這會導致兩個結果:
訪問近期狀態的Gas開銷也需要進一步提高
包含了見證消息的區塊大小上限可能非常之大,如果一個區塊里滿是訪問老舊狀態的事務的話
如果我們想避免這些不利因素,就需要在共識中跟蹤哪些狀態對象是活躍狀態,這又會讓我們回到接近于狀態過期方案的屬性。這再一次地說明了,“無狀態性vs.狀態過期”是一條光譜,是一個復雜的權衡空間,而不是一個非此即彼的選擇。
Rollup也需要,也可以,使用同樣的解決方案
以太坊的一種重要的中期可擴展性解決方案是rollups。不過,rollup本身并非不再需要擔憂狀態數據規模問題;實際上,rollup系統的狀態規模問題,與以太坊鏈本身的,性質完全相同。
幸運的是,如果我們能推出一種解決方案,則至少EVMrollup能夠使用同樣的解決方案,來解決其內部狀態的規模問題。因此,狀態規模管理方案,與rollup和分片等可擴展性方案是互補的。
結論
狀態規模是一個日益惡化的問題,而狀態規模的解決方案也能為大幅提高區塊Gas上限鋪平道路。我們應該對某種形式的狀態過期方案達成共識并加以實現。不過,不同的解決方案之間存在重大技術權衡,尤其如果我們還想要保持當前設計的一些重要屬性的話。
一些我們可能需要犧牲的屬性包括:
用戶可以離線生成賬戶并以該地址接收資金、并且在使該地址在鏈上顯明之前可以靜默任意時長的屬性
地址保持20字節的長度
狀態可以被視為“純粹的”鍵值對存儲的屬性,以及無需在狀態樹上每個節點內存儲元數據的屬性
現有的應用需要程度不等的重寫,以保證用戶無需存儲全部失活狀態就能生成見證數據
Gas消耗量;或者創建新合約、寫入新存儲槽的難度
我們如果已經準備好作出犧牲,有些方案可以很快開始著手實現。另一方面,也許假以時日,我們能修補或者更好地匯總這些觀念,減少問題,尤其是使它們在技術上更容易實現。我們應該更深入地理解我們更愿意/更不愿意接受哪些方面的犧牲,并繼續積極研究改進提案。
原文鏈接:
https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/state_size_management
作者:?VitalikButerin
翻譯:?阿劍
尊敬的用戶: WBF將于2021年2月16日15:00在HotStar區開啟AIB愛的奇跡保值活動十一期;目標搶購額度:30萬AIB.
1900/1/1 0:00:00作者|秦曉峰?編輯|郝方舟出品?|?Odaily星球日報1月26日,持續了兩年的比特大陸內訌,以詹、吳二人和解畫上句號。僅僅沉寂了20天,吳忌寒的身影再次活躍,成功霸占了加密市場頭條.
1900/1/1 0:00:00鏈聞消息,波卡生態協議FractalProtocol宣布將于2月25日在Polkastarter推出社區公募,Polkastarter上每枚FCL代幣價格為0.10美元.
1900/1/1 0:00:00今年的春節,比特傻給出朋友各種新春祝福。給房地產圈的朋友說,新年快樂,預祝21年0.5倍收益。給股市的朋友說,新年快樂,預祝21年3倍收益。給PE圈的朋友說,新年快樂,預祝21年5倍收益.
1900/1/1 0:00:00吳說作者|ColinWu本期編輯|ColinWu2月16日500.com彩票網宣布,與比特小鹿的子公司BlockchainAlliance達成股份置換協議,收購BTC.com礦池業務.
1900/1/1 0:00:00Gate.ioDIS充值、凈買入大賽,贏$30,000美元大獎活動已圓滿結束,根據活動規則,我們已為符合規則的用戶發放了活動獎勵。用戶可進入“賬戶管理—我的資金—賬單明細”查詢獎勵發放情況.
1900/1/1 0:00:00