解读 Boundless

Boundless 建立了一个市场，促进安全的 zk 计算，从而实现开发人员和 Prover 之间的高效协作。

随着 zk 技术的增长，它正在变得模块化。各个层开始涌现：一些处理计算，另一些进行优化，而像 Boundless 这样的市场让任何拥有硬件的人都可以加入。

为了说明这个概念，我们将把 Boundless 视为一家全球快递公司。

Boundless 可以最好地理解为一个全球交付市场，只是它处理的是任何类型的 zk 计算，而不是运输包裹。

客户是需要完成工作的开发人员或应用程序。

快递员是有硬件来完成繁重工作的 Prover。

中央枢纽是一个智能合约系统，确保每个包裹（计算）按时交付，快递员得到公平的报酬，作弊者受到惩罚。

1. 市场

想象一个繁忙的市场广场：

1. 客户（用户 / 请求者）带着工作走进来：「我需要交付这个包裹, 这是目的地, 这是我的预算, 我会预先锁定一些资金。」
2. 他们将这些请求发布在市场公告栏（市场合约）上。
3. 快递员 (Prover) 聚集在公告栏周围。通过荷兰式逆向拍卖宣布一项工作：价格不会像 eBay 那样下降，而是会随着时间的推移而上涨。
4. 早期参与者可以以低价获得它，但等待太久，价格会变得更具吸引力，从而吸引竞争。
5. 当快递员接受时，他们还在柜台（抵押 ZKC）留下保证金。这证明他们是认真的。如果他们放弃，他们将失去该笔押金。
6. 一旦锁定，快递员会将包裹（zk 程序 + 输入）带回他们的卡车（硬件）。
7. 他们运行交付路线（zkVM 计算或不会说谎的数学计算器），并返回一个密封的信封（证明），表明包裹已按照要求准确交付，没有篡改。

回到枢纽：

• 验证者（RISC Zero，即时双重检查机器）在几秒钟内双重检查密封件。
• 如果有效，快递员将获得报酬，他们的押金将退还，并且客户将收到经过验证的交付。

2. 如果快递员失败了怎么办？

现在，想象一下，一位快递员拿了一个包裹，但从未交付。枢纽不能让客户失望。这是发生的情况：

• 快递员失去了他们的保证金（slashing）：一部分进入枢纽的金库，一部分被预留作为奖励给任何营救这项工作的人。
• 该工作将重新发布在公告栏上，但这次没有独家预订，任何快递员都可以竞相交付。

这种重试模式会产生紧迫感。其他快递员不仅看到原始付款，还看到了失败快递员的部分押金。突然，这项工作变得格外有价值，因此有人 Swift 拿起并交付了。

这确保了市场保持运转。即使是不良行为者也无法阻止它：最坏的情况是，他们只需支付罚款。

3. 我们如何才能长期支持市场？

在繁华的广场后面是一个金库，投资者和快递员可以在其中存入市场的 token（ZKC）。运作方式如下：

1. 当你将 ZKC 锁定在金库中时，你将获得不可转让的积分，例如会员卡。
2. 随着时间的推移，当市场从每次交付中收取费用时，金库参与者可以消耗他们的积分，以提取收入的按比例份额或解锁他们的 token。
3. 快递员也可以在这里进行抵押。他们锁定的 token 不仅可以赚取积分，还可以兼作他们接受工作时需要的保证金。

该系统确保了工人（快递员）和支持者（投资者）都分享市场的成功。市场越繁忙，回报就越多。

4. Boundless 作为一家全球快递公司。

通过这个类比，Boundless 变得更容易想象：

• 市场合约是城镇广场的招聘板。
• 逆向拍卖是工作公平定价的方式。
• 快递员 (Prover) 在押金的支持下完成繁重的工作。
• 证明是密封的信封：易于检查，无法伪造。
• Slashing 和重试使交付保持可靠。
• 金库 + 积分系统让长期支持者和快递员保持投资。

所有这些都由底层密码学提供支持，但对于用户和开发人员来说，它感觉就像一个自我调节、始终在线的零工经济。唯一的区别是，它提供的不是移动盒子，而是为区块链提供计算。

5. Boundless 上的应用程序。

Boundless 将轻客户端转换为 zk 无状态客户端，通过将其验证工作外包给 Prover 网络，使其更加安全和无需信任。这些客户端可以并行验证多个链状态，并通过 Boundless Signal 在全球范围内广播结果，从而有效地充当所有链的通用轻客户端。

这种架构释放了区块链世界中新型的交付。

• 对于跨链通信，Signal 的作用类似于全球公告板，每个交付都经过盖章和发布。
• 任何链都可以简单地检查公告板并看到经过认证的收据，表明另一条链的包裹已到达，而无需发送你必须信任的信使（桥、多重签名、托管人）。
• 对于开发人员来说，Steel 就像在快递网络内租用一个私人工作室。你交出原材料，它在异地构建产品，而返回的是一份密封的报告（zk 证明），任何人都可以信任，而无需重新进行工作。

通过这种方式，Boundless 将计算转换为共享的快递经济，包裹移动得更快，收据可以被任何人信任，并且网络中的每个站点都成为可验证的交付系统的一部分。