翻译:零知识证明一览,(The Zero-Knowledge Landscape )

原文: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科技一直备受关注,人们对隐私交易的热情和需求也在恢复。

post image

ZK最近的公告(Recent ZK Announcement Recap)

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 UnchainedIlluvium ($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