去年以来?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。
金色晚报 | 11月13日晚间重要动态一览:12:00-21:30关键词：白俄罗斯、PayPal、CME、BCH硬分叉升级
1. 白俄罗斯国有银行计划推出加密货币交易服务。
2. 2Miners在以太坊及ETC核心库中发现网络bug漏洞。
3. 数据：PayPal目前每天可能处理价值2000万美元比特币交易量。
4. 数据：2020年CME大型比特币交易商数量比去年增加一倍多。
5. 数据：距离BCH 11月15日硬分叉升级还有约2天3小时。
6. 央行数字货币研究所与拉卡拉签署战略合作协议。
7. ETC官方再次建议Besus节点运营商进行Thanos升级更新。
8. 江卓尔：此次BCH硬分叉是一次良性的分叉。
9. 以太坊建议Gas费用为37.38Gwei，环比下降15.91%。[2020/11/13 20:46:08]
NilFoundation的全名是“=nil;Foundation”，有点像乱码，其实这个奇怪的名字来源于一个?SQL?注入玩笑。
成立于2018年的?NilFoundation?最初是做数据库管理系统。去年底以?2.2?亿美元的估值完成了?2200?万美元的融资，由?PolychainCapital领投，BlockchainCapital、Starkware、MinaProtocol、IOSGVentures?等参投。
金色晨讯 | 6月26日隔夜重要动态一览:21:00-7:00关键词：美国新冠肺炎、以太坊2.0、Telegram
1.美国新冠肺炎确诊病例超240万例。
2.CME比特币衍生品未平仓合约创新高。
3.DeFi生态中锁定的资产总价值突破16亿美元。
4.灰度以太坊信托价格已从6月高点下跌65％。
5.以太坊2.0Altonav0.12测试网将于6月29日启动。
6.美国SEC向法院提交Telegram开放网络项目终审判决提案。
7.俄罗斯基于区块链的宪法修正案投票系统今日上线后故障频出。
8.Kadena推出区块链应用程序以验证COVID-19检测真实进行。
9.比特币小幅震荡，日内最高报9340美元，最低报9212.04美元。[2020/6/26]
NilFoundation?在?LLVM?的基础上构建了一个?ZK?电路编译器，该编译器可以将?C、Rust?等高级语言编写的程序编译生成为适当的中间表达(IR)，以供?ZK?系统证明。即?NilFoundation?是一个电路编译器，而不是虚拟机。
LLVM(LowLevelVirtualMachine)是构架编译器的一种框架系统，可以优化?Rust?和?C等高级语言编写的程序的编译和运行时间。LLVM?最初由伊利诺伊大学的?ChrisLattner?博士于?2000?年主持开发。2006?年?ChrisLattner?加盟?Apple?后开始致力于?LLVM?在开发系统中的应用，目前?LLVM?已经被?Apple、Microsoft、Google、Facebook?等各大公司采用。
金色晨讯 | 5月19日隔夜重要动态一览:21:00-7:00关键词：新冠肺炎、Block.one、以太坊交易费
1.美国新冠肺炎确诊病例超过150万例。
2.CME比特币期货5月合约收涨3.7%。
3.美联储将维持利率在接近零的水平直至经济重回正轨。
4.投资者就EOS ICO对Block.one提起集体诉讼。
5.以太坊交易费涨超160%5月平均交易费接近0.3美元。
6.分析：USDT场外价格持续负溢价或有大量海外机构套利。
7.数据：5月17日BTC链上只产生了95个区块。
8.人大范志勇：央行数字货币将促进我国数字支付产业健康发展。
9.比特币夜间小幅震荡，最高报9755美元，最低报9551.60美元。[2020/5/19]
除此之外，NilFoundation?有个比较特别的地方是建立了一个“证明市场”，通过?ProofMarket?用户可以付费请拥有硬件的人为他们验证，证明者竞相为支付给他们的用户证明计算，这种自由市场动态将使证明者优化最有价值的证明任务。
SovereignLabs
专注于构建?ZK-RollupSDK?的SovereignLabs?今年?1?月完成了?740?万美元种子轮融资，该轮融资由?HaunVentures?领投，Maven11、1KX、RobotVentures?和?PlaintextCapital?参投。
金色晨讯 | 5月12日隔夜重要动态一览:21:00-7:00关键词：减半、央行数字货币、ETH2.0、监管
1.BTC已完成第三次减半。
2.姚前：Libra与数字美元结合将是公私合作绝佳典范。
3.美国前财长：如果央行发行数字货币则是使匿名金融形式更难繁荣。
4.前CFTC主席：数字美元将使政府更准确地分配刺激资金。
5.CME比特币期货5月合约收跌12.31%。
6.V神：借助多客户端测试网Schlesi ETH2.0正在步入正轨。
7.Tether向波场网络增发1亿枚USDT（已授权未发行）。
8.美国OCC官员建议提供针对加密公司的联邦许可框架。
9.外媒：减半后或有30%的比特币矿工关闭矿机。
10.比特币夜间最低跌至8206.05美元，日内最高报8924.83美元。[2020/5/12]
SovereignLabs?计划构建一个软件开发工具包(SDK)，帮助开发人员创建安全且可互操作的零知识?Rollup。SovereignSDK旨在简化ZK-Rollup的创建，就像CosmosSDK简化?Layer?1?的创建一样。它是第一个消除零知识复杂性的汇总框架，使开发人员可以轻松构建他们的应用程序，开发人员无需成为密码学专家。使用SovereignSDK，开发人员将能够使用惯用的Rust编写应用程序，SDK将自动将其编译为高效的ZK?虚拟机。
金色晚报 | 5月4日晚间重要动态一览:12:00-21:00关键词：央行行长、澳中供应链联盟、Phoenix硬分叉
1.央行行长易纲：将继续研究如何加强央行数字货币的风险管理。
2.万事达、支付宝和VeChain加入澳中供应链联盟 利用区块链认证和跟踪食品。
3.Ghost博客平台服务器被黑客入侵并感染挖矿木马 目前已修复。
4.莱特币MW协议集成四月开发进展：已构建测试框架开始代码库集成。
5.Phoenix硬分叉升级预计时间为6月3日。
6.近一周Tether新增印钞5.82亿USDT。
7.广州市南沙区：利用区块链等技术打造“无证明自贸区”。
8.报告：4月韩国交易所有关币种上线或下架公告共99篇。
9.比特币小幅下跌，日内最高报8955美元，最低报8521美元。[2020/5/4]
SovereignLabs?的路线图分为?3?个部分，第一阶段是在?2023?年第二季度完成研究设计原型，当前的原型集成了用于数据可用性的Celestia和用于证明的Risc?0?。第二阶段是?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最近完成了由dao?5和红杉中国种子基金共同领投的300万美元种子轮融资，ForesightVentures、FutureMoneyGroup?等跟投。
HyperOracle?正在基于?zkWASM虚拟机开发?ZK?中间件协议和ZK?预言机?zkOracle的开发，以解决区块链中间件的安全性、去中心化、计算完整性和性能方面的挑战。
Polyhedra
最近ZK?基础设施初创公司PolyhedraNetwork?完成了由?BinanceLabs和PolychainCapital共同领投的?1000万美元融资，AnimocaBrands和Dao?5参投。
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的未来。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。