零知识证明基础设施公司Risc Zero计划开源高速递归、证明组合等三项技术

5月24日消息，零知识证明初创公司RISC Zero宣布与模块化L2协议Layer N联合推出零知识欺诈证明系统。该系统通过将Layer N的执行环境移植到RISC Zero的zk虚拟机上，以实现提升区块链性能的同时，保证区块链的可靠性和安全性。未来，zkVM还将实现与其他执行层的兼容，如EVM、SVM和WASM等。 此前报道，去年8月，零知识证明初创公司RISC Zero宣布完成1200万美元种子轮融资，Bain Capital Crypto领投。

金色财经报道，零知识证明软件开发商 RISC Zero 发布了源代码和编译器技术，目前已完全开源。

8月9日消息，零知识证明初创公司 RISC Zero 宣布完成 1200 万美元种子轮融资，Bain Capital Crypto 领投，Geometry 、D1 Ventures 和 Cota Capital 等参投。本轮所融资金将用于构建对开发人员友好的可扩展区块链。今年 3 月，RISC Zero 推出了零知识证明虚拟机，该虚拟机使开发人员能够构建零知识证明，并使用各种编程语言在任何计算机上执行。

金色财经报道，旨在帮助开发者开发零证明软件的基础设施公司RISC Zero在Blockchain Capital领投的A轮融资中筹集4000万美元。 这些资金将帮助RISC Zero将其Bonsai 计算平台推向市场。本轮融资的其他投资者包括Galaxy Digital、IOSG、RockawayX、Maven 11、Fenbushi Capital、Delphi Digital、alga Ventures、IOBC、Tribute Labs的Zero Dao和Alchemy。

金色财经报道，区块链基础设施提供商RISC Zero推出Blobstream Zero，这是一款基于zkVM的Blobstream桥接器，旨在将Celestia的数据可用性层与各种区块链生态系统连接起来。Blobstream是Celestia的解决方案，可使rollups利用Celestia轻客户端进行数据可用性采样。Blobstream Zero引入了使用零知识证明验证Celestia DA的能力。该集成允许卷积和应用程序更高效地跨链生成证明。Blobstream Zero还引入了ZK协处理器，使以太坊、Optimism和Solana上的dapp能够运行数据密集型ZK程序，而不会牺牲可组合性。

金色财经报道，Proven是一家提供零知识证明技术以使加密货币公司能够证明偿付能力的公司，完成1580万美元种子轮融资，Framework Ventures领投，Balaji Srinivasan、Roger Chen和Ada Yeo等参投。