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

By [Tiga](https://paragraph.com/@tigafeng) · 2022-04-06

---

原文：[https://page1.substack.com/p/the-zero-knowledge-landscape?utm\_source=substack&utm\_campaign=post\_embed&utm\_medium=web&s=r](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](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研究](https://vitalik.ca/general/2021/01/05/rollup.html)来之Vitalik，他总结到“中长期看，随着ZK-SNARK技术的改进，ZK-Rollup会最终胜出”。ZK-Rollup与Optimistic Rollup的目标相同，为用户提供了隐私选项的同时增加了扩展性。正如[EthHub](https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-rollups/)所示：“ZK 通过减少交易中的数据量，降低了验证区块的计算与存储资源；完整数据的零知识证明是有必要的“。从技术原理上来说，ZK允许在不提供任何信息的情况下证明他们拥有或者知道什么。在加拿大高调的金融去平台化以及俄乌冲突引发的经济制裁之后，ZK科技一直备受关注，人们对隐私交易的热情和需求也在恢复。

![](https://storage.googleapis.com/papyrus_images/7ce09613804b6b5f6db33c68c8e9ffd33190e7e58806724654f351af1136c5ea.png)

ZK最近的公告（Recent ZK Announcement Recap）
-------------------------------------

*   StarkWare宣布以[60亿估值融资1亿美元](https://www.theblockcrypto.com/linked/137206/ethereum-layer-2-starkware-funding-6-billion-valuation-report?utm_source=twitter&utm_medium=social)，此前StarkWare在2021-11月以[20亿估值进行5000w融资](https://www.theblockcrypto.com/post/124479/ethereum-layer-2-developer-starkware-raises-50-million-now-valued-at-2-billion)
    
*   StarkWare构建的[StarkNet与2月22日完成发布](https://www.theblockcrypto.com/post/135161/ethereum-scaling-solution-starknet-completes-launch-with-goal-to-move-to-community-control)，并将在下半年转为社区运营
    
*   [Immutable X以25亿美元估值融资2亿美元](https://twitter.com/Immutable/status/1500832924442128387?s=20&t=MWq_PBSkUyrI757u4HkwwQ)
    
*   [GameStop与Immutable X合作建立他们的NFT市场](https://www.coindesk.com/business/2022/02/03/gamestop-taps-immutable-x-for-nft-marketplace-launches-100m-gaming-fund/)，并宣布为他们的生态系统投资1亿美元
    
*   ZK区块链技术公司[Aleo](https://www.aleo.org/)以[14.5亿美元估值融资2亿美元](https://www.theblockcrypto.com/post/133218/aleo-raises-200-million-softbank-tiger-others-blockchain)
    
*   zkSync开发商Matter Labs 在2021年11月[融资5000w美元](https://www.theblockcrypto.com/linked/123617/ethereum-layer-2-scaling-solution-developer-matter-labs-raises-50-million)，并于2月22日在以太坊测试网发布了它们的zkEVM。
    
*   Matter Labs & BitDAO 宣布了一个[2亿美元的DAO](https://www.coindesk.com/business/2022/01/27/matter-labs-bitdao-back-200m-dao-for-zksync/)，以继续扩展zkSync生态系统的核心基础设施建设
    
*   [Polygon以400w美元收购ZK rollup初创公司Mir Protocol](https://www.theblockcrypto.com/post/126991/polygon-acquires-mir-protocol-400-million-zk-rollups)
    
*   [Polygon之前在8月以2.5亿美元收购了Hermez Network](https://www.theblockcrypto.com/post/114479/polygon-hermez-merger-matic-hez-tokens-ethereum-projects)，这是另一个ZK rollup扩容解决方案，合并了他们的token $MATIC和$HEZ，总共花费6.5亿美元购了ZK rollup协议
    
*   2月7日，[Polygon获得4.5亿美元的最新一轮融资](https://www.theblockcrypto.com/post/133269/polygon-raises-450-million-matic-token-sale)，以发展ETH扩容与ZK 技术
    
*   Espresso，服务于L1的ZK技术，在3月6日宣布成立[3200w美元的基金](https://blockworks.co/espresso-systems-launches-to-public-amid-a-32m-raise/#:~:text=A%20scaling%20and%20privacy%20solution,a%20%2432%20million%20funding%20round.)
    
*   Aztec Network在2021年12月完成A伦[融资1700w](https://www.coindesk.com/business/2021/12/16/ethereum-privacy-startup-aztec-raises-17m-in-paradigm-led-series-a/)美元
    
*   [以太坊移动钱包Argent推出了有50w白名单的zkSync功能的L2钱包](https://www.theblockcrypto.com/linked/136501/defi-wallet-argent-launches-layer-2-account-with-waitlist-over-500000?utm_source=twitter&utm_medium=social)
    

Current Players
---------------

*   [**StarkWare**](https://starkware.co/)：构建 StarkNet 与StarkEx
    
*   [**StarkNet**](https://starknet.io/)
    
    *   StarkNet是一个使用ZK-STARKs的ZK-Rollup L2，于11月29日首次发布在ETH主网上，该团队一直在不懈地发布新特性与更新。
        
    *   在2月23日，StarkNet宣布了它们的最新版本StarkNet Alpha，并且该扩展解决方案已经准备好应用于程序构建与交易。细节需查看[StarkNet](https://www.starknet-ecosystem.com/)生态系统网站
        
    *   最近，StarkNet宣布与Aave、Opera Browser、DeversiFi和Argent等无数其他协议达成合作伙伴关系， 这些协议将会部署在StarkNet上
        
    *   **Token计划：“今年下半年”——大概是空投给早期用户**
        
*   [**StarkEx**](https://starkware.co/starkex/)
    
    *   StarkEx是一个通过编程语言Cairo构建的可扩展引擎，自2020年6月上线主网，目前被DeversiFi, Immutable X, dYdX, and Sorare所使用
        
    *   根据[StarkWare的数据](https://starkware.co/starkex/)，他们从3月9日起最新的StarkEx使用情况是11亿美元TVL, 1.23亿笔交易，累计价值4620亿美元
        
    *   什么时候发币：作者预估今年下半年空投给早期用户，发币后转为DAO
        
*   [**zkSync**](https://zksync.io/)
    
    *   zkSync是使用ZK-SNARKs的ZK-Rollup，由Matter Labs开发，自2020年6月以来一直在运行。在2月22日的一条[推文](https://twitter.com/zksync/status/1496128244038660102?s=20&t=Sc1hCV7gIgheNcGgrgVG5g)中，zkSync宣布zkSync 2.0已经上线，并且在以太坊的测试网中包含了第一个evm兼容的ZK Rollup。
        
    *   上面的推文中包含了zkEVM里程碑的含义，“去年5月，我们展示了zkSync的[zkEVM的愿景](https://blog.matter-labs.io/zksync-2-0-hello-ethereum-ca48588de179)，一个无需许可、图灵完备的ZK Rollup，允许开发者以低成本构建和部署Dapp，使用以太坊本地编程语言Solidity的高度可扩展的L2。”
        
    *   关于zkSync的更多信息，可以查看使用ZK构建的[项目生态系统](https://ecosystem.zksync.io/)，，并参考Dune Analytics 的zkSync[数据面板](https://dune.xyz/kylin/Zksync)，其中有交易、TVL、zkSync的存款和取款等信息
        
*   [**Immutable X**](https://www.immutable.com/)
    
    *   由StarkWare的StarkEx驱动，IMX是ZK技术的领先协议之一，聚焦于游戏与NFT。IMX称自己是“0 gas，及时交易，环境友好的NFT与游戏交易市场”
        
    *   基于IMX的项目包括：[Gods Unchained](https://godsunchained.com/), [Illuvium](https://www.illuvium.io/) ($ILV), and [TikTok’s Top Moments collections](https://tiktok.immutable.com/)
        
    *   2月3日GameStop宣布在IMX上构建NFT交易平台，并宣布将投资1亿美元用于激励其生态内游戏的开发。GameStop计划构建的平台是gas便宜，游戏资产可以自由买卖的。
        
    *   IMX已经建立了多年，并完成了大量的开发，以确保ZK能够支持的未来的nft和游戏规模
        
*   [**Polygon**](https://polygon.technology/)（$MATIC）
    
    *   目前有三个独立的ZK-rollup正在开发中
        
        *   [_Polygon Miden_](https://polygon.technology/solutions/polygon-miden)_：一个基于STARK，支持任意智能合约的zk-Rollup。目前正在开发中_
            
        *   [_Polygon Zero_](https://polygon.technology/solutions/polygon-zero)_：支持Rollup与有效模式（validium modes），给用户提供高吞吐量与低gas。目前正在开发_
            
        *   [_Polygon Hermez_](https://polygon.technology/solutions/polygon-hermez)_：一个开源的，安全的，低成本的zk-Rollup_
            
    *   Polygon在2021年8月写了一篇很好的[博客](https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/)，介绍了它们的ZK技术与10亿美元的拨款
        
    *   虽然目前Polygon的ZK-Rollup详细时间线还没有给出，但是从它们6.5亿美元的收购中可以明显看出Polygon致力于通过ZK来扩容以太坊
        
*   [**Espresso Systems**](https://www.espressosys.com/)
    
    *   Espresso在3月6日宣布了他们的[基金](https://www.espressosys.com/blog/introducing-espresso-systems)
        
    *   Espresso自称为“一个结合了POS共识与ZK-Rollup机制的L1，[一个single-shot扩容，隐私的解决方案](https://twitter.com/EspressoSys/status/1500834456575221765?s=20&t=9tUr4-3WRQwS0JKtCTct5w)“
        
    *   发布的CAPE（Configurable Asset Privacy for Ethereum，以太坊可配置资产隐私）是一个EVM程序，通过在CAPE内包装（wrap）或解包（unwrap）ERC-20代币的能力，允许用户定制谁可以看到所有权细节和资产的移动。
        
    *   CAPE将在“未来几周”部署到Rinkeby测试网，并进一步详细介绍他们的ZK扩展解决方案。
        
*   [**Aztec Network**](https://aztec.network/)
    
    *   一个L2 ZK-Rollup扩展解决方案，“作为ERC20 Token 交易和其他DeFi交互的隐私屏蔽”。
        
    *   zk.money是一个由Aztec构建的核心应用程序，允许MetaMask用户秘密转移DAI和ETH，团队希望今年晚些时候实现全面的钱包级别资产隐私
        
    *   Aztec的L2 Rollup解决方案使用zk-SNARKs，目前已部署在Goerli测试网
        
*   [**Aleo**](https://www.aleo.org/)
    
    *   Aleo是一个启用ZK的私有基础层区块链，默认情况下，它“在链外处理事务，然后由网络节点验证（不是执行与重新执行）”
        
    *   Aleo在2月7日的B轮融资中筹集了2亿美元，他们的区块链目前正在测试网中，计划在今年第三季度登陆主网
        

结论与扩展阅读，（Conclusion & Further Reading）
--------------------------------------

零知识证明是数学，密码学的前沿，不断推动我们走向全球24小时×7，具备隐私且便宜的交易未来。当前零知识证明的两个领头羊zkSync与StarkWare(StarkEx/StarkNet)明确了今年的发币计划。从它们当前的融资与估值来看，发币的需求是巨大的，等待已久的L2 summer 和 其中的生态项目发币是必然发生，因为潜在的发币可以激励用户与之交互，提供流动性。虽然短则几月，长则几年才能看到，但是ZK技术可能改变区块链行业的未来。

对于更深入的技术和实际应用，强烈建议阅读这些链接的文章和推特：

*   [Supercycled](https://twitter.com/_supercycled)有一个很好的关于ZK汇总的帖子，特别是关于两个主要竞争对手zkSync和StarkWare之间的差异，[link](https://www.notion.so/The-Zero-Knowledge-Landscape-9059c1d0048f4bcbb84b6d8ac284eb54)。
    
*   Espresso的联合创始人Packy McCormick和Jill Gunter写了一篇优秀的关于zkr的文章，以及zkr是什么以及它们可以实现什么，[link](https://www.notboring.co/p/zero-knowledge?s=r)
    
*   EthHub关于ZK-SNARKs和ZK-STARKs的区别，[link](https://docs.ethhub.io/ethereum-roadmap/layer-2-scaling/zk-starks/#differences-between-zk-snarks-and-zk-starks)
    
*   Suzuha解释了ZK具有的突破性潜力，[link](https://twitter.com/dystopiabreaker/status/1499864241108844544?s=20&t=7cfBomJMpNHQxGleoxWQzg)
    
*   Vitalik的博客一直是一个很好的资源，他以前曾多次写过关于ZK技术和汇总的文章，[link](https://vitalik.ca/)
    
*   Polygon写的关于Optimistic与ZK rollup的详细区别。[link](https://blog.polygon.technology/the-polygon-thesis-strategic-focus-on-zk-technology-as-the-next-major-chapter-for-polygon-1b-treasury-allocation/)

---

*Originally published on [Tiga](https://paragraph.com/@tigafeng/the-zero-knowledge-landscape)*