撰文：李科注册送300元打到3000
图片起首：由 Maze AI 生成
客岁以来 ZK 赛谈受到了大家的庸碌模样，十分是遴荐 ZK-EVM 本领的 Starknet、zkSync、Polygon EVM、Scroll 等明星形状成为大家褒贬最多的话题，那 ZK-VM 又发展怎样呢？本文 PANews 将通过先容近期新出现的 ZK 融资形状，为大家梳理 ZK 赛谈的环节意见和发展标的。
ZK、ZK-VM 及 ZK-EVM为判辨解 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。
近期值得模样的 ZK 赛谈新融资形状Nil FoundationNil Foundation 的全名是「=nil; Foundation」，有点像乱码，其实这个奇怪的名字起首于一个 SQL 注入打趣。
建树于 2018 年的 Nil Foundation 领先是作念数据库料理系统。客岁底以 2.2 亿好意思元的估值完成了 2200 万好意思元的融资注册送300元打到3000，由 Polychain Capital 领投， Blockchain Capital、Starkware、Mina Protocol、IOSG Ventures 等参投。
Nil Foundation 在 LLVM 的基础上构建了一个 ZK 电路编译器，该编译器不错将 C++、Rust 等高档言语编写的要津编译生成为适合的中间抒发 (IR)，以供 ZK 系统解释。即 Nil Foundation 是一个电路编译器，而不是假造机。
LLVM(LowLevelVirtualMachine) 是构架编译器的一种框架系统，不错优化 Rust 和 C++ 等高档言语编写的要津的编译和运行时刻。LLVM 领先由伊利诺伊大学的 Chris Lattner 博士于 2000 年主合手开拓。2006 年 Chris Lattner 加盟 Apple 后运行尽力于 LLVM 在开拓系统中的愚弄，当今 LLVM 照旧被 Apple、Microsoft、Google、Facebook 等各大公司遴荐。
除此除外，Nil Foundation 有个比拟十分的方位是修复了一个「解释市集」（Proof Market），通过 Proof Market 用户不错付费请领有硬件的东谈主为他们考据，解释者竞相为支付给他们的用户解释计较， 这种解放市集动态将使解释者优化最有价值的解释任务。
Sovereign Labs专注于构建 ZK-Rollup SDK 的 Sovereign Labs 本年 1 月完成了 740 万好意思元种子轮融资，该轮融资由 Haun Ventures 领投，Maven 11、1KX、Robot Ventures 和 Plaintext Capital 参投。
Sovereign Labs 贪图构建一个软件开拓器具包 (SDK)，匡助开拓东谈主员创建安全且可互操作的零学问 Rollup。Sovereign SDK 旨在简化 ZK-Rollup 的创建，就像 Cosmos SDK 简化 Layer1 的创建相同。它是第一个摒弃零学问复杂性的汇总框架，使开拓东谈主员不错温和构建他们的愚弄要津，开拓东谈主员无需成为密码学大家。使用 Sovereign SDK，开拓东谈主员将梗概使用习用的 Rust（或是 C++）编写愚弄要津，SDK 将自动将其编译为高效的 ZK 假造机。
Sovereign Labs 的阶梯图分为 3 个部分，第一阶段是在 2023 年第二季度完成究诘联想原型，面前的原型集成了用于数据可用性的 Celestia 和用于解释的 Risc0。第二阶段是 Sovereign SDK 的部署，包括点对点汇注、RPC 节点、中枢 API 以及默许存储和排序模块。第三阶段是进行代码计帐、测试、暧昧测试和审计。
UlvetannaUlvetanna 是一家构建硬件以进步零学问解释（ZKP）生成成果的初创公司，以 5500 万好意思元估值完成了 1500 万好意思元的种子轮融资，Bain Capital Crypto 和 Paradigm 共同领投了种子轮融资，Jump Crypto 参投。
Ulvetanna 正在构建旨在加快生成 ZKP 进程的硬件，Ulvetanna 的团队包括来自 Coinbase、微软和英特尔的要津员和工程师。
跟着当年 ZKP 需求的的加多， ZKP 需要广泛计较，这就需要稠密的硬件并消费广泛电力。 Ulvetanna 以为 ZKP 生成在疏淡联想的硬件上要高效得多，因此 Ulvetanna 组建了一支由愚弄密码学家、软件和硬件工程师、数据中心和云架构师以及加密原生投资者构成的警戒丰富的团队，通过承接密码学和高性能计较来提供高效的 ZKP 硬件计较处事。
CysicZK 硬件初创公司 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 OracleZK 预言机汇注 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 ZERORISC 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 不错遴荐进修的编译器和提示集架构）注册送300元打到3000，如果 ZK-VM 也不错很好的支柱 Solidity，也许 ZK-VM 才是 Web3 的当年。