随着区块链和零知识（ZK）技术迅速变化的本质，像RISC Zero这样接近边缘的团队并不多。RISC Zero成立于2022年，成为首个使ZK证明可访问、可扩展并准备好供全球开发者使用的团队。他们最近的项目Boundless，一个普遍的ZK协议，旨在在所有链上提供可验证的计算，将是多年发展的结果。这个使命由Zaki Manian、Frank Laub和Brian Retford推动，他们都是联合创始人，并在密码学、系统架构和基础设施方面拥有丰富的经验。
这是一项对这些创始人理解的深入探索，基于他们已发布的对话、白皮书以及在 Boundless 接近 2025 年第三季度主网启动时的最新发布。他们不仅仅看到一个可以解决当前可扩展性噩梦的世界，他们的愿景是在一个区块链成为互联网规模计算层的世界中，利用 ZK 为 DeFi 甚至 AI 提供动力，而不吝啬。
创始人：三人愿景。
RISC Zero 的两位创始人团队具有理论知识和实践工程技能的独特组合。联合创始人各自的优势使 Boundless 成为一个雄心勃勃且务实的协议。
Zaki Manian：战略家和建设者。
Zaki Manian 是 RISC Zero 的首席执行官兼联合创始人，是公司战略背后的决策者。Manian 自该生态系统成立以来就一直在 Cosmos 生态系统中工作，是 Interchain Foundation 和 Tendermint（被 Ignite 收购）的联合创始人，在那里他设计了可互操作的区块链。他在分布式系统和密码学方面的工作历史在将 RISC Zero 带入 ZK 和多链可扩展性方面发挥了重要作用。
在新的播客 The Rollup 中，Manian 指向了链上交易的最终目标，以及 Boundless 如何在断开连接的生态系统中整合流动性。他表示，它不仅使用 ZK 证明作为工具，还代表了可验证的计算层，这使区块链真正无界，他相信水平扩展，而不是孤立的汇总。RISC Zero 在他的领导下于 2023 年与 Blockchain Capital 完成了 4000 万美元的 A 轮融资，这推动了活动，例如开源的 RISC-V zkVM。
Manian 理解开发者痛点的事实在 Boundless 的设计中得以体现。他提出在没有让步的情况下使用 ZK，开发者可以使用 Rust 或 C++ 编写，并将重计算卸载到链外，链上验证使用简洁的证明。根据他的说法，这种方法使 ZK 民主化，并减少了加密过程中的非专家障碍。
Frank Laub：密码学引擎。
联合创始人兼首席技术官 zkVM RISC Zero 的有价值创新来自技术天才 Frank Laub。Laub 在可扩展系统和应用密码学方面有着悠久的历史，领导创建了诸如 Steel（为 EVM 开发者提供的 ZK 协处理器）和 OP Kailua（为 Optimism 链提供 ZK 欺诈/有效性证明）等工具。他的工作意味着 Boundless 不仅仅是一个理论，而是一个优化以在经济实惠的证明集群上实时运行的解决方案，例如一台价值 120 美元的 GPU 集群。
Laub 的工作在他于 2025 年 4 月发布的 Boundless 白皮书中熠熠生辉，白皮书中他概述了协议将支持的开发者和证明者的双边市场。为了构建一个系统，Laub 将其描述为创造一种证明可以尽可能快速和便宜而不妥协安全性的东西，与 Veridise 的炉边谈话。这还包括对 Veridise 的形式验证，以消除 ZK 漏洞的典型代表，从而证明 zkVM 是可证明安全的。
Laub 提供的其中一个教训是：Boundless 是与证明系统无关的，这意味着它不仅支持 RISC Zero 的 zkVM 还支持其他任何系统。这一灵活性使其能够与 EigenLayer（AVS 剥夺）和 Celestia（数据可用性证明）等重量级项目进行集成，展示了该协议的普遍适用性。
Brian Retford：基础设施守护者。
完成三方联盟，Brian Retford，联合创始人兼基础设施主管，关注更不时尚但同样重要的安全和高性能计算的基础。Retford 在 HPC 环境的工作背景使 Boundless 能够管理桥接至协处理器规模，拥有丰富的计算能力。
Retford 的影响可以在合作中看到，例如 Fabric Cryptography，在专用 VPU（可验证处理单元）上加速 Boundless，以弥合软件和硬件优化的 ZK。在他关于主网的博客文章中，他写道：碎片化分割流动性；可验证计算统一流动性。他对实时性——证明随时可用的关注，响应了 ZK 采用中的一大挑战，使 Boundless 成为生产应用中的安全选择。
Boundless：到 zkVM 到通用协议。
Boundless 团队的起点并不是一开始。2022 年发明的第一个 RISC-V zkVM 成为 RISC Zero 旅程的第一步，这是一个允许开发者在熟悉的语言中证明任意计算的虚拟机。这个基础将成为 2025 年 7 月在 Base（Base L2）上的 Boundless 测试版，作为一个激励测试网。
关键里程碑包括：
2025 年 4 月：白皮书发布，使协议成为可验证的计算层：链外计算，计算在链上验证。
2025 年 3 月：OP Kailua 在 Optimism 链上进行简单 ZK 升级，实现 1 阶段去中心化。
2025 年 7 月：主网测试版：上线，证明者可以在去中心化市场中获得奖励。
进行中：提升社区参与：在 Base 上空投 NFT 铸造。
合作的精神深植于创始人之中。正如 Manian 在丹佛的一个关键演示 RSVP 爆炸中所言：ZK 正在改变每条链——由 Boundless 增强。一个关于“浆果”（想想“浆果可计算”）的人性化文化在他们的 X 帖子中得以展现。
困难与未来展望。
Boundless 的建设并不是一帆风顺。高成本和低实时性的问题是 ZK 系统早期面临的挑战，团队通过开源开发和与硬件伙伴合作克服了这一挑战。Retford 指出了在 Fabric 合作文章中的缩减流动性的扩展困境：‘产生新网络的解决方案将我们分开；无限制扩展当前网络。
未来，创始人预见到实时以太坊证明的时间少于 12 秒，并通过使用 $ZKC 代币发射实现更广泛的应用。Manian 在 ZK 驱动的应用中看到如通过 Signal 共识客户端的以太坊无信任互操作性。Laub 正在推动 VPU 加速至亚秒证明，Retford 通过持续验证保证安全性。
Boundless 团队的重要性。
RISC Zero 的创始人在一个充满炒作的领域中的表现令人瞩目。在以太坊基金会、Wormhole 和 Lido 的支持下，他们使 ZK 成为可扩展的主流现实。Manian 的结论是：我们不会停止，直到 ZK 无处不在。
