Lagrange

如今，Lagrange 已將其 ZK Prover Network 擴展，為 ZK rollups 提供證明生成能力，進一步強化 Lagrange 既有的 ZK Coprocessor 與 State Committee 服務。透過這項新功能，Lagrange 現在能為任何應用——包括 rollups、應用程式、coprocessors 及跨鏈互通——解鎖證明能力，成為一個無限的證明層，讓所有人能在網際網路規模下證明一切。此前，Lagrange 推出了業界首個可投入生產的 ZK Prover Network，由 Coinbase、Kraken、OKX 等頂級營運商共同維護。如今，Lagrange 的 ZK Prover Network 正進一步擴展，以應對 rollups 面臨的關鍵挑戰，推動 ZK 技術的採用與實用性。 ZK Coprocessor 能針對任意儲存槽位與任意區塊範圍，生成正確計算的證明。舉例來說，若有一個應用希望計算 Ethereum 上 ETH / USDC 的平均價格，開發者首先需指定感興趣的記憶體槽位與區塊範圍（約 50,400 個區塊）。接著，開發者撰寫要在不同區塊的儲存槽位上平行執行的計算邏輯。一旦證明生成完畢，它將同時證明儲存包含性與聚合計算的有效性，且這些證明相對於從智慧合約資訊推導出的區塊頭是有效的。