作者:李科
去年以来ZK赛道受到了大家的广泛关注,特别是采用ZK-EVM技术的Starknet、zkSync、Polygon EVM、Scroll等明星项目成为大家谈论最多的话题,那ZK-VM又发展如何呢?本文将通过介绍近期新出现的ZK融资项目,为大家梳理ZK赛道的关键概念和发展方向。
为了了解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。
Cointelegraph盘点波场TRON 2022年度22大成就:1月8日消息,日前,区块链行业媒体Cointelegraph发布波场TRON 2022年度的22大成就, 主要包括:TRON DAO成为世界上最大的DAO、扩大与火必的合作、推出稳定币USDD、TRX和USDD获得更多应用场景、成为多米尼克国家公链、建成行业第二大稳定币生态系统、被评为最环保区块链、TVL规模仅次于币安以及用户帐户从6900万增长到1.32亿等。
Cointelegraph在文中称,2022年是波场TRON历史性增长的一年,全年累计新增用户6300万。作为加密行业的全球潮流引领者,波场TRON正在打造一个可以为每个人服务的生态系统基础设施。[2023/1/8 11:00:51]
Nil Foundation
Nil Foundation的全名是“=nil; Foundation”,有点像乱码,其实这个奇怪的名字来源于一个SQL注入玩笑。
成立于 2018 年的Nil Foundation最初是做数据库管理系统。去年底以2.2亿美元的估值完成了2200万美元的融资,由Polychain Capital 领投, Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures等参投。
V神盘点以太坊2020年进步,包括PoS测试网及MakerDAO等:V神在推文中列出以太坊在2017年没有、但是在2020年拥有的东西: Uniswap;http://Tornado.cash;Status;MakerDAO;ZK Rollups(如Loopring),吞吐量超过2000 TPS;PoS测试网;叔块率Ulvetanna
Ulvetanna 是一家构建硬件以提高零知识证明(ZKP)生成效率的初创公司,以5500 万美元估值完成了 1500 万美元的种子轮融资,Bain Capital Crypto 和 Paradigm 共同领投了种子轮融资,Jump Crypto 参投。
Ulvetanna正在构建旨在加速生成 ZKP 过程的硬件,Ulvetanna 的团队包括来自 Coinbase、微软和英特尔的程序员和工程师。
分析 | 交易所资金进出量全面下降 市场将迎来变盘点:据合约帝交易所链上转账报告显示,截至北京时间7月24日18:00,今日BTC流入交易所15522个,较昨日下降29.2%,流出交易所21563个,较昨日下降13.39%。今日ETH流入交易所299081个,较昨日下降16.34%,流出交易所317349个,较昨日下降11.27%。合约帝入驻实盘分析师天启资本分析认为,持续多日的震荡行情依旧接近三角区间的末端,随着交易所资金进出量和成交量的全方位下滑,近日市场将要迎来变盘点。[2019/7/24]
随着未来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-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的未来。
PANews
媒体专栏
阅读更多
金色财经 善欧巴
金色早8点
Odaily星球日报
欧科云链
Arcane Labs
深潮TechFlow
MarsBit
BTCStudy
澎湃新闻
2023 会是 ZK 大年吗?ZK 作为 L2 、隐私、跨链等概念下的核心技术派系,该板块热度自 2022 年延续至今;近期的 ETHdenver 大会上,ZK 持续高热.
1900/1/1 0:00:002023年3月13日,Euler Finance资金池遭遇闪电贷攻击,预计损失总计约1.95亿美元。这一数字也是2023年迄今为止Web3领域所有其他安全事件资产损失总额的两倍以上.
1900/1/1 0:00:00文/Matt Maximo,Michael Zhao,Grayscale;译/金色财经xiaozou尽管上周末有三家美国银行关闭,恐慌蔓延,导致了加密货币价格的暂时下跌.
1900/1/1 0:00:00文//img/2023525220845/0.jpg" />web3和基础设施领域的交易最多。其中,DeFi交易有25笔,而去年12月只有10笔.
1900/1/1 0:00:00背景:经济寒冬大背景之下,全球企业发展也受到大波动,裁员潮也接踵而至。国内外大厂纷纷裁员,国内的如阿里、腾讯、字节跳动、快手、小米等,国外的如Meta、亚马逊、Facebook、推特…年末,有一.
1900/1/1 0:00:00文/Byleo Schwartz,Fortune Crypto;译/金色财经xiaozou 在周三的参议院农业委员会听证会上,美国商品期货交易委员会主席Rostin Behnam声称.
1900/1/1 0:00:00