什么是无边界？探索通用零知识证明协议

Boundless 推出了 mainnet 将于 15 年 2025 月 XNUMX 日正式发布，标志着去中心化零知识证明系统向前迈进了一步。长期以来，开发者和研究人员一直在探索如何让零知识证明更易于获取、更具激励性——Boundless 旨在通过其通用协议满足这一需求。证明者现在可以因其计算工作而获得奖励，从而将证明生成转化为一项富有成效的活动。该协议以现有的零知识证明技术为基础，并引入了新的机制来维持参与。

起源和核心概念

Boundless 诞生于去中心化零知识证明生成的努力之中，零知识证明允许一方在不泄露底层数据的情况下证明语句的真实性。它们为区块链及其他领域的隐私功能提供支持，但生成这些证明需要强大的计算能力。中心化服务通常负责处理此类问题，这引发了对信任和可扩展性的担忧，因此 Boundless 致力于将工作负载分散到整个证明者网络中。

该协议作为一个通用层运行，支持各种零知识证明电路和证明系统，从 SNARK 到 STARK。用户通过 API 提交证明请求，网络中的证明者相互竞争以满足这些请求。成功的证明将在链上进行验证，确保与多个区块链兼容。 Ethereum, 索拉纳，而其他人无需定制构建即可集成。

Boundless 的核心是点对点网络，其中节点运行专门的软件来接收任务。该系统能够高效地聚合证明，并处理复杂计算的递归。开发人员对其灵活性赞不绝口，因为从简单的算术到复杂的智能合约执行，都可以证明。

协议的技术细节

Boundless 采用模块化架构，核心由三层组成：证明层、验证层和协调层。证明层执行零知识证明电路，而证明器则使用 GPU 或 CPU 资源来计算证明。该协议支持 Plonk 和其他算法方案，并通过并行处理来优化速度。

验证过程非常快速，因为一旦证明到达，网络就会使用简洁的验证器检查其有效性。此步骤可防止无效提交，协调层则负责管理任务分配。它使用 Gossip 协议广播请求，证明者质押 ZKC 参与其中，确保参与其中。

安全性是 Boundless 的关键支柱，因为 Boundless 在其电路中集成了形式化验证，并能够抵御拒绝服务等常见攻击。该协议使用阈值签名进行聚合，允许多个证明者共同贡献单个证明，从而减少单点故障。带宽需求保持较低水平，每个证明请求仅需 1-2 MB 左右。

实现细节展现了精心的工程设计，软件堆栈的核心组件包括 Rust。它集成了 WebAssembly 进行电路编译，因此用户可以使用 Circom 或 Halo2 等工具离线编译电路。然后，他们通过仪表板上传到 Boundless，系统会实时跟踪证明状态。API 返回作业 ID 以供轮询。

一个突出的功能是递归证明，因为 Boundless 可以证明证明的证明，从而实现大规模计算的可扩展性。例如，rollup 运算符可以使用它来批量处理数千个事务，递归深度最高可达 10 级，且性能不会下降。基准测试表明，在标准硬件上，中等规模的电路的证明时间不到 10 秒。

尽管传统的零知识证明侧重于确定性计算，但该协议也能处理非确定性计算。Boundless 协议扩展到概率证明，这对于机器学习验证和拓展应用领域非常有用。研究人员正在尝试将其用于安全的多方计算。

发现有前途的项目...

有前景的项目...

（广告）

文章继续...

可验证工作量证明：一种新的激励机制

可验证工作量证明（PoVW）使 Boundless 与众不同，因为传统的 验证的工作 奖励哈希计算，而 PoVW 则奖励有用的零知识证明。证明者为实际任务生成证明，系统根据证明的大小和复杂度来衡量工作量。奖励会相应调整。

其工作原理如下：用户提交一个带有 ZKC 赏金的证明请求，证明者根据预估的工作量对该任务进行竞价。第一个有效的证明将获得赏金，然后网络会在链上进行验证。如果被接受，证明者将获得奖励以及基础发行。

PoVW 引入了“证明的证明”（Proof of Proof），用于验证证明者确实执行了工作，并使用元证明来证明计算的完整性。这可以防止作弊行为（例如提交预先计算的证明），并且该机制借鉴了可验证的延迟函数。它还能确保时效性。

在实践中，PoVW 培育了一个市场，其需求来自需要隐私的 dApp，而随着更多证明者的加入，供应量也在增长。早期数据显示，每个证明的平均奖励为 0.5 ZKC，复杂度乘数适用于更艰巨的任务。系统会动态调整难度以维护网络健康。

批评者可能会指出能源消耗问题，因为零知识证明与挖矿类似，会消耗电力。然而，Boundless 通过高效的算法缓解了这个问题，并且证明器可以使用可再生能源运行。Boundless 专注于有用工作，这与浪费资源的哈希计算截然不同。

ZK币：ZKC机制和实用性

ZKC 作为 Boundless 的原生代币，将为 Boundless 生态系统提供动力，初始发行量为 1 亿枚。初始分配比例为：49% 用于生态系统发展，23.5% 分配给核心团队和早期贡献者，21.5% 分配给投资者，6% 用于代币销售。 空投. 

ZKC 具有多种作用，证明者需要质押 ZKC 才能加入网络，质押最低要求 100 个 ZKC。这可以防止女巫攻击，用户也可以用 ZKC 支付证明请求的赏金。验证者可以通过验证证明赚取费用，而治理层则使用 ZKC 对升级进行投票。

通证经济强调可持续性，其发行量每四年减半一次，PoVW 机制则根据网络活跃度按比例铸造新的 ZKC。这将供应量与效用挂钩，并设有销毁机制以减少流通供应量。部分交易费用会销毁 10% 的 ZKC。

该代币已在主网上线，并在 Bybit、Kucoin 和 Bitget 等多家顶级交易所上线。截至撰写本文时，Boundless（$ZKC）的交易价格为 0.873 美元，Coingecko 数据显示，当前市值约为 23 万美元 data。持有人可以将股份委托给值得信赖的证明者，以获得高达 8% 的年收益率。

详细的经济数据揭示了平衡性，通胀率从每年 10% 开始逐渐降至 2%。这支持了早期的增长，而资金则用于整合。开发者可以通过 Boundless 论坛申请，获批的项目最高可获得 50,000 ZKC。

ZKC 通过包装版本桥接到其他链，从而实现跨链证明。例如，Solana dApp 使用 SOL 支付，并在内部转换为 ZKC。

无限生态系统：集成与应用

该生态系统以工具和合作伙伴为中心，其开发者工具包包含 JavaScript 和 Rust 的 SDK。它简化了证明提交流程，教程涵盖了从基础到高级的用例。全面的 指南，于 5 月初发布，介绍了设置过程。

主要应用范围 DEFI 以及身份认证，因为 Rollups 使用 Boundless 进行结算证明，而隐私钱包则生成 ZK 凭证。其中一项集成可以在不透露出生日期的情况下验证年龄，而另一项集成则支持在 DAO 中进行匿名投票。

合作伙伴关系不断拓展，Boundless 与 Polygon 合作提供 zkEVM 支持，并与 Aleo 合作开发高级电路。生态系统基金支持基于该协议构建的初创公司，并提供专注于可扩展性工具的资助。

社区推动着发展，Discord 服务器举办了核心开发者的 AMA 问答活动，黑客马拉松也颁发了 ZKC 奖项。超过 500 名开发者注册了最新活动，反馈促成了更新，例如 API 速率限制的改进。

节点构成了主干，任何人都可以运行一个至少配备 8GB RAM 的证明者节点，并通过仪表盘监控其正常运行时间。奖励每日累积，全节点负责验证链，轻客户端负责查询证明。

未来的扩展将瞄准人工智能验证，Boundless 计划使用零知识证明 (ZK) 进行模型推理，从而确保联邦学习的安全。该生态系统保持开源，通过 GitHub 贡献代码可获得奖励。

里程碑和前进的道路

Boundless 稳步推进主网建设，测试网于 1 年第一季度上线，并在测试阶段处理了 2025 个证明。Trail of Bits 的安全审计清除了主要漏洞，团队在主网上线前修复了 10,000 个问题。

15 月 200 日，主网启动，PoVW 正式上线。数小时内，已有 5,000 名证明者加入。第二天，每日证明量就已达到 1 个，ZK 币空投奖励给早期测试者，奖励额度为 XNUMX%。

即将到来的里程碑包括 1.1 年第四季度的 v4，增加了对 FRI 协议的支持，而移动证明器应用程序将于 2025 年推出。路线图概述了年中跨链桥。

Boundless 将自己定位为一个无需中心化即可实现零知识证明的基础设施。随着网络的成熟，它有望支撑更广泛的 Web3 隐私，开发者们对此密切关注。该协议的成功取决于持续的参与，但目前，它兑现了可验证、激励计算的承诺。

来源：

_{无限白皮书： http://read.boundless.network/} 

_{无限的综合指南： https://x.com/boundless_xyz/status/1920862141944389695?s=46} 

_{ZK币简介： https://x.com/boundless_xyz/status/1957498468093587905} 

_{工作量证明（维基百科）： https://en.wikipedia.org/wiki/Proof_of_work}