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

作者：李科

去年以来ZK赛道受到了大家的广泛关注，特别是采用ZK-EVM技术的Starknet、zkSync、PolygonEVM、Scroll等明星项目成为大家谈论最多的话题，那ZK-VM又发展如何呢？本文将通过介绍近期新出现的ZK融资项目，为大家梳理ZK赛道的关键概念和发展方向。

ZK、ZK-VM及ZK-EVM

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

ZKP表示零知识证明，是指通过数学密码学的方式解决区块链的隐私和扩展问题，主要是通过证明者和验证者在不公开数据的情况下验证数据的正确性。

ZK-VM是基于零知识证明的虚拟机，它将零知识证明ZK和虚拟机VM结合起来。ZK-VM一般包含2个重要组成部分：一个是编译器，它可以将C++、Rust等高级语言编译生成中间表达(IR)，以供ZK系统证明；一个是指令集框架ISA，指令集主要对CPU运算进行指令，是用来引导CPU进行运算的一系列指令集合。

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

动态 | 中国知识产权报盘点2019专利领域大事件 其中一项与区块链相关:近日，中国知识产权报盘点2019专利领域大事件，其中包括“”区块链：专利布局驶入“快车道”。文章指出，区块链是近几年的科技热词。自中共中央局2019年10月24日下午就区块链技术发展现状和趋势进行第十八次集体学习后，区块链再度成为全社会关注的焦点，并登上了各大权威纸媒与电视媒体的头版头条。区块链专利领域呈现出四个特点：第一，我国创新主体开展专利布局时间较晚，但是专利申请量呈现快速增长态势；第二，中美两国是重要的市场和技术原创国家，中国偏重于国内布局，美国多边布局态势明显，区块链技术申请人分布较为分散，初创公司较多，没有明显专利壁垒以及行业领军企业；第三，针对业内非常关注的区块链的安全性、同步效率问题，我国已探索解决方案并形成一批核心专利；第四，区块链技术应用前景广阔，但部分技术难题仍悬而未决，亟需突破。[2020/1/19]

近期值得关注的ZK赛道新融资项目

NilFoundation

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

动态 | 2019年区块链十大事件盘点:1：中国拥抱区块链

2019年10月24日，中央局第十八次集体学习时强调，区块链技术的集成应用在新的技术革新和产业变革中起着重要作用。

2：央行数字货币试点

2014年中国央行开始研究法定数字货币（DCEP）。DCEP的完整字面意思就是数字货币电子支付。

3：Facebook发布Libra计划

2019年6月，Facebook发布Libra白皮书，Libra的使命是建立一套简单的、无国界的货币和为数十亿人服务的金融基础设施。

4：去中心化金融DeFi

去中心化金融（DeFi），解决传统金融行业中的痛点，被称作DeFi 是加密史上第二个突破。

5：IEO开始流行

IEO是ICO之后，币圈诞生的一种新筹集资金方式，项目方依托交易所进行资金筹集。

6：Bakkt 推出比特币期货

2019年9月23日， 号称币圈牛市的发动机的Bakkt上线。

7：嘉楠科技上市

美国东部时间11月21日嘉楠科技正式上市纳斯达克，IPO发行价最终锁定在每股9美元，总计募资9000万美元。

8：模式币走红币圈

模式币，使用类似模式的币种，通过拉人头、分红、合伙人等等推广营销模式，配合资金控盘，来吸引散户进场接盘。

9：以太坊伊斯坦布尔升级

以太坊网络在2019年12月8日， 9,069,000区块高度完成升级，代号：伊斯坦布尔（Istanbul）。

10：吴忌寒詹克团之争

吴忌寒夺权：10月29日全球最大的矿机生产商之一的比特大陆创始人吴忌寒以比特大陆集团董事会主席、北京比特大陆科技有限公司法定代表人、执行董事的身份，向全体员工发送邮件，宣布解除詹克团在比特大陆的一切职务，即刻生效。[2019/12/23]

成立于2018年的NilFoundation最初是做数据库管理系统。去年底以2.2亿美元的估值完成了2200万美元的融资，由PolychainCapital领投，BlockchainCapital、Starkware、MinaProtocol、IOSGVentures等参投。

美国司法部组建检察官网络打击加密货币犯罪:金色财经报道，美国司法部（DOJ）已经组建了一个检察官网络，以加强其在加密货币相关犯罪方面的工作。据官员们说，司法部已经从全国各地招募了150多名检察官参与这项工作。这个新团队被称为数字资产协调人网络。该网络的目标是为美国律师事务所分配有关加密案件所带来的困难技术和法律挑战的主题专业知识，该网络的成立紧随拜登政府宣布与加密货币有关的法规框架之后。

司法部国家加密货币执法小组第一任主任Eun Young Choi表示，数字资产犯罪确实是多学科的。它们是跨境、复杂和具有挑战性的调查，需要一定程度的能力。该网络旨在就加密货币问题对其他司法官员进行培训。这些官员包括在该部门的税务、刑事、民事、国家安全和环境部门有经验的人。[2022/9/16 7:02:08]

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

LLVM(LowLevelVirtualMachine)是构架编译器的一种框架系统，可以优化Rust和C++等高级语言编写的程序的编译和运行时间。LLVM最初由伊利诺伊大学的ChrisLattner博士于2000年主持开发。2006年ChrisLattner加盟Apple后开始致力于LLVM在开发系统中的应用，目前LLVM已经被Apple、Microsoft、Google、Facebook等各大公司采用。

Circle将在以太坊合并完成后仅支持以太坊 PoS 链:金色财经消息，Circle 发文称将在以太坊合并完成后仅支持以太坊 PoS 链，预计 USDC 的链上功能或全自动发行和赎回服务不会中断。

此前，Tether 首席技术官 Paolo Ardoino 表示，对 ETH2 的支持将是无缝的，Tether计划支持 ETH2。[2022/8/10 12:13:56]

除此之外，NilFoundation有个比较特别的地方是建立了一个“证明市场”，通过ProofMarket用户可以付费请拥有硬件的人为他们验证，证明者竞相为支付给他们的用户证明计算，这种自由市场动态将使证明者优化最有价值的证明任务。

SovereignLabs

专注于构建ZK-RollupSDK的SovereignLabs今年1月完成了740万美元种子轮融资，该轮融资由HaunVentures领投，Maven11、1KX、RobotVentures和PlaintextCapital参投。

SovereignLabs计划构建一个软件开发工具包(SDK)，帮助开发人员创建安全且可互操作的零知识Rollup。SovereignSDK旨在简化ZK-Rollup的创建，就像CosmosSDK简化Layer1的创建一样。它是第一个消除零知识复杂性的汇总框架，使开发人员可以轻松构建他们的应用程序，开发人员无需成为密码学专家。使用SovereignSDK，开发人员将能够使用惯用的Rust编写应用程序，SDK将自动将其编译为高效的ZK虚拟机。

Celsius开始向Aave和Compound偿还贷款:金色财经报道，Nansen标记的与Celsius相关的钱包，对Aave和Compound的未偿债务从周五的2.58亿美元减少到了2.35亿美元。据悉，如果Celsius全额偿还贷款，理论上这家加密货币贷方将能够收回约9.5亿美元的资产。（CoinDesk）[2022/7/9 2:01:44]

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

Ulvetanna

Ulvetanna是一家构建硬件以提高零知识证明生成效率的初创公司，以5500万美元估值完成了1500万美元的种子轮融资，BainCapitalCrypto和Paradigm共同领投了种子轮融资，JumpCrypto参投。

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

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

Cysic

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

Cysic旨在为ZK证明提供硬件加速解决方案。目前Cysic的合作伙伴包括Scroll、NilFoundation和HyperOracle。

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

HyperOracle

ZK预言机网络HyperOracle最近完成了由dao5和红杉中国种子基金共同领投的300万美元种子轮融资，ForesightVentures、FutureMoneyGroup等跟投。

HyperOracle正在基于zkWASM虚拟机开发ZK中间件协议和ZK预言机zkOracle的开发，以解决区块链中间件的安全性、去中心化、计算完整性和性能方面的挑战。

Polyhedra

最近ZK基础设施初创公司PolyhedraNetwork完成了由BinanceLabs和PolychainCapital共同领投的1000万美元融资，AnimocaBrands和Dao5参投。

Polyhedra目前基于ZK技术开发了3款ZK产品：包括用于L1和L2资产传输的ZK桥；采用零知识证明技术保护隐私的用户身份解决方案ZK-DID；一种可编程的NFT协议ZK-NFT，该产品采用了零知识证明技术，以保护用户资产的隐私。目前，zkBridge的测试网已经上线。除此之外，Polyhedra还开发了一种名为ParaPlonk的扩容方案，可使用大规模分布式证明生成网络来加速ZKrollups。Polyhedra计划集成更多区块链，并通过API和SDK工具让开发人员便于访问，以吸引更多的ZK-rollup开发人员。

RISCZERO

RISCZero是一个开源的通用型ZK-VM，该项目的名字起源于流行的RISC，RISCZero采用目前最新的第5代RISC-V，RISC-V指令集的理念是最大化的精简指令集，它仅包含40多条指令集。因为采用RISC-V指令集，因此RISCZero支持C++、Rust和Go等高级编程语言，开发者无需学习新的语言就可以使用ZK-VM。

RISCZero产品增长VPManasi表示，RISCZero也将会支持Solidity，因此RISCZero对原生以太坊开发者将会更加友好。在语言编译方面，RISCZERO采用了被很多大厂使用的LLVM架构。从技术路线来看，因为采用了比较成熟的编译和指令集方案，RISCZERO有可能成为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也可以很好的支持Solidity，也许ZK-VM才是Web3的未来。

标签：ORDALSNALSACTCordiumGALSnals币价格ImpactXPrime

MEXC热门资讯