撰寫：Maven 11

編譯：深潮 TechFlow

跨鏈互操作性和安全性成為了當(dāng)下區(qū)塊鏈技術(shù)的一個(gè)挑戰(zhàn)，ZK 初創(chuàng)公司 Lagrange Labs 給出了它的解決方案。Maven11 作為參投機(jī)構(gòu)撰文對(duì) Lagrange 的重要性進(jìn)行了闡述，本文詳細(xì)介紹 Lagrange 協(xié)議的核心概念、驗(yàn)證過程以及如何利用零知識(shí)證明技術(shù)實(shí)現(xiàn)無需信任的跨鏈操作。

跨鏈狀態(tài)證明對(duì)于多鏈?zhǔn)澜缰械膽?yīng)用程序至關(guān)重要。它使得應(yīng)用程序能夠使用不受信任的用戶提交可驗(yàn)證的鏈狀態(tài)聲明。用例包括多鏈 DEX 定價(jià)、收益聚合器、借貸定價(jià)等。

簡(jiǎn)單來說，狀態(tài)（存儲(chǔ)）證明是一種證明（零知識(shí)），證明了任意鏈上存在某種鏈上狀態(tài)。通過零知識(shí)證明（ZKP）的魔力，我們可以高效且無需信任地實(shí)現(xiàn)這一點(diǎn)，而無需信任預(yù)言機(jī)網(wǎng)絡(luò)。

傳統(tǒng)的消息傳遞協(xié)議依賴節(jié)點(diǎn)來傳遞信息，但 Lagrange 采用了不同的方法。它允許任何人加密驗(yàn)證信息提交，類似于 IBC 依賴輕客戶端進(jìn)行跨鏈驗(yàn)證。

在 Lagrange 中，任何跨鏈傳輸層或不受信任的用戶都可以提交在鏈上驗(yàn)證的非交互式證明。這些證明不依賴驗(yàn)證者集合或簽名，確保直接在鏈上獲取數(shù)據(jù)并在鏈之間高效地聚合。

Lagrange 狀態(tài)證明的驗(yàn)證涉及多個(gè)步驟：

1. 狀態(tài)根驗(yàn)證：驗(yàn)證由 Lagrange 狀態(tài)委員會(huì)生成的簡(jiǎn)潔零知識(shí)證明，顯示給定狀態(tài)根（區(qū)塊頭）的真實(shí)性。
2. 批量存儲(chǔ)證明：驗(yàn)證一組聲明的狀態(tài)是否存在于特定鏈的狀態(tài)根中。
3. 零知識(shí)分布式計(jì)算：驗(yàn)證在鏈上狀態(tài)上執(zhí)行的任意分布式計(jì)算。

由于 Lagrange 狀態(tài)證明是模塊化的，協(xié)議可以選擇使用狀態(tài)、存儲(chǔ)或計(jì)算的部分證明，以根據(jù)其應(yīng)用程序定制證明系統(tǒng)?，F(xiàn)有的跨鏈應(yīng)用程序可以輕松提高其跨鏈工具的安全性或表現(xiàn)力。

Lagrange 零知識(shí)大數(shù)據(jù)框架利用類似于 Verkle 樹的動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)，允許應(yīng)用程序?qū)⒏咝У拇鎯?chǔ)包含證明與任意分布式計(jì)算（如 MapReduce 或分布式 SQL）相結(jié)合。

借助 LagrangeJS SDK，開發(fā)人員可以輕松請(qǐng)求任何鏈的狀態(tài)證明，并指定在存儲(chǔ)狀態(tài)子集上運(yùn)行的任意計(jì)算。這使開發(fā)人員能夠在用戶友好的界面中利用安全的跨鏈狀態(tài)和存儲(chǔ)證明。

Lagrange SDK 還簡(jiǎn)化了同時(shí)生成跨多個(gè)鏈的狀態(tài)證明的過程。這些證明使得與 Lagrange 協(xié)議集成的 DApp 可以將多個(gè)狀態(tài)驗(yàn)證集成到單個(gè)鏈上交易中。

Lagrange 協(xié)議通過整合主要區(qū)塊鏈來促進(jìn)跨鏈狀態(tài)驗(yàn)證。最初，它與所有 EVM L1、L2 和 rollup 兼容。未來，計(jì)劃支持 Solana、Sui、Aptos 和基于 Cosmos SDK 的鏈等非 EVM 鏈。

此外，Lagrange 還致力于通過利用經(jīng)濟(jì)債券聲明來改善現(xiàn)有跨鏈橋接和消息傳遞協(xié)議的安全性，為 Optimistic Rollup 創(chuàng)建強(qiáng)大的經(jīng)濟(jì)單槽保證最終確定性。這可以顯著提高以太坊上孤立的 Rollup 之間的互操作性。

其工作原理本質(zhì)上是為 Optimistic Rollup 生成 ZK 輕客戶端證明，而不是當(dāng)前在以太坊上的“輕客戶端”實(shí)現(xiàn)——即以太坊同步委員會(huì)。

當(dāng)前的以太坊同步委員會(huì)只有 512 個(gè)隨機(jī)選擇的驗(yàn)證者，他們每天獲得更高的獎(jiǎng)勵(lì)以提供輕客戶端功能。

Lagrange 跨鏈狀態(tài)委員會(huì)的安全性源于不斷增長(zhǎng)、動(dòng)態(tài)大小的節(jié)點(diǎn)，這些節(jié)點(diǎn)具有經(jīng)濟(jì)債券，這些節(jié)點(diǎn)要么用 EigenLayeer 再質(zhì)押，要么用流動(dòng)性質(zhì)押衍生品質(zhì)押，例如 Rocket Pool。

節(jié)點(diǎn)必須對(duì)每個(gè)在他們所證明的鏈上達(dá)到最終結(jié)果的新區(qū)塊執(zhí)行簽名。與以太坊輕客戶端同步委員會(huì)的 512 個(gè)節(jié)點(diǎn)上限相反，跨鏈狀態(tài)委員會(huì)支持無限制的節(jié)點(diǎn)。因此，每個(gè)證明背后的抵押品可以根據(jù)需要?jiǎng)討B(tài)擴(kuò)展，為每個(gè)給定的鏈或 Rollup 創(chuàng)建安全證明。

狀態(tài)證明在諸如共享排序器等協(xié)議中具有重要用例，有助于改進(jìn)跨 Rollup 通信，以及在 SUAVE 等實(shí)現(xiàn)中解決預(yù)言機(jī)問題。

熱點(diǎn)：讀懂比特幣 跨鏈nft nft跨鏈 幣圈一分鐘 比特幣分鐘