比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

PHA:觀點:Eth2作為數據可用性引擎

Author:

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

作者:?CaseyDetrio

翻譯&校對:?閔敏&阿劍

編者注:這篇文章的原標題為“PhaseOneandDone:eth2asadataavailabilityengine”,在發表當時,作者意在為Eth2.0提出一種替代Phase2的路線圖,也就是,如果僅用分片來保證數據可得性,這樣的系統是否有用,還需要增加哪些部分來使之變得有用。令人驚訝的是,在一年半以前,作者就已經認識到,對zk-rollup這樣的系統來說,底層必須保障的是“狀態轉換的執行和數據可得性必須是原子化地綁定在一起的”,因此底層必須具備執行能力,哪怕是非常簡單的無狀態執行;而且,為保證用戶體驗,還缺少的主要部分是數據怎么上分片的手續費支付協議。手續費協議在Phase2的規范中,目前也仍然是缺失的。

順帶說一句,本文作者是CaseyDetrio,他是Ewasm團隊的一員,之前也為Phase2提供過很多想法;他也認為,應該以“保證Eth1的合約到了Eth2能夠如常執行”為核心來設計Eth2.0。他是被低估的一個開發者。

觀點:元宇宙將深刻影響技術變革和產業變革:金色財經現場報道,由南京市建鄴區人民政府、中國產學研合作促進會、中國移動通信聯合會員宇宙產業工作委員會、南京信息工程大學主辦的“南京2023元宇宙應用共創大會”上,建鄴區委副書記姜宸在致辭中提到,元宇宙將深刻影響技術變革和產業變革,給現實世界帶來核裂變甚至是核聚變式的巨大變化。

元宇宙將成為建鄴數字經濟和實體經濟的橋梁,推動建鄴區數字經濟高質量發展,建鄴區也將為元宇宙企業入駐提供堅實基礎,包括資金支持、產業發展空間和創業服務,推動在包括游戲動漫、時尚消費、文化藝術和數字治理等多領域的元宇宙應用和發展。[2023/5/24 15:22:51]

目前,限制Eth1吞吐量的瓶頸是狀態增長。因此,如果我們想要擴展以太坊,從邏輯上來說,1000個具有獨立狀態的分片能夠將吞吐量提高1000倍。

但是,從Eth1.x的路線來看,Eth1.x想要對兩類資源的成本進行重大調整:存儲和交易數據。目前,存儲的定價過低,而交易數據的定價過高。這會激勵dApp開發者在編寫合約時更多使用存儲而非交易數據,從而導致存儲成為吞吐量的瓶頸。針對這一問題提出的解決方案是增加存儲的定價,并減少交易數據的定價。經過這些成本調整,開發者將受到激勵更多地使用交易數據,而非存儲。因此,在不久的將來,我們預期Eth1的吞吐量會受到交易數據的限制,而非存儲的限制。

觀點:美聯儲加息的沖擊可能會引發“債券市場閃崩”:金色財經報道,美國經濟一直在與通脹猖獗作斗爭,投資者熱切等待美聯儲宣布下個月的下一次聯邦基金利率上調。對沖基金Praetorian Capital的創始人Harris Kupperman認為,美聯儲加息的沖擊可能會引發“債券市場閃崩”或“炸毀財政部”。Kupperman稱“雪崩正在發生”,因為他認為美聯儲目前陷入困境,盡管言辭強硬,但他認為美聯儲需要轉向提高FFR。

此外,在悲觀的宏觀趨勢中,Fluid Finance的首席營銷官Jessica Walker表示,經濟不景氣和法定貨幣陷入困境揭示了加密貨幣的真正好處。[2022/10/24 16:36:39]

如果我們假設吞吐量受到交易數據的限制,那么為了擴展以太坊,Serenity上的分片不需要有狀態。如果吞吐量受到來自無狀態合約的交易數據的限制,那么1000個無狀態分片就會將吞吐量提高1000倍。

這聽起來不錯,但是需要通過分片來實現,按計劃要等到Phase2。與此同時,我們可以將Phase1作為數據可得性引擎。數據可得性引擎一詞似乎逐漸流行起來。我們來思考一下它是如何運作的。

觀點:得益于元宇宙,到2030年奢侈品牌NFT市場規模將達到560億美元:12月11日消息,BullPerks和GamesPad聯合創始人Constantin Kogan發文稱,NFT市場目前很火爆,未來預計只會越來越熱門。元宇宙的建立為奢侈品牌NFT打開了大門,摩根士丹利報告預計到2030年奢侈品牌NFT市場規模可能達到560億美元。隨著NFT的生產不斷創造出新的時尚消費形式,越來越多的高端品牌正跳上這列快速行駛的列車,并投資新的數字收藏品業務。隨著人們生活的更多方面轉向線上,未來幾年對數字時尚和商品的需求將顯著增加。(CoinDesk)[2021/12/12 7:33:27]

以zk-rollup為例,zk-rollup受到數據可得性的限制。Eth1上的zk-rollup合約能否有效地將Eth2作為橋接式可用性保障提供方?如果在執行過程中無法同時保障數據可得性,你就會得到一個類似plasma的zk-rollback系統。這個系統雖然能夠大幅提高TPS,但是會引入復雜的權衡關系,需要處理像plasma那樣的運營者挑戰和退出機制。在可用性挑戰中,任何人都可以提供數據來證明可用性,因此目前還不清楚將數據放入橋接的Eth2分片中能不能讓事情變得更簡單。

律師觀點:針對SEC訴Ripple一案,雙方達成和解是最有可能的結果:美國奧蘭多Hogan & Hogan律師事務所的律師Jeremy Hogan在一段YouTube視頻中講述了美國SEC起訴Ripple一案最有可能出現的情況。他就表示,根據美國法律,XRP作為一種證券的評估永遠不會有一個籠統的“決定”。這位律師認為,這正是我們在銷售XRP時看到的情況。隨著XRP的用例越來越多,XRP分類賬也越來越去中心化,XRP成為證券的可能性也越來越小。

和前SEC委員Joseph Grundfest一樣,Hogan也質疑SEC對Ripple采取行動的“真正動機”。他同意Ripple首席執行官Brad Garlinghouse的觀點,認為這起訴訟背后可能會對整個加密行業造成“攻擊”。此外,Hogan樂觀地認為XRP不會被列為證券。美國SEC“沒有要求法院聲明XRP是一種“證券”,盡管他們可以這樣做。此外,正如SEC之前的訴訟所顯示的那樣,Ripple與SEC達成和解是最有可能的結果。(Crypto News Flash)[2021/1/24 13:21:37]

現在有了另一個版本的zk-rollup,即,500TPS的zk-rollup,一切都變得簡單多了。不再需要指定的運營者,任何人隨時都能充當中繼者,并生成SNARK證明來更新狀態。事實上,數據可得性保障始終伴隨著狀態更新,也就是說不需要處理像plasma那樣的運營者挑戰和退出機制。但是這需要執行和數據可得性保障都發生在同一筆交易中,而遺憾的是我們無法使用橋接式可用性引擎做到這點。換言之,橋接對于zk-rollback這樣的欺詐證明系統來說足夠了,但是對zk-rollup這樣的有效性證明系統來說還不夠。結論是,為了將Layer2上的有效性證明簡單化,Layer1上的可用性引擎需要具備的一項重要功能是,能保證數據可得性與狀態轉換的執行是原子化地一起發生的。

觀點:鏈(區塊鏈)網(工業互聯網)協同勢在必行:澎湃新聞日前刊文稱,全球疫情仍未得到有效控制,為應對風險,國家也提出了“新基建”來拉動經濟增長,緩解全球經濟下行風險。區塊鏈作為信任機器,提供了一種安全、高效、可信的技術方法,為解決機構與機構、人與人、設備與設備之間的高效協作問題帶來機遇。因此,鏈(區塊鏈)網(工業互聯網)協同勢在必行。加快區塊鏈與工業互聯網深度融合,有利于實體經濟“降成本”“提效率”,構建“誠信產業環境”,推動我國經濟體系實現技術變革、組織變革和效率變革。[2020/4/1]

或許我們不應該對這一認識感到驚訝。如果單靠數據可得性就有用的話,就不會有人說Phase1啟動只是為了確保一堆非零blob的可用性,也就不會有人抱怨必須要等Eth2進入下一階段才能真正發揮作用了。我們正在努力將Phase1作為數據可得性引擎,但是它依然無法執行任何操作,因此令人感到失望。

那么,為什么Phase1會與執行相沖突?好吧,假設是有狀態執行,則每個分片都要維護一些本地狀態。如果驗證者需要維護很多本地狀態,那么驗證者混洗就會復雜得多。反之,如果沒有執行,就不用擔心本地狀態。驗證者混洗就會簡單得多,我們就可以專注于使用數據blob構建分片,然后更快地啟動分片。

但是,我們先不假設執行是有狀態的。如果我們嘗試使用非常簡單的無狀態虛擬機來執行操作會怎么樣?

假設信標鏈狀態中有3個新的驗證者字段:code、stateRoot和deployedShardId。這里還有一個函數process_deploy。一旦代碼部署完成,驗證者必須保證賬戶余額不低于某個閾值。

現在,我們假設全局狀態中已經有了一些帶有代碼的賬戶。

接下來,我們嘗試將特定數據blob打包到分片上,但是該怎么做?據我所知,對于phase1的分片驗證者來說,如何決定將哪些數據blob打包到分片區塊中仍是個懸而未決的問題。假設phase1規范中沒有詳細說明這一點。那么,對于用戶來說,如果他們想要將自己的數據blob打包到分片上,就只能通過兩種方式:聯系驗證者,并通過協議外的方式向其付款;自己成為驗證者,就可以將數據blob打包到分片上。這兩種方式都是下策。

比較好的方法是,將事情擺到臺面上,允許驗證者通過一個交易協議向當前區塊提議者支付費用。作為交換,區塊提議者要將驗證者的數據blob打包到分片鏈上。但是,如果信標鏈區塊操作有最小容量要求,這種方法就行不通了。如果沒有一個能夠讓驗證者決定數據blob打包優先級的交易協議,那么“將phase1作為數據可得性引擎”的用例將無法實現。不管怎么說,我們先假設,不管分片提議者在“沒有執行的數據可得性引擎”模式中如何打包數據blob,都可以在“簡單無狀態執行的數據可得性引擎”中都同樣能做到。

好了,那么假設特定的數據blob可以打包進區塊了。每個區塊都將執行限制在一筆交易中。我們還未明確交易要用密鑰簽署,還是不需要簽署。假設是后者,且代碼實現了自己的簽名檢查。如果blob能夠作為交易成功解碼,則以數據和當前狀態根作為輸入執行目標賬戶代碼。如果執行成功,則返回數據為新的狀態根。

我們如何更新驗證者賬戶的stateRoot?我們無法在每個分片區塊的BeaconState中更新狀態根。但是,信標鏈的狀態中的分片字段,會隨著交聯而更新。取同一個分片上所有賬戶的已更新狀態根,假設對它們進行哈希運算,得到shard_state_root。shard_state_root似乎與phase1設計中已有的crosslink_data_root差不多。

不可否認的是,不是每挖出一個信標鏈區塊,所有分片狀態根都會更新,因此存在一些本地狀態。但是,如果賬戶是全局的,狀態根數據就是最小化的。這就與混洗期間驗證者之間需要轉移部分分片區塊的數據差不多。

這里當然忽略了很多細節。我想要表達的是,無狀態執行的大部分要求似乎在phase1就能滿足。我認為,最大的問題在于,目前尚未明確用戶可以通過哪種方式將他們的blob打包上鏈。或許這只是第一個問題,還有其它嚴重的問題被我忽略了。我忽略了什么?如果要在phase1上允許用戶通過某種方式將blob打包上鏈,那么最困難的部分是什么?

這個執行模式相比phase2的提議更加簡單,一大原因是合約賬戶是全局的,就像驗證者賬戶一樣。這就意味著,合約賬戶的數量必須設有上限,而且部署代碼的成本與成為驗證者的成本一樣高。但是,如果這能夠讓我們更快地將執行引入Eth2,我們是否可以接受這種權衡?代碼部署后,就無法更改合約存儲,因此也可以說,我們這是在嘗試不擴展合約存儲而為Phase1提供執行功能。這里還有一大重要用例:具備數據可得性的超高吞吐量。

即使有了基礎的無狀態執行,用戶也可以通過將一個合約的狀態證明作為交易數據發送到另一個合約,從而實現跨分片合約調用。合約也可以實現自己的類似收據的功能。開發者體驗不是很好,因為協議不會提供任何幫助。但是現有的phase2提議似乎缺乏實際的功能來促進跨分片合約交互。因此,就開發者體驗而言,基礎的phase1無狀態執行聽起來沒有比“簡單的”phase2構想糟糕很多。基礎的無狀態執行也足以實現信標鏈上的BETH和主鏈上的ETH之間的雙向錨定。

Phase2提議與我們這里的提議的最大區別在于,Phase2的目標是擴展合約的storage。但是存儲,以及相應而來的富狀態執行,同樣似乎就是大多數復雜性的來源,也正是使我們無望在Phase1引入執行的原因。

Tags:PHAETHBLOROLLRipple Alphatether幣行情BlockMeshTROLL幣

以太坊價格今日行情
數字人:數字人民幣之父周小川:在任最久的央行行長

前言:2020年進入倒計時,這一年,各種突發事件和變革席卷全球,全世界都在面對百年未有之大變局。對數字經濟領域而言尤甚。央行數字貨幣、比特幣、區塊鏈……這些閃著光芒的詞匯頻頻出現在輿論熱議中.

1900/1/1 0:00:00
比特幣:從不看好到堅定持有,巨頭們的“比特幣世界觀”正在重塑

眾多跡象表明,2020年,已成為機構投資者采納比特幣的“分水嶺”。這一年,機構投資者對比特幣的態度已從早期的看不起,到積極學習,再到擁抱的巨大轉變.

1900/1/1 0:00:00
區塊鏈:圓桌論壇:區塊鏈推動數字經濟與實體經濟深度融合 | 世界區塊鏈大會·武漢

12月5日至6日,“相信未來--2020世界區塊鏈大會·武漢”在武漢國際會展中心正式開幕。大會由巴比特主辦,并得到了武漢市政府、江漢區政府、武漢市經信局、中國信通院等部門單位的大力支持.

1900/1/1 0:00:00
APP:Wrapped Filecoin來了,為Filecoin存儲市場帶來流動性入口

Filecoin自10月主網上線以來,已成為市場上最大的去中心化存儲項目之一。目前,加密托管提供商Anchorage正大力推動Filecoin從DeFi行業獲得流動性.

1900/1/1 0:00:00
YEA:8天合并5個項目,AC,我勸你“耗子尾汁”

原標題:《AC,我勸你“耗子尾汁”》12月1日,Yearn創始人AndreCronje宣布完成和SushiSwap的合并,這是Yearn在8天當中的第5項合并.

1900/1/1 0:00:00
數字貨幣:歐洲央行專家預測:數字歐元至少還要五年才能推出

歐洲各大銀行似乎沒有急于將歐元數字化,但考慮到全球競爭日益激烈,這種情況可能會改變。 幾位來自歐洲各大銀行的專家一致認為,甚至數字歐元的概念證明的完成也需要四五年時間.

1900/1/1 0:00:00
ads