在模塊化的未來,用戶是最終的贏家。
「模塊化區塊鏈」的想法正在成為圍繞可擴展性和區塊鏈基礎設施的類別定義敘述。
?這個論點很簡單:通過分解第1層區塊鏈的核心組件,我們可以對各個層進行100倍的改進,從而形成一個更具可擴展性、可組合性和去中心化的系統。在我們詳細討論模塊化區塊鏈之前,我們必須了解現有的區塊鏈架構以及區塊鏈在當前實現中面臨的限制。?
資料來源:以太坊基金會
什么是區塊鏈?
讓我們簡要回顧一下區塊鏈的基礎知識。區塊鏈中的區塊由兩部分組成:區塊頭和與其關聯的交易數據。區塊通過「完整節點」進行驗證,這些節點解析和計算整個區塊數據,以確保交易有效,并且用戶發送的ETH不會超過他們的賬戶余額。
讓我們還簡要概述組成區塊鏈的功能「層」。
執行
交易和狀態更改最初在此處處理。用戶通常還通過該層通過簽署交易、部署智能合約和轉移資產與區塊鏈進行交互。
結算
結算層是驗證Rollup執行和解決爭議的地方。該層不存在于單體區塊鏈中,是模塊化堆棧的可選部分。與美國法院系統類比,將結算層視為美國最高法院,為爭議提供最終仲裁。
共識?
區塊鏈的共識層通過全節點網絡提供排序和最終確定性,下載和執行區塊的內容,并就狀態轉換的有效性達成共識。?
?數據可用性
驗證狀態轉換是否有效所需的數據應發布并存儲在該層上。如果發生惡意區塊生產者扣留交易數據的攻擊,這應該很容易驗證。數據可用性層是區塊鏈可擴展性三難困境的主要瓶頸,我們稍后會探討原因。
FTX攻擊黑客已竊取價值1.89億美元的ETH和DAI:11月12日消息,據Lookonchain數據顯示,被標記為FTX攻擊黑客地址正在將其資產兌換為無法凍結的DAI和ETH。該地址目前已獲得價值1.89億美元的ETH和DAI。
以下資產還未被出售,包括2300萬MATIC(約合2200萬美元)、73,350枚BNB(約合2000萬美元)、5290萬枚SRM(約合1860萬美元)和260萬枚LINK(約合1650萬美元)等。[2022/11/12 12:55:09]
例如,以太坊是單體的,這意味著基礎層處理上述所有組件。?
資料來源:ResearchGate
區塊鏈目前面臨一個稱為「區塊鏈可擴展性三難困境」的問題。與分布式系統的Brewer定理類似,區塊鏈架構通常會在去中心化、安全性或可擴展性中的一個方面做出妥協,以便為其他兩者提供強有力的保證。
?安全性是指網絡在受到攻擊時保持運行的能力。這個原則是區塊鏈的核心原則,永遠不應該妥協,所以真正的權衡通常是在可擴展性和去中心化之間。
讓我們在區塊鏈系統的背景下定義去中心化:為了讓區塊鏈去中心化,硬件要求不能成為參與的限制,驗證網絡的資源要求應該很低。
可擴展性是指區塊鏈的吞吐量除以其驗證成本:區塊鏈處理越來越多的交易同時保持較低的驗證資源需求的能力。增加吞吐量的主要方法有兩種。首先,您可以增加區塊大小,從而增加可以包含在區塊中的交易容量。不幸的是,更大的區塊大小會導致網絡中心化,因為運行完整節點的硬件要求會隨著對更高計算輸出的需求而增加。特別是單體區塊鏈遇到了這個問題,因為吞吐量的增加與驗證鏈的成本增加相關,從而導致去中心化程度降低。其次,您可以將執行轉移到鏈下,將計算負擔從主網絡上的節點轉移,同時利用允許驗證鏈上計算的證明。
新加坡央行行長:新加坡金管局將推出Ubin+數字貨幣項目:金色財經報道,新加坡央行行長表示,新加坡金管局將推出Ubin+數字貨幣項目,用于跨境實時結算。穩定幣能夠提供貨幣的穩定性和可編程性。去中心化的金融體系很難進行監管。(金十)[2022/11/3 12:12:41]
?借助模塊化架構,區塊鏈可以通過關注點分離的原則開始解決區塊鏈可擴展性的三難困境。通過模塊化執行和數據可用性層,區塊鏈能夠擴展吞吐量,同時通過打破計算和驗證成本之間的相關性來保持使網絡去信任和去中心化的特性。讓我們通過引入故障證明、Rollup以及它們與數據可用性問題的關系來探索這是如何實現的。
?故障證明和OptimisticRollup
Vitalik在《終局游戲》一文中指出,中心化和去中心化之間可能的妥協是,出于可擴展性目的,區塊生產的未來中心化于礦池和專業生產者,而區塊驗證應該重要地保持去中心化。這可以通過將區塊鏈節點拆分為完整節點和輕客戶端來實現。該模型存在兩個相關問題:區塊驗證和區塊可用性。讓我們首先探索它在區塊驗證中的應用。
?全節點下載、計算和驗證區塊中的每筆交易,而輕客戶端僅下載區塊頭并假設交易有效。然后,輕客戶端依賴全節點生成的故障證明來進行交易驗證。這反過來又允許輕客戶端自主識別無效交易,使它們能夠在與全節點幾乎相同的安全保證下運行。默認情況下,輕客戶端假定狀態轉換是有效的,并且可以通過接收故障證明來質疑狀態的有效性。當一個節點的狀態受到故障證明的挑戰時,通過一個全節點重新執行相關交易來達成共識,導致不誠實節點的權益被削減。
?來源
輕客戶端和故障證明模型在誠實少數假設下是安全的,其中至少存在一個誠實的全節點,具有提交故障證明的鏈的完整狀態。該模型與分片區塊鏈特別相關,因為驗證者可以選擇在一個分片上運行完整節點,在其余分片上運行輕客戶端,同時在所有分片上保持N中的1個安全保證。
加密風投CoinFund尋求為其種子基金募資2.5億美元:金色財經報道,根據向美國證券交易委員會(SEC)提交的新文件,專注于加密貨幣的投資公司CoinFund正在尋求為其新的種子基金CoinFund Seed IV籌集2.5億美元,銷售尚未開啟,這意味著基金尚未向投資者開放。
CoinFund成立于2015年,最初專注于比特幣和去中心化金融 (DeFi) 項目的種子階段投資,其投資組合包括NBA Top Shot創建團隊Dapper Labs、區塊鏈基礎設施提供商Blockdaemon和數據索引協議The Graph。此前8月份,該公司推出了3億美元的CoinFund Ventures I基金。[2022/11/2 12:07:00]
?OptimisticRollups利用此模型將區塊鏈執行層安全地抽象為排序器,即捆綁和執行多個事務并定期將壓縮數據發布回父鏈的強大計算機。將此計算轉移到鏈外可以使交易吞吐量增加10-100倍。我們如何才能相信這些鏈下測序儀保持良性?我們引入了債券,運營商必須質押以運行測序儀的代幣。由于定序器將交易數據發布回父鏈,因此我們可以使用驗證器來發布故障證明并隨后削減惡意定序器的賭注。由于樂觀匯總使用故障證明,因此假設網絡中存在一個誠實的驗證者,它們是安全的。故障證明的這種使用是樂觀匯總的名稱來源-假設狀態轉換是有效的,直到在爭議期間證明其他情況,在結算層處理。
?這就是我們如何在最小化信任的同時擴展吞吐量:允許計算變得中心化,同時保持對計算的驗證去中心化。
??數據可用性問題
雖然故障證明是解決去中心化區塊驗證的有用工具,但全節點依賴于區塊可用性來生成故障證明。惡意出塊者可以選擇只發布區塊頭,并保留部分或全部相應數據,阻止全節點驗證和識別無效交易,從而產生故障證明。這種類型的攻擊對于全節點來說是微不足道的,因為它們可以簡單地下載整個區塊,并在發現不一致或隱瞞數據時從無效鏈中分叉。但是,輕客戶端將繼續跟蹤可能無效鏈的區塊頭,從完整節點分叉。
慢霧:Equalizer Finance被黑主要在于FlashLoanProvider合約與Vault合約不兼容:據慢霧區消息,6 月 7 日,Equalizer Finance 遭受閃電貸攻擊。慢霧安全團隊以簡訊形式將攻擊原理分享如下:
1. Equalizer Finance 存在 FlashLoanProvider 與 Vault 合約,FlashLoanProvider 合約提供閃電貸服務,用戶通過調用 flashLoan 函數即可通過 FlashLoanProvider 合約從 Vault 合約中借取資金,Vault 合約的資金來源于用戶提供的流動性。
2. 用戶可以通過 Vault 合約的 provideLiquidity/removeLiquidity 函數進行流動性提供/移除,流動性提供獲得的憑證與流動性移除獲得的資金都受 Vault 合約中的流動性余額與流動性憑證總供應量的比值影響。
3. 以 WBNB Vault 為例攻擊者首先從 PancekeSwap 閃電貸借出 WBNB
4. 通過 FlashLoanProvider 合約進行二次 WBNB 閃電貸操作,FlashLoanProvider 會先將 WBNB Vault 合約中 WBNB 流動性轉給攻擊者,隨后進行閃電貸回調。
5. 攻擊者在二次閃電貸回調中,向 WBNB Vault 提供流動性,由于此時 WBNB Vault 中的流動性已經借出一部分給攻擊者,因此流動性余額少于預期,則攻擊者所能獲取的流動性憑證將多于預期。
6. 攻擊者先歸還二次閃電貸,然后從 WBNB Vault 中移除流動性,此時由于 WBNB Vault 中的流動性已恢復正常,因此攻擊者使用添加流動性獲得憑證所取出的流動性數量將多于預期。
7. 攻擊者通過以上方式攻擊了在各個鏈上的 Vault 合約,耗盡了 Equalizer Finance 的流動性。
此次攻擊的主要原因在于 Equalizer Finance 協議的 FlashLoanProvider 合約與 Vault 合約不兼容。慢霧安全團隊建議協議在進行實際實現時應充分考慮各個模塊間的兼容性。[2022/6/8 4:09:22]
?這是數據可用性問題的本質,因為它與故障證明有關:輕客戶端必須確保所有交易數據在驗證之前都在一個區塊中發布,這樣全節點和輕客戶端必須自動就規范鏈的相同區塊頭達成一致。
Blockdaemon和StakeWise推出流動質押平臺Harbour:6月7日消息,區塊鏈基礎設施提供商Blockdaemon和流動性質押平臺StakeWise宣布,在以太坊主網上推出面向機構客戶的流動質押平臺Harbour。
Harbor客戶將在平臺上質押以太坊后獲得質押憑證代幣,機構可以在其他獲得許可的DeFi協議上使用代幣來獲得額外收益,同時仍保持其質押的以太坊。(The Block)[2022/6/7 4:07:46]
?解決方案
看起來我們又回到了原點。輕客戶端如何確保發布一個區塊中的所有交易數據,而無需下載整個區塊——中心化硬件需求,從而違背輕客戶端的目的?
?實現這一點的一種方法是通過一種稱為擦除編碼的數學原語。通過復制區塊中的字節,即使有一定百分比的數據丟失,糾刪碼也可以重建整個塊。該技術用于執行數據可用性采樣,允許輕客戶端通過隨機采樣區塊的一小部分來概率確定整個區塊已發布。這允許輕客戶端確保所有交易數據都包含在特定區塊中,然后再接受它為有效并遵循相應的塊頭。但是,這種技術有一些注意事項:數據可用性采樣具有很高的延遲,并且類似于誠實的少數假設,安全保證依賴于假設有足夠的輕客戶端執行采樣以能夠概率地確定可用性一個區塊。
數據可用性抽樣的簡化。
?有效性證明和零知識Rollup
去中心化區塊驗證的另一個解決方案是取消狀態轉換所需的交易數據。相比之下,有效性證明與故障證明相比采取了更為悲觀的觀點。通過消除爭議過程,有效性證明可以保證所有狀態轉換的原子性,同時需要為每個狀態轉換提供證明。這是通過利用新穎的零知識技術SNARK和STARK來實現的。與故障證明相比,有效性證明需要更多的計算強度來換取更強的狀態保證,從而影響可擴展性。
?零知識Rollup是利用有效性證明而不是故障證明進行狀態驗證的Rollup。它們通過排序器/證明者模型遵循與OptimisticRollup類似的計算和驗證模型,其中排序器處理計算并證明者生成相應的證明。例如,Starknet推出了用于引導目的的中心化排序器,并在路線圖上逐步實現開放式排序器和證明者去中心化。由于排序器上的鏈下執行,計算本身在ZKRollup上是無限的。然而,由于這些計算的證明必須在鏈上進行驗證,最終性仍然是證明生成的瓶頸。
?需要注意的是,利用輕客戶端進行狀態驗證的技術僅適用于故障證明架構。由于通過有效性證明可以保證狀態轉換是有效的,因此節點不再需要交易數據來驗證區塊。然而,有效性證明的數據可用性問題仍然存在,并且稍微微妙:盡管有保證的狀態,但有效性證明的交易數據仍然是必要的,這樣節點才能更新狀態轉換并將其提供給最終用戶。因此,使用有效性證明的Rollup仍然受到數據可用性問題的約束。
我們現在在哪里
回顧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架構。
模塊化區塊鏈架構是當前加密領域中一個備受爭議的話題。由于與去中心化的結算和數據可用性層相關的安全問題和額外的信任假設,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。
?與網絡基礎設施如何從本地服務器演變為云服務器類似,去中心化網絡正在從單體區塊鏈和孤立的共識層演變為具有共享共識層的模塊化、特定于應用程序的鏈。無論哪種解決方案和實施最終流行起來,有一點很清楚:在模塊化的未來,用戶是最終的贏家。
自NFT概念提出到如今賽道白熱化,玩法與機制日新月異,各種平臺層出不窮。各位業內人士在緊緊follow“領頭羊“步伐的同時,也致力于開拓自身的新領域.
1900/1/1 0:00:00近日一位自稱@CryptoInsider23的內部人士披露了所謂Circle的內幕。而CircleCEO對此的回復是“utternonsense”.
1900/1/1 0:00:007月14日新鮮出爐的火爆通脹數據進一步加劇了加息的可能。提高利率對資金的吸收效應明顯,對于加密市場的壓力可見一斑,也由此導致市場對于加密后市的擔憂情緒進一步上升.
1900/1/1 0:00:00近期英屬維爾京群島的法院下令清算3AC以及3AC申請美國破產法第15章破產保護,似乎意味著3AC事件本身已經接近尾聲.
1900/1/1 0:00:00自元宇宙概念提出以來,元宇宙相關行業成為了新的創業熱門,但是由于元宇宙是基于移動互聯網、5G、人工智能、數據處理等多種高新技術于一體的行業,這讓很多人想創業也不知道如何開始.
1900/1/1 0:00:00PoW、PoS和女巫攻擊 ETH作為當今加密生態的頭部公鏈,其擁有最為繁榮的生態系統和最大的TVL。因此,ETH2.0的升級計劃也理所當然的成為當下加密世界最受關注的熱點之一.
1900/1/1 0:00:00