当前零知识扩展生态的概述

当前零知识扩展生态的概述
2022年03月28日 17:31 金色财经

前言

在过去的几个月里,有关零知识项目的融资、开发和应用程序都加速浮出水面。许多资深的加密专家和机构,以及越来越多杰出的加密技术贡献者相信,当 ZK Rollups(ZKRs)技术大规模运行时,加密生态系统乃至整个世界,都将获得基于该技术的实质性进步。实现 ZKRs 的全面发展还需 5 -10 年时间,但在接下来的几个月里,我们将看到完全兼容 ZKRs 的区块链应用程序涌现。

这篇文章旨在回顾最近 ZKRs 生态的发展,明晰当前 ZK 项目的生态位置,以及了解一些项目 Token 发行的潜在时间线。本文没有解释、区分这些协议的技术细节,因为这需要对各项目方如何权衡在数据可用性、有效性、安全性、自动验证、去中心化程度和许多其它微小性能等方面做出解释,以及需要对每个协议的技术差异进行细致的讨论。

ZK 概述

Rollup 扩展的重点是减少区块链上的费用,这对将 L1 区块链技术扩展到数亿甚至数十亿用户规模来说至关重要。虽然使用欺诈证明(Fraud Proofs)的 Optimistic Rollups(Arbitrum/Optimism)正一定程度上的在解决这个问题,但长远来看,使用链下计算的 ZKRs 扩展是最佳选择。

Vitalik 在它的研究结论中说到:"从中长期来看,随着 ZK-SNARK 技术的改进,ZK Rollups 在所有情况下都将胜出。"

ZKRs 实现了与 Optimistic Rollups 相同的目的:为用户提供隐私选择的同时增加可扩展性。正如 EthHub 上所说:" ZK 通过减少交易中持有的数据量,来减少验证区块时需要的计算资源和存储资源,这将对整个数据生成零知识" 。通俗来说,即 ZK 技术允许用户证明他们拥有或知道某些东西,而无需提供任何关于该东西是什么或包含什么的信息。

加拿大引人注目的金融去平台化事件,以及俄罗斯入侵乌克兰引发的经济制裁,使人们对隐私交易的热情和需求再次兴起,ZK 技术备受关注。

图片来自 Matter Labs

近期 ZK 公告回顾

StarkWare 以 60 亿美元的估值筹集了 1 亿美元,此前在 2021 年 11 以 20 亿美元的估值筹集 5000 万美元。

StarkWare 建立的 StarkNet 于 2 月 22 日完成启动,并将在下半年转向由社区控制。

Immutable X 以 25 亿美元的估值筹集了 2 亿美元的资金。 

GameStop 与 Immutable X 合作建立了 NFT 市场,并宣布为此生态系统提供 1 亿美元的基金。

Aleo 是一个 ZK 技术支持的区块链,2 月 7 日以 14.5 亿美元的估值融资 2 亿美元。

zkSync 开发团队 Matter Labs 在 2021 年 11 月筹集了 5000 万美元,并于 2 月 22 日在以太坊的测试网推出了他们的 zk-EVM 。

Matter Labs 和 BitDAO 宣布成立一个 2 亿美元的 DAO,继续为 zkSync 生态系统的扩张和其核心基础设施的建设服务。

Polygon 以 4 亿美元的价格收购了 Mir Protocol 。

Polygon 之前在 8 月以 2.5 亿美元收购了另一个 ZK Rollup 扩展解决方案 Hermez Network,且合并了他们的代币 MATIC 和 HEZ,共计以 6.5 亿美元购买了该 ZK Rollup 协议。

Polygon 在 2 月 7 日完成了 4.5 亿美元的融资,以支持 ETH 扩展性的提升和 ZK 技术的运作。 

兼容 ZK 技术的 L1 Espresso 经历了前期勤劳的开发,在 3 月 6 日公开发布,已融资 3200 万美元。

Aztec 网络在 2021 年 12 月获得 1700 万美元的 A 轮融资。

Argent 是 ETH DeFi 移动钱包,推出了由 zkSync 驱动的 L2 钱包,其等待名单上的人数超过50万。

当前玩家

StarkWare — 构建了 StarkNet 和 StarkEx 。

StarkNet

StarkNet 是一个基于 ZK-STARKs 的 L2 ZK-Rollup,于 2021 年 11 月 29 日首次登陆 ETH 主网,该团队一直在不遗余力地推出新的功能和更新。

2 月 23 日,StarkNet 的最新版本 StarkNet Alpha 问世,该扩展方案可直接用于应用程序的构建和交易。你可以查看 StarkNet 的网站以了解其生态系统当前的概况 [1] 。

最近,StarkNet 宣布了与 Aave、Opera Browser、DeversiFi 和 Argent 的合作

Token 发行:预计今年下半年将向早期用户空投。

StarkEx

StarkEx 是一个通过 Cairo 编程语言构建的可扩展虚拟机,自 2020 年 6 月部署到主网上以来,已被 DeversiFi、Immutable X、dYdX 和 Sorare 采用。

根据 StarkWare 披露的信息, 3 月 9 日对 StarkEx 使用情况的最新数据统计为:11 亿美元的 TVL,1.23 亿笔交易,以及 4620 亿美元的累计价值。

Token 发行:" 最终由社区管理 "。预计紧随 StarkNet Token 在今年下半年推出之后。StarkEx Token 也将对早期用户进行空投。

zkSync

zkSync 是一个基于 ZK-SNARKs 的 ZK Rollup,由 Matter Labs 开发,于 2020 年 6 月上线。2 月 22 日 zkSync 宣布 zkSync 2.0 已经上线,并在以太坊测试网上实现了第一个 EVM 兼容的 ZK Rollup。

zk-EVM 的意义正如团队的自述:"去年5月,我们提出了对 zkSync 的 zk-EVM 愿景,这是一个无需许可的、图灵完整的 ZK Rollup,将允许开发人员使用 Solidity 语言在一个低费用、高度可扩展的 L2 环境中构建和部署去中心化的应用程序。" 

关于 zkSync 2.0 当前功能的其它细节

关于 zkSync 的更多信息,你可以查看他们用 ZK 解决方案建立的项目生态系统 [2] ,同时可参考 Dune Analytics zkSync 仪表板 [3] ,其中有关于交易、TVL、存款和提款到 zkSync 等信息的概述。

Token 发行:根据的官方文件,确认会有代币存在,但无法预计上线时间。

Immutable X

由 StarkWare 的 StarkEx 支持,$IMX 是 ZK 技术支持的领先协议之一,拥有专注于游戏和 NFT 的应用程序。$IMX 对自己的描述是:" 在交易市场、游戏和应用程序中,体验零 Gas 费、即时交易、以及碳中和的 NFT,无需妥协"。

建立在 $IMX 之上的产品包括 Gods Unchained、Illuvium($ILV)和 TikTok 的 Top Moments 系列。

GameStop x Immutable X :2月3日,GameStop 宣布将基于 $IMX 建立 NFT 市场,设立 1 亿美元的基金专门用于支持在该生态系统内的游戏开发。GameStop 还表示,他们的计划包括在该市场上创建 " 数十亿的低成本的、可轻松购买和出售的,游戏内部资产"。

$IMX 已存在多年,完成了绝大部分必要的重型开发和提升,得以支撑游戏未来的规模,并支持允许 ZK 的 NFT 。

Polygon($ MATIC)

目前有三个独立的 ZK Rollup 扩展方案正在开发中: Polygon Miden 、Polygon Zero、Polygon Hermez。

Polygon 在 2021 年 8 月的博客中 [4] ,介绍了他们对 ZK 技术的承诺,对该领域 10 亿美元的财政拨款,以及对 ZK 技术的总体概述。

Polygon 致力于通过 ZK 支持的解决方案来扩展 ETH ,从他们最近价值约 6.5 亿美元的收购中可得到证明。

Espresso Systems

3 月 6 日,Espresso 经历了前期勤劳的开发,公开发布。

Espresso 将自己描述为:" 一个结合了 POS 共识和 ZK Rollup 机制的 L1 区块链系统 ",将带来 " 单一扩展性和隐私解决方案 " 

发布了 CAPE(Configurable Asset Privacy for Ethereum,以太坊可配置资产隐私),一个 EVM 应用程序。在此之上,用户可选择允许谁看到资产的所有权细节和资产的变动,并能够在 CAPE 内打包和解除当前的 ERC-20 Token。

CAPE 将在未来几周部署到 Rinkeby 测试网,进一步阐释他们的 ZK 扩展解决方案。

Aztec Network

一个基于 zk-SNARKs 的 L2 ZK-Rollup 扩展解决方案," 作为 ERC20 Token 转移和其它 DeFi 互动的隐私保护"。

zk.money 是 Aztec 建立的核心应用程序,允许 MetMask 用户隐秘地发送 DAI 和 ETH,该团队希望今年晚些时候实现资产的全钱包级隐私。

目前部署在 Goerli 测试网。

Aleo

Aleo 是一个支持 ZK 的隐私层区块链," 在链外处理交易,然后由网络节点进行验证(而不是执行和重新执行)" 。

Aleo 在 2 月 7 日的 B 轮融资中筹集了 2 亿美元,目前处于测试网阶段,计划于今年三季度开始着手主网推出。

结论

零知识证明处于月球数学、密码学和技术创新的前沿,推动我们的未来走向全球性的、24H / 7D 的、支持隐私的低费用交易。该领域目前的两个领导者是 zkSync 和 StarkWare (StarkEx / StarkNet),他们都已确认在今年某个时候发行 Token。

从上面各项目的融资轮次和当前的估值来看,市场对 ZKRs 的需求是巨大的。期待已久的 L2 szn 和下游效应终将发生,因为这些协议和其它 L2s 都激励用户和流动性资金的迁移,这为其它协议施加了代币压力。虽然我们需要几个月的时间才能在微观层面上看到这一点(在宏观层面上则还需要几年),但 ZK 技术很可能会改变区块链行业的未来。

对更深入的对技术和实际应用的了解,建议阅读以下链接:

文章 [5] 是 Supercycled 的一篇关于 ZK Rollup 的很棒的帖子,特别讲到了两个主要竞争对手 zkSync 和 StarkWare 之间的差异。

文章 [6] 来自于 Espresso 的联合创始人 Packy McCormick 和 Jill Gunter,介绍了 ZKRs 是什么和能实现什么的。

文章 [7] 是 EthHub 上介绍关于 ZK-SNARKs 和 ZK-STARKs 之间的区别。

文章 [8] 由 Suzuha 解释了 ZK 允许的突破性潜力。

Vitalik 的博客 [9] 总是一个很好的资源,他曾多次写过关于 ZK 技术和 Rollup 的文章。

文章 [10] 是 Polygon 对 Optimistic 和 ZK rollups 的详细分析。

本文涉及的可供阅读的链接:

[1]https://www.starknet-ecosystem.com/

[2]https://ecosystem.zksync.io/

[3]https://dune.xyz/kylin/Zksync

[4]https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/

[5]https://twitter.com/_supercycled/status/1469242551836332032?s=20&t=zxECCXwItMt5u9CDsYjwwQ

[6]https://www.notboring.co/p/zero-knowledge?s=r

[7]https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-starks/#differences-between-zk-snarks-and-zk-starks

[8]https://twitter.com/dystopiabreaker/status/1499864241108844544?s=20&t=7cfBomJMpNHQxGleoxWQzg

[9]https://vitalik.ca/

[10]https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/

END

上一篇:深度解析如何为侧链、多链场景提供更高安全性
下一篇:Vitalik: 两个 slot 的提议者/构建者分离方案