概念定位
Boundless 是 RISC Zero 推出的通用 ZK 协议，旨在为所有区块链提供可扩展的 verifiable compute 能力。其核心在于将证明生成与区块链共识解耦，并通过去中心化市场机制分发计算任务。开发者提交证明请求后，Prover 节点通过去中心化的激励机制竞争执行，并凭借「可验证工作量证明（Proof of Verifiable Work）」获得奖励。不同于传统 PoW 的无意义算力消耗，Boundless 将算力转化为真实应用的 ZK 结果，使计算资源具备实际价值。
架构与机制
Boundless 市场的工作流程包括：
-
请求提交：开发者提交 zkVM 程序与输入至市场；
-
节点竞价：Prover 节点评估任务并出价，锁定任务后获得执行权；
-
证明生成与聚合：复杂计算被拆解为子任务，每个子任务生成 zk-STARK 证明，再通过递归与聚合电路压缩为统一的终极证明，大幅降低链上验证成本；
-
跨链验证：Boundless 在多条链上提供统一验证接口，实现一次构建、跨链复用
这种架构使智能合约无需重复执行复杂计算，仅需验证简短证明即可完成确认，从而突破 Gas 上限与区块容量限制。
生态与应用： 作为市场层协议，Boundless 与 RISC Zero 其他产品互补：
-
Steel：EVM 的 ZK Coprocessor，可将 Solidity 复杂执行迁移到链下并回链验证；
-
OP Kailua：为 OP Stack 链提供 ZK 升级路径，实现更高安全性与更快终结性。
Boundless 的目标是在以太坊实现亚 12 秒实时证明，路径包括 FRI 优化、多项式并行化及 VPU 硬件加速。随着节点和需求增长，Boundless 将形成自增强算力网络，不仅降低 Gas 成本，还将开启链上可验证 AI、跨链流动性与无限计算等新应用场景。
5.2 Boundless for Apps：突破 Gas 限制Boundless for Apps 旨在为以太坊和 L2 应用提供「无限算力」，将复杂逻辑卸载到去中心化证明网络执行，再以 ZK 证明回链验证。其优势包括：无限执行、恒定 Gas 成本、兼容 Solidity/Vyper、跨链原生支持。
其中 Steel 作为 EVM 的 ZK Coprocessor，让开发者能够在 Solidity 合约中实现大规模状态查询、跨区块计算与事件驱动逻辑，并通过 R0-Helios 轻客户端实现 ETH 与 OP Stack 的跨链数据验证。目前已有包括 EigenLayer 在内的项目探索集成，展现其在 DeFi 与多链交互中的潜力。
Steel：EVM 的可扩展计算层
Steel 的核心目标是突破以太坊在 Gas 上限、单区块执行、历史状态访问等方面的限制，将复杂逻辑迁移至链下，再通过零知识证明回链验证。在保证安全性的同时，以恒定验证开销提供近乎无限的算力支持。