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

撰文：李科

图片来源：由 Maze AI 生成

去年以来 ZK 赛道受到了大家的广泛关注，特别是采用 ZK-EVM 技术的 Starknet、zkSync、Polygon EVM、Scroll 等明星项目成为大家谈论最多的话题，那 ZK-VM 又发展如何呢？本文 PANews 将通过介绍近期新出现的 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