Blockchain Capital:我们为何要领投ZK基础设施公司RISC Zero?

《Democratizing Zero-Knowledge Computing: The Power of RISC Zero』s Bonsai Network》

作者:Bart Stephens, Ryan Sproule, and Yuan Han Li,Blockchain Capital

编译:Zen,PANews

7 月 19 日,旨在帮助开发者开发零证明软件的基础设施公司 RISC Zero 宣布完成了 4000 万美元 A 轮融资,Blockchain Capital 领投,参投方包括 Galaxy Digital、IOSG 等。作为领投方,Blockchain Capital 撰文分析了零知识计算的发展、RISC Zero 的特点及优势,PANews 对其进行了编译。

想象一下这样一个世界:数据隐私、安全和信任不再受到关注,软件供应链透明且可验证,新一代应用程序可以利用零知识计算的力量来解决数字时代一些最紧迫的挑战。这是零知识 (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 的广泛采用可能会带来尚未想象到的全新用例。

Blockchain Capital:我们为何要领投ZK基础设施公司RISC Zero?

除了令人印象深刻的技术突破之外,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 作为多功能计算平台的出现,预示着计算的新时代——隐私、安全和信任被构建到我们数字世界的结构中。

原文链接

文章来源于互联网:Blockchain Capital:我们为何要领投ZK基础设施公司RISC Zero?

免责声明:

1.资讯内容不构成投资建议,投资者应独立决策井自行承担风险

2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场

上一篇 2023年7月20日 下午2:55
下一篇 2023年7月20日 下午5:26

相关推荐

  • CoinFund:我们为何投资Worldcoin?

    作者:Austin Barack 编译:深潮 TechFlow 区块链技术为全新的应用、用例和全球协调形式打开了大门。比特币于 2009 年推出,为当今的 Web3 奠定了基础。比特币对任何人都是开放的,可以通过工作量证明挖矿或购买获得,并首次向世界引入了数字、非主权、抗审查的货币。以太坊于 2015 年推出,通过智能合约实现了区块链交互的可编程性,最终催生…

    2023年7月24日
  • Security vs Trustlessness, ZK协议在机制上该如何取舍

    《 IOSG Weekly Brief |Security vs Trustlessness, ZK 协议在机制上该如何取舍 》 来源:  IOSG Ventures 近日,zkSync 和 Polygon 都推出了各自的 zkEVM,掀起了一波行业的热潮。与此同时,社区对于 zkEVM 的安全性和去中心化也有了很多讨论。IOSG 在前不久刚结束的 ETHD…

    2023年3月29日
  • 红杉资本「一拆三」,独立中国和印度业务

    《 红杉资本分家背后:地缘政治、投资冲突、未来博弈 》 作者: Alex Konrad 来源:TechFlow深潮 全球最著名的风险投资公司红杉资本正在拆分。红杉资本因其早期投资美国科技公司(如 Airbnb、WhatsApp 和 Zoom)以及通过其中国和印度基金投资国际巨头(如字节跳动和 GoTo)而闻名,现将分裂为三个完全独立的公司。 红杉的全球领导层…

    2023年6月7日
  • Berachain最全交互指南:主网上线在即,带你全方位深度参与

    《融资 4200 万、主网上线在即…「人满为患」的 Berachain 测试网深度参与指南》 作者:Peng SUN,Foresight News Berachain 始于 meme,社区文化共识强,主打「流动性」与「NFT」叙事,与早期 DeFi 项目 OlympusDAO 有着密切联系。具体来说,Berachain 是 NFT 项目 Bong…

    2024年2月20日
  • Multicoin Capital:打造GPU互联网,开创人工智能计算市场新局面

    Building The Internet of GPUs 作者:SHAYON SENGUPTA,Multicoin Capital 投资合伙人 编译:Kate, 火星财经 我们很高兴地宣布我们对 io.net 的投资,io.net 是领先的人工智能工作负载分布式计算市场。我们领投种子轮并参与了 A 轮融资。总的来说,io.net 已经从 Multicoin…

    2024年3月6日
返回顶部