欧美bbbwbbbw肥妇,免费乱码人妻系列日韩,一级黄片

當(dāng)前位置:主頁 > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > 模塊化區(qū)塊鏈介紹

Lagrange Labs:模塊化區(qū)塊鏈的互操作性

2023-06-28 15:26:20 | 來源: | 作者:佚名
這篇文章主要介紹了Lagrange Labs:模塊化區(qū)塊鏈的互操作性的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹

自從像Celestia和EigenLayer這樣的協(xié)議引發(fā)了關(guān)于區(qū)塊鏈執(zhí)行、結(jié)算、排序和數(shù)據(jù)可用性層解耦的爭論以來,“模塊化區(qū)塊鏈”已經(jīng)成為每個(gè)加密愛好者最喜歡的話題。雖然模塊化理論的支持者支持未來會(huì)有許多(專業(yè))區(qū)塊鏈共存,但一個(gè)價(jià)值數(shù)十億美元的問題是:“我們究竟計(jì)劃如何連接這些鏈?”

這不是一個(gè)小問題,特別是因?yàn)閰^(qū)塊鏈之間的互操作性提供了許多好處?,F(xiàn)有的互操作性解決方案,例如消息傳遞協(xié)議和橋接,但是它們當(dāng)前的實(shí)現(xiàn)存在缺陷,限制了它們連接越來越分散的專門執(zhí)行和結(jié)算層組的能力。

Lagrange協(xié)議是一種新的互操作性解決方案,它可以幫助協(xié)議繞過許多這些限制,并為去中心化應(yīng)用程序釋放跨鏈交互的全部好處。在本文中,我們將探討ZK MapReduce(我們之前介紹過)如何為Lagrange模塊化區(qū)塊鏈的去信任、安全、可擴(kuò)展和高效互操作性愿景做出貢獻(xiàn),并為開發(fā)人員和用戶解鎖新穎、令人興奮的用例。

模塊化區(qū)塊鏈:簡短入門

模塊化區(qū)塊鏈將執(zhí)行、共識(shí)、結(jié)算和數(shù)據(jù)可用性的功能分開。單塊區(qū)塊鏈在同一層上協(xié)調(diào)這些活動(dòng),模塊化區(qū)塊鏈處理其中的一些任務(wù),并將其余部分外包給其他區(qū)塊鏈。這種架構(gòu)受到模塊化設(shè)計(jì)思想的啟發(fā),使模塊化區(qū)塊鏈比單片區(qū)塊鏈更靈活、更可擴(kuò)展。

模塊化區(qū)塊鏈也更容易部署/引導(dǎo),因此對(duì)希望擴(kuò)展應(yīng)用程序吞吐量(每秒交易量)但缺乏資源從頭開始構(gòu)建特定于應(yīng)用程序的區(qū)塊鏈的開發(fā)人員具有吸引力。有了模塊化的區(qū)塊鏈平臺(tái),開發(fā)人員可以專注于為dApp構(gòu)建高度可擴(kuò)展的執(zhí)行層,同時(shí)依靠更安全的區(qū)塊鏈來保證安全性(這種方法越來越多地被描述為“rollup -as-a-service”)。

模塊化區(qū)塊鏈通過創(chuàng)建專用的區(qū)塊空間來幫助橫向擴(kuò)展TPS,并支持高頻交易、游戲和社交等需要高通量、低成本計(jì)算的應(yīng)用程序(單塊區(qū)塊鏈很少提供)。但是,向模塊化區(qū)塊鏈架構(gòu)的轉(zhuǎn)變也會(huì)產(chǎn)生新的問題,如果處理不當(dāng),這些問題可能會(huì)完全消弱“構(gòu)建模塊化”的好處。

了解模塊化區(qū)塊鏈的缺點(diǎn)

自LazyLedger白皮書首次概述模塊化論文以來,許多團(tuán)隊(duì)一直在構(gòu)建核心基礎(chǔ)設(shè)施,以簡化模塊化區(qū)塊鏈的創(chuàng)建。著名的例子包括rollup-a-service平臺(tái)(Sovereign Labs、Caldera、Eclipse、Rollkit、dimension)和數(shù)據(jù)可用性層(EigenLayer、Celestia、Avail)。因此,部署新的特定于應(yīng)用程序的區(qū)塊鏈來擴(kuò)展web3 dApp的障礙已經(jīng)大大減少。

誠然,“一鍵部署rollup”的能力很棒,但是,成百上千個(gè)區(qū)塊鏈共存的世界也有一些缺點(diǎn)。其中一個(gè)缺點(diǎn)是互操作性(我們將在本節(jié)中詳細(xì)描述)。

假設(shè) Bob(一個(gè)開發(fā)人員)想要?jiǎng)?chuàng)建一個(gè)特定于應(yīng)用程序的rollup來擴(kuò)展新 DeFi 應(yīng)用程序的交易,我們將其稱為 BobDEX。Bob開始使用Celestia進(jìn)行數(shù)據(jù)可用性/共識(shí),使用以太坊進(jìn)行規(guī)范橋接(結(jié)算),但轉(zhuǎn)向“多鏈”策略,并最終在十幾個(gè)其他特定應(yīng)用程序的rollup上啟動(dòng)了DEX實(shí)例。

現(xiàn)在,區(qū)塊鏈在其他地方被描述為“島嶼”,因?yàn)樗鼈內(nèi)狈蚕韮r(jià)值(資產(chǎn))和信息(狀態(tài))的原生基礎(chǔ)設(shè)施。采用模塊化的區(qū)塊鏈架構(gòu)——就像BobDEX一樣——通過在多個(gè)執(zhí)行和結(jié)算層之間碎片化狀態(tài)和流動(dòng)性,進(jìn)一步加劇了互操作性問題。

讓我們簡單地解決這兩個(gè)問題:

1. 狀態(tài)碎片化:在模塊化區(qū)塊鏈架構(gòu)中,應(yīng)用程序的狀態(tài)存儲(chǔ)在不同的執(zhí)行層,檢索和驗(yàn)證數(shù)據(jù)更加困難。運(yùn)行在單塊區(qū)塊鏈上的應(yīng)用程序沒有這個(gè)問題,因?yàn)樗械暮霞s狀態(tài)(當(dāng)前和歷史)都存儲(chǔ)在同一個(gè)網(wǎng)絡(luò)上。

隨著我們進(jìn)入跨鏈的未來(單個(gè)應(yīng)用程序可以存在于多個(gè)第1層(L1)、第2層(L2)和第3層(L3)區(qū)塊鏈上),狀態(tài)碎片化可能會(huì)產(chǎn)生更廣泛的影響。例如,如果每個(gè)合約部署到不同的鏈上,那么基于不同智能合約狀態(tài)之間的復(fù)雜關(guān)系來構(gòu)建應(yīng)用程序就會(huì)變得困難。

一個(gè)簡單的例子是跨鏈借貸協(xié)議,該協(xié)議允許用戶在源區(qū)塊鏈上鎖定抵押品,并在目標(biāo)區(qū)塊鏈上借入代幣。在這里,運(yùn)行在兩個(gè)不同鏈上的智能合約必須就某些信息達(dá)成共識(shí),例如用戶是否鎖定了代幣。這很難做到,因?yàn)檎缥覀冎敖忉尩哪菢?,區(qū)塊鏈?zhǔn)仟?dú)立的“孤島”,無法交換數(shù)據(jù)。

2. 流動(dòng)性碎片化:流動(dòng)性是指在不顯著影響其價(jià)格的情況下,將一種資產(chǎn)轉(zhuǎn)換為法定資產(chǎn)或另一種資產(chǎn)的便利性和效率。流動(dòng)性對(duì)DeFi應(yīng)用程序很重要,因?yàn)樗鼤?huì)影響用戶體驗(yàn)的滑點(diǎn)程度,尤其是在大額交易中。

部署到單個(gè)單鏈的DeFi協(xié)議在流動(dòng)性方面幾乎沒有問題,因?yàn)樗杏脩舳荚谕痪W(wǎng)絡(luò)上進(jìn)行交易。相比之下,跨越多個(gè)鏈的DeFi應(yīng)用程序在某些鏈上的流動(dòng)性較低。由于資產(chǎn)不能在區(qū)塊鏈之間流動(dòng)(根由于互操作性問題),DeFi用戶僅限于特定鏈上可用的流動(dòng)性。

除了降低整體用戶體驗(yàn)外,流動(dòng)性差也會(huì)阻礙DeFi項(xiàng)目的多鏈增長。具體來說,一些用戶可能會(huì)避免在低流動(dòng)性區(qū)塊鏈上使用DeFi應(yīng)用程序,因?yàn)閾?dān)心交易出現(xiàn)高滑點(diǎn)或無法退出大量頭寸。舉一個(gè)早期的例子:Alice可能更喜歡在以太坊上使用BobDEX(因?yàn)樗腡VL高),而不是在NEAR上使用BobDEX(因?yàn)樗腡VL低)。

解決模塊化區(qū)塊鏈的互操作性問題

“你所在領(lǐng)域最重要的問題是什么?你為什么不去解決它們?”——Richard Hamming

到目前為止,許多人都認(rèn)為模塊化區(qū)塊鏈的擴(kuò)散是不可避免的。但是,如果模塊化的未來不能保證web3區(qū)別于web2的品質(zhì):去中心化、可組合性和互操作性,那么它就不是理想的。

從前面的示例中,我們看到了應(yīng)用程序如何通過離開共享狀態(tài)層而失去可組合性和互操作性。我們還看到,擴(kuò)展到新的結(jié)算層(或規(guī)范橋接層)如何破壞應(yīng)用程序的流動(dòng)性和網(wǎng)絡(luò)效應(yīng),從而導(dǎo)致糟糕的用戶體驗(yàn)。

所有這些都是采用模塊化區(qū)塊鏈的絆腳石,并引發(fā)了人們對(duì)多鏈未來可行性的擔(dān)憂。認(rèn)識(shí)到這個(gè)問題,許多項(xiàng)目正在研究解決方案,以提高模塊化區(qū)塊鏈之間的互操作性,并緩解狀態(tài)和流動(dòng)性碎片化問題。

其中包括:

共享排序網(wǎng)絡(luò)

Espresso和Astria正在建立一個(gè)去中心化的排序器網(wǎng)絡(luò),可以由多個(gè)模塊化rollup共享。有時(shí)被描述為“惰性排序器”,一個(gè)共享的排序器集合將來自不同rollup的交易排序到單個(gè)“mega塊”中,并提交給像Celestia這樣的數(shù)據(jù)可用性層,而不執(zhí)行rollup交易。各個(gè)rollup節(jié)點(diǎn)從數(shù)據(jù)可用性層(或排序網(wǎng)絡(luò))檢索塊,并執(zhí)行相關(guān)交易來更新rollup的狀態(tài)。

共享排序器使新的執(zhí)行層能夠從一開始就實(shí)現(xiàn)去中心化、審查阻力和快速最終確定(無需運(yùn)行內(nèi)部排序器基礎(chǔ)設(shè)施或花費(fèi)精力引導(dǎo)去中心化的排序器集)。共享的排序器網(wǎng)絡(luò)還通過支持跨鏈交易的原子包含來提高rollup之間的可組合性和互操作性。

如前所述,共享排序器生成的塊包含要在不同rollup上執(zhí)行的交易。因此,它可以保證Rollup #1上的交易包含在一個(gè)塊中,條件是該塊包含Rollup #2上的另一個(gè)交易。這為跨鏈通信解鎖了新的用例,例如跨鏈套利交易和資產(chǎn)橋接。

共享排序器為有條件的跨鏈交易提供了機(jī)會(huì)(來源)

然而,這是一種過于簡單化的說法。為了深入了解共享排序的機(jī)制,我們建議讀者參考Maven11的共享排序的知識(shí)系統(tǒng)(SoK),其中涵蓋了共享排序器的各種好處和屬性,包括互操作性。Succinct Labs還有一個(gè)有趣的提議,用于在共享排序器的rollup之間同步執(zhí)行原子交易包。

“共享排序是模塊化堆棧的重要組成部分,減少了啟動(dòng)rollup的工作量,同時(shí)允許它們在默認(rèn)情況下去中心化。——Josh Bowen ,Astria創(chuàng)始人

消息傳遞協(xié)議

通用消息傳遞協(xié)議支持在不同鏈之間傳輸任意消息。在高層次上,消息傳遞協(xié)議通過在鏈之間驗(yàn)證和中繼數(shù)據(jù)包來解決狀態(tài)碎片問題。這使得原本孤立的鏈能夠了解彼此的狀態(tài),從而支持比資產(chǎn)橋接或跨鏈原子交易更豐富的數(shù)據(jù)用例。

跨鏈借貸(我們之前描述過)就是一個(gè)例子。為了實(shí)現(xiàn)這個(gè)用例,開發(fā)人員可以集成像LayerZero、Axelar、Hyperlane或Wormhole這樣的消息傳遞框架,以在源鏈和目標(biāo)鏈上運(yùn)行的應(yīng)用程序?qū)嵗g中繼有關(guān)鏈上操作(打開或關(guān)閉抵押頭寸)的信息。

對(duì)于狀態(tài)分布在不同層的模塊化區(qū)塊鏈,消息傳遞協(xié)議提高了連接性和可組合性。例如,Hyperlane已經(jīng)推出了集成,允許用戶從Celestia和FuelVM的主權(quán)rollup上發(fā)送消息。

標(biāo)準(zhǔn)化跨鏈消息傳遞的一種流行方法是區(qū)塊鏈間通信協(xié)議(IBC)。雖然IBC因在Cosmos生態(tài)系統(tǒng)中的采用而變得流行,但它的設(shè)計(jì)也可以擴(kuò)展到其他鏈。

Polymer Labs正在構(gòu)建一個(gè)“模塊化IBC傳輸中心”,將IBC與零知識(shí)加密技術(shù)和基于Tendermint的共識(shí)引擎相結(jié)合,以促進(jìn)模塊化鏈之間無縫、信任最小化的通信。他們的ZK-IBC設(shè)計(jì)旨在創(chuàng)建一個(gè)模塊化標(biāo)準(zhǔn),允許不同的區(qū)塊鏈協(xié)議通過共識(shí)驗(yàn)證來支持消息傳遞,而不依賴于受信任的第三方。

“ZK-IBC,或IBC傳輸層的電路實(shí)現(xiàn),將使ZK-rollup中的原生IBC以及模塊化生態(tài)系統(tǒng)中區(qū)塊鏈的信任最小化通信成為可能。”——杜波,Polymer聯(lián)合創(chuàng)始人

跨鏈流動(dòng)性路由器

流動(dòng)性路由器使用戶能夠在一對(duì)區(qū)塊鏈之間轉(zhuǎn)移資產(chǎn),例如,用戶可以通過使用流動(dòng)性橋?qū)①Y產(chǎn)從Eclipse rollup移動(dòng)到Caldera rollup上,從而與BobDEX進(jìn)行交互。流動(dòng)性路由基礎(chǔ)設(shè)施解決了模塊化生態(tài)系統(tǒng)的一個(gè)緊迫問題:在嘗試與新鏈上的應(yīng)用程序交互時(shí),用戶體驗(yàn)差。

強(qiáng)大的跨鏈流動(dòng)性層提供了一種從其他生態(tài)系統(tǒng)獲取流動(dòng)性的簡單方法,從而降低了在新鏈上啟動(dòng)經(jīng)濟(jì)活動(dòng)的難度(緩解了流動(dòng)性碎片化的問題)。這就是Catalyst(用于跨鏈資產(chǎn)交換和資產(chǎn)池的自動(dòng)做市商(AMM))等解決方案的用武之地。

“未來將有數(shù)百萬條鏈,而該領(lǐng)域很少有人積極嘗試以未來所需的規(guī)模進(jìn)行建設(shè)……在未來,流動(dòng)性將日益分散——這就是為什么我們正在構(gòu)建 Catalyst 來統(tǒng)一流動(dòng)性進(jìn)入共享層。”——Jim Chang, Catalyst聯(lián)合創(chuàng)始人

分析現(xiàn)有的互操作性解決方案

共享排序器、消息傳遞協(xié)議和流動(dòng)性路由器對(duì)于支持模塊化區(qū)塊鏈之間的基本互操作性至關(guān)重要,例如資產(chǎn)轉(zhuǎn)移和簡單消息傳遞。但它們的設(shè)計(jì)主要是為了實(shí)現(xiàn)高性能的一對(duì)一互操作性——也就是說,在相同或不同的生態(tài)系統(tǒng)中運(yùn)行的協(xié)議對(duì)之間的跨鏈交互。

這是什么意思呢?在目前的形式中,上述解決方案并未針對(duì)支持其業(yè)務(wù)邏輯需要訪問跨越日益分散的執(zhí)行層和結(jié)算層組的多個(gè)并發(fā)合約狀態(tài)的應(yīng)用程序進(jìn)行優(yōu)化。我們將這種形式的互操作性描述為n對(duì)1互操作性,因?yàn)樗枰跓o限數(shù)量的鏈之間創(chuàng)建關(guān)系。

為了說明這個(gè)想法,考慮這樣一個(gè)情況:Bob想要?jiǎng)?chuàng)建一個(gè)“跨鏈DEX”, 在部署的每個(gè)鏈上強(qiáng)制執(zhí)行資產(chǎn)交換的全球價(jià)格?;?AMM 的 DEX 價(jià)格掉期使用所謂的“守恒函數(shù)”,該函數(shù)考慮了交易中涉及的代幣對(duì)的流動(dòng)性。因此,跨鏈DEX需要跟蹤所有部署的流動(dòng)性狀態(tài),并使用這些信息來計(jì)算代幣互換的價(jià)格。

人們可能很自然地希望與消息傳遞協(xié)議集成,以便在每次交換、存款或取款發(fā)生時(shí),將一條鏈上DEX流動(dòng)性的變化中繼到其他鏈上的DEX。但是這種方法會(huì)產(chǎn)生巨大的成本和延遲,并且在生產(chǎn)環(huán)境中很難實(shí)現(xiàn)。

例如,如果BobDEX在五條鏈上運(yùn)行,并且在一條鏈上發(fā)生了交換,那么我們將需要四個(gè)單獨(dú)的交易來將此事件傳遞給其他部署,然后才能調(diào)整價(jià)格。正式地說:隨著應(yīng)用程序部署在鏈的數(shù)量n的增長,所有實(shí)例之間通信的消息傳遞復(fù)雜性也隨著n2的增長而增長。

這種機(jī)制(使用預(yù)言機(jī)和消息傳遞協(xié)議)也會(huì)受到隱藏故障模式的影響。例如:中繼器/預(yù)言機(jī)可以檢查跨鏈消息或中繼不正確的數(shù)據(jù),在這種情況下,剩余的BobDEX應(yīng)用程序?qū)⑹褂眠^時(shí)/不正確的價(jià)格運(yùn)行。

正如你所看到的,消息傳遞或資產(chǎn)橋接框架是必不可少的,但并不能單獨(dú)解決像BobDEX這樣的多鏈應(yīng)用程序的互操作性。Bob和他的團(tuán)隊(duì)需要的是一個(gè)具有以下特性的互操作性解決方案:

• 能夠在不引入任何信任假設(shè)的情況下,將一條或多條鏈上的智能合約狀態(tài)證明給其他n條鏈上的智能合約

• 能夠大規(guī)模地證明跨鏈合約狀態(tài),而不會(huì)增加延遲或成本或降低整體用戶體驗(yàn)

• 以最小化信任、安全和高效的方式對(duì)跨鏈狀態(tài)數(shù)據(jù)執(zhí)行計(jì)算的能力

最后一點(diǎn)(對(duì)鏈上數(shù)據(jù)的計(jì)算)在構(gòu)建具有多鏈關(guān)系的應(yīng)用程序的背景下很重要。例如,消息中繼器可以向不同rollup上的特定 BobDEX 證明給定 BobDEX 實(shí)例上的流動(dòng)性數(shù)量,但缺乏獲得除當(dāng)前狀態(tài)之外的有關(guān)鏈的任何屬性的能力。例如,DEX不能使用這些信息來運(yùn)行復(fù)雜的定價(jià)算法,例如根據(jù)不同鏈的歷史流動(dòng)性計(jì)算資產(chǎn)的時(shí)間加權(quán)平均價(jià)格(TWAP)。

ZK MapReduce和模塊化區(qū)塊鏈互操作性堆棧

既然我們已經(jīng)煞費(fèi)苦心地強(qiáng)調(diào)了擴(kuò)展互操作性基礎(chǔ)設(shè)施范圍的機(jī)會(huì),那么我們一定有辦法改進(jìn)它們嗎?是的,我們有!

Lagrange Lab構(gòu)建了基礎(chǔ)設(shè)施,通過提高鏈之間狀態(tài)證明方式的安全性并擴(kuò)展可在跨鏈狀態(tài)上運(yùn)行的計(jì)算類型來擴(kuò)展無需信任的互操作性。更具體地說,拉格朗日實(shí)驗(yàn)室的解決方案套件提供了一種方法,可以有效增強(qiáng)現(xiàn)有消息傳遞協(xié)議和橋的安全性,并擴(kuò)展跨鏈數(shù)據(jù)在應(yīng)用程序中的使用方式。

更好的是,Lagrange Lab在完成這一切時(shí)不會(huì)給用戶和開發(fā)人員帶來額外的信任假設(shè)負(fù)擔(dān)。Lagrange Lab跨鏈計(jì)算的旗艦產(chǎn)品是ZK Big Data:一種新穎的證明結(jié)構(gòu),用于生成大型(批量)存儲(chǔ)證明并執(zhí)行由零知識(shí)密碼學(xué)保護(hù)的分布式計(jì)算。

ZK MapReduce是Lagrange ZK Big Data堆棧中的第一個(gè)產(chǎn)品,是一個(gè)分布式計(jì)算引擎(基于著名的MapReduce編程模型),用于證明涉及大量多鏈數(shù)據(jù)集的計(jì)算結(jié)果。例如,單個(gè)ZKMR證明可用于證明在指定時(shí)間窗口內(nèi)部署在4-5條鏈上的DEX的流動(dòng)性變化。

ZK MapReduce 證明旨在使多鏈狀態(tài)數(shù)據(jù)幀組合到單個(gè)證明中變得容易。該屬性允許任何人在不與目標(biāo)鏈以外的任何其他鏈交互的情況下,將n個(gè)源鏈上的智能合約狀態(tài)證明給目標(biāo)鏈(n+1)上的智能合約。通過調(diào)用Lagrange的鏈上公共驗(yàn)證器合約,合約可以很容易地驗(yàn)證在跨鏈狀態(tài)上運(yùn)行的計(jì)算。工作流程如下所示:

• 客戶端合約將公開聲明(被證明的數(shù)據(jù))和隨附的有效性證明傳遞給驗(yàn)證者合約

• 驗(yàn)證者合約返回true或false值,以確認(rèn)存儲(chǔ)數(shù)據(jù)和計(jì)算相對(duì)于證明是否有效(或無效)。

在目前的架構(gòu)下,Lagrange ZK Big Data堆??梢灾С稚赏瑫r(shí)證明合約存儲(chǔ)和計(jì)算的證明:

1. 合約存儲(chǔ):Lagrange狀態(tài)證明可以引用給定鏈上一個(gè)或多個(gè)合約的存儲(chǔ)內(nèi)容。這需要將狀態(tài)根(來自塊頭)、存儲(chǔ)槽值和Merkle Patricia Trie (MPT)包含證明傳遞到證明電路中,并生成有效性證明。(需要MPT證明來確認(rèn)這些值是鏈狀態(tài)樹的一部分)

2. 計(jì)算:Lagrange狀態(tài)證明可以參考使用從特定鏈上的合約派生的存儲(chǔ)槽值執(zhí)行的計(jì)算結(jié)果。這就是ZK MapReduce發(fā)揮作用的地方——在證明某些合約值存在于特定塊頭之后,我們可以對(duì)這些值執(zhí)行任意的MapReduce計(jì)算。

在這種情況下,狀態(tài)證明驗(yàn)證(a)一組歷史區(qū)塊頭與輸入?yún)^(qū)塊頭相比是有效的,并且包含某些合約值,(b)對(duì)這些合約值的計(jì)算提供了特定的結(jié)果。Lagrange的互操作性基礎(chǔ)設(shè)施的這一方面有獨(dú)特的好處(并且很大程度上被低估的):能夠證明涉及當(dāng)前和歷史數(shù)據(jù)的復(fù)雜多鏈(n對(duì)1鏈)關(guān)系。

考慮前面的跨鏈DEX示例,該示例旨在基于來自不同鏈的流動(dòng)性數(shù)據(jù)對(duì)掉期進(jìn)行定價(jià)。我們已經(jīng)討論過,現(xiàn)有的跨鏈通信機(jī)制很難在不產(chǎn)生大量開銷和繼承弱安全屬性的情況下實(shí)現(xiàn)此用例。

相比之下,Lagrange——通過ZK MapReduce——可以在不影響成本、安全性和效率的情況下支持這個(gè)用例。這里有一個(gè)假設(shè)的兩步工作流程來說明這是如何實(shí)現(xiàn)的:

1. 證明生成:通過在ZKMR證明中驗(yàn)證跨鏈合約狀態(tài)和該狀態(tài)的計(jì)算結(jié)果來證明每個(gè)DEX的流動(dòng)性數(shù)據(jù)。

2. 證明驗(yàn)證:在生成證明后,可以將其提交到目標(biāo)鏈,以顯示產(chǎn)生請(qǐng)求值的計(jì)算的正確性(所有部署的DEX流動(dòng)性總和)。證明的提交可以由任何傳輸層處理,從預(yù)言機(jī)到消息傳遞協(xié)議再到自動(dòng)保存器。

在實(shí)踐中,可以使用Lagrange SDK 請(qǐng)求Lagrange狀態(tài)證明(包括 ZK MapReduce 計(jì)算的證明)。這使得應(yīng)用程序可以輕松地生成證明并將其集成到任何現(xiàn)有的基礎(chǔ)設(shè)施中,而不需要專門的證明系統(tǒng)或硬件。

“隨著區(qū)塊鏈?zhǔn)澜缱兊迷絹碓侥K化,越來越多的區(qū)塊鏈將加入競爭??珂溁ゲ僮餍允悄K化理論的核心,雖然共享數(shù)據(jù)處理層有助于緩解其中的一些問題,但它并不能完全解決問題。在我看來,用于維護(hù)跨鏈連接的跨鏈互操作性協(xié)議應(yīng)該首先關(guān)注安全性。最有可能的前進(jìn)方向是零知識(shí)輕客戶端驗(yàn)證(或通過委員會(huì)進(jìn)行的跨鏈狀態(tài)/存儲(chǔ)證明),以及強(qiáng)大的經(jīng)濟(jì)安全保證。大量質(zhì)押抵押品的經(jīng)濟(jì)債券可以用來實(shí)現(xiàn)對(duì)最終性的有力證明。仍有待解決的兩個(gè)主要問題是通過ZK MapReduce和遞歸等改進(jìn)來提高ZK的可擴(kuò)展性,以及降低社交削減帶來的信任。”- Rain&Coffee, Maven11研究員和投資者

模塊化區(qū)塊鏈互操作性的未來

隨著模塊化區(qū)塊鏈的激增,需要互操作性來確保運(yùn)行在不同鏈上的應(yīng)用程序的無縫集成和可組合性。本文探討了模塊化生態(tài)系統(tǒng)中互操作性問題的一些解決方案(共享排序器、消息中繼器、流動(dòng)性路由器),并討論了它們各自的優(yōu)缺點(diǎn)。

我們還解釋了Lagrange的ZK MapReduce如何克服現(xiàn)有互操作性協(xié)議的限制,并擴(kuò)展了應(yīng)用程序使用跨鏈狀態(tài)數(shù)據(jù)的方式。未來的文章將更詳細(xì)地討論這個(gè)主題,重點(diǎn)關(guān)注ZK MapReduce解鎖的更令人興奮的可能性:跨鏈流動(dòng)性挖礦、DeFi協(xié)議的多鏈資產(chǎn)定價(jià)、跨鏈空投等等。

Lagrange正在積極開發(fā)中,并準(zhǔn)備在未來幾個(gè)月推出測試網(wǎng)。你是否有興趣構(gòu)建跨鏈應(yīng)用程序,可以無需信任地訪問鏈上的歷史數(shù)據(jù),并在多鏈狀態(tài)上執(zhí)行可驗(yàn)證的計(jì)算。

以上就是Lagrange Labs:模塊化區(qū)塊鏈的互操作性的詳細(xì)內(nèi)容,更多關(guān)于模塊化區(qū)塊鏈介紹的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章!

聲明:文章內(nèi)容不代表本站觀點(diǎn)及立場,不構(gòu)成本平臺(tái)任何投資建議。本文內(nèi)容僅供參考,風(fēng)險(xiǎn)自擔(dān)!

你可能感興趣的文章

幣圈快訊

  • 數(shù)據(jù):WLFI向AaveV3存入多種加密資產(chǎn)并借出750萬枚USDT

    2025-06-10 08:03
    ChainCatcher消息,據(jù)OnchainLens監(jiān)測,2小時(shí)前,WorldLibertyFinance(WLFI)進(jìn)行了以下操作: 1.在AaveV3存入7900枚ETH(約2100萬美元)、162.69枚WBTC(約1791萬美元)和5010枚stETH(約1331萬美元)。 2.從AaveV3借出了750萬枚USDT。 3.將750萬枚USDT轉(zhuǎn)移到BitGo錢包,可能是為了提取USD1。
  • CANARYSTAKEDINJETF和CANARYMARINADESOLANAETF均已在特拉華州注冊

    2025-06-10 07:55
    ChainCatcher消息,據(jù)市場消息,CANARYSTAKEDINJETF和CANARYMARINADESOLANAETF均已在特拉華州注冊。
  • 巴拉圭總統(tǒng)的推特賬號(hào)遭遇攻擊,發(fā)布“將比特幣列為法幣”相關(guān)虛假消息

    2025-06-10 07:50
    ChainCatcher消息,據(jù)路透社報(bào)道,巴拉圭總統(tǒng)佩尼亞的推特賬號(hào)當(dāng)?shù)貢r(shí)間周一疑似遭黑客入侵。該賬號(hào)發(fā)布了一篇英文帖文,附帶西班牙語政府聲明,宣稱該國將比特幣列為法定貨幣并計(jì)劃推出500萬美元比特幣儲(chǔ)備基金。 巴拉圭政府隨后發(fā)布正式聲明,指出該總統(tǒng)賬號(hào)出現(xiàn)異?;顒?dòng),可能遭到未授權(quán)訪問,要求民眾在官方確認(rèn)前不要采信相關(guān)帖文內(nèi)容。巴拉圭國家網(wǎng)絡(luò)安全團(tuán)隊(duì)正與X平臺(tái)合作調(diào)查此事。
  • 金色晨訊|6月10日隔夜重要?jiǎng)討B(tài)一覽

    2025-06-10 07:35
    21:00-7:00關(guān)鍵詞:KULR、巴拉圭、IuriiGugnin1.美SEC主席:建議對(duì)加密資產(chǎn)自托管持更加開放的態(tài)度;2.美SEC主席:經(jīng)濟(jì)自由、私有財(cái)產(chǎn)權(quán)等價(jià)值觀是DeFi的核心;3.英國破產(chǎn)署任命首位加密資產(chǎn)專員,追繳比特幣等數(shù)字資產(chǎn);4.上市公司KULR尋求通過普通股發(fā)行募資3億美元增持比特幣;5.特朗普:尚未考慮與馬斯克進(jìn)行會(huì)談,不清楚馬斯克是否使用過毒品;6.巴拉圭總統(tǒng)X賬戶遭攻擊,“巴拉圭將比特幣定為法定貨幣”系不實(shí)信息;7.美檢方指控Evita創(chuàng)始人IuriiGugnin洗錢5億美元并涉助俄獲取敏感技術(shù)。
  • WLFI于2小時(shí)前在AaveV3上提供7,900枚ETH、162.69枚WBTC及5,010枚stETH

    2025-06-10 07:24
    金色財(cái)經(jīng)報(bào)道,據(jù)OnchainLens監(jiān)測,2小時(shí)前,WorldLibertyFinance已:-在AaveV3上提供了7,900枚ETH(2100萬美元)、162.69枚WBTC(1791萬美元)和5,010枚stETH(1331萬美元)。-從#AaveV3借出了750萬枚USDT。-將750萬枚USDT轉(zhuǎn)入BitGo錢包,可能用于提取USD1。
  • 查看更多