自從像Celestia和EigenLayer這樣的協(xié)議引發(fā)了關(guān)于區(qū)塊鏈執(zhí)行、結(jié)算、排序和數(shù)據(jù)可用性層解耦的爭(zhēng)論以來，“模塊化區(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(我們之前介紹過)如何為L(zhǎng)agrange模塊化區(qū)塊鏈的去信任、安全、可擴(kuò)展和高效互操作性愿景做出貢獻(xiàn)，并為開發(fā)人員和用戶解鎖新穎、令人興奮的用例。

模塊化區(qū)塊鏈：簡(jiǎn)短入門

模塊化區(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è)施，以簡(jiǎn)化模塊化區(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)大大減少。

誠(ché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)一步加劇了互操作性問題。

讓我們簡(jiǎ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è)簡(jiǎn)單的例子是跨鏈借貸協(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)目的多鏈增長(zhǎ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ì)(來源)

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

“共享排序是模塊化堆棧的重要組成部分，減少了啟動(dòng)rollup的工作量，同時(shí)允許它們?cè)谀J(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)性的簡(jiǎn)單方法，從而降低了在新鏈上啟動(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)移和簡(jiǎ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的增長(zhǎng)，所有實(shí)例之間通信的消息傳遞復(fù)雜性也隨著n2的增長(zhǎng)而增長(zhǎng)。

這種機(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ū)塊鏈將加入競(jìng)爭(zhēng)。跨鏈互操作性是模塊化理論的核心，雖然共享數(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è)月推出測(cè)試網(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)文章！