撰寫:Maven 11 編譯:深潮 TechFlow
跨鏈互操作性和安全性成為了當下區塊鏈技術的一個挑戰,ZK 初創公司 Lagrange Labs 給出了它的解決方案。Maven11 作為參投機構撰文對 Lagrange 的重要性進行了闡述,本文詳細介紹 Lagrange 協議的核心概念、驗證過程以及如何利用零知識證明技術實現無需信任的跨鏈操作。
跨鏈狀態證明對于多鏈世界中的應用程序至關重要。它使得應用程序能夠使用不受信任的用戶提交可驗證的鏈狀態聲明。用例包括多鏈 DEX 定價、收益聚合器、借貸定價等。
簡單來說,狀態(存儲)證明是一種證明(零知識),證明了任意鏈上存在某種鏈上狀態。通過零知識證明(ZKP)的魔力,我們可以高效且無需信任地實現這一點,而無需信任預言機網絡。
Web3分布式基礎設施平臺Triple Labs完成種子輪融資:5月10日消息,Web3分布式基礎設施平臺Triple Labs宣布完成種子輪融資,CBI Holding和StepVC參投,本輪融資的具體金額和估值信息暫未披露。
據悉,Triple Lab旨在為企業和開發人員提供一站式開發平臺,降低Web3開發者的入門門檻,以在區塊鏈上輕松構建和部署去中心化應用程序(DApp)并構建一個面向開發者和終端用戶的Web3基礎設施服務生態系統。[2023/5/10 14:54:24]
傳統的消息傳遞協議依賴節點來傳遞信息,但 Lagrange 采用了不同的方法。它允許任何人加密驗證信息提交,類似于 IBC 依賴輕客戶端進行跨鏈驗證。
NEAR將于2023年發布Phase2分片,2024年交付Phase3分片:11月12日消息,NEAR發布2023至2024年協議路線圖,未來兩年NEAR將發布兩個階段的分片以及部分重要的功能,Phase2計劃2023年發布,2024年會交付Phase3分片。路線圖中涉及的部分功能包括元交易、零余額賬戶、Secp256r1秘鑰、全局存儲、在wasm內運行wasm等。[2022/11/12 12:55:43]
在 Lagrange 中,任何跨鏈傳輸層或不受信任的用戶都可以提交在鏈上驗證的非交互式證明。這些證明不依賴驗證者集合或簽名,確保直接在鏈上獲取數據并在鏈之間高效地聚合。
Lagrange 狀態證明的驗證涉及多個步驟:
Gate.io “芝麻開門周周利”BTC持倉理財第七期3分鐘售罄:據官方消息,Gate.io芝麻開門周周利周五場BTC、ETH持倉計劃7號已于今日12點開啟,其中,BTC持倉理財認購開啟3分鐘即售罄,ETH持倉理財認購開啟29分鐘即售罄。
據悉。Gate.io芝麻開門周周利周五場BTC、ETH持倉計劃8號將于下周五中午12點上線,目前,BTC/ETH/USDT 7天Pos活期理財-DeFi流動性挖礦賺SWRV持續進行中。
芝麻開門周周利是Gate.io 理財寶正式推出的7天短期持倉理財產品,鎖倉幣種為BTC、ETH、USDT等主流幣種。詳情點擊原文鏈接。[2020/9/18]
狀態根驗證:驗證由 Lagrange 狀態委員會生成的簡潔零知識證明,顯示給定狀態根(區塊頭)的真實性。
刷新紀錄 120萬BUC理財額度3分鐘搶空:今天下午15:00,區塊鏈資產私人銀行BitUN正式對外開啟首款高收益區塊鏈理財產品“丘比特I號”的第二輪發售,總額度120萬BUC,預期年化收益20%。上線僅僅3分26秒,120萬BUC的理財限額就被一搶而空,刷新了昨日9分37秒的紀錄。據“丘比特I號”的理財規則顯示,用戶可在4月13日-4月15日每天15:00參與理財份額的搶購,最低投資額度為1BUC。4月15日為“丘比特I號”最后一期的理財產品發售日,最大限額為200萬BUC,滿額即結束。據悉,BitUN的理財資金將交由來自香港上市集團的專業團隊進行操作,團隊成員有著豐富的股票以及數字貨幣市場交易實戰經驗。[2018/4/14]
批量存儲證明:驗證一組聲明的狀態是否存在于特定鏈的狀態根中。
零知識分布式計算:驗證在鏈上狀態上執行的任意分布式計算。
由于 Lagrange 狀態證明是模塊化的,協議可以選擇使用狀態、存儲或計算的部分證明,以根據其應用程序定制證明系統。現有的跨鏈應用程序可以輕松提高其跨鏈工具的安全性或表現力。
Lagrange 零知識大數據框架利用類似于 Verkle 樹的動態數據結構,允許應用程序將高效的存儲包含證明與任意分布式計算(如 MapReduce 或分布式 SQL)相結合。
借助 LagrangeJS SDK,開發人員可以輕松請求任何鏈的狀態證明,并指定在存儲狀態子集上運行的任意計算。這使開發人員能夠在用戶友好的界面中利用安全的跨鏈狀態和存儲證明。
Lagrange SDK 還簡化了同時生成跨多個鏈的狀態證明的過程。這些證明使得與 Lagrange 協議集成的 DApp 可以將多個狀態驗證集成到單個鏈上交易中。
Lagrange 協議通過整合主要區塊鏈來促進跨鏈狀態驗證。最初,它與所有 EVM L1、L2 和 rollup 兼容。未來,計劃支持 Solana、Sui、Aptos 和基于 Cosmos SDK 的鏈等非 EVM 鏈。
此外,Lagrange 還致力于通過利用經濟債券聲明來改善現有跨鏈橋接和消息傳遞協議的安全性,為 Optimistic Rollup 創建強大的經濟單槽保證最終確定性。這可以顯著提高以太坊上孤立的 Rollup 之間的互操作性。
其工作原理本質上是為 Optimistic Rollup 生成 ZK 輕客戶端證明,而不是當前在以太坊上的“輕客戶端”實現——即以太坊同步委員會。
當前的以太坊同步委員會只有 512 個隨機選擇的驗證者,他們每天獲得更高的獎勵以提供輕客戶端功能。
Lagrange 跨鏈狀態委員會的安全性源于不斷增長、動態大小的節點,這些節點具有經濟債券,這些節點要么用 EigenLayeer 再質押,要么用流動性質押衍生品質押,例如 Rocket Pool。
節點必須對每個在他們所證明的鏈上達到最終結果的新區塊執行簽名。與以太坊輕客戶端同步委員會的 512 個節點上限相反,跨鏈狀態委員會支持無限制的節點。因此,每個證明背后的抵押品可以根據需要動態擴展,為每個給定的鏈或 Rollup 創建安全證明。
狀態證明在諸如共享排序器等協議中具有重要用例,有助于改進跨 Rollup 通信,以及在 SUAVE 等實現中解決預言機問題。
深潮TechFlow
個人專欄
閱讀更多
金色薦讀
金色財經 善歐巴
迪新財訊
Chainlink預言機
區塊律動BlockBeats
白話區塊鏈
金色早8點
Odaily星球日報
歐科云鏈
MarsBit
來源:星球日報 最近看了大量 Web3 應用層 - 教育賽道的項目,也和很多相關創業團隊聊過,感慨應用層破圈不易的同時,也通過 Web3 教育賽道動態看到了一些新的可能性.
1900/1/1 0:00:00通過zkSNARKs證明機器學習(ML)模型推理將成為這個十年智能合約發展最重要的進步之一。這一發展開辟了一個令人興奮的廣闊設計空間,允許應用程序和基礎設施發展成更復雜智能的系統.
1900/1/1 0:00:001. 介紹1.1 如何使用手冊?在本指南中,你將學習如何提高品牌知名度,吸引新用戶并推動增長。從建立基本流程到與社區互動,你將學習在 Web3 取得成功所需的關鍵營銷策略和戰術.
1900/1/1 0:00:00目錄 一、項目名稱 二、項目愿景 三、特色和優勢 四、發展歷史 五、團隊背景 六、融資信息 七、發展成果 八、經濟模型 九、基本面分析 十、行業分析 十一、風險與機會 Canvas是基于Star.
1900/1/1 0:00:00作者: ABCDE 原文來自@Wuhuoqiu推特今天來說說MEV和隱私方面的趨勢.
1900/1/1 0:00:00你是否記得FTX 曾經有一項產品——允許其用戶在該平臺上交易合成的股權代幣(追蹤股票價格走勢的數字資產)。GameStop(GME)是最受歡迎的股權代幣之一.
1900/1/1 0:00:00