以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

NCE:探索以太坊前沿技術:四個擴容團隊聊 EOF、4844、模塊化和去中心化 Sequencer

Author:

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

來源:ZhixiongPan

在「以太坊上海升級峰會」活動中,我們邀請到了以太坊生態中,四個完全截然不同的擴容方案團隊,來聊聊以太坊的前沿技術。

特別是可能會在下次升級中包括的EOF和EIP-4844。另外,去中心化Sequencer和模塊化區塊鏈的敘事也是研究員比較關注的新方向。

這四個團隊有自己顯著的特點,比如專注零知識證明領域、專注WASM和動態擴容、專注Move語言和模塊化、專注泛用型存儲。除此之外,他們在其他的技術細節中也存在著大量的差異。

參與此次討論的分別是:

DorothyLiufromAltLayer

JolestarfromRoochNetwork

QiZhoufromEthStorage

YeZhangfromScroll

TLDR

EOF升級對應用開發者的影響較小,但對Rollup和zkEVM存在一些影響。對于EOF是否會進入下一階段的升級,可能還會有一定的爭議。

去中心化Sequencer的幾種方案:拜占庭容錯、MEV拍賣、共享Sequencer、VDF等。另外公平排序可能并不公平,需要針對應用采取不同的策略。

EIP-4844的目的并非擴容,而更多是為了實現未來Danksharding所需的一整套概念,包括Blob及其DataHash。提前實現這些概念,以便在實現Danksharding時無需進行合約升級。EIP-4844并不會比當前的以太坊數據上鏈方式帶來顯著改進,它們所帶來的帶寬基本上處于同一個量級。

對于模塊化區塊鏈大家有完全不同的視角:有人認為在胖應用時代,需要提供更多樣的選擇;有人認為應該借鑒成熟的計算機體系,但也有人認為不應該過度模塊化,以太坊才是最重要的數據層。

硬核學習資料

Flashbots:TheFutureofMEVisSUAVE

MEVAuctionbyOptimism

TarunChitra:OrderingSoFairItAin'tFairOrdering

Keone:EIP-4844AnalysisofOptimismandArbitrum

以下為討論的全文,因經過OpenAIWhisper轉譯,并通過GPT-4處理后形成,有部分調整和刪減。

話題一:EOF

ZhixiongPan:

以太坊對象格式原本計劃在上海升級中實現,但現在已經被推遲。EOF的本質是為以太坊的自字節碼提供一種前置的數據結構,有利于未來EVM的字節碼特性和智能合約的升級。

請問此次升級是否會對整個Layer2或Rollup生態產生更多影響?特別是Rollup生態本質上也會部署一些智能合約到以太坊Layer1上,那么這次升級是否會影響到Layer2相關的技術選擇和路徑?

DorothyLiu:

在AltLayer團隊看來,EOF并不是一個非常重要的創新。盡管它對EVM的分裝模式有重要的改進,但它對Solidity語言的編寫并無直接影響。因此,從應用開發和普通開發的角度來看,這個改變對他們的影響不大,甚至很多開發人員可能不了解這個事情,也不會造成問題。

然而,對于Rollup來說,影響非常大,因為Rollup本質上是以太坊的執行層。當以太坊發生改變時,Rollup也需要相應地進行調整。這個EOF的改變可能會對zkEVM產生更大的影響,因為zkEVM在技術難度上相對更高。它們在EVM兼容性分類中屬于Type-3,因此,在追求更高兼容性的過程中,他們需要付出更大的努力。甚至可能需要重寫或進行非常大的改變。

然而,對于我們這些做OptimisticRollup的項目,無論是使用WASM編寫還是使用EVM編寫,我們都是Type-1的兼容性,即完全與EVM兼容。因此,對我們來說,這個難度是很低的。盡管我們需要進行一定的修改,但難度相當低。另外,我們自己的生產證明都在WASM里面,所以對我們來說,實際影響并不大。

印度在擔任G20輪值主席國期間將探索禁止無擔保的加密貨幣:金色財經報道,印度周四表示,在其正在擔任的G20輪值主席國期間,他將優先制定一個無擔保加密資產、穩定幣和去中心化金融的全球監管框架,并將探索“禁止它們的可能性”,這對新生行業來說可能是一個巨大的挫折。

金色財經此前報道,印度央行發布《金融穩定報告》稱加密貨幣未能成為對沖通脹工具。[2022/12/30 22:15:43]

YeZhang:

首先,我認為EOF確實是一個重要的技術發展。之前有一個觀點認為,由于EVM核心升級較少,因此zkEVM不需要頻繁改動。但最近有了EOF,之后可能還會有其他升級對EVM的核心邏輯進行改動,這確實會對zkEVM產生影響。然而,目前來看,因為EOF是前向兼容的,所以對之前的合約仍具有一定的兼容性。至少對我們現有的合約以及開發者來說,直接影響較小。可能之后會有一些需要注意的地方,但至少對我們Layer1的合約來說,影響不會很大。在Layer2上,影響程度取決于我們對EOF的支持程度。我們肯定會稍微滯后一些,因為如果我們想要與Layer1的EVM完全一致,我們需要支持EOF。

實際上,我們在開發zkEVM時,已經關注到了EOF的核心升級,這比預想的要容易一些。因為我們在構建整個zkEVM時,采用了模塊化的設計,可以方便地更新Opcode。對于EOF來說,主要的改動是添加了一些版本控制和Opcode,我們只需要實現這些新的Opcode,并在版本控制方面做好相應的工作,例如在電路中添加一些標簽和變量。這些改動是在Opcode級別進行的,需要添加一些電路。另外,EOF還對字節碼部署進行了一些檢查,這會影響到zkEVM的一個子電路,即字節碼電路。在這個電路中,我們需要對輸入的哈希進行檢查,然后輸出相應的字節碼。如果需要在這個環節進行檢查,我們可能需要在該電路中添加一些約束。

總體來看,我認為改動是必要的,但不會達到需要徹底重構的程度。以太坊現在將zkEVM提到了一個非常重要的地位,他們自己也在引領一些關鍵的技術發展。我知道Vitalik和一些EIP核心團隊的成員也在關心zkEVM團隊的進展,包括與我們進行交流,了解這次升級對zkEVM帶來的影響。因為Layer1的每次升級都會帶來一定的風險,之前有觀點認為,每次升級可能是不可逆的。因此,我們希望Layer1盡可能穩定,結算層越穩定越好,這樣對應用程序和現有技術的影響也會越小。在Layer2上,我們可以進行各種創新。然而,如果Layer1確實需要改動,我認為Layer2也可以跟隨進行相應的調整,而且改動不會特別大。但我確信會有一定的延遲,因為我們需要實現這些改動,可能還需要進行審計。審計過程可能需要額外的時間來完成,因此我們總體上希望改動盡可能少。不過,我認為這些改動并不會對整個系統產生致命性的影響,不會導致嚴重的問題。

QiZhou:

關于EVMObjectFormat(EOF),我注意到以太坊社區在之前的討論中也涉及到很多相關話題。特別是在上海升級期間,我們可以看到以太坊對整個升級過程有一些不同的態度。例如,像Danksharding的創始人Dankrad就對EOF持有一定的質疑。他們認為,雖然EOF對開發者來說沒有太大的變化,但主要是改進合約的安全性。在這方面,他們覺得現在不是以太坊擴容的最重要階段。實際上,EOF只是整個擴容計劃中的一個非常小的部分,因此在這方面也產生了很大的爭議。

然而,為什么現在想要將EOF納入升級計劃呢?這是因為EOF已經提出了非常長的時間,可能已經有四五年的時間了,而在之前的內部討論中可能會有更長的時間。在對EOF進行分析之后,我們確實非常同意Dankrad的一些觀點。雖然EOF為整個以太坊合約帶來一定的安全性,比如取消動態跳轉這個相對比較危險的操作,但實際上,在大量的以太坊實踐操作和編寫合約過程中,編譯器已經把底層容易犯錯的問題避免掉了。因此,我們在最近幾年的開發過程中沒有遇到過類似跳轉導致的異常合約執行情況。

對于EOF是否會進入下一階段的升級,例如坎昆,由于考慮到它可能對以太坊的Layer2計算層產生一定的影響,我個人認為可能還會有一定的爭議。相較于我們接下來要討論的EIP-4844,關于EOF的觀點仍存在較多分歧。

Jolestar:

香港金融管理局探索使用區塊鏈技術為中小企業融資:金色財經報道,香港金融管理局 (HKMA) 和BIS創新中心啟動了Project Dynamo,旨在利用DeFi、區塊鏈和智能合約幫助中小型企業 (SME) 獲得更好的資金。他們打算探索對資金成本的影響,以及可用的資金池。[2022/9/16 7:01:47]

關于EVMObjectFormat,它主要帶來了兩個優化。首先,它將智能合約代碼的驗證前置,在部署時進行驗證。這對性能提升非常有效。目前,很多項目已經采用了這種方法,通過在部署階段進行代碼驗證。其次,EOF提供了一種擴展能力。雖然這次更新可能不會帶來很大的改動,但是一旦提供了這種擴展機制,未來可能會面臨很多擴展需求。這時候可能會面臨一個抉擇:是要創新的擴展還是兼容性。這實際上一直是所有軟件系統要面臨的一個困境。

通過這種方式,EOF實際上為未來的變化打開了大門。例如,為了實現某個Layer2特性,可以增加一個新版本并在智能合約代碼中加入一些新的功能。這時候,與Layer1的兼容性可能會受到影響。這種變化確實可能引發很大的爭議。然而,從我的角度來看,我認為在這個階段仍應將創新和演進作為優先考慮,還沒有到完全凍結的情況。當然,對于Layer1來說,這是另外一個維度,Layer1和Layer2的判斷可能不同。

話題二:去中心化Sequencer

ZhixiongPan:

目前,大多數Layer2網絡的Sequencer仍處于較早階段,大多數是單一Sequencer。一些項目計劃將來升級為去中心化的Sequencer。

當前是否存在合理的去中心化Sequencer設計方案?

Layer2的原生代幣是否可能成為實現去中心化Sequencer的必要條件?如Optimism/Arbitrum,雖然有自己的代幣,但僅可用來作為治理代幣。

所以還有哪些前沿或早期的去中心化Sequencer方案值得關注?

QiZhou:

最近我們研究了一些相關話題,例如Arbitrum的Sequencer。Arbitrum社區面臨著一個大問題,即大量節點連接到Sequencer以獲取最新的交易信息并從中套利。我們內部經常開玩笑說,這個Sequencer是否類似于紐約證券交易所,因為在紐約證券交易所附近有許多量化機器人通過光纖快速獲取交易數據并進行量化操作。這種Sequencer模型是否會導致我們退化成為一種非常集中化的系統?

我認為如何實現Sequencer的去中心化是一個非常重要的問題。我能想到的一些解決方案是借鑒權益證明機制,并將Layer2的原生代幣用作權益證明。通過這種方式,我們可以實現Sequencer的輪換,類似于以太坊最近正在進行的安全領導人選舉。結合這些技術,我認為我們可以找到一些成熟的方式來解決這個問題。

DorothyLiu:

這個問題,我可以分享一些我個人對Arbitrum和Optimism發展歷史的觀察。去年年初,我去阿姆斯特丹參加了Chainlink舉辦的關于Rollup的活動,當時請到了Arbitrum、Optimism、zkSync和Metis四個團隊。他們討論的重點主要在擴容和性能上。我私下詢問了他們對共識層的看法以及Rollup是否需要加共識層。他們表示目前只考慮擴容。Optimism最早并沒有考慮到這個問題,導致現在想改也無法改變。

從我們的角度來看,我們從項目一開始就設計了去中心化的Sequencer。我們曾經做過兩次DarkForest游戲和兩次NFTMinting活動,這些活動都是直接在以太坊主網上進行的,使用了去中心化的Sequencer。在我們看來,這不是一個技術問題,而是一個歷史發展的遺留問題。他們如何在一個正在運行的系統中更換引擎會比新項目一開始就有完整規劃更困難。

關于代幣問題,Arbitrum和Optimism已經證明,可以不需要自己的代幣就可以運行。如果想要有代幣,可能需要一些設計,例如Slashing等。我們將在下個月發布去中心化Sequencer網絡,這將是市場上第一個去中心化Sequencer網絡。屆時,我們會有一些包括Staking和Slashing在內的設計。

中通科技持續探索“區塊鏈+快遞”落地應用:金色財經消息,近日,使用中通標快產品的用戶,可在運單詳情頁點擊“簽收信息區塊鏈存證”鏈接下載《區塊鏈簽收存證證書》。具體而言,系統會將每一條快遞簽收記錄保存到區塊鏈節點上,自動完成一系列上鏈動作,并永久生成一張“證書”,以此來提升用戶對快遞產品和服務的信用感知。證書包含區塊鏈標識、快遞運單號、簽收人、簽收時間等信息,數據可靠,并全程透明。(騰訊新聞)[2022/7/12 2:06:49]

最后關于MEV,雖然它與Sequencer是兩個議題,但它們之間存在關聯。去中心化的Sequencer網絡或許能在一定程度上解決MEV問題。然而,這個問題可能永遠無法徹底解決。目前,Arbitrum團隊采用了一些方法,如增加隨機性改善,但他們無法完全解決這些問題。我們也可能會在硬件或其他方面提出一些MEV解決方案,這將在未來公布。

YeZhang:

我們已經對Sequencer進行了大量研究,盡管目前尚未公布具體方案,但我們確實在努力設計。目前有兩種主要方向。第一種是基于拜占庭容錯的方案,例如利用Tendermint等選擇一個leader來代替之前的中心化Sequencer。這種方法需要staking和slash,可能需要發行自己的代幣來實現PoS,或者與其他重押或類似機制結合。BFT的優勢在于可以提供非常快的預確認,保持良好的用戶體驗。

第二種更有前景的方案是MEVAuction。Optimism最早提出了MEV拍賣的概念,即誰給出最高價格就能獲得出塊權。然而,這種方案的缺點在于用戶可能會被MEV機器人瘋狂加價。

類似的方案包括JustinDrake之前提出的BaseRollup,其核心思想是重用Layer1的驗證器來出Layer2的區塊。這樣一來,構建Layer1和Layer2的區塊的驗證器可以在構建Layer1區塊時將Layer2的驗證交易放入Layer1的區塊,從而使整個出價更大,Layer1的區塊更先被包含。這種方案的優點在于它與Layer1的激勵機制高度一致,但缺點是它不像BFT那樣具有預確認,用戶體驗可能會變得較差。

因此,目前最有前景的方向是基于重用Layer1驗證器的方案,以及基于BFT的方案。我們正在努力解決這些方向上的問題,例如在重用Layer1驗證器的同時提供預確認。

還有一些關于去中心化Sequencer的方向,例如Flashbots等提出了一個名為共享Sequencer的方案,Optimism的Superchain中也有相似的設計。共享Sequencer的核心思想是通過使用固定的Sequencer集合來處理多條鏈上的交易,實現跨鏈MEV,提高跨鏈UI的體驗等。然而,這種設計方案目前還處于早期階段,尚未解決一些關鍵問題,如Sequencer節點壓力問題以及跨鏈交易的原子性問題。

共享Sequencer可能在將來對于許多特定應用場景有價值,因為這些應用可能沒有足夠的能力去運行去中心化網絡。然而,對于大型實時資產應用而言,說服它們使用共享Sequencer可能是一項挑戰。

Flashbots正在嘗試通過構建一個隱私去中心化網絡來實現共享Sequencer,以解決信息獲取帶來的本質MEV問題,并為用戶帶來一定程度的價值。然而,由于該方案尚未完全公開,因此難以評估其是否能克服之前提到的問題。作為具有高正統性的MEV玩家,我們將在Flashbots公開其方案后對其進行詳細評估。

關于是否需要Token,我認為這主要取決于所使用的共識算法。如果采用BFT算法,很可能會需要Token,但如果采用基于現有Layer1驗證器的方法,可能不一定需要Token,因為可以重用其他人的資源。這樣一來,價值來源就變成了誰在為你抵押,而MEV將直接流向網絡驗證器。因此,Layer2如何看待MEV的價值補充問題是決定因素。

關于MEV的處理方式,有一個觀點認為公平排序可以在一定程度上解決MEV問題,但實際上它可能只是緩解了MEV問題。因為仍然可能有各種機器人在競爭優先權,這種情況類似于傳統的交易公司。盡管已經引入了一些隨機性,但目前還沒有完全解決這個問題。事實上,有一項關于MEV的研究指出,公平排序并非公平。研究者通過構建一個攻擊模型,證明了在公平排序情況下,用戶的體驗可能會更差。因此,為了實現真正的公平,可能需要針對不同的應用采用不同的排序策略。

動態 | 云南鼓勵探索區塊鏈技術在藥品等方面的防偽追溯及商業保險理賠應用:據云南經濟日報消息,近日,省政府辦公廳印發的《關于促進“互聯網+醫療健康”發展的實施意見》,其中提到,鼓勵探索區塊鏈技術在藥品、疫苗、耗材等方面的防偽追溯以及商業保險理賠應用,構建醫療數據可信體系。順應工業互聯網創新發展趨勢,提升數字化、智能化醫療健康設備制造水平,促進產業升級。[2019/5/10]

TarunChitra:OrderingSoFairItAin'tFairOrdering

還有有很多有趣的嘗試。例如,通過加密技術對交易進行加密,并在交易被確認后進行解密。這樣一來,就無法提前預測交易的內容。此外,還有諸如時間鎖定等方法。總之,我們也在關注并改進這些方案。雖然我們已經有了一些大致的方向,但每個方向都存在各種問題。因此,我們希望在確定方案之前進行嚴密的分析,以確保方案的穩定性。Sequencer涉及到諸如價值流向等眾多問題,因此我們認為目前尚無完美解決方案。這也是為什么我們將Sequencer的研究放在后面的原因。

現在大家普遍覺得去中心化Sequencer可能有利于抗審查。但正如我今天的討論所提到的,實際上通過橋接的方式,可以確保在第二層強制執行交易。更重要的是,大部分橋接設計都會規定,如果你不包含某個交易,可能在一天內會受到某種影響。但是,大部分去中心化金融可能會在下一分鐘就將你清算完畢,然后直接拒絕你的交易,可能會給用戶帶來糟糕的體驗。因此,實時抗審查對用戶和DeFi來說非常重要。

另一個問題是礦工可抽取價值的問題。例如,Arbitrum現在實施先到先得的策略,它采用中心化的序列器。大家之前的觀點是,如果你發現我在MEV中被利用,我可能會離開這個網絡,導致大家不相信該網絡的合法性。但一個巨大的問題是,當你的網絡起步,網絡效應逐漸顯現,例如單一序列器,一旦生態發展到一定規模,你開始收費或考慮MEV時,實際上用戶已經對你產生很大的依賴,他們很難再轉移到其他平臺。所以我認為這個威脅可能會在幾年后出現,他們突然開始實施MEV,這是一個潛在的威脅。

此外,還有合規問題。如果你的代幣和權益證明有關聯,你可能會面臨一定的合規風險。例如,如果你實行中心化,某個國家要求你關閉序列器或解決某些問題,去中心化可能會帶來一定的好處。

因此,我們已經進行了非常詳盡的分析,并在這個方向投入了大量精力。如果聽眾中有人對協議研究感興趣,歡迎加入我們。我們正在招聘這方面的人才,我們后續會有更詳細的分析發布。

Jolestar:

關于引入BFT作為Sequencer,大家已達成共識。實際上,我們需要在Layer2中引入一個BFT共識。我們關注的是這個共識決定的內容。如果它直接決定了結果,那么我們可以讓它直接決定。我們希望Layer2提供擴展性,所以我們從另一個角度考慮Sequencer。我們的主要目的是什么?一個是為了安全。在Layer2方案中,Sequencer和其他方案如Proposer或類似的Prover或zk,它們是不同的角色。Sequencer和Proposer在操作情況下是分開的,如果要作弊,它們必須聯合作弊。例如,Sequencer隱藏交易,Proposer制造一個虛假的root。如果它們的角色分開并由不同的組織承擔,那么安全性就有保障。

在Sequencer提交到Layer1之前,交易順序可以被Sequencer調整,這里可能存在作弊空間。為了消除這個問題,我們讓Sequencer提供一個類似于欺詐證明的證明,叫做SequenceProve。你證明把交易放在某個位置上,給出一個承諾。如果最后上鏈的順序與承諾不一致,可以挑戰并懲罰Sequencer。

最后,如果我們真的要引入BFT投票,我們應該決定交易的順序,而不是交易的結果。現有的共識機制決定的是最后執行的結果投票,并不決定區塊鏈的交易順序。因此,在這種情況下,我們可能需要引入一個對順序或公平性敏感的共識,讓大家投票決定交易的順序。這是我們目前正在探索的一個方向和與Sequencer去中心化的一種方案。

話題三:EIP-4844

ZhixiongPan:

除了EOF,另一個重要的協議層升級與擴容的實現是EIP-4844,特別是與Layer2團隊密切相關。年初,KZG的Ceremony已經啟動,而協議層的加入可能會需要一些時間。對于Rollup、ZKRollup或者擴容這樣的方向,大家認為Layer2團隊可能需要多長時間來集成EIP-4844?

專欄作者郭夏:虛擬貨幣亂象叢生,應積極探索官方網絡數字貨幣:新生經濟學創始人,北京大學中國戰略研究中心特邀研究員郭夏今日發布文章《虛擬貨幣亂象叢生,應積極探索官方網絡數字貨幣》。他認為,在民間數字貨幣炒作如火如荼的同時,世界各國央行都在積極研究和推出本國的數字貨幣。我國央行也在整頓虛擬貨幣亂象,積極推進數字貨幣研究。可以預見,在不久的將來,世界各國都將成為推動數字貨幣發展的新生力量。[2018/4/2]

關于集成EIP-4844,大家認為可能會遇到哪些難點?此外,有沒有估算過,使用EIP-4844對GAS或整體擴容會產生哪些影響?

Jolestar:

在我理解中,集成EIP-4844與原先的Rollup方案并沒有改變太多。我們一直在尋求更高TPS和更低手續費的解決方案,但僅依賴EIP-4844無法解決這個問題。實際上,它只是增加了一種交易類型,即Blob類型,而整體的區塊大小限制仍受限于基礎層。如果我們希望實現理想的Layer2,具備幾十萬或接近十萬量級的TPS,第一層的交易仍無法直接放在一個區塊上。

因此,我們現在的目標是實現一種不同方案可組合的模式,以便在成本更低、簡單易用且具有更大通量的方案之間進行選擇。

DorothyLiu:

首先,EIP-4844升級對于我們的OP來說相對容易集成,而對于zkEVM可能難度較高。有關此升級的專業解答,ZhangYe可以為大家提供。此外,我想分享一個名為Monad的協議,其創始人名叫Keone,大家可以在Twitter上關注他。Keone曾是Jump的開發人員,他是一個數學天才,擅長計算。他在Twitter上發布了關于EIP-4844協議上線后的預測,預測Arbitrum的TPS能夠提高到大約160,但這個數字是否顯著,仁者見仁智者見智。他的測算方法是否有改進空間也值得商榷,但我們認為EIP-4844僅能在一定程度上提升性能,最終仍需依賴于EIP-4844與Rollup的結合,可能需要多個Rollup來提升性能。EIP-4844本身無法解決太多問題。

對于我們來說,我們提供的服務名為「RollupasaService」,正如ZhangYe所提到的,許多應用需要高吞吐量,而對組合性要求不高時,它們可以運行在一個Rollup上。這些Rollup將共享一個去中心化的Sequencer網絡,Prover和Validator網絡也將是去中心化的。這是我們當前提供的服務設想,我們將在下個月提供更多細節。因此,我們認為現有的EIP-4844或單獨的Rollup方案無法解決所有問題,依賴大量Rollup為不同項目和應用場景提供服務才是關鍵。

YeZhang:

關于EIP-4844,我們正在研究。EIP-4844肯定會降低一部分數據成本。最近推特上有一個關于Polygon和zkSync數據成本的討論。我們和Polygon現在都在使用交易的原始數據直接上鏈。Optimism和Arbitrum會進行一定程度的壓縮后再上鏈,而zkSync和StarkWare則使用更節省空間的StateDiff模式。針對同一賬戶的高頻操作,StateDiff可能會節省很多空間。有人分析了zkSync在使用StateDiff后的數據,發現它確實可以節省一定的費用。但如果在有EIP-4844或分片后,數據成本進一步降低,我們還是更傾向于直接上鏈交易原始數據,因為這樣可以讓其他人看到你的數據后更快地執行交易,獲得更強的保證。

我們希望在數據成本變低后,再加入一些壓縮算法,可能會達到與StateDiff相似的效果。但目前我們更傾向于使用交易原始數據。至于EIP-4844對我們的影響,它會影響兩部分:一部分是我們的橋接方面,我們已經開始探索在EIP-4844下的新橋接設計,會有一些影響,需要寫一個新的規范。另一部分是我們的電路里面,因為在新的格式下,我們無法直接訪問之前的數據,只能訪問一個小的承諾,所以我們需要在電路里證明這個承諾的開放性。這對電路肯定是有開銷的,但我們認為這是可行的。

實施EIP-4844會涉及到一個域的問題,因為數據是在另一個曲線上的,可能與原生數據格式不太一樣。很早以前,Vitalik提出了一個證明等價性的概念,但后來發現如果域不一樣,還是會有一些問題。Dankrad和Vitalik提出了一個復雜的方式來將承諾的開放性納入電路。我們認為這個改動是確定性的,需要時間,但并不是特別復雜,是可行的。我們需要協調Layer1什么時候實施這個改動,然后我們再進行相應的調整。在此之前,我們會繼續專注于當前的系統。

QiZhou:

關于EIP-4844,我們進行了大量研究。實際上,EIP-4844的目的并非擴容,而更多是為了實現未來Danksharding所需的一整套概念,包括BinaryLargeObject及其DataHash。在合約中可以訪問DataHash,提前實現這些概念,以便在實現Danksharding時無需進行合約升級。EIP-4844并不會比當前的以太坊數據上鏈方式帶來顯著改進,我們進行了初步估算,它們所帶來的帶寬基本上處于同一個量級。

然而,根據Danksharding的規格說明,吞吐量級約為20倍。因此,假設我們在EIP-4844上實現100TPS的速度,使用Danksharding理論上可以達到2000TPS,甚至更高。以太坊社區,包括VitalikButerin和Danksharding團隊,非常關注EIP-4844升級,因為一旦升級,接下來的以太坊重大升級將無需對整個合約系統進行升級。

我們的存儲合約直接針對EIP-4844進行設計,從開發實現和存儲證明等方面來看,實際上可能會更簡單。使用EIP-4844提供的Danksharding,系統實際上已經預先計算好了,對我們來說是非常友好的一種存儲方式。

對于ZK和Optimism等技術可能存在挑戰,尤其是關于如何傳遞數據。以太坊現在已經有一些工具,包括隨機評估方式,能夠將Blob數據重新傳輸到CoreData中。我們需要進行一些挑戰,證明這些交易是否正確。

我們計劃提供一些通用庫,類似OpenZeppelin庫,方便大家在EIP-4844上的datablob進行各種操作。這將在審計和Gas消耗方面帶來安全和效率的優勢。

總之,EIP-4844對于以太坊整個數據層的操作具有創新性和巨大的潛力。對于對EIP-4844感興趣的人,建議研究以太坊相關代碼和參數設計,以便更好地了解如何使用這一技術。

話題四:模塊化區塊鏈

ZhixiongPan:

最后一個話題是與大家討論模塊化區塊鏈,這是一個熱門且與公鏈本身密切相關的大話題,可以說是一種新趨勢。雖然從去年年初開始已有一年多的時間,目前一個較大的觀點是區塊鏈可能會逐漸分層,形成共識、執行、DA或結算等各個層級。這樣的大背景下,Layer2的協議是否將面臨更大的挑戰與競爭,以及整個行業的競爭格局是否會發生較大變化。

Jolestar:

我認為模塊化的區塊鏈是Layer2思路的一個演化結果。既然在Layer2上,我們將執行從Layer1移到了Layer2,那么我們為什么不能將不同的模塊拆開,讓不同的系統承擔。這引入了另一個視角,就是拿傳統的分布式系統來說,在傳統的分布式系統里,我們有一個共識層叫Zookeeper和Raft,這樣的共識層在區塊鏈上相當于Layer1。但區塊鏈的Layer1與傳統共識層不同,區塊鏈Layer1可以運行程序。所以現在我們將程序放在Zookeeper里運行,但發現全球共識執行效率太慢,我們需要將其移出,實現擴容。

另一個視角是從應用的角度來看,我們在構建應用時選擇不同的系統組件來完成應用功能,如Zookeeper或MySQL。實際上,這是我們在構建應用,而不是說MySQL是為Zookeeper擴容。這種模塊化區塊鏈的思路可以引入新的視角,即我們如何借助現有的Layer1資源,以及存儲和執行功能,組合起來構建一個基礎化的DApp。

這種新的視角與現有的公鏈和制作系統的組件并不沖突。我們認為,開發者首先需要選擇一種適合的語言來構建應用,確保確定性和可驗證性。我們選擇了Move語言,以實現更好的擴展性。開發者使用這個語言構建應用,然后考慮如何實現去中心化。一開始可能不是完全去中心化的,但需要有去中心化的能力。例如,可以將交易公開,使任何人都可以驗證。雖然仍然是中心化的,但至少可驗證。隨后,可以接入一個協議來保證安全,作為一種承諾。這種逐步完成的機制為中心化應用提供了一條新的發展路徑。

DorothyLiu:

我非常贊同Jolestar的觀點,從去年開始,我們就意識到行業已經從胖協議瘦應用進化到胖應用瘦協議的階段。現在的焦點從追求去中心化的烏托邦和科技進步轉向實際應用場景。隨著越來越多游戲、社交等新應用的涌現,大家更關注區塊鏈應用能實現什么,而非僅僅擴容以太坊或推進某個技術方向。盡管以太坊是重要的L1,但隨著不同L1的涌現,大家愿意接受多鏈時代的取舍。

作為一個Rollup方向的公司或團隊,我們并非僅服務于以太坊社區。我們希望建立一個可拆解、可組合的樂高式技術方案,以滿足不同應用的需求。有些應用可能需要更大的區塊限制,有些游戲公司可能想要一個兼容SolanaVM的L2,有人可能希望將DA放在Celestia或與EigenLayer兼容。我們想提供一個可組合的方案,根據不同應用的需求,為他們定制解決方案。我們可以將L1放在以太坊、BNBChain或甚至Solana,或者我們自己的BeaconLayer上。從安全性角度來說,將證明放在以太坊上非常重要,但transactionbody未必需要放在以太坊上。脫離以太坊的transactionbody會大大降低成本。

在這個胖應用時代,我們關注如何為每個應用提供最適合它的擴容方案,而非僅僅優化方向。對于zkEVM和OP之間的爭論,我們可以支持雙方。我們關注的是zkEVM的prover成本,例如Scroll可能需要花費1萬美元一個月運行一個prover,這對游戲廠商來說可能過于昂貴。他們需要更便宜的prover方案,我們可以提供使用電腦進行prover的解決方案,根據不同需求提供不同技術方案。這是我們的解決方案。

QiZhou:

從歷史角度出發,我認同模塊化的發展方向。這包括了網絡中的OSI層級以及計算機體系架構。將以太坊或區塊鏈視為一個世界計算機,我們可以借鑒現有計算機體系,以更好地扮演其中的角色。因為每個組件都具有巨大的市場價值,例如,以太坊的Layer1可以類比為早期的CPU,具有基本計算能力和有限的存儲能力。另一方面,DA則更像內存。

在內存和CPU之間,我們需要數據散列和預編譯來傳輸數據。Coredata類似于寄存器,我們還需要模塊化插件,如GPU等高性能計算設備。在區塊鏈網絡中,通過DA和零知識證明等方式,實現計算數據的溝通。此外,我們還需要大量存儲,將數據從內存復制到硬盤。最后,我們還需要鼠標、鍵盤和顯示器等設備,類似于我們現在使用的MetaMask和Web3協議。

借鑒成熟的計算機體系并吸取經驗,我們可以設想未來的計算機世界體系。當然,我們也可以將硬盤連接到其他計算機上,例如其他Layer1設備。但是,如果一個Layer1沒有良好的DA層和內存,數據傳輸和存儲的速度和帶寬將受到很大限制。

一個沒有CPU和內存的計算機是無法啟動的,這是非常關鍵的一部分。在具備這些基本組件后,我們可以將GPU、顯示器和硬盤等設備組合在一起。在開發EthStorage和Web3協議時,我們支持多鏈并采用模塊化方式接入其他網絡。只要這些網絡具備基本的執行層和DA層,它們可以是其他Layer1或Layer2。在接入Layer2時,EthStorage實際上在某種程度上成為了Layer3。這是我們對未來世界計算機或區塊鏈整體架構的展望。

YeZhang:

我認為模塊化區塊鏈目前確實是一個非常重要的敘事,即執行和數據分離。然而,至少對我們來看,我們目前仍然將以太坊視為最重要的數據層。關于Rollup的定義,有各種各樣的解釋,因為各種Rollup正在出現。目前,大部分社區接受的一個定義是,你至少需要將數據發布到Layer1,即使你不發布證明,你也需要將數據發布到以太坊上,這樣才能繼承以太坊的安全性。因為大部分人認為,只要數據上鏈了,無論是通過其他節點、全節點還是輕節點,至少能得到一個確定性的結果,它一定是最終確定的。

關于各種Rollup,它們的思想主要是你是否相信這個結果取決于你自己的選擇,你自己選擇的全節點或輕節點。例如,OptimisticRollup會說「我來挑戰你」,而zkRollup會說「我一直證明你是對的」。實際上,所有這些Rollup只是為了確定一個觀點,決定我是否相信你的數據,以及我是否相信你的資金可以從你那里橋接出來。

因此,至少對我們來說,我們希望我們的平臺始終信任以太坊的數據層,并堅持做一個Rollup。我們也會努力推進數據分片的進程。我認為唯一需要關注的是這個時間點,即它到底什么時候能實現,以及需要多長時間。在此之前,我們是否需要采取過渡措施?這主要取決于我們對數據分片的時間線的估計。如果我們估計它需要五年才能實現,那么我們可能會采取一些中間措施。但如果我們認為它會在一個合理的時間范圍內實現,我們仍然會堅持這個方向。

過度模塊化可能并不是一個好事。之前我們觀察Layer2的情況時,可能只有九個Layer2,每個都有自己的安全屬性,如合約是否可升級、Sequencer是否去中心化、是否開源以及是否經過審計等。對于Layer2來說,這些安全屬性非常棘手。例如,合約可升級的情況下,如果一個不太合規的Rollup真的做了一些壞事,可能瞬間就被發現。如果大眾不了解不同Rollup的屬性以及它們之間的權衡,并且已經有100個Rollup可供選擇,可能會出現一些安全性問題。因此,我認為最終可能還是會有幾個主要的Rollup提供絕對的安全性,并且大家對其屬性有一定的保證,同時具有良好的可組合性。在此基礎上,無論是并行開發一些應用層的Layer2,還是在其上部署Layer3,都有可能緩解Layer2的壓力。這時候,他們可以選擇使用其他的數據層或其他方式,只要社區形成共識,他們可以按照自己的想法進行創新。

然而,我們希望成為最符合社區需求的Layer2,并協助進行一些研究和推動一些工程方面的進展。我們希望我們的平臺絕對安全、絕對去中心化,并在此基礎上進行各種創新,無論是更瘋狂的創新還是其他任何形式。

Tags:LAYERSequenceNCEENCMonster Slayer FinanceRaptor FinanceInfluencer Finance

抹茶交易所
Bitget Launchpad 進入充值倒計時階段,將于今晚 18:00 關閉充值通道

Bitget上線全新Launchpad項目GoSleep關閉,4月17日18:00至21:00官方將進行票數統計,4月17日21:00官方將公布最終得票結果.

1900/1/1 0:00:00
ETH:Bitget 研究院:Arbitrum 空投確定,生態項目全線上漲

作者:Bitget研究院 1.熱門幣種方面: DegenZoo:昨日degenzooTGE,同時上線中心化+去中心化交易所.

1900/1/1 0:00:00
區塊鏈:對話 Sui 聯創:關于團隊內部情況、測試網進展及 Mysten Labs 未來方向的考量

受訪者:AdeniyiAbiodun,MystenLabs首席產品官和Sui聯合創始人編譯:PengSUN.

1900/1/1 0:00:00
WEB:Web3 交互門戶:從 Metamask 到操作系統

撰文:michaeljin.eth,R3PO“Web3操作系統創建了一個通用平臺來連接不同區塊鏈之間的技術,從而在Web3世界中為開發人員和用戶提供更好的體驗.

1900/1/1 0:00:00
ROL:ZK SHANGHAI 零知識證明工作坊系列課程開啟報名

作者:ZKSHANGHAI?課程依托ModernZeroKnowledgeCryptography.

1900/1/1 0:00:00
SSV:對話 SSV,了解 DVT 守護下的 LSD 賽道

來源:Erin,BinaryDAO Host:Muyi Guest:RobertHu,SSVNetwork中國大使“SSV就是基于DVT技術的去中心化驗證器基礎設施.

1900/1/1 0:00:00
ads