更深入地了解Boundless：可扩展证明的通用ZK基础设施

@boundless_network 是由 RISC Zero 开发的雄心勃勃的零知识证明基础设施，旨在彻底改变区块链、rollups 和应用程序生成和验证证明的方式。Boundless 不同于每个网络建立自己的证明系统，它创建了一个共享的证明生成市场和堆栈，外部证明节点在这里竞争以满足证明请求。大量计算发生在链下，而认证仍然在链上，这允许区块链在不承担完整执行成本的情况下保持安全。这种方法通过分离执行和认证的角色，减少了冗余，降低了 gas 成本，并提高了多个环境中的吞吐量。

在 Boundless 的技术核心是 Bento，这是一个基于 RISC Zero 的 zkVM 构建的证明集群栈。Bento 支持从单 GPU 设置到大型集群，使得证明者能够使用多台机器和 GPU，安全管理证明数据，重试失败，并随着需求的增长进行扩展。与 Bento 相辅相成的是 Broker，它处理市场互动：投标者锁定证明请求，出价，将工作发送到 Bento，提交证明，并管理抵押品。这种架构允许证明者和请求者通过明确定义的报价进行互动，请求者指定价格范围、超时和抵押品等参数，而证明者在经济上被激励提供正确的证明。

经济模型围绕可验证工作证明(PoVW)和原生代币$ZKC展开。证明者质押ZKC，然后根据他们生成的证明获得$ZKC的奖励，系统会衡量计算成本和质量。行为不当或未能满足请求可能导致抵押品被削减。该代币还在治理和合约部署中发挥作用。代币经济学旨在平衡供应，通货膨胀(最初较高，随着时间的推移降低)，以及确保长期参与的激励。

Boundless还强调开发者体验和互操作性。开发者可以用Rust编写zkVM程序(，提交证明请求)，无论是在链上还是链下，具体取决于对抗审查的需求(，并让Boundless网络将它们与证明者配对。聚合机制有助于有效批处理证明，以降低验证成本。通过部署的验证器合约支持多条区块链，任何与Boundless集成的链都可以受益，而无需重新做每个组件。该协议提供SDK、命令行工具和文档，以减少摩擦。

截至2025年9月中旬的一些关键指标展示了Boundless的现状：ZKC的总供应量为1,000,000,000个代币，流通量约为20.10%。通货膨胀结构设定为每年约7%的起始值，并在第8年降至约3%。代币分配包括对证明者和质押者的发行，质押和削减机制内置于请求/证明框架中。融资努力包括一个启动阶段，承诺了显著的需求。

我的收获： Boundless 正在成为零知识证明系统的基础设施层，提供一个统一且可扩展的解决方案，将计算负担移至链下，同时保持链上的信任。其技术栈 )Bento + Broker(，激励模型 )PoVW + ZKC(，以及开发者工具表明它旨在实现高性能和可用性。未来的挑战可能在于确保足够的证明者参与 )硬件、可靠性(、管理证明延迟和成本，并说服许多链和应用程序采用其验证器合约。但如果这些能够很好地对齐，Boundless 可能会显著降低区块链领域强大可验证计算的进入门槛。 #无界