作者:李科
去年以来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年度候选字词出炉 区块链入围:12月9日,“汉语盘点2019”年度各组前五位的候选字词正式出炉,五大候选国际词分别为:巴黎圣母院、区块链、贸易摩擦、黑洞照片、脱欧。区块链的推荐理由为:被重新加持的区块链,真正开始了人类对技术创造未来的认识。[2019/12/10]
近期值得关注的ZK赛道新融资项目
NilFoundation
NilFoundation的全名是“=nil;Foundation”,有点像乱码,其实这个奇怪的名字来源于一个SQL注入玩笑。
成立于2018年的NilFoundation最初是做数据库管理系统。去年底以2.2亿美元的估值完成了2200万美元的融资,由PolychainCapital领投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures等参投。
NilFoundation在LLVM的基础上构建了一个ZK电路编译器,该编译器可以将C++、Rust等高级语言编写的程序编译生成为适当的中间表达(IR),以供ZK系统证明。即NilFoundation是一个电路编译器,而不是虚拟机。
动态 | 汇通网盘点2018年全球金融业十大热词 加密货币上榜:今日汇通网盘点了2018年十大金融业热词,分别为:1)美国政府关门;2)英国脱欧;3)全球贸易摩擦;4)意大利预算危机;5)德国经济失速;6)加密货币泡沫;7)伊朗制裁;8)美联储加息;9)新兴市场货币危机;10)美债收益率。[2019/1/7]
LLVM(LowLevelVirtualMachine)是构架编译器的一种框架系统,可以优化Rust和C++等高级语言编写的程序的编译和运行时间。LLVM最初由伊利诺伊大学的ChrisLattner博士于2000年主持开发。2006年ChrisLattner加盟Apple后开始致力于LLVM在开发系统中的应用,目前LLVM已经被Apple、Microsoft、Google、Facebook等各大公司采用。
除此之外,NilFoundation有个比较特别的地方是建立了一个“证明市场”,通过ProofMarket用户可以付费请拥有硬件的人为他们验证,证明者竞相为支付给他们的用户证明计算,这种自由市场动态将使证明者优化最有价值的证明任务。
SovereignLabs
盘点:红杉资本曾投资火币、Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币项目:今日币安赵长鹏在推特宣布,未来所有在币安上币的项目都需要披露是否与红杉资本有直接或间接的关联。消息一出,多个与红杉资本的项目在币安的价格大幅下跌,业内人士认为这是赵长鹏对红杉资本起诉币安的一次强力反击。早在2014年,红杉资本投资火币,是火币第一大机构股东,目前火币是全球排名前三的交易所。红杉资本还曾投资过Filecoin、Orchid Protocol、IOSToken、Ontology等加密数字货币。[2018/5/7]
专注于构建ZK-RollupSDK的SovereignLabs今年1月完成了740万美元种子轮融资,该轮融资由HaunVentures领投,Maven11、1KX、RobotVentures和PlaintextCapital参投。
SovereignLabs计划构建一个软件开发工具包(SDK),帮助开发人员创建安全且可互操作的零知识Rollup。SovereignSDK旨在简化ZK-Rollup的创建,就像CosmosSDK简化Layer1的创建一样。它是第一个消除零知识复杂性的汇总框架,使开发人员可以轻松构建他们的应用程序,开发人员无需成为密码学专家。使用SovereignSDK,开发人员将能够使用惯用的Rust编写应用程序,SDK将自动将其编译为高效的ZK虚拟机。
午间行情盘点:BTC全球均价8771美元,涨幅0.42%,火币Pro上交易价格为8761美元,币安交易价格为8766美元,OKEx上交易价格为8778美元。其它主流币种在火币Pro的行情为,BCH现价1270美元,涨幅3.98%;ETH现价861美元,涨幅3.17%;ETC现价34.52美元,涨幅11.13%;LTC现价182.2美元,涨幅16.89%;XRP现价1.02美元,涨幅3.87%。[2018/2/14]
SovereignLabs的路线图分为3个部分,第一阶段是在2023年第二季度完成研究设计原型,当前的原型集成了用于数据可用性的Celestia和用于证明的Risc0。第二阶段是SovereignSDK的部署,包括点对点网络、RPC节点、核心API以及默认存储和排序模块。第三阶段是进行代码清理、测试、模糊测试和审计。
Ulvetanna
Ulvetanna是一家构建硬件以提高零知识证明生成效率的初创公司,以5500万美元估值完成了1500万美元的种子轮融资,BainCapitalCrypto和Paradigm共同领投了种子轮融资,JumpCrypto参投。
雅虎财经2018年2月7日加密峰会盘点:
1. 摩根大通区块链负责人Farooq:区块链将从根本上改变商业的运作;数字货币必须解决问题。
2.Blockchain CEO:数字货币最厉害之处,就是在与任何国家无关的情况下成为金融体系的一部分。
3.DCG(数字货币集团)创始人Barry Silbert:大多数币种没有真正的实用性;希望未来让DCG上市。
4.Fundstrat Global Advisors联合创始人Tom Lee:数字货币市场不仅仅是个“十年的故事”,它将持续存在30年。数字货币市场像新兴市场。如果相信区块链,那就必须相信比特币、以太坊以及所有的公链。
5.Indiegogo股权众筹和加密货币投资负责人:最终将需要与监管机构来一次有意义的、权威的对话。
6.Chain联合创始人兼CEO Adam Ludwin:人们其实希望对数字货币进行监管;以加密方式上发行传统货币以后将是这个领域中的很大一部分。
7.瑞波CEO:瑞波超过50%合作金融机构为日本公司,瑞波币将在3-5年内成功;长期看好比特币,认为比特币不会灭亡,但也不会解决付款问题。
8.Goodwin Procter律所合伙人Grant Fondo:不管某个项目看起来有多好,别把鸡蛋放在一个篮子里。
9.数字商会总裁Perianne Boring:数字货币投资者需要做好研究,同时要有批判性思维。[2018/2/8]
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的未来。
标签:ISCEROOLYPOLYFiscusFYIAero TokenPolychain Monsters Genesispolygon币官网
发力AI近十年,百度正在迎来最好的机遇。2月22日晚间,百度发布2022年Q4及全年未经审计的财务报告.
1900/1/1 0:00:00原文:《Ismodulardesignthefuture?》byRobertMcTague编译:倩雯,ChainCatcher我们需要扩容方案为现有的区块链提供流动性和用户服务,从长远来看.
1900/1/1 0:00:00原文标题:《华为「奶」的「Defactor」,到底是做什么的?》原文作者:秦晓峰,Odaily星球日报今天下午,加密社群在广泛传播一张截图.
1900/1/1 0:00:00来源:金色财经记者JessyBlur的创始人TieshunRoquerre无疑是最近最火的加密人物,他于四百多天前创立的NFT交易所Blur,现如今已是NFT交易市场上交易量最大的交易所.
1900/1/1 0:00:00将3月将到来的加密事件分为S、A、B、C四个等级,以方便提前做出埋伏。文章将会呈现S级和A级两个板块。这个展望是每个月初都会写一篇,谢谢大家的关注,我也就不多说客套话了.
1900/1/1 0:00:00在现代的数字世界中,信息交互不断,信息与数据交换的背后,经常涉及到个人的隐私安全。近年来,许多形式的隐私问题引起了激烈的争论,技术和社会方面的结合构成了这场争论的基础.
1900/1/1 0:00:00