Blockchain Capital:为何领投ZK基础设施公司RISC Zero的4000万美元融资?

Blockchain Capital:为何领投RISC Zero的4000万美元融资?

用 RISC Zero 的 Bonsai 网络实现零知识计算的民主化

7月19日,基础设施公司 RISC Zero 宣布完成了 4000 万美元 A 轮融资,由 Blockchain Capital 领投,参投方包括 Galaxy Digital、IOSG等。RISC Zero 通过其 Bonsai 网络旨在帮助开发者开发零证明软件。Blockchain Capital 撰文分析了零知识计算的发展、RISC Zero 的特点及优势。零知识计算是一种革命性的原语,它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。通过验证 ZK 证明的正确性,验证者可以近乎精确地保证知道计算已正确执行。此外,经过验证的证明将比原始计算简洁得多,并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。这种独特的属性组合具有深远的影响,并提供了一种验证信息的新方法。这些属性共同平衡了隐私、安全和信任的需求,为更安全、更私密的数字世界提供了潜力。

然而,在零知识计算充分发挥其潜力之前,仍存在一些障碍。首先,ZK 中运行计算的时间耗时太长且成本太高。好消息是,ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势,例如摩尔定律、弗拉特利定律和克莱德定律。最新的证明系统架构进步以及底层密码学的进步降低了创建任何计算的 ZK 证明所需的开销。随着这些领域的进步以及人才流入,证明管理费用也将受益于硬件加速的进步。

另一个巨大的障碍是 ZK 系统固有的高度复杂的数学和密码学。推动 ZK 创新所需的深度和专业知识水平只有一小部分高技能的技术开发人员能够胜任。为了解决这个问题,RISC Zero 开发了 Bonsai 平台,通过创建模拟 RISC-V 指令集架构的零知识虚拟机 (zkVM),能够证明低级代码执行的系统。由于大多数现代编程语言都与 RISC-V 兼容,RISC Zero 的 Bonsai 能够以零知识执行几乎任何任意计算机程序。

在零知识计算普及的未来,许多以前不可能的应用程序将成为可能。例如,Bonsai 可以让白帽黑客在不直接披露漏洞的情况下证明安全漏洞和错误的存在。它还可以通过允许用户下载和验证 ZK 证明来确保他们运行的代码在 Bonsai 中预先审计,从而防止未来对软件的供应链攻击。Bonsai 的广泛采用可能会带来尚未想象到的全新用例。

除了技术突破,RISC Zero 背后还有着强大而独特的团队。RISC Zero 的三位联合创始人 Brian Retford、Jeremy Bruestle 和 Frank Laub 已彼此相识 20 多年。他们共有的经历包括共同创建多家公司,其中最近的一家公司涉足人工智能优化和编译领域,最终被英特尔收购。三人组的每位成员都为 RISC Zero 带来了丰富的经验,凭借共同的历史和多样化的技能,RISC Zero 团队具有独特的优势,他们向大众提供零知识计算,并有可能在此过程中重塑数字格局。

展望零知识计算广泛普及的未来时,创新的可能性是无限的。RISC Zero 的 Bonsai 网络能够支持广泛的编程语言,将使 ZK 计算民主化,并使开发人员能够在各个领域创建安全、私有和无需信任的应用程序。从加强网络安全措施到增强对软件供应链的信任,再到大幅提高链上应用程序可用的计算能力,零知识计算的潜在影响是巨大的。快速下降的 ZK 证明时间和成本、RISC Zero 的忠诚团队以及 Bonsai 作为多功能计算平台的出现,预示着计算的新时代——隐私、安全和信任被构建到我们数字世界的结构中。

图片来源