作者：李科
自去年以来，ZK赛道一直受到大家的广泛关注，尤其是Starknett，采用ZK-EVM技术、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通常包括两个重要组成部分：一是编译器（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有点像乱码，其实这个奇怪的名字来源于SQL注入玩笑。
成立于 2018 年的Nil Foundation最初是一个数据库管理系统。去年年底，Polychain以2.2亿美元的估值完成了2200万美元的融资 Capital 领投， Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures等参投。
Nil Foundation在LLVM的基础上建立了一个ZK电路编译器，它可以使CLVM++、编写Rust等高级语言的程序编译生成适当的中间表达(IR)，ZK系统证明。即Nil Foundation是电路编译器，而不是虚拟机。
LLVM(LowLevelVirtualMachine)它是一种框架系统，可以优化Rust、C++等高级语言编写程序的编译和运行时间。最初由伊利诺伊大学ChrissLLVM组成 2000年，Lattner博士主持开发。2006年Chrisschriss Lattner加入Apple后，开始致力于LLVM在开发系统中的应用。目前，LLVM已被Applee使用、Microsoft、Google、Facebook等各大公司采用。
除此之外，Nil Foundation有一个特别的地方，就是建立一个“证明市场”（Proof Market），通过Prof Market用户可以付费，请有硬件的人为他们核实，证明者竞相计算支付给他们的用户证明， 这种自由市场动态将优化证明者最有价值的证明任务。
Sovereign Labs
专注于构建ZK-Rollup SDK的 740万美元种子轮融资于今年1月完成。 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路线图分为三个部分。第一阶段是在2023年第二季度完成研究设计原型。目前的原型集成了数据可用性 Celestia 并用于证明 Risc0。第二阶段是Sovereign 部署SDK，包括点对点网络，RPC 节点、核心 API 以及默认存储和排序模块。第三阶段是代码清理、测试、模糊测试和审计。
Ulvetanna
建造硬件来提高零知识证明是一种证明（ZKP）以55000生成效率的初创公司 一万美元的估值已经完成 1500 种子轮融资1万美元，Bain Capital Crypto 和 Paradigm 共同领投种子轮融资，Jump Crypto 参投。
构建Ulvetanna的目的是加速生成 ZKP 硬件的过程，Ulvetanna 包括来自的团队 Coinbase、程序员和工程师在微软和英特尔。
随着未来ZKP需求的增加， ZKP 需要大量的计算，这需要强大的硬件和大量的电力。 Ulvetanna认为ZKP生成在专门设计的硬件上要高效得多，因此Ulvetana组建了一支经验丰富的团队，由应用密码学家、软件和硬件工程师、数据中心、云架构师和加密本地投资者组成，通过结合密码学和高性能计算提供高效的ZKP硬件计算服务。
Cysic
ZK硬件初创公司 于2022 年 12 月完成了 600 种子轮融资1万美元，由1万美元种子轮融资 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预测机网络最近完成了 dao5 与红杉中国种子基金共同投资 300 种子轮融资1万美元，Foresight Ventures、FutureMoney Group等后续投资。
Hyper 基于zkWASMM的Oracle ZK中间件协议的虚拟机开发 ZK预言机zkoraclele 为了解决本网站中间件的安全性、分散性、计算完整性和性能挑战。
Polyhedra
最近 ZK基础设施初创公司由Binanceee完成 Labs 和 Polychain Capital 共同领投的1000 融资1万美元，Animoca Brands 和 Dao5 参投。
Polyhedra 目前，基于ZK技术开发了三种ZK产品，包括L1 和L2 ZK桥的资产传输（zkBridge）；ZK用户身份解决方案采用零知识证明技术保护隐私-DID ；可编程 NFT 协议ZK-NFT， 本产品采用零知识证明技术，保护用户资产隐私。目前，zkBridge 测试网已上线。 此外，Polyhedra还开发了一种名为ParaPlonk的扩容方案，可以通过大规模的分布式证明生成网络来加速ZK rollups。Polyhedra 通过计划集成更多的站点，并通过 API 和 SDK 为了吸引更多的人，工具使开发人员更容易访问 ZK-rollup 开发人员。
RISC ZERO
(融资信息尚未公布)是一种开源的通用ZK-VM，该项目的名称起源于流行的RISC（Reduced Instruction Set Computer 精简指令集计算)，RISC Zero采用最新的第五代RISC-V，RISC-V指令集的概念是最大化精简指令集，它只包含40多个指令集。RISCC-V指令集是由RISC-V指令集制成的 Zero支持C++、Rust、Go等高级编程语言，开发者可以使用ZK，而无需学习新语言-VM。
RISC Zero产品增长VP Manasi(前Uniswap增长总监)表示，RISC Zero也将支持Solidity，所以RISCC Zero将对本土以太坊开发者更加友好。在语言编译方面，RISC ZERO LLVM架构被许多大型工厂使用。从技术路线来看，由于采用了相对成熟的编译和指令集方案，RISC ZERO有可能成为ZK-VM赛道的典型项目。
ZK轨道发展方向
去年，ZK赛道的项目主要集中在ZK-EVM上，与以太坊兼容，如Starknett、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的未来。
本文的部分内容来自网络，仅供参考。如有侵权行为，请联系删除。
