Lagrange (LA)

排名 #1118

Lagrange（LA）是一种面向零知识（ZK）的网络，用于生成使 rollups 和其他可验证应用成为可能的证明。该提案扩展了网络能够证明的范围，通过将不同用途连接在连续的、可扩展的证明生成层中。

ZK 技术：Prover Network 和证明层

Lagrange 扩展了其 ZK Prover Network，以支持为 ZK rollups 生成证明。此外，该网络还整合了已有能力，例如 ZK Coprocessor 和 State Committee，使得能够为 rollups、应用、协处理器以及互操作性生成证明。

ZK Coprocessor：基于存储数据的正确计算

ZK Coprocessor 被描述为能够对任意存储槽位和任意区块区间生成正确计算的证明。其流程包括确定哪些存储槽位以及哪一段区块范围进入数据集，然后指定需要并行执行的计算。

在生成证明之后，它会对数据的包含以及聚合后的计算进行验证，确保其相对于由智能合约信息推导出的区块头是有效的。

目标：提高 rollups 的采用率和实用性

此前，Lagrange 发布了一套可用于生产的 ZK prover network，由生态系统中的不同运营方进行操作。随着扩展，网络旨在应对 rollups 的核心挑战，并提升 ZK 的采用率与实用性。