作者：李科

去年以来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都是基于零知识证明的vm虚拟机，这将零知识证明ZK和vm虚拟机VM（Virtual Machine）结合在一起。ZK-VM一般包括2个重要构成部分：一个是编译程序（Compiler），它能将C 、Rust等程序设计语言编译程序形成正中间表述(IR)，以便ZK系统软件证明；一个是指令系统架构ISA（Instruction Set Architecture），指令系统主要是对CPU计算开展命令，就是用来正确引导CPU完成计算的一系列命令结合。

ZK-EVM是ZK-VM的一种，关键特征是能够适配以太币EVM，适用用Solidity整理的区块链智能合约则在vm虚拟机上运作，可以帮助以太币二层扩充。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是一个电源电路编译程序，而非vm虚拟机。

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 会自动把它编译程序为高效率的 ZKvm虚拟机。

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、微软公司和intel的软件工程师和技术工程师。

伴随着将来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 vm虚拟机开发设计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未来的发展。