作者：Bart Stephens,Ryan Sproule, Yuan Han Li，编译：Zen，PANews
7月19日，旨在帮助开发者开发零证明软件的基础设施公司 RISC Zero 宣布完成了 4000 万美元 A 轮融资，Blockchain Capital 领投，参投方包括 Galaxy Digital、IOSG等。作为领投方，Blockchain Capital撰文分析了零知识计算的发展、RISC Zero的特点及优势。
想象一下这样一个世界：数据隐私、安全和信任不再受到关注，软件供应链透明且可验证，新一代应用程序可以利用零知识计算的力量来解决数字时代一些最紧迫的挑战。这是零知识 (ZK) 计算的承诺，也是我们投资RISC Zero的原因，这是一家开创性的公司，旨在通过其 Bonsai 网络实现 ZK 访问的民主化。
零知识计算是一种革命性的原语，它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。这意味着，通过验证 ZK 证明（正确性），验证者可以通过近乎精确地保证知道计算已正确执行。
此外，经过验证的证明将比原始计算简洁得多，并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。这种独特的属性组合具有深远的影响，并提供了一种验证信息的新方法。这些属性共同平衡了隐私、安全和信任的需求，为更安全、更私密的数字世界提供了潜力。但在 ZK 充分发挥其潜力之前，仍存在一些障碍。
首先，在 ZK 中运行计算耗时太长且成本太高。证明时间和成本需要大幅下降，才能在ZK中实现复杂的计算。好消息是这些正在急剧下降：ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势 - 无论是摩尔定律（计算成本每两年减半）、弗拉特利定律（人类基因组测序成本以更显着的速度下降）还是克莱德定律（磁盘密度大约每 13 个月增加一倍）。证明系统（Plonky2、Hyperplonk、STARK）的最新架构进步以及底层密码学（Poseidon）的进步降低了创建任何计算的 ZK 证明所需的开销。而这些领域的进步将继续以类似的速度发生(特别是最近人才涌入ZK)，证明管理费用也将受益于硬件加速(MSM, NTT)的进步，这是迄今为止尚未得到充分开发的东西。
ZK 大规模采用的另一个巨大障碍是 ZK 系统固有的高度复杂的数学和密码学。推动ZK创新所需的深度和专业知识水平只有一小部分高技能的技术开发人员能够胜任。
理想情况下，开发人员可以自由地用自己喜欢的语言编写程序，同时仍然能够以零知识证明计算，而无需使用低级、ZK 特定的编程语言去手写输入和设计电路。这就是 RISC Zero 的 Bonsai 平台成为全球开发者游戏规则改变者的地方，也是我们投资 RISC Zero 的原因。
通过创建模拟 RISC-V 指令集架构 (ISA) 的零知识虚拟机 (zkVM)，RISC Zero 构建了一个能够证明低级代码执行的系统。由于 ISA 是人类可读代码和机器可解释指令之间的桥梁，这一成就意味着Bonsai网络可以证明任何高级程序都可以被编译成这种体系结构。由于大多数现代编程语言都与 RISC-V 兼容，RISC Zero 的 Bonsai 能够以零知识执行几乎任何任意计算机程序。
在零知识（ZK）计算变得普遍的未来，许多以前不可能的应用程序将成为可能。这不仅包括基于以太坊的应用程序，利用RISC Zero的盆景网络作为协处理器(在验证链上结果之前执行资源密集型的链下工作)，还将扩展到加密货币以外的应用程序。例如，Bonsai可以让白帽黑客在不直接披露漏洞的情况下证明安全漏洞和错误的存在。它还可以通过允许用户下载和验证ZK证明来确保他们运行的代码在Bonsai中预先审计，从而防止未来对软件的供应链攻击。最令人兴奋的是，Bonsai的广泛采用可能会带来尚未想象到的全新用例。
除了令人印象深刻的技术突破之外，RISC Zero背后还有着强大而独特的团队。三位联合创始人Brian Retford、Jeremy Bruestle和Frank Laub已彼此相识 20 多年。他们共有的经历包括共同创建多家公司，其中最近的一家公司涉足人工智能优化和编译领域，最终被英特尔收购。
三人组的每位成员都为 RISC Zero 带来了丰富的经验：Brian 曾在 Google Cloud Platform 从事定价和计量系统工作；Jeremy 是一位终生的数学爱好者，致力于基因测序的 GPU 加速，并拥有密码学、高性能计算（HPC） 和安全方面的背景；Frank 在编译器方面拥有深厚的背景，并构建了众多代码库。凭借共同的历史和多样化的技能，RISC Zero团队具有独特的优势，他们向大众提供零知识计算，并有可能在此过程中重塑数字格局。
当我们展望零知识计算广泛普及的未来时，创新的可能性是无限的。RISC Zero 的 Bonsai 网络能够支持广泛的编程语言，将使 ZK 计算民主化，并使开发人员能够在各个领域创建安全、私有和无需信任的应用程序。从加强网络安全措施到增强对软件供应链的信任，再到大幅提高链上应用程序可用的计算能力，零知识计算的潜在影响是巨大的。快速下降的 ZK 证明时间和成本、RISC Zero 的忠诚团队以及 Bonsai 作为多功能计算平台的出现，预示着计算的新时代——隐私、安全和信任被构建到我们数字世界的结构中。
