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

相关推荐

  • 水滴资本大山:区块链世界的开局是比特币,终局是比特币生态

    《水滴资本大山:区块链世界的开局是比特币,终局是比特币生态》 来源:白露会客厅 12 月 20 日,香港 Web3.0 创业者峰会如期在数码港举行,白露会客厅作为媒体支持方出席。 期间,水滴资本创始人大山就「区块链世界的开局和终局」这一主题,在比特币生态发展情况、矿工的第二增长曲线、比特币重要升级、区块链技术演进路线、以太坊和 RWA、闪电网络、Nostor…

    2023年12月26日
  • Starknet超级空投落地,后续影响如何?

    作者:Haotian 编者语:2 月 14 日,以太坊 Layer 2 网络 Starknet 公布了其代币 STRK 的空投细则。首轮代币分配将有约 130 万个钱包有资格领取 STRK 代币,2 月 20 日起,用户即可以领取 STRK 空投,领取时间持续四个月直至 6 月 20 日。本次 STRK 空投是迄今范围最广的个人代币分配,Starknet 也…

    2024年2月18日
  • Ankr 与 Storj 合作推出节点部署基础设施 Chainsnap

    ChainCatcher 消息,Web3 基础设施提供商 Ankr 与 Storj合作推出节点部署基础设施Chainsnap,Chainsnap 集成了 Ankr 的区块链数据快照与 Storj 的去中心化存储网络,减少了节点部署所需的时间。Chainsnap 支持包括以太坊、Polygon、BNB Chain 在内的区块链。(来源链接) 文章来源于互联网:…

    2023年3月2日
  • 多维度对比应用链服务Polygon Supernets和Avalanche Subnets

    《应用链进展如何?多维度对比 Polygon Supernets 和 Avalanche Subnet》 来源: PANews 3 月 22 日,NFT 游戏 Aavegotchi 宣布正利用 Polygon Supernets 推出自己的区块链 Gotchichain。在 Cosmos 和 Polkadot 等多链生态系统之后,Avalanche、Poly…

    2023年3月31日
  • Web3钱包「iPhone 时刻」,一文看懂欧易AA智能合约钱包

    来源:OKX 前言「本文旨在用最通俗的语言帮助新用户理解和尝试使用 Web3 钱包,尽早投身新浪潮。」 当前全球 Web2 用户有近 50 亿人,而 Web3 用户仅为 4 亿人,Web3 目前仍是小众行业。作为入口级应用,Web3 钱包的普及有助于 Web3 实现大规模应用。 8 月 2 日,欧易 OKX 宣布率先推出 AA 智能合约钱包,或将永远改变区块…

    2023年8月3日
返回顶部