Lagrange 協議：通過 ZK 實現無需信任的跨鏈互操作性_以太坊

作者：Maven11

編譯：深潮TechFlow

跨鏈互操作性和安全性成為了當下區塊鏈技術的一個挑戰，ZK初創公司LagrangeLabs給出了它的解決方案。Maven11作為參投機構撰文對Lagrange的重要性進行了闡述，本文詳細介紹Lagrange協議的核心概念、驗證過程以及如何利用零知識證明技術實現無需信任的跨鏈操作。

跨鏈狀態證明對于多鏈世界中的應用程序至關重要。它使得應用程序能夠使用不受信任的用戶提交可驗證的鏈狀態聲明。用例包括多鏈DEX定價、收益聚合器、借貸定價等。

簡單來說，狀態證明是一種證明，證明了任意鏈上存在某種鏈上狀態。通過零知識證明的魔力，我們可以高效且無需信任地實現這一點，而無需信任預言機網絡。

元宇宙項目Digital Village完成400萬美元融資:1月13日消息，法國元宇宙初創公司Digital Village宣布完成400萬美元新一輪融資，本輪融資由時尚品牌歐萊雅旗下基金BOLD、英國時裝協會、Venture Reality Fund、Venrex等機構參投。新資金將推動其開發3D世界并推出高級頭像定制和虛擬商店功能。本次投資是BOLD首次在元宇宙和Web3領域進行的風險投資交易。

據悉，Digital Village通過為品牌和創作者配備工具，在元宇宙中構建引人入勝的沉浸式虛擬體驗，允許個人的虛擬形象在虛擬空間中移動和社交，并在數字平臺上分享經驗和資產，其接口支持以太坊和Vechain。

此前金色財經報道，Digital Village完成200萬美元種子輪融資。（WWD）[2023/1/13 11:09:50]

傳統的消息傳遞協議依賴節點來傳遞信息，但Lagrange采用了不同的方法。它允許任何人加密驗證信息提交，類似于IBC依賴輕客戶端進行跨鏈驗證。

以太坊核心開發者Peter Szilagyi反對提高Gas上限至1250萬:以太坊核心開發者Peter Szilagyi發聲反對“將Gas上限增至1250萬”，Peter認為，以太坊的礦工們根本不關心網絡的長期健康狀況。隨著Gas上限的提高，區塊鏈的規模將會變得更大，這使得同步和運行一個完整的節點更加困難、昂貴，同時還會引起一些DoS問題。（Bitcoin Exchange Guide）[2020/6/21]

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

委內瑞拉交易所Criptolago支持通過短信處理加密交易:金色財經報道，委內瑞拉加密貨幣交易所Criptolago已為其用戶推出了通過短信進行加密支付功能，此服務無需聯網。Criptolago希望通過其新服務在整個委內瑞拉推動更大的加密貨幣采用率。[2020/4/11]

Lagrange狀態證明的驗證涉及多個步驟：

狀態根驗證：驗證由Lagrange狀態委員會生成的簡潔零知識證明，顯示給定狀態根的真實性。

批量存儲證明：驗證一組聲明的狀態是否存在于特定鏈的狀態根中。

零知識分布式計算：驗證在鏈上狀態上執行的任意分布式計算。

EOSvillage參選EOS超級節點，中華第一村“華西村”殺入競選:5月14日，EOSvillage正式宣布參選EOS超級節點。EOSvillage由中華第一村“華西村”投資的鏈村與區塊鏈社區“鏈金術”、鯨略科技共同發起，將致力于EOS的落地、推廣與普及。據悉，EOSvillage上海市中心黃浦設立了亞太地區超大型EOS孵化器，面積近3000平米，可以容納200多個工位，用以支持EOS主網上線后的生態建設。[2018/5/14]

由于Lagrange狀態證明是模塊化的，協議可以選擇使用狀態、存儲或計算的部分證明，以根據其應用程序定制證明系統。現有的跨鏈應用程序可以輕松提高其跨鏈工具的安全性或表現力。

Lagrange零知識大數據框架利用類似于Verkle樹的動態數據結構，允許應用程序將高效的存儲包含證明與任意分布式計算相結合。

借助LagrangeJSSDK，開發人員可以輕松請求任何鏈的狀態證明，并指定在存儲狀態子集上運行的任意計算。這使開發人員能夠在用戶友好的界面中利用安全的跨鏈狀態和存儲證明。

LagrangeSDK還簡化了同時生成跨多個鏈的狀態證明的過程。這些證明使得與Lagrange協議集成的DApp可以將多個狀態驗證集成到單個鏈上交易中。

Lagrange協議通過整合主要區塊鏈來促進跨鏈狀態驗證。最初，它與所有EVML1、L2和rollup兼容。未來，計劃支持Solana、Sui、Aptos和基于CosmosSDK的鏈等非EVM鏈。

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

其工作原理本質上是為OptimisticRollup生成ZK輕客戶端證明，而不是當前在以太坊上的“輕客戶端”實現——即以太坊同步委員會。

當前的以太坊同步委員會只有512個隨機選擇的驗證者，他們每天獲得更高的獎勵以提供輕客戶端功能。

Lagrange跨鏈狀態委員會的安全性源于不斷增長、動態大小的節點，這些節點具有經濟債券，這些節點要么用EigenLayeer再質押，要么用流動性質押衍生品質押，例如RocketPool。

節點必須對每個在他們所證明的鏈上達到最終結果的新區塊執行簽名。與以太坊輕客戶端同步委員會的512個節點上限相反，跨鏈狀態委員會支持無限制的節點。因此，每個證明背后的抵押品可以根據需要動態擴展，為每個給定的鏈或Rollup創建安全證明。

狀態證明在諸如共享排序器等協議中具有重要用例，有助于改進跨Rollup通信，以及在SUAVE等實現中解決預言機問題。

Tags：RAN以太坊EOSROLTransparent Token如何購買以太坊幣EOS CrashTROLLBNB幣

區塊鏈