盘点近期ZK赛道重点融资项目:ZK-VM将如何构建Web3的未来
去年以来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
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 虚拟机开发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的未来。
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
解读CKB版 “闪电网络” Fiber Network:比特币可编程性扩展的另一种思路
作者:NingNing行业周期与宏观金融周期共振,加密行业正处在与 2019 年相似的整体性迷茫之中,现阶段不仅流动性枯竭,叙事貌似也在枯竭。市场不但对 VC 叙事兴趣阙如,对反 VC 的 Meme 叙事也已经疲倦。就像每次哲学危机,人们都会回归柏拉图寻找出路,当加密行业危机时,我们也需要回归比特币、回归中本聪。正如 CKB 生态 RGB++ 协议创始人 Cipher 在最新 Blog 里所阐述的,加密行业需要对以太坊 “链上计算” 的路径依赖进行反思,回归P2P经济学,让计算归于链下,让验证归于链上。因
-
面对NFL球员工会起诉,“退圈”的DraftKings竟主动承认NFT是证券?
作者:Zen,PANews近日,美国国家橄榄球联盟球员协会 (NFLPA) 指控数字体育娱乐和游戏公司DraftKings 逃避了其 NFT 球员许可协议的付款义务。在放弃NFT业务后,涉嫌出售未注册证券而遭到集体诉讼的DraftKings又背上了一起官司。而有趣的是,在与NFLPA的纠纷中,DraftKings的立场似乎已从反驳转变为积极承认“NFT就是证券”。放弃NFT业务:驳回集体诉讼的动议遭到否决今年7月底,Draftkings在给用户的电子邮件中表示:“经过慎重考虑,DraftKings 决定终
-
简析两种最新比特币智能合约实现方案:OP_NET与Arch有何区别?
作者:Cookie过去半个月,OP_NET 与 Arch 这两个比特币主网上的智能合约实现方案引发了较多的讨论。有意思的事情是,OP_NET 这个名字与大家熟悉的 OP_CAT 很像,都以「OP_」开头,具有很强的、让大家认为这哥俩差不多的迷惑性。所以,在开篇要和大家先提一嘴 OP_CAT。首先,OP_CAT 是比特币操作码,从去年开始有以「量子猫」Quantum Cats,也就是「大巫师」Taproot Wizards 的创始人 Udi Wertheimer 为首的社区力量一直在呼喊要「复活」OP_CA
-
争议不断,以太坊正在失去“万链之王”的权威
作者:Climber,金色财经近期围绕以太坊的话题和争议越来越多,不仅 Vitalik 本人需要下场解释观点,就连以太坊基金会也要发布公告来平息社区的质疑声。在本轮牛市周期中,以太坊的表现可谓平平。而美国以太坊现货 ETF 的通过也并未让 ETH 走势如投资者期待般爆发,相反却在币价方面越走越低。这就不免让有着「万链之王」美誉的以太坊逐渐失去投资者和社区的尊重,进而质疑起有关以太坊的方方面面。争议不断,以太坊亟需重塑权威最近一段时间以来社区成员对 Vitalik 言论观点、以太坊基金会乃至以太坊生态系统的
-
从《黑神话:悟空》谈起,GameFi何时能取得真经?
作者:YBB Capital Researcher Zeke前言本文是市场垃圾时间中的一些闲聊,需要对传统游戏市场有一定程度了解。大家可以把这篇文章当作日记或者随想观看,这些只是我在游玩《黑神话:悟空》之后对GameFi的一些粗浅思考,以及对这个赛道未来的看法。一、游戏科学的九九八十一难三天全网销量破千万、Steam玩家同时在线峰值破235万、多家品牌联名周边销售爆火、国家级媒体多次采访、多个游戏取景地可凭游戏通关记录终身免费进入、86版《西游记》YouTube观看量超400万。以上,是《黑神话:悟空》上
-
Gavin Wood:如何防止女巫攻击进行有效空投?
演讲:Gavin WoodGavin 近期一直在关注的女巫攻击(civil resistance)的问题,PolkaWorld 回顾了 Gavin Wood 博士在 Polkadot Decoded 2024 上的主题演讲,想要探究 Gavin 在如何防止女巫攻击上的一些见解。什么是女巫攻击?你们可能知道,我一直在研究一些项目,我在编写灰皮书,专注于 JAM 项目,也在这个方向上做了一些代码的工作。实际上,在过去的两年时间里,我一直在思考一个非常关键的问题,这个问题在这个领域中非常重要,那就是如何防止女巫
-
市场热议,链抽象将成加密新叙事?
2024年,加密货币领域的技术创新持续加速,链抽象(Chain Abstraction)逐渐成为行业内的焦点。链抽象技术的核心在于通过隐藏底层技术的复杂性,让用户能够更加便捷地在多个区块链之间进行操作。传统的区块链技术通常要求用户掌握不同链的操作流程,并需要应对跨链操作中的技术难题,这极大地吸引了新用户的进入。而链抽象的出现,则为这些问题提供了有效的解决方案,成为Web3建设不可忽视的重要一环。01、什么是链抽象及其作用链抽象能够将不同的区块链之间的差异整合在一个统一的操作界面中,使得用户只需一个账户即可
-
今日日报|马斯克和特斯拉赢得“被指控操纵狗狗币”的诉讼;稳定币支付平台Bridge完成5800万美元融资
今日要闻提示:马斯克和特斯拉赢得驳回指控他们操纵狗狗币的诉讼OpenAI和Anthropic已同意将其主要新AI模型在发布前共享给美国政府OKX将上线Hamster Kombat(HMSTR)现货交易X平台纽约总部将于9月13日关闭,预计将迁往得州萨尔瓦多总统布克尔成为《时代》杂志最新一期封面人物稳定币支付公司Bridge完成5800万美元融资数据:MATIC、SHIB、UNI代币头部地址持仓均超50%网龙今年上半年通过出售2.9亿元的加密货币,获利5100万元人民币监管消息美国众议院计划在9月举行多场加
- 成交量排行
- 币种热搜榜