以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > Ethereum > Info

ROLL:詳解模塊化區塊鏈:如何解決區塊鏈架構當前困境?

Author:

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

「模塊化區塊鏈」的想法正在成為圍繞可擴展性和區塊鏈基礎設施的類別定義敘述。

?這個論點很簡單:通過分解第 1 層區塊鏈的核心組件,我們可以對各個層進行 100 倍的改進,從而形成一個更具可擴展性、可組合性和去中心化的系統。在我們詳細討論模塊化區塊鏈之前,我們必須了解現有的區塊鏈架構以及區塊鏈在當前實現中面臨的限制。?

資料來源:以太坊基金會

讓我們簡要回顧一下區塊鏈的基礎知識。區塊鏈中的區塊由兩部分組成:區塊頭和與其關聯的交易數據。區塊通過「完整節點」進行驗證,這些節點解析和計算整個區塊數據,以確保交易有效,并且用戶發送的 ETH 不會超過他們的賬戶余額。

讓我們還簡要概述組成區塊鏈的功能「層」。

執行

交易和狀態更改最初在此處處理。用戶通常還通過該層通過簽署交易、部署智能合約和轉移資產與區塊鏈進行交互。

結算

結算層是驗證 Rollup 執行和解決爭議的地方。該層不存在于單體區塊鏈中,是模塊化堆棧的可選部分。與美國法院系統類比,將結算層視為美國最高法院,為爭議提供最終仲裁。

共識?

區塊鏈的共識層通過全節點網絡提供排序和最終確定性,下載和執行區塊的內容,并就狀態轉換的有效性達成共識。?

?數據可用性

驗證狀態轉換是否有效所需的數據應發布并存儲在該層上。如果發生惡意區塊生產者扣留交易數據的攻擊,這應該很容易驗證。數據可用性層是區塊鏈可擴展性三難困境的主要瓶頸,我們稍后會探討原因。

例如,以太坊是單體的,這意味著基礎層處理上述所有組件。 ?

Fantom基金會:已凍結Multichain錢包中超6000萬美元穩定幣:7月15日消息,Fantom基金會發推稱,“我們對Multichain的最新消息深感失望。這對每個受影響的人來說都是一個困難的局面。針對這一消息,我們團隊立即開始聯系穩定幣發行商,即Circle(USDC)、Tether(USDT)和TrueUSD(TUSD),以凍結Multichain錢包中的資產。我們已經核實,大約超6000萬美元USDC和超200萬美元USDT已經被凍結。我們正在繼續努力,以確定任何其他受影響的資產。我們正積極與各種聯系人和消息來源接觸,以全面了解Multichain事件的相關情況。我們已經成立了一個由Multichain在職員工組成的小組,以便從他們的角度更好地了解情況,并提供力所能及的支持。在接下來的幾周里,我們將進一步宣布Opera Chain上的各種活動,以幫助社區和建設者繼續前進。”[2023/7/15 10:56:43]

資料來源:ResearchGate

區塊鏈目前面臨一個稱為「區塊鏈可擴展性三難困境」的問題。與分布式系統的 Brewer 定理類似,區塊鏈架構通常會在去中心化、安全性或可擴展性中的一個方面做出妥協,以便為其他兩者提供強有力的保證。

?安全性是指網絡在受到攻擊時保持運行的能力。這個原則是區塊鏈的核心原則,永遠不應該妥協,所以真正的權衡通常是在可擴展性和去中心化之間。

讓我們在區塊鏈系統的背景下定義去中心化:為了讓區塊鏈去中心化,硬件要求不能成為參與的限制,驗證網絡的資源要求應該很低。

可擴展性是指區塊鏈的吞吐量除以其驗證成本:區塊鏈處理越來越多的交易同時保持較低的驗證資源需求的能力。增加吞吐量的主要方法有兩種。首先,您可以增加區塊大小,從而增加可以包含在區塊中的交易容量。不幸的是,更大的區塊大小會導致網絡中心化,因為運行完整節點的硬件要求會隨著對更高計算輸出的需求而增加。特別是單體區塊鏈遇到了這個問題,因為吞吐量的增加與驗證鏈的成本增加相關,從而導致去中心化程度降低。其次,您可以將執行轉移到鏈下,將計算負擔從主網絡上的節點轉移,同時利用允許驗證鏈上計算的證明。

SEC執法行動后,Cumberland累計從幣安和Coinbase提取超3.7萬枚ETH:6月8日消息,據Lookonchain監測,Cumberland再次從幣安提取了8250枚ETH(1500萬美元),從Coinbase提取了4500枚ETH(800萬美元)。在美國SEC起訴幣安和Coinbase后,Cumberland已共計從兩家交易所提取37600枚ETH(6900萬美元)。 據此前消息,Cumberland昨日從Coinbase提取了2萬枚ETH(約合3700萬美元),從幣安提取了4,850枚ETH (約合900萬美元)。在此期間,他還提取了AXS、SHIB、COMP、LINK、CRV、AAVE和RNDR。[2023/6/8 21:23:15]

?借助模塊化架構,區塊鏈可以通過關注點分離的原則開始解決區塊鏈可擴展性的三難困境。通過模塊化執行和數據可用性層,區塊鏈能夠擴展吞吐量,同時通過打破計算和驗證成本之間的相關性來保持使網絡去信任和去中心化的特性。讓我們通過引入故障證明、Rollup 以及它們與數據可用性問題的關系來探索這是如何實現的。

Vitalik 在《終局游戲》一文中指出,中心化和去中心化之間可能的妥協是,出于可擴展性目的,區塊生產的未來中心化于礦池和專業生產者,而區塊驗證(保持生產者誠實)應該重要地保持去中心化。這可以通過將區塊鏈節點拆分為完整節點和輕客戶端來實現。該模型存在兩個相關問題:區塊驗證(驗證計算是否正確)和區塊可用性(驗證所有數據是否已發布)。讓我們首先探索它在區塊驗證中的應用。

?全節點下載、計算和驗證區塊中的每筆交易,而輕客戶端僅下載區塊頭并假設交易有效。然后,輕客戶端依賴全節點生成的故障證明來進行交易驗證。這反過來又允許輕客戶端自主識別無效交易,使它們能夠在與全節點幾乎相同的安全保證下運行。默認情況下,輕客戶端假定狀態轉換是有效的,并且可以通過接收故障證明來質疑狀態的有效性。當一個節點的狀態受到故障證明的挑戰時,通過一個全節點重新執行相關交易來達成共識,導致不誠實節點的權益被削減。

1065枚BTC從Coinbase轉移到未知錢包:金色財經報道,Whale Alert監測顯示,2小時50分鐘前1065枚BTC(約29012458 美元)從Coinbase 轉移到未知錢包。[2023/6/1 11:52:06]

?來源

輕客戶端和故障證明模型在誠實少數假設下是安全的,其中至少存在一個誠實的全節點,具有提交故障證明的鏈的完整狀態。該模型與分片區塊鏈(例如合并后的以太坊架構)特別相關,因為驗證者可以選擇在一個分片上運行完整節點,在其余分片上運行輕客戶端,同時在所有分片上保持 N 中的 1 個安全保證。

?Optimistic Rollups 利用此模型將區塊鏈執行層安全地抽象為排序器,即捆綁和執行多個事務并定期將壓縮數據發布回父鏈的強大計算機。將此計算轉移到鏈外(相對于父鏈)可以使交易吞吐量增加 10-100 倍。我們如何才能相信這些鏈下測序儀保持良性?我們引入了債券,運營商必須質押以運行測序儀的代幣。由于定序器將交易數據發布回父鏈,因此我們可以使用驗證器(觀察父鏈與其匯總之間的狀態不匹配的節點)來發布故障證明并隨后削減惡意定序器的賭注。由于樂觀匯總使用故障證明,因此假設網絡中存在一個誠實的驗證者,它們是安全的。故障證明的這種使用是樂觀匯總的名稱來源 - 假設狀態轉換是有效的,直到在爭議期間證明其他情況,在結算層處理。

?這就是我們如何在最小化信任的同時擴展吞吐量:允許計算變得中心化,同時保持對計算的驗證去中心化。

雖然故障證明是解決去中心化區塊驗證的有用工具,但全節點依賴于區塊可用性來生成故障證明。惡意出塊者可以選擇只發布區塊頭,并保留部分或全部相應數據,阻止全節點驗證和識別無效交易,從而產生故障證明。這種類型的攻擊對于全節點來說是微不足道的,因為它們可以簡單地下載整個區塊,并在發現不一致或隱瞞數據時從無效鏈中分叉。但是,輕客戶端將繼續跟蹤可能無效鏈的區塊頭,從完整節點分叉。(請記住,輕客戶端不會下載整個區塊,并假設狀態轉換默認有效。)

美國SEC對加密初創公司LBRY 2200萬美元的罰單降為11.1 萬美元:金色財經報道,在向新罕布什爾州地方法院提交的一份文件中,美國證券交易委員會以加密初創公司LBRY \"缺乏資金和瀕臨倒閉 \"為由,要求法院對其處以111614美元的罰款,而不是尋求原來的2200萬美元。

據悉,美國證券交易委員會于2021年3月首次對LBRY提起民事訴訟,指控該公司的LBC銷售是未注冊的證券發行。要求賠償2200萬美元,并要求法院命令LBRY停止任何進一步的LBC銷售。美國證券交易委員會在2022年11月贏得了此案,之前的法官也裁定LBC是一種證券。[2023/5/15 15:02:49]

?這是數據可用性問題的本質,因為它與故障證明有關:輕客戶端必須確保所有交易數據在驗證之前都在一個區塊中發布,這樣全節點和輕客戶端必須自動就規范鏈的相同區塊頭達成一致。(如果您想知道為什么我們不能使用類似的系統來進行數據可用性的故障證明,您可以在此處深入了解數據保留困境。本質上,博弈論規定此處使用的基于故障證明的系統將是被剝削并導致誠實行為者雙輸的局面。)

看起來我們又回到了原點。輕客戶端如何確保發布一個區塊中的所有交易數據,而無需下載整個區塊 —— 中心化硬件需求,從而違背輕客戶端的目的?

?實現這一點的一種方法是通過一種稱為擦除編碼的數學原語。通過復制區塊中的字節,即使有一定百分比的數據丟失,糾刪碼也可以重建整個塊。該技術用于執行數據可用性采樣,允許輕客戶端通過隨機采樣區塊的一小部分來概率確定整個區塊已發布。這允許輕客戶端確保所有交易數據都包含在特定區塊中,然后再接受它為有效并遵循相應的塊頭。但是,這種技術有一些注意事項:數據可用性采樣具有很高的延遲,并且類似于誠實的少數假設,安全保證依賴于假設有足夠的輕客戶端執行采樣以能夠概率地確定可用性一個區塊。

FTX破產法官批準將LedgerX出售給M7 Holdings的動議:金色財經報道,在美國特拉華州破產法院于 5 月 4 日舉行的聽證會上,法官 John Dorsey批準了 FTX 債務人于 4 月提出的將 LedgerX 出售給Miami International Holdings子公司 M7 Holdings 的動議,FTX在達成購買協議時表示,交易總收益約為 5000 萬美元,破產法庭尚未對多家媒體要求其公開某些 FTX 客戶身份的動議做出裁決。

FTX US 于 2021 年 8 月購買了 LedgerX。在一次探討FTX倒閉的國會聽證會上,商品和期貨交易委員會主席 Rostin Behnam 曾表示,與其他 FTX 實體相比,LedgerX 是“健康的”、“有償付能力的”和“可操作的”。[2023/5/5 14:43:46]

數據可用性抽樣的簡化。

去中心化區塊驗證的另一個解決方案是取消狀態轉換所需的交易數據。相比之下,有效性證明與故障證明相比采取了更為悲觀的觀點。通過消除爭議過程,有效性證明可以保證所有狀態轉換的原子性,同時需要為每個狀態轉換提供證明。這是通過利用新穎的零知識技術 SNARK 和 STARK 來實現的。與故障證明相比,有效性證明需要更多的計算強度來換取更強的狀態保證,從而影響可擴展性。

?零知識 Rollup 是利用有效性證明而不是故障證明進行狀態驗證的 Rollup。它們通過排序器 / 證明者模型遵循與 Optimistic Rollup 類似的計算和驗證模型(盡管使用有效性證明作為架構而不是故障證明),其中排序器處理計算并證明者生成相應的證明。例如,Starknet 推出了用于引導目的的中心化排序器,并在路線圖上逐步實現開放式排序器和證明者去中心化。由于排序器上的鏈下執行,計算本身在 ZK Rollup 上是無限的。然而,由于這些計算的證明必須在鏈上進行驗證,最終性仍然是證明生成的瓶頸。

?需要注意的是,利用輕客戶端進行狀態驗證的技術僅適用于故障證明架構。由于通過有效性證明可以保證狀態轉換是有效的,因此節點不再需要交易數據來驗證區塊。然而,有效性證明的數據可用性問題仍然存在,并且稍微微妙:盡管有保證的狀態,但有效性證明的交易數據仍然是必要的,這樣節點才能更新狀態轉換并將其提供給最終用戶。因此,使用有效性證明的 Rollup 仍然受到數據可用性問題的約束。

回顧 Vitalik 的論文:條條大路通向中心化區塊生產和去中心化區塊驗證。雖然我們可以通過區塊生產者硬件的進步以指數方式增加 Rollup 吞吐量,但真正的可擴展性瓶頸是區塊可用性而不是區塊驗證。這導致了一個重要的見解:無論我們使執行層多么強大或我們使用什么證明實現,我們的吞吐量最終都會受到數據可用性的限制。

?我們目前確保數據可用性的一種方法是在鏈上發布區塊鏈數據。Rollup 實施利用以太坊主網作為數據可用性層,定期在 以太坊上發布所有 Rollup 區塊。這種權宜之計解決方案面臨的主要問題是以太坊當前的架構依賴于通過下載整個區塊來保證數據可用性的全節點,而不是執行數據可用性采樣的輕客戶端。當我們增加區塊大小以增加吞吐量時,這不可避免地會導致對驗證數據可用性、中心化網絡的全節點的硬件要求增加。

?未來,以太坊計劃利用數據可用性采樣向分片架構發展,該架構由完整節點和保護網絡的輕客戶端組成。(注意 - 以太坊分片在技術上使用 KZG 承諾而不是故障證明,但無論如何數據可用性問題都是相關的。)然而,這只能解決部分問題:Rollup 架構面臨的另一個基本問題是 Rollup 區塊被轉儲到以太坊主網作為 calldata。這會帶來一些問題,因為 calldata 在規模上是昂貴的,無論 Rollup 交易批量大小如何,都會以每字節 16 個 gas 的成本成為 L2 用戶的瓶頸。

?「這意味著即使在最終用戶利用 Rollup 的情況下,將 calldata 發布到以太坊也會讓他們因這個固定比率而面臨他們今天面臨的驚人的 gas 成本(見下圖)。」

「隨著使用量的增長,發布到以太坊的 calldata 也會增加。這讓我們回到了原點 —— 以太坊真的很貴,即使最終用戶使用 Rollup,他們也會感受到這種成本。」

?Validium 是提高可擴展性和吞吐量同時保持數據可用性保證的另一種方式:細粒度的交易數據可以在鏈下(相對于來源)發送到數據可用性委員會、PoS 監護人或數據可用性層。通過將數據可用性從以太坊 calldata 轉移到鏈下解決方案,validiums 繞過了與增加 rollup 使用相關的固定字節 gas 成本。

Rollup 架構也帶來了獨特的見解,即區塊鏈本身不需要提供執行或計算,而只是簡單地對區塊進行排序并保證這些區塊的數據可用性的功能。這就是第一個模塊化區塊鏈網絡 Celestia 背后的主要設計理念。Celestia 以前稱為 LazyLedger,最初是一個「惰性區塊鏈」,將執行和驗證留給其他模塊化層,并專注于通過數據可用性采樣為交易排序和數據可用性保證提供數據可用性層。中心化區塊生產和去中心化區塊驗證者是 Celestia 設計背后的核心前提:即使是手機也能夠作為輕客戶端參與并保護網絡。由于數據可用性采樣的特性,作為數據可用性層插入 Celestia 的 Rollup 能夠隨著 Celestia 輕節點數量的增長支持更高的區塊大小(因此吞吐量),同時保持相同的概率保證。

?今天的其他解決方案包括 StarkEx、zkPorter 和 Polygon Avail,其中 StarkEx 是目前生產中使用的唯一驗證。無論如何,大多數驗證都包含對數據可用性源的信任的隱含假設,無論是通過受信任的委員會、監護人還是通用數據可用性層進行管理。這種信任還表明,惡意運營商可以阻止用戶提取資金。

?Celestium 架構。

模塊化區塊鏈架構是當前加密領域中一個備受爭議的話題。由于與去中心化的結算和數據可用性層相關的安全問題和額外的信任假設,Celestium 對模塊化區塊鏈架構的愿景受到了重大阻礙。

?與此同時,區塊鏈堆棧的各個方面都取得了重大進展:Fuel Labs 正在開發執行層的并行虛擬機,Optimism 團隊正在研究分片、激勵驗證和去中心化排序器。混合 Optimistic 和零知識解決方案也在開發中。

?以太坊合并后的發展路線圖包括統一結算和數據可用性層的計劃。具體來說,Danksharding 是以太坊路線圖中一個很有前景的發展,旨在將以太坊 L1 數據分片和區塊空間轉換和優化為「數據可用性引擎」,從而允許 L2 Rollup 實現低成本、高吞吐量的交易。

?Celestia 的獨立架構還允許廣泛的執行層實現將其用作數據可用性層,為 WASM、Starknet 和 FuelVM 等替代非 EVM 虛擬機奠定基礎。這種用于各種執行解決方案的共享數據可用性允許開發人員在 Celestia 集群之間創建信任最小化的橋梁,解鎖跨鏈和跨生態系統的可組合性和互操作性,類似于以太坊及其 Rollup 之間的可能性。

?由 Starkware 首創的 Volitions 為鏈上與鏈下數據可用性的困境引入了一種創新的解決方案:用戶和開發人員可以選擇使用驗證將交易數據發送到鏈下,或者將交易數據保持在鏈上,每個人都有自己的獨特的優點和缺點。

?拆分單體應用

此外,第 2 層解決方案的使用和普及率的增加解鎖了第 3 層:分形擴展。分形擴展允許將特定于應用程序的 Rollup 部署在第 2 層 - 開發人員現在可以部署他們的應用程序,完全控制他們的基礎設施,從數據可用性到隱私。在第 3 層上部署還解鎖了第 2 層上所有第 3 層應用程序之間的互操作性,而不是像特定于應用程序的主權鏈(例如 Cosmos)那樣昂貴的基礎鏈。Rollup 之上的 Rollup。

?與網絡基礎設施如何從本地服務器演變為云服務器類似,去中心化網絡正在從單體區塊鏈和孤立的共識層演變為具有共享共識層的模塊化、特定于應用程序的鏈。無論哪種解決方案和實施最終流行起來,有一點很清楚:在模塊化的未來,用戶是最終的贏家。

Tags:區塊鏈ROLLROL以太坊區塊鏈工程專業學什么及就業方向roll幣能出坐騎嗎roll幣怎么用ETH以太坊今日行情

Ethereum
ROT:NFT 流動性分析:現有問題與解決方案

最近的清算浪潮使得加密市場中正蔓延著擔憂,從Three Arrows Capital蔓延到Celsius Network、Babel Finance、BlockFi和Voyager Digita.

1900/1/1 0:00:00
以太坊:金色早報 | Bitfinex向薩爾瓦多企業捐贈36個BTC以支持經濟發展

▌Bitfinex向薩爾瓦多企業捐贈36個BTC以支持經濟發展金色財經報道,加密貨幣交易所Bitfinex已向薩爾瓦多的小企業捐贈了36枚比特幣和價值600,000美元的Tether.

1900/1/1 0:00:00
比特幣:金色前哨 | 通脹軌跡未積極轉變 空頭機構創始人預計BTC價格為1萬美元

7月14日新鮮出爐的火爆通脹數據進一步加劇了加息的可能。提高利率對資金的吸收效應明顯,對于加密市場的壓力可見一斑,也由此導致市場對于加密后市的擔憂情緒進一步上升.

1900/1/1 0:00:00
Celsius:兩加密公司暴雷之后:Celsius還貸保抵押品 三箭資本閉麥玩消失

本輪加密資產熊市中,受Terra崩盤影響最大的兩大CeFi公司——Celsius和三箭資本先后出現流動性危機。借貸平臺Celsius至今仍未開放客戶提款渠道,對沖基金三箭資本面臨破產清算.

1900/1/1 0:00:00
WEB:云朵與悶罐 : 貢獻者身份的最佳差異

在 DAO 組織中經常看到活躍在多個社區的貢獻者,作者用「最佳差異」理論對該現象做出了解釋:多邊工作由歸屬感與差異化雙重需求驅動,而 Web3 與 DAO 更加強了這一趨勢.

1900/1/1 0:00:00
ING:a16z 顧問 Packy McCormick:完成比難更難的事情

來源:老雅痞 在2015年的一篇博文《Carlota Perez框架》中,USV的Fred Wilson寫道:Carlota Perez的推論是“沒有崩潰就沒有重要的事情發生”.

1900/1/1 0:00:00
ads