Lagrange

如今，Lagrange 已将其 ZK Prover Network 扩展至为 ZK rollups 提供证明生成能力，这是在其现有的 ZK Coprocessor 和 State Committee 产品基础上的新增功能。通过这一新增，Lagrange 现在能够为任何场景解锁证明——包括 rollups、应用、coprocessors 和互操作性——作为一个无限的证明层，使任何人都能在互联网规模上证明一切。此前，Lagrange 推出了业界首个生产就绪的 ZK prover 网络，由包括 Coinbase、Kraken、OKX 等顶级运营商运营。现在，Lagrange 的 ZK Prover Network 正在扩展，以应对 rollups 面临的关键挑战，并推动 ZK 的采用和实用性。 ZK Coprocessor 能够针对任意存储槽和任意区块范围生成正确计算的证明。例如，考虑一个希望在 Ethereum 上计算 ETH / USDC 平均价格的应用。开发者首先需要指定他们希望包含在数据集中的内存槽和区块范围（约 50,400 个）。接着，开发者编写要在不同区块的存储槽上并行执行的计算。一旦生成证明，它将证明存储包含性和聚合计算相对于从智能合约信息派生的区块头是有效的。