ZK证明网络是一个去中心化的运营商网络，负责按需生成零知识证明。这些证明可用于验证：

• ZK汇总状态转换
• 智能合约执行跟踪
• 机器学习模型推理
• 跨链状态读取

该网络包括加密经济激励和惩罚机制，确保存活性和正确性。它构建于与重新质押协议（如EigenLayer）集成，以借用已建立链的安全性。

ZK协处理器允许应用对链上状态进行SQL风格查询并获取经过加密验证的结果。它支持复杂的分析查询、集合成员验证和递归证明聚合。关键技术能力包括：

• 在基于Merkle树的状态表示上执行计算
• 证明压缩和递归以保持验证效率
• 通过可验证状态跨链桥接实现多链兼容性

该系统允许L2和L1链访问来自其他区块链的一致、可组合和可验证的数据洞察，而不引入信任假设。

LA是拉格朗日生态系统的原生实用代币，支持以下功能：

• 费用支付：用户和客户使用LA支付证明生成和查询结果的费用。如果使用其他代币，则会分配一部分用于LA回购，以维持需求。

• 质押与委托：网络证明者必须质押LA以执行操作。委托者可以参与质押，赚取奖励的一部分并增强网络安全。

• 补贴分配：协议发放固定的LA排放量以补贴证明生成成本。这些排放量根据每个证明者产生的证明量按比例分配。

• 治理：LA代币持有者应参与协议治理，包括调整费用结构、修改查询规则或演变补贴时间表。

拉格朗日由伊斯梅尔·希尚-雷扎伊扎德（Ismael Hishon-Rezaizadeh）创建，他是一名在密码系统和可验证计算领域的研究人员和建设者。他领导拉格朗日实验室的团队，专注于为去中心化应用提供基于零知识的基础设施。在2025年5月，拉格朗日基金会成立，负责监督协议的长期发展、治理和可持续性。

应用

拉格朗日支持多个现实世界用例，包括：

• 可验证的去中心化金融分析（例如，无信任的TWAP、利率计算）
• 通过DeepProve计划的去中心化AI证明系统
• 针对汇总和模块化执行层的最小信任跨链通信

它提供与以太坊及其他EVM链兼容的模块化和可互操作工具，使其可供广泛的去中心化应用和基础设施提供者使用。