盘点近期ZK赛道重点融资项目：ZK-VM将如何构建Web3的未来

作者：李科

上一年以来ZK赛道受到了我们的广泛重视，特别是选用ZK-EVM技能的Starknet、zkSync、Polygon EVM、Scroll等明星项目成为我们议论最多的论题，那ZK-VM又发展如何呢？本文将经过介绍近期新出现的ZK融资项目，为我们整理ZK赛道的关键概念和发展方向。

ZK、ZK-VM及ZK-EVM

为了了解ZK赛道各个项目背面的技能特点，让我们先来了解一下ZK相关的根本概念。

ZKP（Zero Knowledge Proof）表示零常识证明，是指经过数学密码学的方式处理区块链的隐私和扩展问题，首要是经过证明者和验证者在不揭露数据的情况下验证数据的正确性。

ZK-VM是根据零常识证明的虚拟机，它将零常识证明ZK和虚拟机VM（Virtual Machine）结合起来。ZK-VM一般包括2个重要组成部分：一个是编译器（Compiler），它能够将C++、Rust等高级言语编译生成中心表达(IR)，以供ZK体系证明；一个是指令集结构ISA（Instruction Set Architecture），指令集首要对CPU运算进行指令，是用来引导CPU进行运算的一系列指令调集。

ZK-EVM是ZK-VM的一种，首要特点是能够兼容以太坊EVM，支撑用Solidity编写的智能合约在其虚拟机上运转，以协助以太坊二层扩容。Starknet、zkSync、Scroll、Polygon hermez都属于ZK-EVM。

近期值得重视的ZK赛道新融资项目

Nil Foundation

Nil Foundation的全名是“=nil; Foundation”，有点像乱码，其实这个古怪的姓名来源于一个SQL注入玩笑。

成立于 2018 年的Nil Foundation最初是做数据库办理体系。上一年底以2.2亿美元的估值完结了2200万美元的融资，由Polychain Capital 领投， Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures等参投。

Nil Foundation在LLVM的基础上构建了一个ZK电路编译器，该编译器能够将C++、Rust等高级言语编写的程序编译生成为适当的中心表达(IR)，以供ZK体系证明。即Nil Foundation是一个电路编译器，而不是虚拟机。

LLVM(LowLevelVirtualMachine)是构架编译器的一种结构体系，能够优化Rust和C++等高级言语编写的程序的编译和运转时间。LLVM最初由伊利诺伊大学的Chris Lattner博士于2000年主持开发。2006年Chris Lattner加盟Apple后开端致力于LLVM在开发体系中的运用，目前LLVM现已被Apple、Microsoft、Google、FaceboOK等各大公司选用。

除此之外，Nil Foundation有个比较特别的当地是建立了一个“证明市场”（Proof Market），经过Proof Market用户能够付费请具有硬件的人为他们验证，证明者竞相为支付给他们的用户证明核算， 这种自在市场动态将使证明者优化最有价值的证明任务。

Sovereign Labs

专注于构建ZK-Rollup SDK的Sovereign Labs 本年1月完结了740万美元种子轮融资，该轮融资由Haun Ventures领投，Maven 11、1KX、Robot Ventures和Plaintext Capital参投。

Sovereign Labs方案构建一个软件开发东西包(SDK)，协助开发人员创立安全且可互操作的零常识Rollup。Sovereign SDK 旨在简化 ZK-Rollup 的创立，就像 Cosmos SDK 简化Layer1的创立相同。它是第一个消除零常识复杂性的汇总结构，使开发人员能够轻松构建他们的运用程序，开发人员无需成为密码学专家。运用 Sovereign SDK，开发人员将能够运用惯用的 Rust（或是 C++）编写运用程序，SDK 将自动将其编译为高效的 ZK虚拟机。

Sovereign Labs的路线图分为3个部分，第一阶段是在2023年第二季度完结研讨规划原型，当时的原型集成了用于数据可用性的 Celestia 和用于证明的 Risc0。第二阶段是Sovereign SDK的布置，包括点对点网络、RPC 节点、中心 API 以及默许存储和排序模块。第三阶段是进行代码清理、测验、含糊测验和审计。

Ulvetanna

Ulvetanna 是一家构建硬件以进步零常识证明（ZKP）生成功率的草创公司，以5500 万美元估值完结了 1500 万美元的种子轮融资，Bain Capital Crypto 和 Paradigm 一起领投了种子轮融资，Jump Crypto 参投。

Ulvetanna正在构建旨在加快生成 ZKP 过程的硬件，Ulvetanna 的团队包括来自 Coinbase、微软和英特尔的程序员和工程师。

随着未来ZKP需求的的添加， ZKP 需求大量核算，这就需求强大的硬件并耗费大量电力。 Ulvetanna认为ZKP生成在专门规划的硬件上要高效得多，因此Ulvetanna组建了一支由运用密码学家、软件和硬件工程师、数据中心和云架构师以及加密原生投资者组成的经验丰富的团队，经过结合密码学和高功能核算来供给高效的ZKP硬件核算服务。

Cysic

ZK硬件草创公司 Cysic 于2022 年 12 月完结了 600 万美元的种子轮融资，由 Polychain Capital 领投，其他投资者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com 基金会。

Cysic 旨在为 ZK 证明供给硬件加快处理方案。 目前Cysic 的合作伙伴包括 Scroll、Nil Foundation 和 Hyper Oracle。

Cysic 团队开发了多标量乘法 (MSM) 的 FPGA 原型（ 比在CPU 上运转 MSM省电）， FPGA 是一种可编程硬件，类似于 CPU 和 GPU 芯片。

Hyper Oracle

ZK预言机网络Hyper Oracle最近完结了由 dao5 和红杉我国种子基金一起领投的 300 万美元种子轮融资，Foresight Ventures、FutureMoney Group等跟投。

Hyper Oracle正在根据zkWASM 虚拟机开发ZK中心件协议和 ZK预言机zkOracle 的开发，以处理区块链中心件的安全性、去中心化、核算完整性和功能方面的应战。

Polyhedra

最近 ZK基础设施草创公司Polyhedra Network 完结了由Binance Labs 和 Polychain Capital 一起领投的1000 万美元融资，Animoca Brands 和 Dao5 参投。

Polyhedra 目前根据ZK技能开发了3款ZK产品：包括用于L1 和L2 财物传输的ZK桥（zkBridge）；选用零常识证明技能维护隐私的用户身份处理方案ZK-DID ；一种可编程的 NFT 协议ZK-NFT， 该产品选用了零常识证明技能，以维护用户财物的隐私。目前，zkBridge 的测验网现已上线。 除此之外，Polyhedra还开发了一种名为ParaPlonk的扩容方案，可运用大规模分布式证明生成网络来加快ZK rollups。Polyhedra 方案集成更多区块链，并经过 API 和 SDK 东西让开发人员便于访问，以吸引更多的 ZK-rollup 开发人员。

RISC ZERO

RISC Zero（暂未公布融资信息）是一个开源的通用型ZK-VM，该项意图姓名起源于盛行的RISC（Reduced Instruction Set Computer 精简指令集核算），RISC Zero选用目前最新的第5代RISC-V，RISC-V指令集的理念是最大化的精简指令集，它仅包括40多条指令集。因为选用RISC-V指令集，因此RISC Zero支撑C++、Rust和Go等高级编程言语，开发者无需学习新的言语就能够运用ZK-VM。

RISC Zero产品增加VP Manasi（前Uniswap增加主管）表示，RISC Zero也将会支撑Solidity，因此RISC Zero对原生以太坊开发者将会愈加友好。在言语编译方面，RISC ZERO 选用了被许多大厂运用的LLVM架构。从技能路线来看，因为选用了比较老练的编译和指令集方案，RISC ZERO有或许成为ZK-VM赛道的典型项目。

ZK赛道发展方向

上一年，ZK赛道的项目首要集中在兼容以太坊的ZK-EVM上，比方Starknet、zkSync、Scroll等抢手项目。从近期融资的ZK项目类型来看，根本还是以基础设施层面为主，比方ZK电路编译器、ZK硬件加快、ZK预言机和桥。

同时，这些项目也呈现出一个趋势，即ZK-VM类的项目数量开端增多。其实，经过引进ZK证明体系，ZK-VM能够协助大量Web2.0的运用结合零常识证明进入Web3。比方目前Gamefi后端办理用户数据的服务是中心化的，如果后端选用ZK-VM，这样游戏能够完成真实的去中心化。以此类推，在有必要的前提下，许多Web2.0的运用都能够完成去中心化。

ZK-EVM和ZK-VM哪个才是未来？虽然以太坊上的运用会逐渐支撑ZK-EVM，但Web3不只只有以太坊，因为ZK-VM支撑更多的高级言语，而且相对于ZK-EVM来说更容易搭建（ZK-VM能够选用老练的编译器和指令集架构），如果ZK-VM也能够很好的支撑Solidity，也许ZK-VM才是Web3的未来。

此时快讯

【CZ：Binance AI产品Bicasso Beta版本现已上线】3月1日消息，CZ 在社交媒体上宣布 Binance  AI 产品 Bicasso Beta 版本现已上线。Bicasso 可利用 AI 技术将用户的创意设想生成 NFT，铸造上限为 1 万枚。