比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

Phase one and done:Eth2 作為數據可用性引擎_ALPH

Author:

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

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

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

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

Opside已上線Pre-alpha激勵測試網,預計將運行大約三個月:5月24日消息,去中心化ZK Raas平臺Opside宣布,已上線Pre-alpha激勵測試網,預計將運行大約三個月,鼓勵PoS驗證者、PoW礦工、開發人員和所有最終用戶的廣泛參與。Opside旨在通過該測試網測試和完善以下功能:1.混合PoS和PoW共識機制的集成與有效性;2.成功適應并與ETH2.0共識模型保持一致;3.ZK-Rollup執行環境的操作性能和靈活性;4.實施各種策略,以實現不同層和ZK-Rollups之間順利和安全的資產轉移;5.代幣經濟學模型的實際應用。[2023/5/24 15:22:33]

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

zkSync更新路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑時間至明年Q1至Q2:12月14日消息,基于ZKRollup的以太坊二層網絡zkSync宣布將推遲路線圖中Fair Onboarding Alpha和Full Launch Alpha里程碑的發布。zkSync表示,在10月達到BabyAlpha里程碑時,預計將在2022年第四季度達到Fair Onboarding Alpha,并在2023年第一季度達到Full Launch Alpha。為了給正在進行的安全審計騰出時間將推遲發布,預期其安全審計將在2023年1月之前完成,預計Fair Onboarding Alpha里程碑將推遲至2023年第一季度,Full Launch Alpha將推遲至2023年第二季度。所有產品的發布日期都將取決于網絡準備情況,Fair Onboarding Alpha中將完全開源。[2022/12/14 21:43:33]

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

公鏈Phantasma遭到黑客攻擊,團隊將部署新的代幣合約:4月2日消息,公鏈Phantasma遭到黑客攻擊,黑客利用協議漏洞在BNBChain上額外鑄造了大量的KCAL與SOUL代幣。Phantasma團隊在Discord中表示,團隊在攻擊發生后的20分鐘內發現了此次攻擊并在30分鐘內關閉了跨鏈功能,但仍有50萬枚SOUL與2000萬枚KCAL從BNB Chain被跨鏈至以太坊且SOUL已被出售。團隊提醒用戶盡快將Pancakeswap以及Uniswap中的流動性撤出,團隊將會快照攻擊前的代幣份額并部署新的代幣合約并空投給用戶。[2022/4/2 14:00:26]

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

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

Step Hero Alpha版本將于明日上線:12月12日消息,P2E游戲一站式平臺Step Hero發推稱,Step Hero Alpha版本將于明日上線,將提供新的游戲內功能和獎勵機會。[2021/12/12 7:33:44]

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

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

Phala隱私協議第三次獲得波卡資助:據官方消息,基于Phala Network的DeFi隱私應用:Darkpool已經在Kusama議會通過財政提案,并已執行第一筆撥款給Phala團隊。截至目前,波卡已經為Phala的三個應用進行了撥款,分別是:Libra橋、Web3 Analytics、去中心化暗池協議。[2020/8/31]

那么,為什么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引入執行的原因。

原文鏈接:

https://ethresear.ch/t/phase-one-and-done-eth2-as-a-data-availability-engine/5269

作者:?CaseyDetrio

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

Tags:PHAETHALPHALPPHANTOMBabyETH V2AlphaDEX$ALPHA幣

狗狗幣最新價格
美國眾議院金融服務委員會主席建議撤銷貨幣監理署的加密貨幣相關指導_LIBRA

鏈聞消息,美國眾議院金融服務委員會主席MaxineWaters在給新任總統拜登的一封信中表示,建議撤銷或監督所有由美國貨幣監理署發布的加密貨幣相關指導,即允許國家銀行為穩定幣發行人持有準備金.

1900/1/1 0:00:00
持倉ORC,獲得USDT獎勵_ORC

親愛的大幣網(Dcoin)用戶:為回饋大幣網平臺用戶,大幣網特聯合ORC項目方舉辦活動,歡迎廣大用戶積極參與!活動對象:大幣網(Dcoin)全體用戶 活動時間: 第一期:2020/12/0623.

1900/1/1 0:00:00
世界區塊鏈大會·武漢丨Chainlink CEO:DeFi不只是加密貨幣資產_DEFI

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

1900/1/1 0:00:00
金財幣:12.4比特幣分析 加密貨幣步入國際主流,加速牛市進程_區塊鏈

比特幣自10月下旬以來,價格上漲主要發生在美國股市開盤時段。眾多傳統機構進入比特幣市場,帶來大量買入資金,帶動的市場熱情將市場價格拉高,比特幣市場機構化趨勢已經是事實,隨著越來越多的機構的發展與.

1900/1/1 0:00:00
世界區塊鏈大會·武漢 | WHALE中國社區負責人:打造有影響力的NFT社區有三點建議_數字資產

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

1900/1/1 0:00:00
一文讀懂AMPL原理和投資策略_BAS

最近一段時間,伴隨著BTC的震蕩橫盤,以太坊及其他主流幣種也處于類似行情,但是AMPL這個相對古老的幣種卻已經通脹了很多天.

1900/1/1 0:00:00
ads