前言

在过去的几个月里,有关零知识项目的融资、开发和应用程序都加速浮出水面。许多资深的加密专家和机构,以及越来越多杰出的加密技术贡献者相信,当 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 技术备受关注。

近期 ZK 公告回顾

  1. 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 。

  1. Matter Labs 和 BitDAO 宣布成立一个 2 亿美元的 DAO,继续为 zkSync 生态系统的扩张和其核心基础设施的建设服务。
  2. Polygon 以 4 亿美元的价格收购了 Mir Protocol 。
  3. Polygon 之前在 8 月以 2.5 亿美元收购了另一个 ZK Rollup 扩展解决方案 Hermez Network,且合并了他们的代币 MATIC 和 HEZ,共计以 6.5 亿美元购买了该 ZK Rollup 协议。
  4. Polygon 在 2 月 7 日完成了 4.5 亿美元的融资,以支持 ETH 扩展性的提升和 ZK 技术的运作。
  5. 兼容 ZK 技术的 L1 Espresso经历了前期勤劳的开发,在 3 月 6 日脱颖而出,已融资 3200 万美元。
  6. Aztec 网络在 2021 年 12 月获得 1700 万美元的 A 轮融资。
  7. 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 ZeroPolygon 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 和下游效应终将发生,因为这些协议和其它 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

zCloak Network 是基于波卡生态的隐私计算服务平台,使用zk-STARK 虚拟机为通用计算进行零知识证明的生成与验证。基于独创的自主权数据自证明计算技术,可以让用户在无需对外发送数据的情况下,实现对数据的分析和计算。通过波卡跨链消息传递机制,可以为波卡生态内的其它平行链以及其它公链提供数据隐私保护支持。项目会采用“零知识证明即服务”的商业模式,打造一站式的多链隐私计算基础设施。

原文出自Page One,原文链接:https://page1.substack.com/p/the-zero-knowledge-landscape?s=r

转载请注明原文与本文出处及翻译团队zCloak Network