Lagrange Labs:模塊化區(qū)塊鏈的互操作性
自從像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)文章!
你可能感興趣的文章
-
區(qū)塊鏈錢包從入門到精通
這篇文章主要介紹了區(qū)塊鏈錢包基礎(chǔ)知識(shí)從入門到精通的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-28 -
區(qū)塊鏈錢包分類,有哪幾類區(qū)塊鏈錢包?
這篇文章主要介紹了區(qū)塊鏈錢包分類,有哪幾類區(qū)塊鏈錢包?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2024-10-29 -
什么是區(qū)塊鏈交易平臺(tái)?區(qū)塊鏈交易平臺(tái)的發(fā)展趨勢
這篇文章主要介紹了什么是區(qū)塊鏈交易平臺(tái)?區(qū)塊鏈交易平臺(tái)的發(fā)展趨勢的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-28 -
區(qū)塊鏈gas費(fèi)用什么意思?如何合理控制gas費(fèi)用?
這篇文章主要介紹了區(qū)塊鏈gas費(fèi)用什么意思?如何合理控制gas費(fèi)用?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-27 -
區(qū)塊鏈隱身地址是什么?隱私公鏈、隱私項(xiàng)目以及相關(guān)幣種介紹
這篇文章主要介紹了區(qū)塊鏈隱身地址是什么?隱私公鏈、隱私項(xiàng)目以及相關(guān)幣種介紹的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-26 -
區(qū)塊鏈TRC20是哪個(gè)鏈?TRC20轉(zhuǎn)ERC20地址可以到賬嗎?
這篇文章主要介紹了區(qū)塊鏈TRC20是哪個(gè)鏈?TRC20轉(zhuǎn)ERC20地址可以到賬嗎?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-16 -
去中心化是什么?有什么優(yōu)缺點(diǎn)?跟區(qū)塊鏈的關(guān)系?
這篇文章主要介紹了去中心化是什么?有什么優(yōu)缺點(diǎn)?跟區(qū)塊鏈的關(guān)系?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-16 -
Solana區(qū)塊鏈?zhǔn)謾C(jī)是什么?Solana區(qū)塊鏈?zhǔn)謾C(jī)Saga介紹
這篇文章主要介紹了Solana區(qū)塊鏈?zhǔn)謾C(jī)是什么?Solana區(qū)塊鏈?zhǔn)謾C(jī)Saga介紹的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-13 -
一文詳解智能合約和區(qū)塊鏈的關(guān)系究竟是什么?
這篇文章主要介紹了一文詳解智能合約和區(qū)塊鏈的關(guān)系究竟是什么?的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-12 -
為什么中國禁止加密貨幣?一文看懂中國區(qū)塊鏈發(fā)展史
這篇文章主要介紹了為什么中國禁止加密貨幣?一文看懂中國區(qū)塊鏈發(fā)展史的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-06-12