Lagrange 推出無限證明層，將去中心化證明擴展到 ZK Rollups

第一個生產就緒網絡， 拉格朗日 宣布推出無限證明層，擴展其 ZK Prover Network 以促進 ZK rollups 的證明產生。這建立在拉格朗日現有產品的基礎上，包括 ZK 協處理器和狀態委員會。

透過這項新功能，拉格朗日現在可以為各種應用程式產生證明，包括匯總、去中心化應用程式、協處理器和互通性。無限證明層允許在互聯網範圍內產生證明，支持一切都可以被證明的想法。 ZK Prover Network 的此次擴展旨在解決 Rollup 面臨的挑戰，並促進零知識技術的採用和實用。

最初，拉格朗日將為 AltLayer 和 Caldera 這兩個著名的總結即服務平台提供證明產生。很快，Lagrange還將支援著名的ZK rollup框架的證明生成，例如 中科同步 、Polygon CDK 和 Scroll 的 zkEVM 堆疊。

拉格朗日 ZK Prover 網路的主要特點

拉格朗日的設計是模組化的，使其能夠支援多個獨立的子網，每個子網都有專用的頻寬。這些子網絡共同形成「證明網絡的證明網絡」。這種模組化結構使任何區塊鏈、匯總或應用程式能夠透過可自訂的標準進行連接，為開發人員提供了擴展的靈活性，而不會遇到瓶頸或 I/O 限制。從本質上講，拉格朗日的 ZK Prover Network 有助於為各種用例（包括大規模匯總生態系統）產生動態、無限可擴展的證明。

ZK Prover Network 的架構獨特，使其能夠處理大型匯總生態系統所需的證明生成的規模和複雜性。透過利用子網路的模組化網絡，拉格朗日確保任何區塊鏈、匯總或應用程式都可以存取其所需的證明資源，而不會遇到瓶頸或中央看門人。 

每個子網都分配有專用頻寬，支援不同的證明需求，並使拉格朗日能夠有效地為最大的匯總生態系統提供支援。此外，拉格朗日 ZK 證明網路支援整個網路和每個子網路內的一系列異質證明需求。這包括與不同證明系統（例如 Boojum、Plonky3 或 Plonky2）的兼容性，同時保持標準化和高效能的證明產生。這種適應性確保系統可以擴展以滿足生態系統的要求，同時允許證明者專業化和高效運作。

目前，拉格朗日 ZK Prover 網路包括超過 85 個頂級機構營運商 特徵層 ，每個都運行多個證明器來支持證明生成。這些運營商承諾在特定時間範圍內提供證明，確保網路中證明的持續可用性。透過在證明者市場中使用裸機實例、規模經濟和拉格朗日雙重拍賣資源分配 (DARA) 機制來維持成本效率。使用 ZK 技術的關鍵挑戰是管理分散式證明系統的複雜性，但拉格朗日透過處理細節並為證明產生請求提供統一的介面來簡化這一問題。透過與拉格朗日的網路集成，合作夥伴可以輕鬆外包證明生成，使他們能夠專注於核心業務，同時拉格朗日管理底層基礎設施。