# 翻译：零知识证明一览,（The Zero-Knowledge Landscape ）

**Published by:** [Tiga](https://paragraph.com/@tigafeng/)
**Published on:** 2022-04-06
**URL:** https://paragraph.com/@tigafeng/the-zero-knowledge-landscape

## Content

原文：https://page1.substack.com/p/the-zero-knowledge-landscape?utm_source=substack&utm_campaign=post_embed&utm_medium=web&s=r tokeninsight weyne推荐：推荐连接https://tokeninsight.com/zh/blogs/11542 零知识证明一览 （The Zero-Knowledge Landscape ） 概述（overview） 概括加密生态系统的最新情况有时是一项艰巨的任务，经常也可以看到一些特定的项目的故事或炒作。过去的几个月里，零知识证明项目的资金，开发与应用加速向前推进。许多天才，crypto OG与越来越多的Crypto杰出贡献者相信，当ZK-Rollup（ZKRs）技术取得突破，ZK-Rollup将大范围的应用于crypto生态，乃至应用于世界。虽然全面开发区块链还需要5-10年的时间，但在接下来的几个月里，我们将看到完全兼容ZKR的区块链应用程序。这篇文章主要是回顾ZK最近的发展，当前ZK玩家的状态，以及他们当前的build时间表，我们正在不断接近ZK的未来。本文没有解释技术细节，因为这些需要对数据可用性、有效性和意愿验证（volition verification）、安全性和去中心化进行细致入微的讨论。文章底部有些链接，包括zkSync 与 StarkAware这两个深入的讨论。 ZK综述（ZK overview） Rollup扩容致力于降低区块链的费用，将区块链技术（L1）扩展到数亿甚至数十亿用户来说至关重要。虽然使用欺诈证明（fraud proofs）的Optimistic Rollup现在取得不错的扩容效果，但是ZK-Rollup使用的链下计算才是未来扩容的最佳选择。最深入的Rollup研究来之Vitalik，他总结到“中长期看，随着ZK-SNARK技术的改进，ZK-Rollup会最终胜出”。ZK-Rollup与Optimistic Rollup的目标相同，为用户提供了隐私选项的同时增加了扩展性。正如EthHub所示：“ZK 通过减少交易中的数据量，降低了验证区块的计算与存储资源；完整数据的零知识证明是有必要的“。从技术原理上来说，ZK允许在不提供任何信息的情况下证明他们拥有或者知道什么。在加拿大高调的金融去平台化以及俄乌冲突引发的经济制裁之后，ZK科技一直备受关注，人们对隐私交易的热情和需求也在恢复。 ZK最近的公告（Recent ZK Announcement Recap） StarkWare宣布以60亿估值融资1亿美元，此前StarkWare在2021-11月以20亿估值进行5000w融资 StarkWare构建的StarkNet与2月22日完成发布，并将在下半年转为社区运营 Immutable X以25亿美元估值融资2亿美元 GameStop与Immutable X合作建立他们的NFT市场，并宣布为他们的生态系统投资1亿美元 ZK区块链技术公司Aleo以14.5亿美元估值融资2亿美元 zkSync开发商Matter Labs 在2021年11月融资5000w美元，并于2月22日在以太坊测试网发布了它们的zkEVM。 Matter Labs & BitDAO 宣布了一个2亿美元的DAO，以继续扩展zkSync生态系统的核心基础设施建设 Polygon以400w美元收购ZK rollup初创公司Mir Protocol Polygon之前在8月以2.5亿美元收购了Hermez Network，这是另一个ZK rollup扩容解决方案，合并了他们的token $MATIC和$HEZ，总共花费6.5亿美元购了ZK rollup协议 2月7日，Polygon获得4.5亿美元的最新一轮融资，以发展ETH扩容与ZK 技术 Espresso，服务于L1的ZK技术，在3月6日宣布成立3200w美元的基金 Aztec Network在2021年12月完成A伦融资1700w美元 以太坊移动钱包Argent推出了有50w白名单的zkSync功能的L2钱包 Current Players StarkWare：构建 StarkNet 与StarkEx StarkNet StarkNet是一个使用ZK-STARKs的ZK-Rollup L2，于11月29日首次发布在ETH主网上，该团队一直在不懈地发布新特性与更新。 在2月23日，StarkNet宣布了它们的最新版本StarkNet Alpha，并且该扩展解决方案已经准备好应用于程序构建与交易。细节需查看StarkNet生态系统网站 最近，StarkNet宣布与Aave、Opera Browser、DeversiFi和Argent等无数其他协议达成合作伙伴关系， 这些协议将会部署在StarkNet上 Token计划：“今年下半年”——大概是空投给早期用户 StarkEx StarkEx是一个通过编程语言Cairo构建的可扩展引擎，自2020年6月上线主网，目前被DeversiFi, Immutable X, dYdX, and Sorare所使用 根据StarkWare的数据，他们从3月9日起最新的StarkEx使用情况是11亿美元TVL, 1.23亿笔交易，累计价值4620亿美元 什么时候发币：作者预估今年下半年空投给早期用户，发币后转为DAO zkSync zkSync是使用ZK-SNARKs的ZK-Rollup，由Matter Labs开发，自2020年6月以来一直在运行。在2月22日的一条推文中，zkSync宣布zkSync 2.0已经上线，并且在以太坊的测试网中包含了第一个evm兼容的ZK Rollup。 上面的推文中包含了zkEVM里程碑的含义，“去年5月，我们展示了zkSync的zkEVM的愿景，一个无需许可、图灵完备的ZK Rollup，允许开发者以低成本构建和部署Dapp，使用以太坊本地编程语言Solidity的高度可扩展的L2。” 关于zkSync的更多信息，可以查看使用ZK构建的项目生态系统，，并参考Dune Analytics 的zkSync数据面板，其中有交易、TVL、zkSync的存款和取款等信息 Immutable X 由StarkWare的StarkEx驱动，IMX是ZK技术的领先协议之一，聚焦于游戏与NFT。IMX称自己是“0 gas，及时交易，环境友好的NFT与游戏交易市场” 基于IMX的项目包括：Gods Unchained, Illuvium ($ILV), and TikTok’s Top Moments collections 2月3日GameStop宣布在IMX上构建NFT交易平台，并宣布将投资1亿美元用于激励其生态内游戏的开发。GameStop计划构建的平台是gas便宜，游戏资产可以自由买卖的。 IMX已经建立了多年，并完成了大量的开发，以确保ZK能够支持的未来的nft和游戏规模 Polygon（$MATIC） 目前有三个独立的ZK-rollup正在开发中 Polygon Miden：一个基于STARK，支持任意智能合约的zk-Rollup。目前正在开发中 Polygon Zero：支持Rollup与有效模式（validium modes），给用户提供高吞吐量与低gas。目前正在开发 Polygon Hermez：一个开源的，安全的，低成本的zk-Rollup Polygon在2021年8月写了一篇很好的博客，介绍了它们的ZK技术与10亿美元的拨款 虽然目前Polygon的ZK-Rollup详细时间线还没有给出，但是从它们6.5亿美元的收购中可以明显看出Polygon致力于通过ZK来扩容以太坊 Espresso Systems Espresso在3月6日宣布了他们的基金 Espresso自称为“一个结合了POS共识与ZK-Rollup机制的L1，一个single-shot扩容，隐私的解决方案“ 发布的CAPE（Configurable Asset Privacy for Ethereum，以太坊可配置资产隐私）是一个EVM程序，通过在CAPE内包装（wrap）或解包（unwrap）ERC-20代币的能力，允许用户定制谁可以看到所有权细节和资产的移动。 CAPE将在“未来几周”部署到Rinkeby测试网，并进一步详细介绍他们的ZK扩展解决方案。 Aztec Network 一个L2 ZK-Rollup扩展解决方案，“作为ERC20 Token 交易和其他DeFi交互的隐私屏蔽”。 zk.money是一个由Aztec构建的核心应用程序，允许MetaMask用户秘密转移DAI和ETH，团队希望今年晚些时候实现全面的钱包级别资产隐私 Aztec的L2 Rollup解决方案使用zk-SNARKs，目前已部署在Goerli测试网 Aleo Aleo是一个启用ZK的私有基础层区块链，默认情况下，它“在链外处理事务，然后由网络节点验证（不是执行与重新执行）” Aleo在2月7日的B轮融资中筹集了2亿美元，他们的区块链目前正在测试网中，计划在今年第三季度登陆主网 结论与扩展阅读，（Conclusion & Further Reading） 零知识证明是数学，密码学的前沿，不断推动我们走向全球24小时×7，具备隐私且便宜的交易未来。当前零知识证明的两个领头羊zkSync与StarkWare(StarkEx/StarkNet)明确了今年的发币计划。从它们当前的融资与估值来看，发币的需求是巨大的，等待已久的L2 summer 和 其中的生态项目发币是必然发生，因为潜在的发币可以激励用户与之交互，提供流动性。虽然短则几月，长则几年才能看到，但是ZK技术可能改变区块链行业的未来。 对于更深入的技术和实际应用，强烈建议阅读这些链接的文章和推特： Supercycled有一个很好的关于ZK汇总的帖子，特别是关于两个主要竞争对手zkSync和StarkWare之间的差异，link。 Espresso的联合创始人Packy McCormick和Jill Gunter写了一篇优秀的关于zkr的文章，以及zkr是什么以及它们可以实现什么，link EthHub关于ZK-SNARKs和ZK-STARKs的区别，link Suzuha解释了ZK具有的突破性潜力，link Vitalik的博客一直是一个很好的资源，他以前曾多次写过关于ZK技术和汇总的文章，link Polygon写的关于Optimistic与ZK rollup的详细区别。link

## Publication Information

- [Tiga](https://paragraph.com/@tigafeng/): Publication homepage
- [All Posts](https://paragraph.com/@tigafeng/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@tigafeng): Subscribe to updates