作者:李可
从去年开始，ZK赛道受到了大家的广泛关注，尤其是Starknet、zkSync、Polygon EVM、Scroll等采用ZK-EVM技术的明星项目成为了大家谈论最多的话题。ZK虚拟机的开发情况如何？本文将通过介绍最近出现的ZK融资项目，梳理ZK轨道的关键概念和发展方向。
ZK、ZK-VM和ZK-EVM为了了解ZK轨道每个项目背后的技术特点，让我们先了解一下与ZK相关的基本概念。
ZKP(Zero Knowledge Proof)代表零知识证明(Zero Knowledge Proof)，意思是通过数学密码学解决区块链的私密性和扩展性问题，主要是通过证明者和验证者在不泄露数据的情况下验证数据的正确性。
ZK虚拟机是一个基于零知识证明的虚拟机，它将ZK和虚拟机结合在一起。ZK-VM一般由两个重要组件组成:一个是编译器，可以编译C++和Rust等高级语言生成中间表达式(IR)供ZK系统证明；一个是ISA(指令集架构)，主要是指令CPU的操作，是用来指导CPU操作的一系列指令集。
ZK EVM是一种ZK虚拟机。它的主要特点是可以兼容以太坊的EVM，支持用Solidity编写的智能契约在其虚拟机上运行，从而帮助以太坊第二层的扩展。Starknet、zkSync、Scroll和Polygon hermez都属于ZK-EVM公司。
Nil基金会——ZK轨道近期值得关注的新融资项目
的全称是" = nil基金会”，有点像胡言乱语，其实这个奇怪的名字来自一个SQL注入笑话。
Nil Foundation成立于2018年，最初是一个数据库管理系统。去年底完成2200万美元融资，估值2.2亿美元，由Polychain Capital领投，区块链资本、Starkware、Mina Protocol、IOSG创投等参与。
Nil Foundation构建了一个基于LLVM的ZK电路编译器，可以将C++和Rust等高级语言编写的程序编译成合适的中间表达式(IR)供ZK系统证明。也就是Nil Foundation是电路编译器，不是虚拟机。
LLVM(LowLevelVirtualMachine)是一个构建编译器的框架系统，可以优化用Rust、C++等高级语言编写的程序的编译和运行时间。LLVM最初是由伊利诺伊大学的克里斯·拉特纳博士在2000年开发的。2006年克里斯·拉特纳加入苹果后，开始致力于LLVM在开发系统中的应用。目前，LLVM已经被苹果、微软、谷歌和脸书等大公司采用。
此外，Nil基金会还建立了一个“证明市场”。通过证明市场，用户可以付费给有硬件为他们验证的人，而认证者则竞相为付费的用户计算证书。这种自由市场动态将使认证机构优化最有价值的认证任务。
主权实验室
专注于ZK-Rollup SDK建设，今年1月完成740万美元种子轮融资，由Haun Ventures领投，Maven 11、1KX、Robot Ventures、Plaintext Capital参与。
Sovereign Labs计划建立一个软件开发工具包(SDK ),以帮助开发人员创建一个安全且可互操作的零知识汇总。Sovereign SDK旨在简化ZK汇总的创建，就像Coos SDK简化第1层的创建一样。它是第一个消除零知识复杂性的聚合框架，因此开发人员可以轻松构建他们的应用程序，而无需成为密码学家。有了Sovereign SDK，开发人员将能够使用普通的Rust(或C++)编写应用程序，SDK会自动将它们编译成高效的ZK虚拟机。
主权实验室的路线图分为三个部分。第一阶段是2023年第二季度完成研究设计样机。当前的原型集成了Celestia用于数据可用性，集成了Risc0用于验证。第二阶段是Sovereign SDK的部署，包括对等网络、RPC节点、核心API以及默认存储和排序模块。第三阶段是代码清理、测试、模糊测试和审计。
乌尔韦塔纳
是一家构建硬件提高零知识证明(ZKP)一代效率的初创公司，完成了1500万美元的种子轮融资，估值5500万美元。贝恩资本Crypto和Paradigm联合领投种子轮融资，Jump Crypto参与。
Ulvetanna正在制造硬件来加速生成ZKP的过程。Ulvetanna的团队包括来自比特币基地、微软和英特尔的程序员和工程师。
随着未来ZKP需求的不断增加，ZKP需要大量的计算，这需要强大的硬件，消耗大量的电力。Ulvetanna认为ZKP一代在专门设计的硬件上效率要高得多，因此Ulvetanna组建了一支由应用程序密码专家、软硬件工程师、数据中心和云架构师以及加密原生投资者组成的经验丰富的团队，通过结合密码学和高性能计算来提供高效的ZKP硬件计算服务。
Cysic
2022年12月，ZK硬件创业公司完成了600万美元的种子轮融资，由Polychain Capital领投，其他投资者包括哈希基、SNZ控股、Web3.com基金会和ABCDE。
Cysic旨在为ZK验证提供硬件加速解决方案。目前，Cysic的合作伙伴包括Scroll、Nil Foundation和Hyper Oracle。
Cysic团队开发了多标量乘法(M)的FPGA原型，这是一种可编程硬件，类似于CPU和GPU芯片。
超级甲骨文
ZK甲骨文网络最近完成了由dao5和红杉中国种子基金联合领投的300万美元种子轮融资，随后是Foresight Ventures和FutureMoney Group。
Hyper Oracle正在基于zkWA虚拟机开发ZK中间件协议和zkOracle，以解决区块链中间件在安全性、去中心化、计算完整性和性能方面的挑战。
多面体
最近，ZK基础设施初创公司完成了由币安实验室和Polychain Capital联合领投的1000万美元融资，Animoca Brands和Dao5参与了融资。
多面体基于ZK技术开发了三款ZK产品:包括ZK bridge)；对于L1和L2资产传输；ZK-DID，使用零知识证明技术保护隐私的用户身份解决方案；一种可编程的NFT协议ZK-NFT，它使用零知识证明技术来保护用户资产的隐私。目前zkBridge的测试网络已经上线。此外，多面体还开发了一个名为ParaPlonk的扩展方案，可以使用大规模分布式证明生成网络来加速ZK卷。多面体计划集成更多的区块链，并通过API和SDK工具使开发者更容易访问，以吸引更多的ZK-rollup开发者。
RISC零
(融资信息尚未公布)是一个开源的通用ZK-VM。这个项目的名字来源于流行的RISC(精简指令集计算机)。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甲骨文、bridge等。
同时，这些项目还呈现出一个趋势，即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也能很好地支持可靠性，也许ZK-VM就是Web3的未来。
温馨提示：注：内容来源均采集于互联网，不要轻信任何，后果自负，本站不承担任何责任。若本站收录的信息无意侵犯了贵司版权，请给我们来信，我们会及时处理和回复。
原文地址"zk web，zk create"：http://www.ljycsb.cn/qukuailian/246379.html。
微信扫描二维码投放广告
▲长按图片识别二维码
