加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

Fuel:模塊化執行案例(第 1 部分)_區塊鏈:以太坊交易平臺合法嗎

Author:

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

模塊化執行案例

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

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

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

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

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

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

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

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

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

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

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

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

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

單片鏈的計算與驗證

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

跨鏈聚合器Bungee推出Refuel功能,支持以太坊及Layer2跨鏈時發送小額以太坊:9月24日消息,由跨鏈基礎設施Socket支持的跨鏈聚合器Bungee推出Refuel功能,用戶在以太坊和Layer2以及兩個Layer2網絡間進行跨鏈時,可以發送小額以太坊作為目標鏈上的Gas費用。[2022/9/24 7:18:22]

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

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

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

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

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

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

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

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

區塊鏈公司TAAL購買Chief Fuels公司的100%股權以建造 50MW 比特幣礦場:金色財經報道,總部位于哥倫比亞省的 TAAL 正在購買位于加拿大新不倫瑞克省 Chief Fuels 公司的 100% 股權,以獲得一個倉庫,它計劃將其改造成一個容量高達 50MW 的比特幣礦場。該交易針對目前價值約 1650 萬美元的 TAAL 股票,如果 TAAL 完成其計劃,這筆交易將在人口不足 6,000 的 Grand Falls 打造第二座比特幣礦場。(DCD)[2021/12/21 7:54:36]

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

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

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

什么是模塊化執行層?

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

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

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

瑞士印鈔公司Orell Fuessli收購區塊鏈公司Procivis:9月13日消息,瑞士印鈔公司Orell Fuessli宣布收購區塊鏈公司Procivis的多數股權,未披露更多財務細節。Procivis由瑞銀董事長Axel Weber前任幕僚長Daniel Gasteiger創立于2016年,旨在推進公民身份等公共服務的數字化,近期推出了一種基于智能手機的身份數據處理解決方案。Gasteiger將繼續經營Procivis。Orell Fuessli稱該交易旨在擴大其數字身份和證書業務,為未來的企業和政府交易開發安全、值得信賴的數字服務。(finews)[2021/9/13 23:21:43]

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

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

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

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

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

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

以太坊Optimistic Rollup擴容方案Fuel 1.0版上線主網:1月1日,Fuel Labs官方宣布其基于Optimistic Rollup概念的以太坊 Layer 2 擴容方案 Fuel 1.0 版本已正式上線以太坊主網。Fuel基于UTXO模型,目前的1.0版本最多可以支持接近500 TPS (每秒交易數)的速度。Fuel Labs 表示,該版本僅推出了命令行界面,為開發者服務,未來幾周和幾個月將推出用戶界面錢包和其他集成。[2021/1/1 16:12:39]

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

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

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

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

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

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

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

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

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

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

IOTA-Fueled電動汽車充電站推出 帶動IOTA數百萬次小額支付交易:荷蘭電網運營商的ElaadNL計劃已與IOTA合作推出首個DLT燃料電動汽車充電站,充電站使用一個專用的IOTA充電應用程序。IOTA的DLT推動了數百萬次小額支付交易。IOTA全球均價1.91美元,漲幅12.35%。[2018/4/20]

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

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

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

這如何實現可擴展性

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

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

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

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

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

模塊化執行:潛在挑戰

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

數據可用性

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

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

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

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

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

這項技術的完整解釋超出了本文的范圍,但您可以在此處閱讀有關它的更多信息。最終,重要的一點是,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:區塊鏈FUELMEL以太坊區塊鏈技術通俗講解科普fuel幣有潛力嗎Hemelios以太坊交易平臺合法嗎

幣安app下載
Web3 從入門到精通_WEB:NFT

原文作者:WHeart 其實在很早之前,我就計劃寫一篇《Web3新手教程》,送給想要進入Web3或者剛剛進入Web3的小伙伴,但是考慮到兩點原因,我還是打算把這件事推遲一些時日.

1900/1/1 0:00:00
如果幣安退出收購 FTX 會否尋求破產清算?_FTX:CITIES Vault (NFTX)

作者?|?@wassielawyer編譯:GaryMa吳說區塊鏈 吳說獲作者授權發布 針對當前FTX資金斷裂并尋求幣安收購這一事宜.

1900/1/1 0:00:00
金色早報 | 美SEC主席發文祝賀比特幣白皮書發布14周年_加密貨幣:MER

頭條 ▌美SEC主席發文祝賀比特幣白皮書發布14周年11月1日消息,美國證券交易委員會主席GaryGensler在社交媒體上發文祝賀比特幣白皮書發布14周年,他表示.

1900/1/1 0:00:00
崩盤前的FTX里還剩下什么?_FTX:GOZ Fan Token

原文標題:FTX’sBalanceSheetWasBad原文編譯:Leo,BlockBeats 一個「空盒」 有太多想要說的,但我要從Serum開始.

1900/1/1 0:00:00
香港加密牌照演變史_虛擬資產:虛擬資產保護法什么時候實施

Web3世界中,繼新加坡流量減退后,香港重回亞洲加密世界的注意力中心。在不久前舉行的“香港金融科技周”上,香港特區政府正式發表《有關虛擬資產在港發展的政策宣言》,闡明政府為在香港發展具活力的虛擬.

1900/1/1 0:00:00
FTX隕落 加密美國夢的破滅_FTX:franklin幣FlY幣最新消息

目前加密市場處于動蕩之中。過去三天,比特幣和以太坊均下跌超過15%,近2000億美元已從加密貨幣市場中瞬間蒸發.

1900/1/1 0:00:00
ads