如何解決區塊鏈架構當前困境？_ROL

什么是區塊鏈？

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

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

執行

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

結算

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

共識

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

?數據可用性

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

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

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

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

直播｜“后浪”仙女周｜熱幣-Merry如何乘風破浪:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第7期16:00 Hotcoin Global｜首席品牌官 Merry將在直播間聊聊“幣圈‘后浪’仙女如何乘風破浪”，感興趣的朋友掃碼移步收聽！[2020/7/1]

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

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

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

?故障證明和OptimisticRollup

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

比特幣大手子：大手子教你如何提前預知爆漲趨勢:4月30日19:00，實盤大V 比特幣大手子 做客金色財經《幣情觀察室》直播間，將分享《大手子教你如何提前預知爆漲趨勢》，欲觀看直播掃描下圖二維碼即可！[2020/4/30]

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

輕客戶端和故障證明模型在誠實少數假設下是安全的，其中至少存在一個誠實的全節點，具有提交故障證明的鏈的完整狀態。該模型與分片區塊鏈特別相關，因為驗證者可以選擇在一個分片上運行完整節點，在其余分片上運行輕客戶端，同時在所有分片上保持N中的1個安全保證。?OptimisticRollups利用此模型將區塊鏈執行層安全地抽象為排序器，即捆綁和執行多個事務并定期將壓縮數據發布回父鏈的強大計算機。將此計算轉移到鏈外可以使交易吞吐量增加10-100倍。我們如何才能相信這些鏈下測序儀保持良性？我們引入了債券，運營商必須質押以運行測序儀的代幣。由于定序器將交易數據發布回父鏈，因此我們可以使用驗證器來發布故障證明并隨后削減惡意定序器的賭注。由于樂觀匯總使用故障證明，因此假設網絡中存在一個誠實的驗證者，它們是安全的。故障證明的這種使用是樂觀匯總的名稱來源-假設狀態轉換是有效的，直到在爭議期間證明其他情況，在結算層處理。

大咖零距離 | 如何使用火箭戰法2天盈利20倍:3月19日18:00，金色盤面邀請實盤大V莊見愁做客金色財經《大咖零距離》直播間，將分享《如何使用火箭戰法2天盈利20倍》，敬請關注，欲進群觀看直播掃描海報二維碼報名即可！[2020/3/19]

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

??數據可用性問題

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

?這是數據可用性問題的本質，因為它與故障證明有關：輕客戶端必須確保所有交易數據在驗證之前都在一個區塊中發布，這樣全節點和輕客戶端必須自動就規范鏈的相同區塊頭達成一致。

?解決方案

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

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

大咖零距離 | 如何盡量的以小博大:1月3日20:00，金色盤面邀請實盤大V爆哥做客金色財經《大咖零距離》直播間，將分享《如何盡量的以小博大》，敬請關注，欲進群觀看直播掃描海報二維碼報名即可！[2020/1/3]

?有效性證明和零知識Rollup

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

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

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

傳真格基金創始人徐小平呼吁各CEO了解區塊鏈 學習如何擁抱這場革命:據某互聯網知名博主爆料，真格基金創始人徐小平在真格基金投資組合微信群呼吁各CEO積極了解區塊鏈，并立即動員全體高管和員工，學習如何擁抱這場革命。[2018/1/9]

我們現在在哪里

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

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

?未來，以太坊計劃利用數據可用性采樣向分片架構發展，該架構由完整節點和保護網絡的輕客戶端組成。然而，這只能解決部分問題：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和PolygonAvail，其中StarkEx是目前生產中使用的唯一驗證。無論如何，大多數驗證都包含對數據可用性源的信任的隱含假設，無論是通過受信任的委員會、監護人還是通用數據可用性層進行管理。這種信任還表明，惡意運營商可以阻止用戶提取資金。

工作正在進行中

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

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

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

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

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

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

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

Tags：區塊鏈ROLROLL以太坊區塊鏈工程專業張雪峰roll幣在哪換RollerSwapop幣價格跟隨以太坊價格走

以太坊交易所