1. 引言
区块链技术：
- 是解决双花问题的革命性解决方案，
- 无需中介即可在数字交易中建立信任。
然而，区块链技术要求所有参与者重新执行所有数据以达成共识。虽然这种方法解决了关键问题，但也带来了可扩展性挑战，限制了区块链生态系统的增长和潜力。
尽管区块链技术取得了重大进展，但仍走到了十字路口。当前的模式是链上应用程序需要全局重新执行所有交易，这面临着可扩展性的限制。虽然更多的节点使网络更安全，但更多的节点并不能提供更大的容量，因为每个人都必须重新执行所有数据。但如果可以改变这种模式呢？如果所有节点都能就数据有效性达成一致，而不需要每个人都重新执行，那会怎样？
从今天开始，将消除区块链的最大障碍，让整个世界都上链。
- 推出“Boundless：可验证计算层” ，可极大地扩展所有链的功能和可组合性。
通过利用零知识证明的力量，Boundless 使区块链能够验证计算的正确性而无需重新执行。这种突破性的功能称为可验证计算，允许网络中单个节点执行的操作由每个节点以低成本进行验证。
Boundless：
- 将这种变革能力带入所有区块链，为效率和可扩展性创造了新的标准。
- 保留了区块链的核心原则——去中心化和抗审查——同时消除了阻碍区块链技术前进的限制。
在 Boundless 上，开发人员可以：
- 1）无限执行：以极低的成本进行无限计算，绕过传统的链上执行限制。
- 2）全局可组合性：跨不同区块链生态系统的资产和信息无缝交互。
- 3）按需扩容：弹性扩容，不影响性能，直接满足实际需求。
- 4）不妥协的安全性：继承目标链的完整安全保障。
2. 欢迎来到Boundless无限可能的时代
Boundless 不仅增强了区块链，还通过为每个开发人员、每个区块链提供可验证计算，重新定义了整个 web3 格局。这种统一释放了前所未有的可能性。
Boundless 可实现以下功能：
- 现代应用体验。区块链应用不再*以最慢节点的速度运行。这大大提高了容量，使开发人员能够构建具有用户期望从现代 Web 服务获得的丰富性和响应能力的应用程序。
- 可验证的人工智能。可验证的人工智能模型现在可以发布在链上结算的响应，彻底改变了人工智能与区块链技术的融合。想象一下，智能合约可以与复杂的人工智能模型交互，并将结果可验证地记录在链上。
- 统一的全局流动性。去中心化交易所允许用户实施先进的交易算法，无缝利用所有主要生态系统的流动性，从而创建一个真正互联互通、高效的全局市场。
借助 Boundless，不仅改进了现有的区块链基础设施和应用程序，还实现了以前无法想象的全新去中心化服务类别。区块链的未来现在真正是无限的、实用的和统一的。
3. Boundless背后的魔力
区块链社区的许多人认为，零知识证明虽然前景光明，但成本太高，开销太大，不切实际。RISC0已经证明事实并非如此，实用性的极限正在迅速扩大。
Boundless 建立在最新一代零知识证明的基础上，能够以比以前低几个数量级的计算量实现更大数量级的计算。Boundless 的核心是强大的零知识栈，这是实现可验证计算的关键。该栈专门为解决这些问题而设计，使可验证计算不仅可行，而且对所有链来说都是高效且经济的。
Boundless 栈的每个组件如何实现这一点：
- 1）使用熟悉的语言进行构建：创建任何基于区块链的解决方案（从 L2 和 L1 到 dApp 等），无需应对 ZK 复杂性或不熟悉的语言。在编码时利用 ZK 的可验证性，就像在现代软件开发中一样。
- 2）精简的 ZK 集成：一套强大的组件，包括Steel、Blobstream Zero和Zeth。这一层简化了开发人员体验，简化了 ZK 技术与现有和新基础设施和合约的集成，加快了上市时间。
- 3）按需去中心化证明：一种按需、去中心化的证明者网络，由一种新型激励机制（一种 ZK 挖矿）支持，可动态扩展。凭借内置的活性保证和抗审查性，可确保应用程序始终具有必要的证明能力，无论它们在哪个网络上，都能实时适应需求。
- 4）高效证明聚合：来自不同系统的批量证明，允许共享链上验证成本并提高效率。随着证明需求的增长，链上成本大幅降低，使 ZK 解决方案在规模上更具经济效率。
- 5）通用证明验证：支持跨任何区块链进行证明验证，允许开发人员继承其首选结算层的安全性。这为跨链可组合性奠定了基础，同时使开发人员能够灵活地选择他们的信任假设。
- 6）全球可组合性和执行： Boundless 利用 ZKP 实现跨多个区块链应用程序之间的无缝、原生交互。这使得 Boundless 应用程序不仅可以跨链交互，还可以使用来自任何区块链的数据进行安全计算，而无需牺牲信任或安全性。
这些组件共同为开发人员和区块链网络创建了一个强大的集成解决方案。通过直接解决 ZK 的痛点，这个垂直集成栈首次实现了在任何链上进行可验证计算，解锁了无限执行、全局可组合性和无限可扩展性——所有这些都具有 ZK 证明的安全性和隐私保证。
4. 目前处于早期测试阶段
Boundless 已进入早期测试阶段，在实际场景中展示了其功能。RISC0与领先的区块链网络和应用程序合作，严格测试和改进 Boundless。这些合作将有助于验证设计并加速公共测试网的进程。
5. 未来无限
Boundless 不仅改进了区块链技术，还重新定义了一切可能。RISC0正在创造一个未来，区块链应用程序与传统 Web 应用程序一样强大、用户友好且无处不在，但同时具有去中心化和密码学安全的所有优势。
2024年9月16日不仅仅是 Boundless 的发布。这是 Web3 新时代的开始，在这个时代，唯一的限制就是你的想象力。
参考资料
[1] RISC Zero团队2024年9月16日博客 Introducing Boundless: The Verifiable Compute Layer
RISC Zero系列博客
- RISC0：Towards a Unified Compilation Framework for Zero Knowledge
- Risc Zero ZKVM：zk-STARKs + RISC-V
- 2023年 ZK Hack以及ZK Summit 9 亮点记
- RISC Zero zkVM 白皮书
- Risc0：使用Continunations来证明任意EVM交易
- Zeth：首个Type 0 zkEVM
- RISC Zero项目简介
- RISC Zero zkVM性能指标
- Continuations：扩展RISC Zero zkVM支持（无限）大计算
- A summary on the FRI low degree test前2页导读
- Reed-Solomon Codes及其与RISC Zero zkVM的关系
- RISC Zero zkVM架构
- RISC-V与RISC Zero zkVM的关系
- 有限域的Fast Multiplication和Modular Reduction算法实现
- RISC Zero的Bonsai证明服务
- RISC Zero ZKP协议中的商多项式
- FRI的Commit、Query以及FRI Batching内部机制
- RISC Zero的手撕STARK
- RISC Zero zkVM guest程序优化技巧 及其 与物理CPU的关键差异
- ZK*FM：RISC Zero zkVM的形式化验证
- Zirgen MLIR：RISC-Zero的ZK-circuits形式化验证
- 以RISC Zero ZK Fraud Proof赋能Optimistic Rollups
- zkSummit10 亮点记
- 技术探秘：在RISC Zero中验证FHE——由隐藏到证明：FHE验证的ZK路径（1）
- 技术探秘：在RISC Zero中验证FHE——RISC Zero应用的DevOps（2）
- RISC Zero STARK证明系统时序图及规范
- RISC Zero zkVM Host & Guest 101
- RISC Zero zk-STARK证明系统代码解析
- RISC Zero的Babybear域 及其 扩域
- RISC Zero各功能模块代码解析
- RISC Zero 的 cargo-risczero相关模块代码解析
- RISC Zero v0.20升级：Proof Composition——为ZK开发者解锁递归和模块化
- RISC Zero zkVM 2024年Q1、Q2路线图
- ZKP价值链路的垂直整合
- zkVM选型要点
- 如何利用RISC Zero zkVM来扩容比特币
- RISC0的高性能zkVM设计路线