去年以来ZK赛道受到了大家的广泛关注,特别是采用ZK-EVM技术的Starknet、zkSync、PolygonEVM、Scroll等明星项目成为大家谈论最多的话题,那ZK-VM又发展如何呢?本文PANews将通过介绍近期新出现的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。近期值得关注的ZK赛道新融资项目
金色晨讯 | 7月11日隔夜重要动态一览:21:00-7:00关键词:韩国、日本、纽约、中科院
1.韩国银行将与现有的加密货币交易合同延长至9月;
2.比特币和狗狗币是45%的年轻英国人的第一笔投资;
3.检察官:以太坊开发者Virgil Griffith应该返回监狱等待审判;
4.日本有近350万公民交易数字资产;
5.美国康涅狄格州的 Coinstar 客户可以使用零钱购买 BTC;
6.纽约一发电厂开始采用多余的能源开采比特币;
7.拥有10万至100万BTC的最大比特币钱包占比处于27个月高位;
8.中科院软件所区块链应用研究联合实验室海南分中心正式授牌。[2021/7/11 0:42:53]
NilFoundationNilFoundation的全名是“=nil;Foundation”,有点像乱码,其实这个奇怪的名字来源于一个SQL注入玩笑。成立于2018年的NilFoundation最初是做数据库管理系统。去年底以2.2亿美元的估值完成了2200万美元的融资,由PolychainCapital领投,BlockchainCapital、Starkware、MinaProtocol、IOSGVentures等参投。NilFoundation在LLVM的基础上构建了一个ZK电路编译器,该编译器可以将C++、Rust等高级语言编写的程序编译生成为适当的中间表达(IR),以供ZK系统证明。即NilFoundation是一个电路编译器,而不是虚拟机。LLVM(LowLevelVirtualMachine)是构架编译器的一种框架系统,可以优化Rust和C++等高级语言编写的程序的编译和运行时间。LLVM最初由伊利诺伊大学的ChrisLattner博士于2000年主持开发。2006年ChrisLattner加盟Apple后开始致力于LLVM在开发系统中的应用,目前LLVM已经被Apple、Microsoft、Google、Facebook等各大公司采用。除此之外,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虚拟机。SovereignLabs的路线图分为3个部分,第一阶段是在2023年第二季度完成研究设计原型,当前的原型集成了用于数据可用性的Celestia和用于证明的Risc0。第二阶段是SovereignSDK的部署,包括点对点网络、RPC节点、核心API以及默认存储和排序模块。第三阶段是进行代码清理、测试、模糊测试和审计。UlvetannaUlvetanna是一家构建硬件以提高零知识证明生成效率的初创公司,以5500万美元估值完成了1500万美元的种子轮融资,BainCapitalCrypto和Paradigm共同领投了种子轮融资,JumpCrypto参投。Ulvetanna正在构建旨在加速生成ZKP过程的硬件,Ulvetanna的团队包括来自Coinbase、微软和英特尔的程序员和工程师。随着未来ZKP需求的的增加,ZKP需要大量计算,这就需要强大的硬件并消耗大量电力。Ulvetanna认为ZKP生成在专门设计的硬件上要高效得多,因此Ulvetanna组建了一支由应用密码学家、软件和硬件工程师、数据中心和云架构师以及加密原生投资者组成的经验丰富的团队,通过结合密码学和高性能计算来提供高效的ZKP硬件计算服务。CysicZK硬件初创公司Cysic于2022年12月完成了600万美元的种子轮融资,由PolychainCapital领投,其他投资者包括Hashkey、SNZHolding、ABCDE和Web3.com基金会。Cysic旨在为ZK证明提供硬件加速解决方案。目前Cysic的合作伙伴包括Scroll、NilFoundation和HyperOracle。Cysic团队开发了多标量乘法(MSM)的FPGA原型,FPGA是一种可编程硬件,类似于CPU和GPU芯片。HyperOracleZK预言机网络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开发人员。RISCZERORISCZero是一个开源的通用型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赛道的典型项目。
金色晚报 | 6月26日晚间重要动态一览:12:00-21:00关键词:摩根大通、以太坊2.0、特斯拉、BlockFi
1. BlockFi下调利息账户 (BIA) 的BTC等的利率,将于7月1日生效
2. 特斯拉Q2前瞻:比特币暴跌或影响净利润
3. 摩根大通调查:三成受访机构投资者认为比特币是“老鼠药”
4. 资产管理公司从CME比特币期货空头转为多头
5. 以太坊2.0合约已锁定590万枚ETH,占总流通量5.08%,达历史新高
6. Morgan Creek Digital完成第三只规模为8000万美元的加密投资基金募集
7. 人民银行数字货币研究所联合发起的上海金融科技有限公司揭牌[2021/6/26 0:08:28]
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的未来。
独家 | Bakkt期货合约数据一览:金色财经报道,BakktVolume Bot数据显示,3月23日,Bakkt比特币月度期货合约单日交易额为1311万美元,环比上升71%,未平仓合约量为395万美元,环比上升9%。[2020/3/24]
金色晚报 | 1月14日晚间重要动态一览:12:00-21:00关键词:央行、发改委、姚前、日本金融厅、比特币?
1. 央行:6个创新应用主要聚焦区块链等前沿技术在金融领域的应用。
2. 北京发改委新闻发言人:区块链在不动产登记领域应用,单笔材料核验时间降至2分钟。
3. 北京金融科技创新监管试点聚焦区块链等前沿技术在金融领域的应用。
4. 姚前:需加强链上和链下数据治理 建立区块链数字治理体系。
5. 日本金融厅公布关于虚拟货币的《修订后的资金清算法》。
6. 度小满、京东、银联等机构项目进入北京金融局监管沙盒。
7. 金融稳定委员会(FSB)召开会议讨论关于稳定币的国际合作方案。
8. 印度最高法院准备审理“印度储备银行加密货币相关听证会”。
9. 俄罗斯国家杜马官员:数字资产的新法律极有可能将于今年春季获得通过。
10. 比特币日内涨幅超6%,最高涨至8622.34美元。[2020/1/14]
金色午报 | 1月3日午间重要动态一览:7:00-12:00关键词:数字货币试点、处非联办、Libra、Poloniex、GitHub
1. 深圳数字货币试点将进入交通、教育、医疗等服务场景。
2. 处非联办:将在2020年春节开展防范非法集资宣传,关注区块链等重点领域。
3. 德国央行行长:银行应升级转账系统,以对抗Libra等替代方案。
4. 嘉兴市委书记张兵:推动构建区块链产业生态,推动集成创新和融合应用。
5. 科技日报:以区块链技术为抓手 推进国家治理体系和治理能力现代化。
6. Poloniex:并未出现数据泄漏,要求客户重置密码系出于保险考虑。
7. 2019年比特币调整结算额6730亿美元,较2018年下降11%。
8. GitHub活跃度年度排行榜:INS第1、BTC第19、ETH第38。[2020/1/3]
标签:ISCEROPOL区块链genesischainMonero Originalpoloniex如何提现区块链工程专业学什么课程比较好
本篇文章探讨了VR元宇宙的现状和问题,重点分析了Highstreet、MixVerse和Ceek三个项目,分别比较了它们在实现难度、实现速度和技术难度上的差异.
1900/1/1 0:00:00一、钱包与Web3应用的困境钱包在Web3世界是资产、身份、账号的统一体,加上其在不同应用之间的一致性和可组合性,其重要程度甚至超过了微信或Google账号在传统世界位置.
1900/1/1 0:00:00概述在区块链上具有通缩机制的代币最近经常受到攻击。本文将讨论并分析通缩机制代币受到攻击的原因,并给出相应的防御方案。在代币中实现通缩机制通常有两种方式,一种是燃烧机制,另一种是反射机制.
1900/1/1 0:00:00近期,一向「古板」的比特币似乎又「时髦」了起来。不仅有人通过Ordinals协议搞起了比特币NFT,就连一直不温不火的比特币DeFi和Layer2最近也被人频频关注,相关Token也涨幅不小.
1900/1/1 0:00:00过去24小时,市场出现了不少新的热门币种和话题,或许它们就是下一个市场焦点。总结1.热门币种方面:DegenZoo:昨日degenzooTGE,同时上线中心化+去中心化交易所,用户转移代币/购买.
1900/1/1 0:00:002022年,由于ZK-Rollups在以太坊领域取得进展,零知识证明成为Web3年度关热词。甚至有人预测下一轮牛市的发动机就将会是零知识证明,并宣称零知识证明之于Web3的重要性,能和Bitco.
1900/1/1 0:00:00