ZK-VM 将如何成就 Web3 的未来？

ZK、ZK-VM 和。 ZK-EVM

要了解每个ZK道路项目背后的规范，我们先了解ZK涉及的基本概念。

ZKP（Zero Knowledge Proof）全称零知识证明，是指通过数学密码学解决区块链的隐私和可扩展性问题，主要通过验证者和用户，在不公开的情况下验证数据的准确性。

ZK-VM 是一个基于零知识证明的虚拟机，结合了 ZK 证明和 VM（虚拟机）。 ZK-VM 通常由两个重要组件组成：一个编译器，可以将 C++ 和 Rust 等高级语言编译成中间 (IR) 表达式，供 ZK 系统执行； 另一种是ISA（Instruction Architecture）指令集框架，主要执行有关CPU操作的指令，是用来指示CPU进行操作的一系列指令。

ZK-EVM 是 ZK-VM 的一种。 其主要特点是兼容以太坊EVM，支持用Solidity编写的智能合约运行在其虚拟机上，有助于扩展以太坊的第二层。 Starknet、zkSync、Scroll、Polygon Hermez 都属于 ZK-EVM。

ZK近期值得关注的新金融项目

无基金会

Nil Foundation的全称是“=nil; Foundation”，听起来像是乱七八糟的字母。 实际上，这个奇怪的绰号源自一个 SQL 注入笑话。

Nil Foundation 始于 2018 年的数据库管理系统，去年底以 2.2 亿美元的估值完成了 2200 万美元的投资，由 Polychain Capital 领投，Blockchain Capital、Starkware、Mina Protocol 和 IOSG Ventures 参投。

Nil 基金会创建了一个基于 LLVM 的 ZK 编译器，可以将 C++ 和 Rust 等高级语言程序转换为适合系统验证的中间 (IR) 表达式。 也就是说，Nil Foundation 是一个编译器而不是虚拟计算机。

LLVM（LowLevelVirtualMachine）是框架编译器的框架，可以优化高级语言（如 Rust 和 C++）的编译和运行时。 LLVM 由伊利诺伊大学的 Chris Lattner 博士于 2000 年创建。 Chris Lattner 在 2006 年加入 Apple 后开始致力于在开发平台中部署 LLVM。LLVM 现在已被 Apple、Microsoft、Google 和 Facebook 等大公司使用。

此外，Nil 基金会还有一个与众不同的地方，那就是它形成了一个“证明市场”。 用户可以通过 Proof Market 向硬件所有者付费，让他们为他们进行验证，而证明者则竞相向支付给他们的用户证明。 这种自由市场动态将允许证明者通过计算优化最有利可图的证明任务。

主权实验室

专注于开发 ZK-Rollup SDK 的 Sovereign Labs 在今年 1 月获得了 740 万美元的种子资金。 本轮融资由 Haun Ventures 领投，Maven 11、1KX、Robot Ventures 和 Plaintext Capital 跟投。

Sovereign Labs 打算制作一个软件开发工具包 (SDK)，以帮助开发人员创建安全且可互操作的零知识汇总。 Sovereign SDK 旨在使创建 ZK-Rollups 变得更容易，就像 Cosmos SDK 使创建 Layer 1 变得更容易一样。

它是第一个消除零知识复杂性的聚合框架，使开发人员无需成为密码学专家即可轻松设计应用程序。 开发人员将能够使用 Sovereign SDK 在惯用的 Rust（或 C++）中构建应用程序，并且 SDK 会自动将它们转换为高效的 ZK 虚拟机。

Sovereign Labs 的路线图分为三个部分。 第一步需要在 2023 年第二季度完成研究设计原型。目前的原型包括用于数据可用性的 Celestia 和用于证明的 Risc0。 第二阶段是Sovereign SDK的安装，包括点对点网络、RPC节点、核心API、默认存储和排序模块。 第三步包括进行代码清理、测试、模糊测试和审计。

乌尔维塔纳

Ulvetanna 是一家开发硬件以提高零知识证明 (ZKP) 生产效率的公司，在由 Bain Capital Crypto 和 Paradigm 牵头的种子轮融资中筹集了 1500 万美元，Jump Crypto 参与其中。 投掷。

Ulvetanna 正在开发硬件以加速 ZKP 的生成，其团队由来自 Coinbase、微软和英特尔的程序员和工程师组成。

当未来对ZKP的需求增长时，ZKP将需要大量的计算，这将需要复杂的技术和大量的电力。 Ulvetanna 认为 ZKP 生成在专用硬件上的效率要高得多，因此 Ulvetanna 聚集了一支由应用密码学家、软硬件工程师、数据中心和云架构师以及加密原生投资者组成的经验丰富的团队，通过结合密码学和高性能计算。

囊肿

ZK 硬件公司 Cysic 在 2022 年 12 月由 Polychain Capital 领投的种子轮融资中筹集了 600 万美元，其他投资者包括 Hashkey、SNZ Holding、ABCDE 和 Web3.com Foundation。

Cysic 打算为 ZK 证明提供硬件加速解决方案。 Scroll、Nil Foundation 和 Hyper Oracle 是 Cysic 目前的合作伙伴。

Cysic 创建了多标量乘法 (MSM) 的 FPGA 原型，这是一种类似于 CPU 和 GPU 处理器的可编程硬件。

超级神谕

ZK oracle 计算机网络 Hyper Oracle 最近完成了由 dao5 和红杉中国种子基金共同领投的 300 万美元种子轮融资，Foresight Ventures、FutureMoney Group 等跟投。

为了解决区块链中间件在安全性、去中心化、计算完整性和性能方面的问题，Hyper Oracle 正在创建 ZK 中间件协议和基于 zkWASM 虚拟机的 ZK 预言机 zkOracle。

多面体

ZK 基础设施公司 Polyhedra Network 完成了一轮 1000 万美元的融资，由 Binance Labs 和 Polychain Capital 领投，Animoca Brands 和 Dao5 跟投。

Polyhedra目前正在研发三款基于零知识技术的零知识产品：零知识桥（zkBridge），用于L1和L2资产传输； ZK-DID，一种使用零知识证明技术保护隐私的用户身份解决方案； 和一个可编程的 NFT 协议。 该设备ZK-NFT采用零知识证明技术来保护用户资产的隐私。 zkBridge 测试网络目前正在运行。

此外，Polyhedra 还创建了 ParaPlonk，这是一种扩展解决方案，可以使用大规模分布式证明生成网络来加速 ZK 汇总。 Polyhedra 打算整合新的区块链，并通过 API 和 SDK 工具让开发人员可以访问它们，以吸引更多的 ZK-rollup 开发人员。

RISC 零

RISC Zero（资金细节尚未公布）是一种开源通用 ZK-VM。 该项目的名称来源于著名的 RISC 处理器（精简指令集计算机）。

RISC-V指令集的目标是优化精简指令集，只有40多个指令集。 得益于 RISC-V 指令集，RISC Zero 支持 C++、Rust 和 Go 等复杂的编程语言，开发人员无需学习新语言即可使用 ZK-VM。

RISC 的零产品增长据 VP Manasi（前 Uniswap 增长总监）称，RISC Zero 还将支持 Solidity，使其对原生以太坊开发人员更具吸引力。 RISC ZERO 使用 LLVM 架构，该架构被几家主要制造商用于语言编译。 由于采用了相当成熟的编译和指令集方案，RISC ZERO从技术上讲可能成为ZK-VM赛道上的一个典型项目。

ZK轨道发展战略

去年，ZK赛道的举措主要集中在兼容以太坊的ZK-EVM上，例如Starknet、zkSync、Scroll等知名项目。 根据最近获得资助的 ZK 计划的类别，它们主要是基于基础设施的，例如 ZK 电路编译器、ZK 硬件加速、ZK 预言机和桥接器。

同时，这些项目呈现出一种趋势，即ZK-VM倡议数量的增长。 因此，通过提供 ZK 证明系统，ZK-VM 可以帮助大量 Web2 应用程序结合零知识证明以达到 Web3。 例如，当前用于管理用户数据的 Gamefi 后端解决方案是集中式的。 如果后端使用 ZK-VM，游戏可以达到真正的去中心化。 以此类推，许多 Web2 应用程序可能会在必要时去中心化。

ZK-EVM 和 ZK-VM 哪个对未来更好？ 虽然以太坊应用会逐渐支持ZK-EVM，但Web3并不局限于以太坊，因为ZK-VM支持更高级的语言，比ZK-EVM更容易构建（ZK-VM可以使用成熟的Compiler和指令集架构），如果ZK -VM也能很好的支持Solidity，ZK-VM可能是Web3的未来。

免责声明： 本网站上的信息作为一般市场评论提供，不构成投资建议。 我们鼓励您在投资前进行自己的研究。