買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > SAND > Info

MEL:Fuel:模塊化執行案例(第 1 部分)_區塊鏈dapp開發白富美

Author:

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

模塊化執行案例

區塊鏈空間正越來越多地轉向模塊化架構,以實現真正的可擴展性。即使是像以太坊這樣以前完全單片的鏈,也正在轉向模塊化設計,以克服單片區塊鏈設計帶來的挑戰。

模塊化區塊鏈堆棧的核心組件之一是執行層,Fuel正在為模塊化區塊鏈堆棧構建最快的執行層。

什么是模塊化執行層?他們將如何實現更具可擴展性的區塊鏈系統?

與單片執行層相比,模塊化執行層具有兩個核心優勢:

1,單片鏈將計算和驗證耦合在同一層,導致安全性低于標準和有限的可擴展性。模塊化執行層通過解耦計算和驗證來避免這種情況,從而大規模提供更強大的安全保證。

2,單片鏈在可以支持的速度和計算種類方面被鎖定在低效的技術中。另一方面,可以專門設計模塊化執行層,以優化高效計算。

這篇文章會詳細闡述了第一個核心好處,第二個好處將在第2部分中探討,鏈接:

單片區塊鏈基礎:計算與驗證

要了解模塊化執行層帶來的創新,首先我們需要了解單體區塊鏈如何處理計算和驗證。

區塊鏈依賴于執行交易并將它們捆綁成一個區塊的實體網絡-這些被稱為區塊生產者。如果沒有制衡,惡意區塊生產者可能會在區塊中包含無效交易。為了防止這種情況,區塊鏈依靠其他節點的網絡來確定區塊的有效性,然后再將其添加到其鏈版本中。

這導致了區塊鏈運行所需的兩個核心功能:

區塊生產?-執行交易并應用單個狀態轉換來構建區塊。

塊驗證?-確認狀態轉換有效。

單片鏈的計算與驗證

注意:為了便于理解,本文提供了關于區塊生產和驗證如何在單片區塊鏈上工作的簡化說明。實際上,該過程更為復雜,并且可能因特定鏈的設計而異。但是,許多相同的核心原則適用。

模塊化執行層Fuel啟動Beta-3測試網,添加P2P網絡并可同步運行全節點:3月21日消息,以太坊模塊化執行層 Fuel 啟動第三個公共測試網 Beta-3,新測試網添加了 P2P 網絡,引入了在 Fuel 上同步運行全節點的能力。Fuel 表示,Beta-3 不是激勵性測試網。參與該網絡不會獲得直接獎勵。

Fuel 于去年 11 月份推出 Beta-2,并增加了橋接支持,允許開發人員可以在 Fuel 上試驗跨鏈 DApp。Beta-2 已處理超過 90 萬筆結算交易。[2023/3/21 13:16:34]

在大多數單體區塊鏈設計中,計算和驗證由相同的實體執行-驗證者。當用戶發送交易時,驗證器將執行交易,然后將相應的狀態轉換包含在塊中。

一旦一個區塊被創建和傳播,其他完整節點就會下載該區塊并重新執行該區塊中的交易,以確認其有效。如果區塊是有效的,假設它們是誠實的,則全節點將該區塊附加到他們的鏈版本上,從而證明其有效性。

有時,應用程序或用戶需要訪問區塊鏈的狀態,但不希望產生運行完整節點和獨立驗證所有交易的高資源需求。為此,它們可以運行輕量級客戶端,這些客戶端假定全節點提供的區塊僅包含有效交易。

他們不會下載完整的區塊鏈,也不會驗證所有以前的交易是否有效。相反,他們必須相信大多數完整節點是誠實的。

這被稱為誠實多數假設,也是大多數單體區塊鏈容易受到51%攻擊的原因。在單片模型下,由于需要誠實的大多數完整節點來驗證區塊鏈是否有效,因此輕客戶端被迫信任大多數。

如果超過一半的完整節點是不誠實的,輕客戶端無法知道這一點,因此他們最終將遵循無效鏈。

誠實多數假設-可擴展性的限制

單片鏈的可擴展性受到它們對這種誠實多數假設的依賴的嚴重限制。這是因為,為了增加交易吞吐量,必須增加區塊大小和/或頻率,以便在相同的時間內處理更多的交易。這增加了全節點的資源需求;更大/更快的塊=更多的計算=更高的成本。

Fuel Labs完成8000萬美元融資,Blockchain Capital等領投:金色財經報道,Fuel Labs宣布完成8000萬美元融資,Blockchain Capital和Stratos Technologies領投,Alameda Research、CoinFund、Bain Capital Crypto、TRGC、Maven 11 Capital、Blockwall、Spartan、Dialectic和ZMT等參投。

據悉,Fuel Labs是一家旨在加速加密交易的初創公司,希望通過其“模塊化執行層(MEL)”為區塊鏈領域的開發人員提供最佳體驗。(The Block)[2022/9/7 13:12:44]

隨著運行全節點的成本增加,更多的實體將選擇運行輕客戶端,依靠越來越小的全節點網絡來驗證鏈的有效性。區塊驗證的日益集中化是對單體鏈安全的主要威脅,因為更集中的驗證者池更容易受到攻擊,也更容易串通。

模塊化執行:解耦計算和驗證

好消息是,區塊鏈系統可以擺脫依賴于誠實多數假設的設計。為了避免這種單片設計的陷阱,模塊化區塊鏈堆棧將計算與驗證分離。通過將執行移出基礎鏈,可以在不影響去中心化的情況下實現更大的規模。

什么是模塊化執行層?

在模塊化區塊鏈堆棧中,執行層負責計算-換句話說,處理交易和應用單個狀態轉換。

Fuel將模塊化執行層定義為:為模塊化區塊鏈堆棧設計的可驗證計算系統。更具體地說,一種欺詐或有效性可證明的區塊鏈,它利用模塊化區塊鏈來實現數據可用性。

OKEx DeFi播報:DeFi總市值91.9億美元,OKEx平臺RFUEL最抗跌:據OKEx統計,DeFi項目當前總市值為91.9億美元,總鎖倉量為125.9億美元。

行情方面,今日DeFi代幣普跌,OKEx平臺DeFi幣種跌幅較小的是SWFTC、SRM、WAVES。

截至18:30,OKEx平臺熱門DeFi幣種表現如下:[2020/10/30 11:15:14]

為了進一步澄清,如果計算系統:1)不能證明欺詐或有效性,或者2)不將數據可用性卸載到另一層,則計算系統不是模塊化執行層。

與單體區塊鏈一樣,模塊化執行層采用專用區塊生產者網絡。這些實體處理執行交易和生成區塊的資源密集型過程。然而,與單片系統不同,驗證不是在執行層處理的,而是在模塊化區塊鏈堆棧的較低級別處理的。

驗證-保持區塊生產者的誠實

模塊化執行的天才之處在于,只要驗證是去中心化的,計算就不需要去中心化。區塊大小可以增加,導致產生區塊的節點中心化-但只要驗證解耦,無效區塊就不會添加到鏈中。

但這是如何工作的呢?如果我們允許區塊生產保持中心化,我們如何確保安全性得到保護?這就是模塊化發揮作用的地方。

模塊化執行層將執行的資源密集型功能抽象為強大的區塊生產者,這些生產者捆綁并執行批量交易,并定期將這些交易作為區塊發布到父鏈。為了保持這些區塊生產者的誠實,還有其他非區塊生產的完整節點,它們下載并重新執行發布到父鏈的區塊,以確保它們只包含有效的交易。

這些全節點如何傳達交易的有效性或無效性的細節取決于模塊化執行層是采用樂觀模型還是零知識模型。在樂觀MEL的情況下,全節點僅在檢測到無效交易時才采取行動。相反,在零知識MEL的情況下,全節點主動證明交易的有效性。在任何一種情況下,區塊生產者提供的所有交易的有效性或無效性都在父鏈上得到證明,而不是在模塊化執行層上。

示例:Optimistic模塊化執行層上的欺詐證明

火幣全球站恢復THETA充提業務和TFUEL提幣業務:據官方公告,火幣全球站現已恢復THETA充提業務和TFUEL提幣業務。[2020/5/29]

為了提供更深入的說明,讓我們探討OptimisticMEL的情況。如果即使是模塊化執行層上的單個完整節點在父鏈上發布的區塊中檢測到無效交易,它們也可以生成欺詐證明,以加密方式證明交易無效。

根據特定模塊化堆棧的結構,可以通過多種方式處理,例如:

1,在具有沉降層的模塊化堆棧中:

全節點將欺詐證明提交給結算層上的專用爭議解決合約,該合約直接重新執行交易。

如果交易無效,違規的區塊生產者將受到砍殺的懲罰,“舉報人”將獲得這些資金的一部分獎勵,并且鏈的狀態將恢復到無效交易之前的狀態。由于無法保證無效事務之后的任何事務都對應于有效狀態,因此這些后續事務將重新執行。

2,在沒有沉降層的模塊化堆棧中:

全節點通過點對點網絡八卦欺詐證明,以警告輕客戶端該區塊包含無效交易。使用欺詐證明作為區塊生產者不誠實行為的證據,全節點可以在父鏈上提出懲罰交易,從而削減區塊生產者的資金。

由于沒有結算層來決定鏈的“規范”版本,惡意全節點理論上可以選擇不拒絕該區塊;但是,欺詐證明已經傳達給輕客戶端,因此他們知道不要遵循惡意全節點的鏈版本。因此,社會共識保證了無效區塊將被拒絕。

在任何一種情況下,由于驗證過程被載入在父鏈而不是執行層上,因此安全性被外包給父鏈,這意味著執行層本身可以在較低的安全保證下運行。即使執行層上99%的全節點是不誠實的,也只需要一個誠實的全節點來確保執行層只包含有效的交易。

這意味著模塊化執行層可以基于單個誠實的少數假設運行,而不是依賴于誠實的多數全節點。

公告 | 火幣全球站暫停TFUEL提幣:據火幣公告,由于錢包維護,火幣全球站現已暫停TFUEL的提幣業務。[2019/4/12]

在模塊化執行層上,輕客戶端只需要依靠一個誠實的全節點來保證鏈的有效性。

無效區塊只能由單片系統中的大多數完整節點還原,而模塊化系統中的單個完整節點可以使用欺詐/有效性證明強制還原無效交易。

這如何實現可擴展性

允許計算在父鏈下進行,可以大幅增加交易吞吐量。區塊大小可以顯著增加,而不必擔心區塊生產的集中化,因為單獨的區塊驗證過程使區塊生產者保持誠實。

雖然較大的區塊確實給執行驗證的完整節點帶來了更高的負擔,但誠實的少數假設意味著該領域的中心化威脅較小,因為依賴于不誠實多數的基于中心化的漏洞變得不可能。

輕客戶端還可以在模塊化架構下以更高的安全保證運行,因為欺詐證明使他們能夠根據來自單個誠實完整節點的證明來識別無效交易。

模塊化執行層上的輕型客戶端比單片客戶端具有更高的安全保證

此外,區塊生產者知道任何惡意活動都會被檢測到并導致砍伐,因此他們甚至不太可能試圖做出不誠實的行為。因此,執行層可以進行計算優化,同時依賴于模塊化堆棧的安全優化的較低級別。

模塊化執行:潛在挑戰

這種模塊化架構確實帶來了一些額外的技術和博弈論挑戰。

數據可用性

雖然欺詐/有效性證明使誠實的完整節點能夠證明欺詐,但還有一個問題:數據可用性。為了生成證明,全節點依賴于區塊可用性,因為它們需要下載并重新執行區塊中的所有交易以確定其有效性并生成證明。

理論上,惡意區塊生產者可以只將區塊頭發布到父鏈,可能會扣留部分或全部相應數據。這可以防止全節點生成欺詐/有效性證明來提醒輕客戶端注意該問題。

在嘗試驗證塊時,全節點很容易識別數據何時被惡意塊生產者扣留。在這種情況下,他們可以簡單地假設鏈是無效的,并從中分叉。但是,輕客戶端如何在不下載整個區塊的情況下確定數據是否被區塊生產者扣留?

一種稱為數據可用性抽樣?的新技術使輕客戶端能夠概率地確定整個塊是否已發布。簡而言之,輕客戶端從全節點請求塊的一小部分隨機小部分。

如果所有請求的樣本都可用,則假設有足夠的輕客戶端執行數據可用性采樣,這很可能證明整個塊都可用。如果塊的任何部分不可用,輕客戶端知道數據已被保留,因此可以從該版本的鏈中分叉。

這項技術的完整解釋超出了本文的范圍,但您可以在此處閱讀有關它的更多信息。最終,重要的一點是,DAS使輕客戶端能夠識別無效塊,即使惡意塊生產者隱瞞數據也是如此。

驗證者的困境

另一個潛在的問題是被稱為“驗證者困境”的現象。簡化版本如下:

如果區塊生產者知道全節點會識別不誠實的活動,他們將誠實行事以避免被砍伐。

隨著時間的推移,如果全節點假設區塊生產者將繼續誠實行事,他們就沒有動力繼續驗證區塊,因為他們永遠不會因識別無效交易而獲得獎勵。

如果全節點沒有經濟激勵繼續驗證區塊,他們可能會停止這樣做。在這一點上,區塊生產者不誠實的行為變得可行。即使仍然有非零數量的全節點,區塊生產者賄賂剩余的全節點以忽略足夠有價值的無效交易在財務上也可能變得可行。

這以一個循環難題告終,即模塊化執行層變得越安全,它就越傾向于降低安全性。另一方面,它的安全性越低,安全性就越高。

這種困境可以通過多種途徑來緩解:

利他主義?-因為MEL只需要一個誠實的驗證者,只要至少有一個利他主義的完整節點在運行,系統就會保持安全。然而,雖然這在實踐中可能足夠安全,但對于控制大量資產的系統來說,這并不能提供足夠的保證。

經濟利益?-有許多實體有經濟激勵來運行超出潛在舉報人獎勵的完整節點。例如,區塊瀏覽器、流動性提供商或dapp等產品和服務需要訪問MEL的完整狀態才能有效地運行其業務。然而,這些實體容易受到惡意區塊生產者的賄賂。

鯨魚?-在MEL上擁有大量資產的實體可以選擇運行一個完整的節點,以確保他們的利益得到保護并且鏈是安全的。

快速提款?-由于樂觀的MEL在保證模塊化堆棧的較低層的最終性之前依賴于爭議解決窗口,因此在此窗口過后,從MEL到和解層的提款不會最終確定。因此,第三方服務有一個市場,這些服務提供快速提款,接受MEL上的代幣,并立即將相同的代幣發送給結算層的用戶。為了確保在結算層發送資金后不會恢復MEL狀態,服務提供商被激勵在進行此類交易之前驗證鏈的有效性。

區塊生產者?-可以對提交基于先前無效區塊構建的區塊的區塊生產者進行處罰。有了這樣的機制,區塊生產者將被激勵在提交區塊之前驗證鏈的有效性。

雖然上述緩解策略本身可能并不完全有效,但當結合起來時,有明顯的動機讓許多不同的各方繼續在MEL上運行完整節點并驗證鏈的狀態。

新的設計空間:超越EVM

通過采用在單一誠實的少數假設下實現高安全性的設計,模塊化區塊鏈堆棧能夠開發比以前在單片設計下可能實現的更高吞吐量的區塊鏈。

然而,除了將計算與驗證分離所帶來的可擴展性優勢外,通過專門關注堆棧頂部的設計:模塊化執行層,可以在可擴展性方面取得進一步進展。使這一層的計算更具可擴展性和效率是構建更好的區塊鏈的下一步。

目前正在開發的大多數模塊化執行層都使用以太坊作為其父鏈,因此默認使用EVM作為執行環境。這相當于提高內燃機能源效率的設計:對已經過時技術的漸進式改進。

實際上,模塊化堆棧開辟了更廣闊的設計空間,消除了模塊化執行層依賴低效EVM的需要。Fuel正在利用這個新擴展的設計空間來構建一個超越EVM的模塊化執行層,優化高效和可擴展的計算,卓越的開發人員體驗和最大的安全性。

在第2部分中,我們將探討模塊化執行層如何超越上一代區塊鏈設計的技術限制,以實現真正的可擴展性。

fuel官網:https://www.fuel.network/

推特:https://twitter.com/fuellabs_

Discord社區:https://discord.com/invite/fuelnetwork

油管視頻:https://www.youtube.com/channel/UCam2Sj3SvFSAIfDbP-4jWZQ

來源:bress

Tags:區塊鏈FUELMELETA區塊鏈dapp開發白富美FUEL價格meli幣會不會漲了GMETA

SAND
Uniswap:Uniswap V3 LP扭虧為盈的轉機_eth價格今日行情USDT

編者按:本文來自blockin.ai原文標題《UniV3的LP在持續虧損中苦苦掙扎,CeFi到DeFi的遷移是否會成為LP扭虧為盈的救命稻草?》Odaily星球日報經授權轉載發布.

1900/1/1 0:00:00
DEFI:摩根大通首次執行 DeFi 交易 都做了什么?_KEN

原文作者:摩根大通BlockchainLaunch主管TyLobban原文編譯:0x214,BlockBeats10月19日,新加坡金融管理局宣布啟動「守護者項目」,該項目將與金融業展開合作.

1900/1/1 0:00:00
MET:蘋果、Unity、Nvidia、微軟等巨頭公司的元宇宙突破口都選在了哪里?_ETA

蘋果關于AR/VR工作列表更新繼MetaQuestPro之后,全世界都在熱切地等待蘋果的AR/VR頭戴裝置,這款產品本應在2022年全球開發者大會(WWDC)期間發布,但蘋果公司推遲了時間.

1900/1/1 0:00:00
SYN:zkSync發行Token:給生態的可能比其他Layer2都多_Synth sNIKKEI

原文來源:加密KOLwagame.eth原文編譯:0x711、0x214,BlockBeats昨晚,zkSync開發公司MatterLabs宣布完成2億美元C輪融資.

1900/1/1 0:00:00
EDA:透過鏈上數據觀察 FTX 事件的影響及啟示_Galaxy World

撰文:BenGiove 編譯:DeFi之道 有人也為這混亂的一周中感到疲憊嗎?昨天,我們回顧了圍繞FTX發生的一系列瘋狂事件。但情況正在迅速變化,我們仍然有很多未知的東西.

1900/1/1 0:00:00
TVL:一周市加密觀察:市場風險偏好上升 熱門山寨集體反彈_TVL價格

作者:PeterJonas原文:《市場萬圣節反彈,山寨幣熱度攀升|ForesightVenturesWeeklyBrief》 市場觀點 1、宏觀流動性 貨幣流動性趨緊.

1900/1/1 0:00:00
ads