以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > DOT > Info

漫游以太:過去、現在、未來_ROLL:near幣是下一個以太坊嗎

Author:

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

原文標題:《漫游以太:過去、現在、未來》

原文作者:Hakeen,W3.Hitchhiker;修訂:Evelyn,W3.Hitchhiker

在 The Merge 階段,POW 共識機制將過度為 POS,信標鏈將合并在一起。為了便于理解,我們將以太坊結構簡化為下圖:

我們在這里先定義什么是分片:簡單理解就是水平分割數據庫以分散負載的過程

在轉為 POS 后:區塊提議者和區塊驗證者分離,POS 工作流程如下(根據上圖理解):

在 Rollup 上提交交易

驗證者將交易添加到分片區塊中

信標鏈選擇驗證者以提出新的塊

其余的驗證者組成隨機的委員會并驗證分片上的提議

提出區塊和證明提議都需要在一個 slot 內完成,一般是 12s。每 32 個 slot 組成一個 epoch 周期,每個 epoch 將打亂驗證者排序并重新選舉委員會。

合并后,以太坊將為共識層實現提議者-構建者分離(PBS)。Vitalik 認為,所有區塊鏈的終局都將是擁有中心化的區塊生產和去中心化的區塊驗證。由于分片后的以太坊區塊數據非常密集,出于對數據可用性的高要求,區塊生產的中心化是必要的。同時,必須有一種能夠維護一個去中心化的驗證者集的方案,它可以驗證區塊并執行數據可用性采樣。

礦工和區塊驗證分離。礦工進行區塊的構建,然后將區塊提交給驗證者。向驗證者出價投標選擇自己的區塊,然后驗證者投票來決定區塊是否有效。

分片是一種分區方式,可以在 P2P 網絡中分散計算任務和存儲工作負載,經過這種處理方式,每個節點不用負責處理整個網絡的交易負載,只需要維護與其分區(或分片)相關的信息就可以了。每個分片都有自己的驗證者網絡或者節點網絡。

分片的安全性問題:例如整個網絡有 10 條分片鏈,破壞整個網絡需要 51% 的算力,那么破壞單個分片只需要 5.1% 的算力。因此后續的改進就包含了一個 SSF 算法,這個算法能夠有效防止 51% 的算力攻擊。根據 vitalik 總結,轉向 SSF 是一個多年的路線圖,即使目前做了大量工作,它也將是以太坊較晚推行的重大變化之一,并且遠在以太坊的 PoS 證明機制、分片和 Verkle 樹完全推出之后。

信標鏈,負責生成隨機數,將節點分配給分片,捕捉單個分片的快照和其他各種功能,負責完成分片間的通信,協調網絡的同步。

信標鏈的執行步驟如下:

區塊生產者對區塊頭和出價一起進行承諾。

信標鏈上的區塊者(驗證者)選擇獲勝的區塊頭和投標,無論區塊打包者是否最終生成區塊體,都將無條件獲得中標費。

Committee(驗證者中隨機選取)投票確認獲得的區塊頭。

區塊打包者披露區塊體。

該路線的主要目標是推動以 Rollup 為中心的擴容。Surge 指的是添加了以太坊分片,這是一種擴容解決方案, 以太坊基金會聲稱:該解決方案將進一步啟用低 gas 費的二層區塊鏈,降低 rollup 或捆綁交易的成本,并使用戶更容易操作保護以太坊網絡的節點。

該圖仍然可以通過以下簡圖來理解:

以 zkrollup 運行原理為例:在 zkrollup 中分為排序器(sequencer)和聚合器(aggregator),排序器負責將用戶交易排序,并且將其打包成批次(batch),發送給聚合器。聚合器執行交易,從前狀態根(prev state root),生成后狀態根(post state root),然后生成證明(proof),聚合器最后將前狀態根、后狀態根、交易數據,證明發送到 L1 上的合約,合約負責校驗證明是否有效,交易數據存儲在 calldata 內。Zkrollup 數據可用性可以讓任何人能夠根據鏈上存儲的交易數據,還原出賬戶的全局狀態。

但是使用 calldata 的費用非常昂貴,因此整個 EIP-4844 協議(可能隨時改變)提出了將交易區塊的大小改為 1~2MB,為未來的 rollup 與數據分片打下堅實基礎。目前以太坊的區塊大小大約是 60KB ~100KB,以 EIP-4844 為例,大概可以提升 10~34x 的區塊大小極限。該區塊格式被稱為 blob(也可以稱為數據分片 data shard)。

美俄勒岡州司法部總檢察長回避對前FTX高管的刑事調查:5月24日消息,美國俄勒岡州司法部正在對FTX前工程總監Nishad Singh展開刑事調查,不過該司法部總檢察長Ellen Rosenblum已回避調查。根據5月18日的一份新聞稿,俄勒岡州司法部去年10月接管了對Nishad Singh向俄勒岡州民主黨捐款50萬美元的調查。俄勒岡州選舉部門在經過7個月的調查后,將此案提交給了俄勒岡州司法部,聲稱有“足夠的信息”證明刑事調查是合理的。一位發言人表示,Ellen Rosenblum的回避將涵蓋選舉部門提交的“審查、調查或起訴”,副檢察長Lisa Udland將領導調查。[2023/5/24 15:22:45]

該階段 Scourge 是路線圖的補充,主要用于解決 MEV 的問題。那什么是 MEV?

MEV 全名 Miner Extractable Value / Maximal Extractable Value,這一概念最先應用在工作量證明的背景下,最初被稱為「礦工可提取價值(Miner Extractable Value)」。這是因為在工作量證明中,礦工掌握了交易的包含、排除和順序等角色能力。然而,在通過合并過渡為權益證明后,驗證者將負責這些角色,而挖礦將不再適用(此處介紹的價值提取方法在這次過渡后仍將保留,因此需要更改名稱)。為了繼續使用相同的首字母縮寫詞以便確保延續性,同時保持相同基本含義,現在使用「最大可提取價值(Maximal Extractable Value)」作為更具包容性的替代詞。

套利空間包括:

通過壓縮存儲空間,來獲得 gas 費用的價差;

裁判員搶跑:廣泛的搜索 mempool 上的交易,機器在本地執行計算,看看是否會有利可圖,如果有則用自己的地址發起相同交易,并且使用更高的 gas 費;

尋找清算目標:機器人競相以最快的速度解析區塊鏈數據,從而確定哪些借款人可以被清算,然后成為第一個提交清算交易并自行收取清算費的人。

夾心交易:搜索人會監視內存池內 DEX 的大額交易。例如,有人想要在 Uniswap 上使用 DAI 購買 10,000 UNI。這類大額交易會對 UNI / DAI 對產生重大的影響,可能會顯著提高 UNI 相對于 DAI 的價格。搜索人可以計算該大額交易對 UNI / DAI 對的大致價格影響,并在大額交易之前立即執行最優買單,低價買入 UNI,然后在大額交易之后立即執行賣單,以大額訂單造成的更高價格賣出。

MEV 的缺陷:

某些形式的 MEV,如夾心交易,會導致用戶的體驗明顯變差。被夾在中間的用戶面臨更高的滑點和更差的交易執行。在網絡層,一般的搶跑者和他們經常參與的礦工費拍賣(當兩個或更多的先行者通過逐步提高自己交易的礦工費,從而使他們的交易被打包到下一個區塊),導致網絡擁堵和試圖運行正常交易的其他人的高礦工費。除了區塊內發生的,MEV 也可能會在區塊間產生有害的影響。如果一個區塊中可用的 MEV 大大超過了標準區塊的獎勵,礦工可能會被激勵去重新開采區塊并為自己捕獲 MEV,進而導致區塊鏈的重新組織和共識的不穩定。

大部分 MEV 是由稱為「搜索者」的獨立網絡參與者提取的。搜索者在區塊鏈數據上運行復雜的算法來檢測盈利的 MEV 機會,并且有機器人自動將這些盈利交易提交到網絡。以太坊上的 MEV 問題涉及使用機器人來利用網絡交易,導致擁塞和高額費用。

Verge 將實現「 Verkle 樹」(一種數學證明)和「無狀態客戶端」。這些技術升級將允許用戶成為網絡驗證者,而無需在他們的機器上存儲大量數據。這也是圍繞 rollup 擴容的步驟之一,前文提到過 zk rollup 的簡易工作原理,聚合器提交了證明,layer 1 上的驗證合約只需要驗證 blob 內的 KZG 承諾和生成的證明即可。這里簡單介紹一下 KZG 承諾,就是確保所有的交易都被包含了進來。因為 rollup 可以提交部分交易,生成證明,如果使用 KZG,那么所有的交易都會被確保包含進來生成證明。

The Verge 就是確保驗證非常簡單,只需要下載 N 個字節數據,執行基本的計算就可以驗證 rollup 提交的證明。

值得一提的是,ZK rollup 有許多種方案,stark、snark 或者 bulletproof 等。各個方案對于證明和驗證的方式都不盡相同,因此出現了權衡。SNARKs 目前比 STARKs 技術更易上手,技術也更完善,因此許多項目剛開始都是使用 SNARKs,但是隨著 STARKs 技術上的迭代后,最終會逐漸轉向抗量子攻擊的 STARKs。雖然以太坊為了與 rollup 適配,EIP-4844 主要改進之一是交易格式 blob,擴大了區塊容量,但目前所有的零知識證明的主要瓶頸仍然在于自身證明算法,一方面通過改進算法來解決證明問題,另一方面通過堆疊硬件來提高證明效率,也因此衍生了 ZK 挖礦賽道。有興趣的可以轉到這篇文章。

蘇富比拍賣的Fidenza#725已售出,售價為1016000美元:金色財經報道,蘇富比拍賣行鏈上二級NFT市場Sotheby’s Metaverse拍賣的Fidenza#725 已售出,售價為1016000美元。金色財經此前報道,蘇富比NFT市場Sotheby’s Metaverse宣布拍賣Fidenza#725,出價13萬美元。[2023/5/20 15:15:24]

The Purge 將減少在硬盤驅動器上存儲 ETH 所需的空間量,試圖簡化以太坊協議并且不需要節點存儲歷史。這樣可以極大的提升網絡的帶寬。

EIP-4444:

客戶端必須停止在 P2P 層上提供超過一年的歷史標頭、正文和 recipient。客戶端可以在本地修剪這些歷史數據。保存以太坊的歷史是根本,相信有各種帶外方式來實現這一點。歷史數據可以通過 torrent 磁力鏈接或 IPFS 等網絡打包和共享。此外,Portal Network 或 The Graph 等系統可用于獲取歷史數據。客戶端應允許導入和導出歷史數據。客戶端可以提供獲取 / 驗證數據并自動導入它們的腳本。

該路線主要是一些零碎的優化修復,如賬戶抽象、EVM 優化以及隨機數方案 VDF 等。

這里提到的賬戶抽象(Account Abstraction,AA)一直都是 ZK 系 Layer 2 想要首先實現的目標。那什么是賬戶抽象?在實現賬戶抽象之后,一個智能合約賬戶也可以主動發起交易,而無需依賴「元交易」的機制(這在 EIP-4844 里被提出)。

在以太坊內,賬戶分為合約賬戶和外部賬戶。目前的以太坊的事務類型只有一種,必須由外部地址發起,合約地址無法主動發起事務。因此,任何合約自身狀態的改變,必須依賴于一個外部地址發起的事務,無論是一個多重簽名賬戶,還是混幣器,或是任何智能合約的配置變更,都需要由至少一個外部賬戶觸發。

無論使用以太坊上的什么應用,用戶都必須持有以太坊(并承擔以太坊價格波動的風險)。其次,用戶需要處理復雜的費用邏輯,gas price,gas limit,事務阻塞,這些概念對用戶來說過于復雜。許多區塊鏈錢包或應用試圖通過產品優化提高用戶體驗,但效果甚微。

以賬戶為中心的方案的目標是為用戶創建一個基于智能合約管理的賬戶。實現賬戶抽象后的好處是:

現在的合約可以持有 ETH,直接提交包含所有簽名的事務,用戶不一定需要為交易支付 gas 費用,完全取決于項目。

由于實現了自定義密碼學,因此未來不會強制要求使用 ESCDA 橢圓曲線來進行簽名,未來一臺手機的指紋識別、面部識別、生物識別等技術均可以作為簽名方式。

從而顯著改善了用戶與以太坊的交互體驗。

整個以太坊目前已經出現了模塊化的趨勢,執行層就是由 Layer 2 負責(如 arbitrum、zksync、starknet、polygon zkevm 等)。他們負責執行 L2 上用戶的交易,并且提交證明。Layer 2 一般使用的是 OP 技術 / ZK 技術,ZK 技術在理論上 TPS 是遠高于 OP 的,目前大量生態在 OP 系,但是未來,隨著 ZK 技術的完善,會有越來越多應用遷移到 ZK 系。該部分是對路線圖的詳細描述與補充為什么和怎么樣。

目前以太坊只是將執行層剝離開來,實際上,其它層級仍然混作一談。在 celestia 的愿景中,執行層只進行兩件事:對單筆交易而言,執行交易并發生狀態更改;對同批次的交易而言,計算該批次的狀態根。當前以太坊執行層的一部分工作分給了 Rollup,即我們熟知的 StarkNet 、zkSync 、Arbitrum 和 Optimism。

現在無論是 optimism、polygon、starknet、zksync 等都往模塊化的道路上探索。

Optimism 提出了 bedrock / op stack,polygon 也在研發 polygon avail 作為數據可用性層,supernets 則用以簡化鏈的創建與共享驗證者集。

結算層:可以理解為主鏈上的 Rollup 合約驗證上文提到的前狀態根、后狀態根、證明的有效性(zkRollup)或欺詐證明(Optimistic Rollup)的過程。

共識層:無論采用 PoW 、PoS 或其他共識算法,總之共識層是為了在分布式系統中對某件事達成一致,即對狀態轉換的有效性達成共識(前狀態根經過計算轉換成的后狀態根)。在模塊化的語境下,結算層和共識層的含義有些相近,故也有一些研究者把結算層和共識層統一起來。

Ankr:aBNBc代幣攻擊事件系前團隊成員所為:12月21日消息,Web3基礎設施提供商Ankr今日發布對aBNBc代幣漏洞利用事件的調查結果,稱一名前團隊成員惡意地進行了供應鏈攻擊,插入了一個惡意代碼包,一旦進行了合法更新,就能夠破壞其私鑰。Ankr表示:“我們正在與執法部門合作,起訴前團隊成員,將他們繩之以法。不幸的是,內部不良行為者可以影響任何協議,我們正在努力加強內部人力資源流程和安全措施,以加強我們未來的安全態勢。”

此前12月2日消息,10萬億枚aBNBc被鑄造,黑客將智能合約更新為更惡意的版本,導致aBNBc代幣合約存在無限鑄幣漏洞。Ankr隨后空投ankrBNB代幣補償受損用戶。[2022/12/21 21:57:52]

數據可用性層:確保將交易數據完整上傳到數據可用性層,驗證節點能夠通過該層的數據復現所有狀態變更。

這里需要辨析的是數據可用性和數據存儲的區別:

數據可用性與數據存儲是明顯不同的,前者關注的是最新區塊發布的數據是否可用,而后者則是涉及安全地存儲數據并保證在需要時可以訪問它。

從結算層看,目前認為 rollup 的焦點在 ZK 系。如果通過 ZK 系的 rollup 來改進 ZK 證明系統的大小、gas 消耗、成本,再結合遞歸和并行處理的話就能夠極大的拓展其 TPS。那么我們就先從 ZK rollup 開始。

隨著以太坊擴容之路的發展,零知識證明(Zero Knowledge Proof,ZKP)技術被 Vitalik 認為是有望成為擴容之戰的終局的方案。

ZKP 的本質是讓某人證明他們知道或所擁有某些東西。例如,我可以證明我擁有開門的鑰匙,而無須將鑰匙拿出來。證明知道某個賬戶的密碼,而無需輸入密碼并冒著被暴露的風險,這項技術對個人隱私、加密、企業甚至核裁軍都有影響。通過姚氏百萬富翁問題修改版本來加深理解:這個問題討論了兩個百萬富翁愛麗絲和鮑勃,他們想在不透露實際財富的情況下知道他們中的哪一個更富有。

假設公寓每月的租金為 1000 美元,若要符合出租人選的標準,則至少要支付一個月租金的 40 倍。那么我們(租客)需要證明我們的年收入要有 4 萬美元以上才行。但房主不想我們找到漏洞,因此選擇不公布具體的租金,他的目的是測試我們是否符合標準,而答案僅僅是符合或者不符合,而不對具體金額負責。

現在有十個盒子,以 1 萬美元為增量,標記為 10~100k 美元。每個都有一個鑰匙和一個插槽。房主帶著盒子走進房間毀掉 9 把鑰匙,拿走標有 40k 美元盒子的鑰匙。

租客年薪達到 7.5 萬美元,銀行代理人監督開具資產證明的文件,不寫明具體資金,這個文件的本質是銀行的資產聲明可驗證索賠文件。隨后我們將該文件投入 10k~70k 的箱子中。那么房主使用 40k 的鑰匙打開箱子,看到里面的可驗證索賠文件時,則判定該租客符合標準。

這里面涉及到的點包括,聲明人(銀行)出具資產達標證明,驗證者(房主)通過鑰匙驗證租客是否具有資格。再次強調,驗證結果只有兩個選擇——具有資格和不具有資格,并不會也不能對租客具體資產數額作出要求。

我們仍然可以用下圖作為理解,交易在 layer 2 上執行,在分片提交交易。layer 2 一般采用 rollup 的形式,也就是在 layer 2 上將多筆交易打包成一個批次來處理事務,然后再提交給 layer 1 的 rollup 智能合約。這里包含新舊狀態根,layer 1 上的合約會驗證兩個狀態根是否匹配,如果匹配那么主鏈上的舊狀態根就會更換為新狀態根。那如何驗證批次處理后得到的狀態根是正確的呢,這里就衍生出了 optimistic rollup 和 zk rollup。分別使用欺詐證明和 zk 技術進行交易的確認以及狀態根的驗證。

這里的 layer 2(rollup)就相當于上文例子中的聲明人(銀行),其打包操作就是這份聲明操作,并不會對具體數額作出聲明,而是確認是否達到標準。打包后提交給 layer 1 的就是這份可索賠的聲明文件。驗證新舊狀態根就是房主通過鑰匙驗證自己期望的租客經濟實力是否達標。狀態根驗證問題就是銀行提交的聲明,該如何進行聲明才能使問題可信。

基于 optimistic 也就是欺詐證明的 rollup 來說,主鏈的 Rollup 合約記錄了該 Rollup 內部狀態根變更的完整記錄,以及每個(觸發狀態根變更的)批次處理的哈希值。如果有人發現某個批次處理對應的新狀態根是錯誤的,他們可以在主鏈上發布一個證明,證明該批次處理生成的新狀態根是錯誤的。合約校驗該證明,如果校驗通過則對該批次處理之后的所有批次處理交易全部回滾。

多邊央行數字貨幣橋項目取得積極進展:10月28日消息,由國際清算銀行(香港)創新中心、香港金融管理局、泰國中央銀行、中國人民銀行數字貨幣研究所和阿聯酋中央銀行聯合建設的多邊央行數字貨幣橋(mBridge)項目取得積極進展。根據國際清算銀行(BIS)等近日聯合發布的報告《貨幣橋項目:央行數字貨幣助力經濟體融合互通》公布情況,多邊央行數字貨幣橋項目成功完成了基于四種央行數字貨幣的首次真實交易試點。在六周時間內,來自四個不同司法轄區的20家商業銀行通過貨幣橋平臺為其客戶完成跨境匯款和外幣兌換業務共計164筆,總額折合人民幣超過1.5億元。(金十)[2022/10/28 11:53:29]

這里的驗證方式相當于聲明人(銀行)提交了可驗證資產聲明文件,然后將資產文件全部公開到鏈上,并且數據也要公開到鏈上,其他挑戰者根據原始數據進行計算看可驗證的資產文件是否存在錯誤或偽造的情況,如果有問題,則提出挑戰,挑戰成功則向銀行索賠。這里最重要的問題就是需要預留時間給挑戰者收集數據并且驗證該份文件的真實性。

對于使用零知識證明(Zero Knowledge Proof,ZKP)技術的 Rollup 來說,其每個批次處理中包含一個稱為 ZK-SNARK 的密碼學證明。銀行通過密碼學證明技術來生成資產聲明文件。這樣就不需要預留時間給挑戰者,從而也就沒有挑戰者這一角色存在了。

目前 polygon 系的 hermez 已經發布,zksync dev 主網、starknet 主網也已經上線。但是他們的交易速度似乎與我們理論上還相差過大,特別是 starknet 的用戶能明顯感知到,其主網速度慢的令人驚訝。究其原因還是在于零知識證明技術生成證明難度仍然很大,成本開銷仍然很高,還有需要對以太坊的兼容性和 zkevm 性能上的權衡。Polygon 團隊也承認:「Polygon zkEVM 的測試網版本也具有有限的吞吐能力,這意味著它遠不是作為優化擴展機器的最終形式。」

以太坊的抽象執行步驟如下所示:

在以太坊的去中心化過程中,我們也可以在 The Merge 路線圖上看到——去中心化驗證者。其中最主要的就是實現客戶端的多樣性以及降低機器的入門門檻,增加驗證者的人數。因此有些機器不達標的驗證者想要參與網絡,就可以使用輕客戶端,輕節點的運行原理是通過臨近的全節點索要區塊頭,輕節點只需要下載和驗證區塊頭即可。如果輕節點不參與進來,那么所有的交易都需要全節點去執行驗證,因此全節點需要下載和驗證區塊中的每筆交易,同時隨著交易量的增多,全節點承壓也越來越大,因此節點網絡逐漸傾向于高性能、中心化。

但是這里的問題是,惡意的全節點可以給予缺失 / 無效的區塊頭,但是輕節點沒辦法證偽,對此問題有兩種辦法,剛開始是使用欺詐證明,需要一個可信的全節點來監控區塊的有效性,在發現無效區塊后構造一個欺詐證明,在一段時間內未收到欺詐證明則判定為有效區塊頭。

但是這里明顯需要一個可信的全節點,即需要可信設置或者誠實假設。但是區塊生產者能夠隱藏部分交易,欺詐證明就明顯失效,因為誠實的節點,也依賴于區塊生產者的數據,若數據本身就被隱藏,那么可信節點就認為提交的數據是全部數據,那么自然也不會生成欺詐證明。

Mustarfa AI-Bassam 和 Vitalik 在合著的論文中提出了新的解決方案——糾刪碼。采用糾刪碼來解決數據可用性的問題,比如 celestia,polygon avail 均采用的是 reed-solomon 糾刪碼。但是如何確保傳輸的數據是完整的數據呢,結合 KZG 承諾 / 欺詐證明即可。

在 KZG 承諾 / 欺詐證明中,能夠確保區塊生產者發布完整的數據,不會隱藏交易,然后將數據通過糾刪碼進行編碼,再通過數據可用性采樣,這樣就可以讓輕節點正確地驗證數據。

Rollup 內聚合器提交的數據都是以 calldata 形式存儲在鏈上的,這是因為 calldata 數據相對于其它存儲區域更便宜。

Calldata cost in gas = Transaction size 16 gas per byte

每筆交易主要的開銷在 calldata 成本,因為在鏈上存儲費用極其昂貴,該部分占到 rollup 成本的 80%~95% 之多。

由于這個問題,我們才提出了 EIP-4844 的新交易格式 blob,擴大區塊容量,降低提交到鏈上所需的 gas 費。

那么如何解決鏈上數據昂貴的問題呢?有以下幾種方法:

首先是壓縮上傳到 L1 的 calldata 數據大小,這方面已經有了許多的優化。

Meta元宇宙硬件將使用博通芯片,年規模超10億美元:5月31日消息,摩根大通分析師今日表示,Facebook母公司Meta Platforms將使用博通公司的定制芯片來生產其“元宇宙”硬件。這意味著,Meta Platforms將成為博通的“下一個十億美元”ASIC芯片客戶。

?摩根大通稱,得益于博通與Meta的交易,以及與Alphabet和微軟的合作伙伴關系,ASIC(專用集成電路)芯片今年將為博通帶來20億美元至25億美元的收入。

分析師哈蘭·蘇爾(Harlan Sur)稱:“我們認為,這些合同主要是5納米和3納米工藝,將用于支持Meta的元宇宙硬件架構。”當前,Meta正在元宇宙領域投入巨資,包括為硬件增加新功能,以作為其元宇宙的入口。(鞭牛士)[2022/6/1 3:53:57]

其次是降低在鏈上存放數據的成本,通過以太坊的 proto-danksharding 和 danksharding 來為 rollup 提供「大區塊」,更大的數據可用性空間,采用糾刪碼和 KZG 承諾來解決輕節點的問題。如 EIP-4844。

第三個是,把數據可用性放在鏈下,這部分的通用方案包括,celestia / polygon avail 等。

通過數據可用性存放的位置,我們將其分為下圖所示:

Validium 的方案:將數據可用性放在鏈下,那么這些交易數據就由中心化的運營商來維護,用戶就需要可信設置,但成本會很低,但同時安全性幾乎沒有。之后 starkex 和 arbitrum nova 都提出成立 DAC 來負責交易數據的存儲。DAC 成員都是知名且在法律管轄區內的個人或組織,信任假設是他們不會串通和作惡。

Zkporter 提出 guardians(zksync token 持有者)來質押維護數據可用性,如果發生了數據可用性故障,那么質押的資金將被罰沒。

Volition 則是用戶自己選擇鏈上 / 鏈下數據可用性,根據需求,在安全與成本之間選擇。

這時候,celestia 和 polygon avail 就出現了。如果 validium 有鏈下數據可用性的需求,又害怕去中心化程度低,從而引發類似跨鏈橋的私鑰攻擊,那么去中心化的通用 DA 方案則可以解決這個問題。Celestia 和 polygon avail 通過成為一條單獨的鏈,來為 validium 提供鏈下 DA 的解決方案。但是通過單獨的鏈,雖然提升的安全性,但相應會提高成本。

Rollup 的拓展實際上有兩部分,一部分是聚合器的執行速度,另一方面則需要數據可用層的配合,目前聚合器是中心化的服務器來運行,假設交易執行的速度能達到無限大的程度,那么主要拓展困境在于其受到底層數據可用性解決方案的數據吞吐量的影響。如果 rollup 要最大化其交易吞吐量,則如何最大化數據可用性解決方案的數據空間吞吐量是至關重要的。

再回到開頭,使用 KZG 承諾或者欺詐證明來確保數據的完整性,通過糾刪碼來拓展交易數據幫助輕節點進行數據可用性采樣,進一步確保輕節點能夠正確驗證數據。

也許你也想問,到底 KZG 承諾是如何運行來確保其數據的完整性的呢?或許可以稍微解答一下:

KZG 承諾:證明多項式在特定位置的值與指定的數值一致。

KZG 承諾無非就是多項式承諾中的一種,能夠在不給定具體消息的情況下驗證消息。大概流程如下:

將數據通過糾刪碼化為多項式,將其拓展。使用 KZG 承諾確保我們的拓展是有效的,且原數據是有效的。然后利用拓展可以 reconstruct 數據,最后進行數據可用性采樣。

提交者(commiter)生成承諾(commitment),將其與消息綁定。

將綁定后的消息傳送給驗證者,這里的 communication 方案就關系到證明規模(proof size)的大小。

驗證者(verifier),帶入有限域的多個值驗證是否仍然等于 a(這就是可用性采樣的過程),基本原理就是驗證次數越多那么正確的概率就越高。

Celestia 要求驗證者下載整個區塊,現在的 danksharding 則利用數據可用性采樣技術。

由于區塊存在部分可用的情況,因此任何時候我們都需要在重構區塊的時候保證同步。在區塊確實部分可用時,節點之間通信,將區塊拼湊出來。

KZG 承諾和數據欺詐證明的比較:

可以看到 KZG 承諾能確保拓展和數據是正確的,而欺詐證明引入第三方進行觀察。最明顯的區別是,欺詐證明需要一個時間間隔來給觀察者進行反應,然后再報告欺詐,這時候需要滿足節點直接的同步,從而整個網絡能夠及時收到欺詐證明。KZG 則明顯的比欺詐證明更快,其使用數學方法來確保數據的正確,而不需要一個等待時間。

它能夠證明數據以及其拓展是正確的。但是由于一維 KZG 承諾需要耗費更大的資源,因此以太坊選擇二維 KZG 承諾。

比如 100 行 100 列,那就是 100,00 個份額(shares)。但每采樣一次,都不是萬分之一的保證。那么擴展四倍意味著在整個份額中至少要有 1/4 的份額不可用,你才可能抽到一個不可用的份額,才表示真正不可用,因為恢復不出來。只有在 1/4 不可用的情況下才恢復不出來,才是真正有效的發現錯誤,所以抽一次的概率大概是 1/4。抽十多次,十五次,可以達到 99% 的可靠性保證。現在在 15–20 次的范圍之內做選擇。

在 proto-danksharding 實現中,所有驗證者和用戶仍然必須直接驗證完整數據的可用性。

Proto-danksharding 引入的主要特征是新的交易類型,我們稱之為攜帶 blob 的交易。攜帶 blob 的事務類似于常規事務,不同之處在于它還攜帶一個稱為 blob 的額外數據。Blob 非常大(~125 kB),并且比類似數量的調用數據便宜得多。但是,這些 blob 無法從 EVM 訪問(只有對 blob 的承諾)。并且 blob 由共識層(信標鏈)而不是執行層存儲。這里其實就是數據分片概念逐漸成型的開始。

因為驗證者和客戶端仍然需要下載完整的 blob 內容,所以 proto-danksharding 中的數據帶寬目標為每個插槽 1 MB,而不是完整的 16 MB。然而,由于這些數據沒有與現有以太坊交易的 gas 使用量競爭,因此仍然有很大的可擴展性收益。

盡管實現全分片(使用數據可用性采樣等)是一項復雜的任務,并且在 proto-danksharding 之后仍然是一項復雜的任務,但這種復雜性包含在共識層中。一旦 proto-danksharding 推出,執行層客戶端團隊、rollup 開發人員和用戶不需要做進一步的工作來完成向全分片的過渡。Proto-danksharding 還將 blob 數據與 calldata 分離,使客戶端更容易在更短的時間內存儲 blob 數據。

值得注意的是,所有工作都是由共識層更改,不需要執行客戶端團隊、用戶或 Rollup 開發人員的任何額外工作。

EIP-4488 和 proto-danksharding 都導致每個插槽(12 秒)的長期最大使用量約為 1 MB。這相當于每年大約 2.5 TB,遠高于以太坊今天所需的增長率。

在 EIP-4488 的情況下,解決此問題需要歷史記錄到期提案 EIP-4444 (路線圖部分有提及),其中不再要求客戶端存儲超過某個時間段的歷史記錄。

在這里,將盡可能多的以小白的視角講清楚以太坊擴容過程中大家都在討論的問題。所以我們回到分片,再次強調一下對于分片的片面概念:簡單理解就是水平分割數據庫以分散負載的過程。

在這里,我們的數據分片有一個很重要的問題就是,在 PBS 中(提議者與區塊構建者分離,路線圖 The Merge 處有提及),在分片中,每個節點群只處理該分片內的交易,交易在分片間會相對獨立,那么 AB 兩用戶處于不同分片上,相互轉賬該如何處理呢?那這里就需要很好的跨片通信的能力。

過去的方式是數據可用性層分片,每個分片都有獨立的提議者(proposers)和委員會(committee)。在驗證者集中,每個驗證者輪流驗證分片的數據,他們將數據全部下載下來進行驗證。

缺點是:

需要嚴密的同步技術來保證驗證者之間能夠在一個 slot 內同步。

驗證者需要收集所有的 committee 的投票,這里也會出現延遲。

而且驗證者完全下載數據對其壓力也很大。

第二種方法是放棄完全的數據驗證,而是采用數據可用性采樣的方法(該方法在 The Surge 后期實現)。這里又分為兩種隨機采樣方式,1)區塊隨機采樣,對部分數據分片采樣,如果驗證通過后,驗證者進行簽名。但是這里的問題是,可能會出現遺漏交易的情況。2)通過糾刪碼將數據重新解釋為多項式,再利用特定條件下多項式能夠恢復數據的特點,來確保數據的完整可用性。

「分片" 關鍵就是驗證者不負責下載所有數據,而這就是為什么 Proto-danksharding 不被認為是 "分片的" 的原因(盡管它的名字里有 "分片 sharding")。Proto-danksharding 要求每個驗證者完整地下載所有分片 blob 來驗證它們的可用性;Danksharding 則隨后將引入采樣,單個驗證者只需下載分片 blob 的片段。

被視為以太坊拓展未來的 ZK 系 Layer 2 如 zksync、starknet 都紛紛提出了 Layer 3 的概念。簡單理解就是 Layer 2 的 Layer 2。

以太坊上高昂的交易成本正在推動它(L3)成為 L2 的結算層。相信在不久的將來,由于交易成本顯著降低、對 DeFi 工具的支持不斷增加以及 L2 提供的流動性增加,最終用戶將在 L2 上進行大部分活動,而以太坊逐漸成為結算層。

L2 通過降低每筆交易的 gas 成本和提高交易率來提高可擴展性。同時,L2s 保留了去中心化、通用邏輯和可組合性的好處。但是,某些應用程序需要特定的定制,這可能更好地由一個新的獨立層提供服務:L3!

L3 與 L2 相關,就像 L2 與 L1 相關一樣。只要 L2 能夠支持驗證者(Verifier)智能合約,L3 就可以使用有效性證明來實現。當 L2 也使用提交給 L1 的有效性證明時,就像 StarkNet 所做的那樣,這將成為一個非常優雅的遞歸結構,其中 L2 證明的壓縮優勢乘以 L3 證明的壓縮優勢。理論上說,如果每一層都實現了例如 1000 倍的成本降低,那么 L3 可以比 L1 降低 1,000,000 倍——同時仍然保持 L1 的安全性。這也是 starknet 引以為豪的遞歸證明的真實用例。

這里需要用到《數據可用性層的鏈上與鏈下》部分知識。整個 Layer 3 包括了:

Rollup(鏈上數據可用性),validium(鏈下數據可用性)。兩種分別對應不同的應用需求。對價格、數據敏感的 web2 企業可以使用 validium,將數據放在鏈下,這樣極大的降低了鏈上 gas 費用,并且可以不公開用戶數據實現隱私性,讓企業完成自己對數據的掌控力,使用自定義的數據格式,以前企業的數據商業模式仍然能夠跑通。

L2 用于擴展,L3 用于定制功能,例如隱私。

在這個愿景中,沒有嘗試提供「二次方級可擴展性」;相反,這個堆棧中有一層可以幫助應用程序擴展,然后根據不同用例的定制功能需求分離各層。

L2 用于通用擴展,L3 用于自定義擴展。

自定義擴展可能有不同的形式:使用除 EVM 之外的其他東西進行計算的專用應用程序,其數據壓縮針對特定應用程序的數據格式進行優化的 rollup(包括將「數據」與「證明」分開,并用每個區塊的單個 SNARK 完全替換證明)等。

L2 用于無信任擴展(rollup),L3 用于弱信任擴展(validium)。

Validium 是使用 SNARK 來驗證計算的系統,但將數據可用性留給受信任的第三方或委員會。在我看來,Validium 被嚴重低估了:特別是,許多「企業區塊鏈」應用程序實際上可能最好由運行 validium 證明者并定期將哈希提交到鏈的中心化服務器來提供最佳服務。

Validium 的安全等級低于 rollup,但可以便宜得多。

對于 dApp 的開發者來說,在基礎設施上可以有以下幾種選擇:

自己開發一個 Rollup(ZK Rollups 或者 Optimistic Rollups)

優勢是你可以繼承以太坊的生態(用戶),還有它的安全性,但是對于一個 dApp 團隊來說,Rollup 的開發費用顯然過高。

選擇 Cosmos、Polkadot 或者是 Avalanche

開發的費用會更低(例如 dydx 就選擇了 Cosmos),但是你將失去以太坊的生態(用戶),以及安全性。

自己開發一個 Layer 1 區塊鏈

帶來的開發費用和難度很高,但是卻能擁有最高的控制權。

我們對比一下三種情況:

難度/費用:Alt-layer 1 > Rollup > Cosmos

安全性:Rollup > Cosmos > Alt-layer 1

生態/用戶:Rollup > Cosmos > Alt-layer 1

控制權:Alt-layer 1 > Cosmos > Rollup

作為一個 dApp 的開發者,如果想繼承以太坊上的安全性和流量,那就不能重新開發一條鏈,那只能選擇 rollup。但是自己開發一個 layer 2 rollup 又非常貴,那么合適的解決方案就變成了利用 layer 3 SDK 開發一個自己的應用專用的 Rollup(application-specific rollup),即 Layer 3。

由于以太坊是基于賬戶模型設計的,所有的用戶均處在一整個狀態樹內,因此無法進行并行,因此以太坊本身的桎梏就讓其需要剝離執行操作,將 rollup 的多筆交易合成為一筆交易,作為結算層的存在。現在所有的問題就集中在 layer 2 的吞吐量的提升上。不僅僅是用 Layer 3 可以提高交易的吞吐量,還有在 Layer 2 上實行并行處理,也可以極大提高整個網絡的吞吐量。

并行化問題 starknet 也在積極探索,雖然目前證明算法仍然是桎梏,但是預計未來將不會成為阻力。潛在的瓶頸包括:

排序器 tx 處理:一些排序器的工作似乎天生就是串行的。

帶寬:多個排序器之間的互連將受到限制。

L2 狀態大小

在 starknet 社區中,成員也提出了 aptos 的并行處理方式非常不錯。就 Starknet 而言,目前也在推進排序器內部 tx 并行排序的能力。

五、總結以太坊正在將執行層剝離,所有的行為都朝著其「全球」結算層愿景的方向前進。目前整個以太坊雖然進度緩慢,也就是由于其整體過于龐大,每次更新都牽扯了許多利益與權衡。但不可否認的是,以太坊正在經歷重大變革,以太坊大量的鏈上活動、經濟機制改進以及以太坊 2.0 可擴展性,其引領的創新 IC0、Defi、NFT 等很多東西值得以太坊社區興奮與期待。相信伴隨著越來越多國家部署以太坊的節點,比如阿根廷首都政府計劃在 2023 年部署以太坊驗證節點,在不久的將來,以太坊真的能夠實現其宏偉愿景。

區塊律動BlockBeats

媒體專欄

閱讀更多

火幣研究院

1435Crypto

隔夜的粥

金色財經

老雅痞

Sui World

文章匯

深潮TechFlow

Yam

比推BitpushNews

硅星人

Tags:ROLLROL以太坊LAYERroll幣在哪換roll幣能出坐騎嗎near幣是下一個以太坊嗎Layer 1 Quality Index

DOT
塑造元宇宙的 9 個大趨勢_區塊鏈:VERS

通過查看這里的 9 大趨勢,我們有機會“拉回相機鏡頭”,并看到我們正在構建元宇宙的更廣闊景觀的圖片。人們越來越認為虛擬世界與物理世界一樣真實。在現實世界中,信任是關系和機構運作的方式.

1900/1/1 0:00:00
近十家銀行落地數字人民幣業務 解析非運營機構入局模式_虛擬資產:ATG

近日,民生銀行網絡金融部發布了數字人民幣管理崗位,背后的意圖不言而喻。21世紀經濟報道記者注意到,除作為指定運營機構的六家國有大行之外,試點城市的部分商業銀行正在積極加入數字人民幣體系.

1900/1/1 0:00:00
加密貨幣會不會復蘇:比特幣未來走勢如何_COI:COIN

比特幣是加密貨幣世界的市場基準。自去年 5 月 19 日 COVID 疫情驅動的崩潰以來,加密貨幣市場出現了最嚴重的跌幅。BTC 單日暴跌 33%,一度跌至 29,000 美元的低點.

1900/1/1 0:00:00
NFT必修課:誰將擁有 NFT 作品的版權?_PIT:ENT

新興的加密藝術市場正在重塑藝術作品的營銷方式。正因如此,我們面臨著區分原創與抄襲的挑戰。在數字藝術世界中,抄襲已變得司空見慣,因為復制繪畫、照片、音樂、繪畫、游戲以及其他數字化或物理介質數字化的.

1900/1/1 0:00:00
新加坡不是“創業圣地”_HOPE:hop幣挖礦

文/周逸斐 編輯/周曉奇如果說,以前國人喜歡去新加坡主要是為了旅游和購物,那么今年很明顯變成,投資人和創業者們喜歡新加坡,是為了完成掘金新加坡、開拓海外市場的淘金夢.

1900/1/1 0:00:00
一文盤點八大 Layer 2 項目最新動態_以太坊:bitpie錢包官網

以太坊合并后,Layer2 生態板塊發展迅速。L2 在三季度TVL 增加了 97.1%,除此之外,Layer2生態項目也取得很多進展,本文將Layer2重點項目進行盤點,并梳理其最新動態.

1900/1/1 0:00:00
ads