近期，以太坊联合创始人Vitalik Buterin提出，计划对以太坊网络的执行层进行重大调整：将现行的以太坊虚拟机（Ethereum Virtual Machine，EVM）字节码替换成RISC-V指令集。新方案并不改变账户、存储等智能合约的核心功能，但将从根本上改变合约代码的编译与运行方式。

从某种程度上看，Vitalik的这一提议不仅是对以太坊执行层标准化与可组合性的再升级，也再次把“可验证计算”这一曾被视为昂贵且实验性的技术，推到了行业叙事的中心。

在这条可验证计算的演进路径上，来自美国的零知识证明起步公司RISC Zero是最早也是最具代表性的实践者之一。他们不仅基于同样的RISC-V架构打造了业界首个通用zkVM，更进一步构建了Boundless这一可验证计算层，试图将零知识证明从单点工具升级为跨链共享、可市场化的“云算力”。这意味着，未来开发者不必再被高昂的链上Gas或EVM自身的局限所束缚，而是可以在任意区块链上，调用近乎无限的可验证计算资源。

目前，Boundless主网Beta版现已上线。 其首席执行官Shiv Shankar表示：“Boundless通过避免重复计算任务来实现安全的跨链计算，从而提升区块链的可扩展性。这既提高了效率、增强了安全性，也让开发者和矿工能够跨生态系统参与。"

以太坊基金会研究员Justin Drake表示："支撑Boundless生态的 RISC Zero zkVM 满足了以太坊扩容的所有关键需求：实时证明能力、家用多GPU验证环境、宽松的开源许可，以及从零构建的底层实现。"

在Boundless主网Beta版上的短短几天内，这个首个验证以太坊共识的市场，已达到目前最大验证（30亿）的10倍规模（500亿），成为最大的验证规模。；共有576个证明者成功提交证明，使其成为全球最去中心化的证明者网络；市场规模实现10倍增长，日订单量最高达到8000单，计算循环数高达2.6万亿，几乎无宕机，每天完成超过99%的订单；一位外部证明者刷新了新的速度纪录，达到5.63MHz，远超此前的2.5MHz；订单几乎始终保持在0锁单，这让我们提前看到了POVW（证明工作量证明）在主网启动初期对ZK证明采用的潜在影响；证明者之间的开放式创新已经开始，其中一个亮点是证明者能够在同一个区块内以小于100毫秒的速度锁定任务。 

Boundless的工作原理与设计突破

在把零知识证明从单点工具进化为通用计算层的路上，Boundless的关键突破在于把可验证计算从孤立的技术能力，转化为可市场化、可组合的链上基础设施。

具体来看，Boundless的核心逻辑有三大要素：通用zkVM、跨链验证协议和 PoVW（Proof of Verifiable Work）经济模型。

首先，Boundless 底层依托 RISC Zero 自研的 zkVM（R0VM 2.0），它基于开放标准的 RISC-V 架构，可执行任意通用程序，并生成可验证的零知识证明。这意味着，不论是EVM智能合约、Rollup状态证明，还是链下复杂计算，都可以由zkVM负责生成有效性证明，随后交由链上合约快速验证，整个过程对最终用户和主链都是透明的。

其次，Boundless 并非局限在某一条链，而是从一开始就按原生跨链设计：它通过在多条链上同时部署 Boundless Market 合约，打造了一个无需许可的清算市场，自动把开发者的证明需求与全球各地的 Prover 节点的算力资源匹配起来。更重要的是，Boundless Market 已经原生部署在所有主流链上，开发者不必离开自己熟悉的生态环境，只需与本地合约地址交互，用所在链的原生代币即可支付费用并即时获取可验证的计算证明。这种跨链分布式市场的设计，极大降低了接入门槛，让可验证计算真正成为像云服务一样可调度、可结算、可组合的链上公共资源。

最具突破性的部分在于PoVW激励机制。不同于PoW只奖励哈希计算、PoS奖励闲置资本，PoVW首次把零知识证明的真实计算工作量商品化，用链上计量和支付完成闭环。Prover完成多少有效循环，就能获得与工作量匹配的代币激励，并且计量数据全程上链、可审计。这种机制不仅保障了算力供应弹性，还激励更多节点持续优化证明性能、降低成本，形成了可验证算力的供需市场。

技术产品负责人Jacob Everly在今年3月份与媒体的采访中透露，新加坡的国际清算银行（BIS）已经使用RISC Zero和Boundless的技术开发了一个原型系统，能够验证亚太地区的交易者是否可以在新加坡交易所进行交易，而无需他们提供完整的个人信息。用户只需要上传护照和手机号码，就可以生成一个零知识证明（ZKP），证明他们符合交易资格即可。

目前，已有30多个团队计划在Boundless上构建和部署应用。Jacob Everly说：“我们的目标是在明年达到100个合作团队，让Boundless成为行业标准。”

ZK不只是Boundless：RISC Zero的多维技术版图全解

除了Boundless，RISC Zero还在零知识证明可用性和可扩展性方面持续迭代，推出了多项关键产品，进一步夯实其作为通用可验证计算平台的技术护城河。

比如，其近日发布的R0VM 2.0，就是其核心zkVM的全新版本，不仅将以太坊单区块的证明时间从35分钟缩短至44秒，OP链的证明成本更是下降了5倍，单笔交易最低仅需0.0012美元，大幅降低了开发者接入ZK的门槛。

同时，R0VM 2.0版本增强了内存和预编译支持，能处理更大规模的EVM证明以及可验证媒体内容，并计划在今年实现12秒级别的实时证明，进一步推动零知识证明从实验走向量产。

值得注意的是，R0VM3.0版本也正在开发中，预计将在今年晚些时候推出。该版本采用以太坊最新推出的Binius证明系统，届时证明速度将进一步提升。

针对EVM生态的固有限制，RISC Zero还发布了ZK协处理器Steel 2.0，可在链下执行复杂运算、历史状态访问及跨区块计算，并通过低至27万gas的证明成本实现链上安全验证，兼容Solidity和R0-Helios轻客户端，方便在以太坊及OP Stack部署。

此外，OP Kailua有效性模式为OP Rollup提供向 ZK Rollup 平滑过渡的能力，无需大幅重构即可获得ZK带来的高安全性与快速结算，Base、BOB等项目已率先集成，为高吞吐量链提供了具备成本效益的升级选项。

技术理想主义者：RISC Zero的使命与野心

RISC Zero，是一个兼具叛逆精神与理性技术追求的团队。2022年初，在ETH Denver大会现场，RISC Zero的几位成员手里攥着从当地打印店购得的布料和简易工具，对照官方手环的样式一遍遍裁剪、缝制，成功混入会场。也正是在这场“黑客式突围”中，他们与第一批投资人达成了早期投资意向。

凭借这股不按常理出牌的冒险精神与对零知识计算技术的深度探索，RISC Zero继续赢得了资本市场的持续押注：2022年3月，他们完成了200万美元的天使轮融资，并在同年8月拿下1200万美元的种子轮融资；2023 年7月，又顺利获得了4000万美元的新一轮资金支持。

与其他零知识项目不同，RISC Zero选择了更为通用的路径：以开源的 RISC-V指令集为底座，打造全球首个可执行任意通用代码的zkVM，让零知识证明真正具备普适计算能力，并降低开发门槛，使开发者可以继续使用熟悉的编程工具链，如Rust等现代语言，无需为ZK牺牲效率与易用性。

如今，这支由极客与未来主义者组成的小型团队，正试图在zkVM之上构建一个开放、跨链、无需许可的可验证计算生态，为去中心化互联网带来新的信任底座——这也正是Boundless的由来与野心所在。

总结： 

Boundless不只是RISC Zero在零知识证明领域的又一次技术尝试，更是可验证计算走向开放市场、跨链协作与规模化云算力的一次现实演练。随着Boundless及其背后的zkVM、PoVW等组件持续进化，这场围绕“可验证的去中心化超级计算引擎”的实验，或许正为区块链世界开启一条更通用、也更野心勃勃的算力路径。