SNARKtor 路线图：构建可扩展证明聚合的未来

自2024年2月发布SNARKtor白皮书以来，泰洛斯团队一直致力于将其转化为一个尖端协议，在整个区块链生态系统中扩展zk-SNARKs（零知识简洁非交互式知识论证）。SNARKtor 引入了证明聚合的新标准，释放出更高的可扩展性、成本效益和隐私性。通过将多个证明合并为一个实体，它改变了去中心化应用程序（dApps）的构建、优化和管理方式。

本路线图概述了 SNARKtor 发展过程中的关键里程碑，每个阶段都标志着向前迈出的关键一步。鉴于本项目的探索性质，路线图提供的是一个灵活的框架，而不是一个死板的计划，它会随着我们的洞察力和应对新挑战的过程而不断发展。

里程碑 1：基础版本

到期日2024 年 11 月

第一个里程碑的主要目标是将现有的概念验证（PoC）发展成为一个功能版本，展示 SNARKtor 的潜力，并有可能测试与主要合作伙伴的集成。

这一阶段的重点是实施基本的用户费用管理，以便在实际场景中进行测试，例如汇总来自卷积的证明。此外，还将引入多机聚合，以支持更高的吞吐量，确保系统能有效扩展。

从证明系统的角度来看，我们将在 Plonky2 Goldibear 上完成对宝贝熊领域的支持，以避免依赖昂贵的证明封装，并利用 Plonky3 更优化的实现。

里程碑 2：协议扩展和整合

到期日：2025 年 2 月

里程碑 2 的重点是在两个关键领域扩展 SNARKtor 的核心协议：计划管理和状态跟踪，以及与外部 ZK 证明系统的集成。

第一个目标是扩展协议的核心功能，重点是管理时间表和跟踪每个角色的动态状态。 

第二个重点是将 SNARKtor 与 Polygon Hermez ZK EVM 集成，使Polygon 的 zkEVM证明能够通过 SNARKtor 聚合。这一集成是通过高效的证明聚合降低验证成本的第一步。

与此同时，一个单独的工作流将专注于定义算法细节 ，使调度员能够通过平衡成本和可靠性来生成最优调度表，在惩罚那些未能达到服务预期的调度员的同时，也有利于那些表现优异的调度员。

里程碑 3：证明者注册和证明市场开发

到期日：2025 年 5 月

第三个里程碑以前一阶段的进展为基础，进一步扩展了 SNARKtor 的核心功能，并特别关注证明者的作用。

第一步是实现链上 Prover 注册，建立一个共享注册表，列出所有准备接收聚合请求的行为者。该注册表可解锁更多的功能，如声誉跟踪，它将奖励那些达到服务预期的证明者，惩罚那些没有达到预期的证明者，这对在生成计划时选择证明者至关重要。

另一个重点是改进使用费管理，从固定收费模式转变为动态收费估算，这将考虑到每个证明者的证明成本等变量。

有了这些功能，SNARKtor 将建立一个证明市场，为聚合过程带来更大的可扩展性。

此外，这一阶段还包括分析和设计特定目的地链的调度程序和提交程序选择算法，以便为下一个里程碑提供指导。

最后，Telos zkEVM将更新为原生验证 SNARKtor 证明，使ZK rollup 和 L3 dApp能够利用相同的聚合机制来支持用户数据保护应用。 

里程碑 4：分散式调度和奖励机制

到期日：2025 年 8 月

第四个里程碑的重点是为SNARKtor 下放调度程序做准备，强调调度员的作用。

这一阶段的一个关键进展是实施调度程序选择算法，该算法定义了一组符合条件的节点，在给定时间内充当调度程序。这一里程碑的另一个重要组成部分是跟踪调度器奖励，与证明者奖励一样，这些奖励将在链上提交聚合证明时由提交者收集和分配。

作为这一阶段的一部分，该团队还将开始开发ZK 电路，使协议的特定元素可被证明，为下一个以完全去中心化为重点的里程碑奠定基础。

里程碑 5：提交者权力下放和 P2P 网络的实施

到期日2025 年 11 月

这一里程碑标志着SNARKtor 向全面分散化迈出了第二步，也是最后一步，重点是提交者的作用。

本阶段将采用与上一个里程碑中的 "调度程序 "分散化类似的方法，实施提交者选择算法，包括提交者的链上注册。此外，还将建立对提交者奖励的适当跟踪，以确保在分散式框架内进行准确分配。

在这一点上，SNARKtor 参与者--发送者、调度者和其他人--之间的所有通信都需要建立一个点对点（P2P）网络。该网络将允许所有参与者进行实时通信，其功能类似于区块链 或分散式内存池。

另一个关键部分是ZK 电路开发的第二次迭代，它将解锁 SNARKtor 协议的完全可证明性。这对于确保状态的完整性至关重要，尤其是在奖励分配方面，可以防止任何行为者索取本应属于他人的奖励。

里程碑 6：协议优化和链外账户管理

到期日2026 年 2 月

随着 SNARKtor 的全面开发、去中心化和验证，这一里程碑的重点是优化协议以提高效率。

优化的一个关键领域是用户账户（余额）的管理。目前，SNARKtor 用户账户是通过 SNARKtor 智能合约在链上维护的。为了使协议更加高效，这一里程碑将引入完全成熟的链下账户管理。SNARKtor将不在链上存储单个余额，而是只在链上记录账户状态的承诺 ，而单个余额将由SNARKtor进行链下管理。

结论

到2026 年第一季度，SNARKtor 将发展成为一个完全去中心化、优化和可扩展的证明聚合协议，能够在整个区块链生态系统中释放zk-SNARKs的全部潜力。随着每一个里程碑的到来，SNARKtor 都更接近于成为用户数据保护和具有成本效益的去中心化应用的核心基础设施。从建立证明市场到实施链外账户管理，SNARKtor 为开发者提供了构建下一代ZK 驱动的 dApp 的工具。Telos 团队将继续致力于完善协议、应对挑战，并确保实现最高水平的性能、效率和去中心化。