如果证明成本可以转变为一个开放市场呢？ 这就是由@hashcashier（@RiscZero和@boundless_xyz的高级工程师）在这次SBC @WPReadingClub会议上提出的Boundless愿景。 Boundless创建了一个无权限的证明市场，开发者不再需要运行自己的证明基础设施——任何人都可以请求一个证明，设定他们愿意支付的价格，而证明者则竞争来满足这个请求。 该设计引入了一种反向荷兰拍卖模型，以平衡价格和活跃性：请求者指定超时和最低定价，而证明者则质押抵押品，如果未能交付则会被削减。通过ZKC代币强化激励，该代币通过“可验证工作证明”机制补贴成本——奖励证明者不仅仅是生产有效输出，而是可证明地消耗计算周期。 会议中的关键主题： • 为什么去中心化的证明网络对于扩展zk应用程序超越单一运营商设置至关重要。 • Boundless如何避免推出另一个L1或L2的陷阱，而是作为可在任何地方部署的一组合约存在。 • 现实世界的需求：从支持rollup，到与@wormhole的无信任桥接，再到企业级可验证计算。 • 安全权衡，包括冗余的需求（多证明者设置）和正式验证，因为zkVM进入生产使用。 Boundless将证明重新定义为你接入的市场，而不是你运行的基础设施——在这里，证明成为商品，通过开放竞争定价、供应和保障。 总结： 论文： 也可以在YouTube上观看：