「零知识」叙事正在开始，ZK 开始成为趋势，逐渐繁荣。以下是我们将要介绍的非常不错的零知识项目：
以太坊上五个 zkEVM 项目
zkSync 2.0
Matter Labs 是一个区块链工程团队，成立于 2018 年 12 月。该团队于 2020 年 6 月在以太坊上推出了自己的 ZK rollup 协议，称为 zkSync。zkSync 是以太坊上锁定总价值第六大 L2 网络，支持有限范围的智能合约操作，包括 ETH、ERC20 代币和原生 NFT 的低 gas 传输，以及原子互换和限价订单。该公司最近通过由 Andreessen Horowitz 牵头的 B 轮融资筹集了 5000 万美元，并宣布了一项 2 亿美元的国库基金，致力于在未来几年扩展 zkSync 生态系统。
zkSync 2.0 是一种语言级兼容的 zkEVM，旨在支持所有类型的智能合约操作。 zkSync 2.0 依赖于一种基于 SNARK 的证明算法，称为 UltraPLONK。它还依赖于称为 LLVM 的开源编译器基础架构，将 Solidity 和其他类型的编程语言编译成 zkEVM 字节码。该项目于 2022 年 10 月在 “婴儿 alpha” 阶段启动，预计到 2022 年底将对外部用户全面开放，尽管 Matter Labs 团队仍未披露 zkSync 2.0 证明生成的全部细节。 （由于 L2 网络之间的激烈竞争，以及由于 rollup 技术的初期阶段导致了更大的技术漏洞风险，大多数 rollups 项目都在高度保密的情况下运行，并且不公布开源开发流程。）一旦启动，zkSync 2.0 将是一种 volition，让用户可以选择将状态 delta 从他们的链下交易发布到一个称为 zkPorter 的单独协议，而不是在链上发布到以太坊。该策略理论上会将 zkSync 2.0 的每秒交易吞吐量从 2,000 TPS 提高到超过 20,000 TPS。
与 zkSync 一样，StarkNet 是 Starkware 团队构建的已经在以太坊上运行的通用 ZK rollup。 Starknet 的交易执行环境称为 StarkNet OS，其原生智能合约编程语言称为 Cairo。与其他 ZK rollups 相比，Starknet 是功能最全面的网络之一。 StarkNet 为用户提供了一个可选的链下数据解决方案（使 rollup 成为一种 volition），以实现比非 volition 类型的 rollup 成倍降低的交易费用。 StarkNet 操作系统依赖于基于 STARK 的证明算法。与 zkSync 2.0 一样，在 StarkNet OS 上生成证明的过程不是开源的。与 zkSync 等竞争对手类似，随着时间的推移，开源关于证明生成的细节，以便任何人都可以连接到网络，运行专用硬件，并通过生成证明获得奖励，这是 rollup 长期发展路线图的一部分。
StarkNet 本身不支持与 EVM 的语言层面兼容性。但是，以太坊执行层软件客户端 Nethermind 背后的团队正在积极构建名为 Warp 的 Solidity to Cairo 语言编译器。使用 Warp 编译器，StarkNet 用户可以部署基于以太坊的智能合约，而无需在 Cairo 重写代码。此外，还有一个名为 Kakarot 的社区驱动项目，用于构建另一个 Solidity 到 Cairo 语言的编译器，以帮助支持 StarkNet 与 EVM 的兼容性。
Starkware 团队在 7 月公布了他们推出原生 StarkNet 代币和新基金会的计划。在透露初始 100 亿供应量的三分之一将分配给 StarkNet 核心贡献者后，代币的拟议分配成为争议的根源。今年，Starkware 作为一家公司以 80 亿美元的估值筹集了 1 亿美元。该轮融资由投资公司 Greenoaks Capital、Coatue 和 Tiger Global 领投。除了 StarkNet 之外，StarkWare 还为用户提供了一种可定制的区块链可扩展性解决方案，称为 StarkEx，它利用了该公司新颖的基于 STARK 的 ZK 技术。与 StarkNet 不同，StarkEx 是一个以应用程序为中心的 ZK rollup。使用 StarkEx 在以太坊上实现更大可扩展性的一些值得注意的 DeFi 应用程序包括 soRare、Immutable 和 DeversiFi。
Polygon 团队构建的 zkEVM 实现（以前称为 Matic Network）实现了与 EVM 的字节码级别兼容性。 Polygon 的 zkEVM 预计将于 2023 年初的某个时候在以太坊上推出，并且最近已开源供公众审查。 （重要的是要注意，虽然代码可以公开查看，但不能使用、修改或共享，因为它不是在开源代码许可下发布的。）Polygon 的 zkEVM 实现依赖于基于 SNARK 和 STARK 的证明。具体来说，zk-SNARKs 用于证明 zk-STARKs 的正确性。这具有利用与 zk-STARK 相关的快速证明时间以及生成 zk-SNARK 所需的相对较轻的计算资源的优势。关于数据可用性，Polygon 的 zkEVM 实现不会立即支持链下数据解决方案。但是，Polygon 正积极致力于通过开发 Polygon Avail 使他们的 zkEVM 实现成为一种意愿。
Polygon 成立于 2017 年，是一家主要专注于以太坊不同扩展解决方案的公司。它于 2020 年 6 月推出了基于权益证明的以太坊侧链，称为 Polygon PoS。从那时起，Polygon 的产品套件得到了显着发展和多样化。除了该公司的 zkEVM 实施之外，它还在积极开发另外两个 ZK rollup 实施，Polygon Miden 和 Polygon Zero，以及结合了 optimistic rollup 和 ZK rollup 的混合 rollup 实施，称为 Polygon Nightfall。今年早些时候，Polygon 团队完成了自首次代币发行 MATIC 代币以来的第一轮重大融资，并从 40 家风险投资公司筹集了 4.5 亿美元。该轮融资由红杉资本印度领投。
Scroll 是另一个字节码层面兼容的 zkEVM 实现。 Scroll 由 Sandy Peng、Ye Zhang 和 Haichen Shen 于 2021 年创立，他们于 2022 年宣布为白名单用户推出他们的 pre-alpha 版本测试网。值得注意的是，围绕其 zkEVM 实现的所有代码都是公开的，并在开源许可下发布。 Scroll 将依赖于一种基于 SNARK 的证明算法，并且不支持链下数据可用性解决方案。此外，Scroll 团队正在设计一个用于证明生成的去中心化市场，以支持他们的 zkEVM。为此，他们还专注于构建可以由世界各地的用户运行的专用硬件，以无需许可和抗审查的方式生成 ZKP。
Scroll 团队与以太坊基金会的扩展解决方案研发团队密切合作，称为隐私扩展以太坊 (PSE) 团队。 PSE 在 zkEVM 方面的工作将在本报告的下一节中讨论。与 zkSync、StarkWare 和 Polygon 等其他团队相比，Scroll 更小，更专注于研究（即较少以商业为导向）。他们也只专注于他们的 zkEVM 实施，而其他竞争团队拥有一套其他与 ZK 相关的产品和服务。 Scroll 去年在 A 轮融资中筹集了 3000 万美元，投资方包括 Polychain Capital 和 Bain Capital Crypto 等领先的加密货币风险投资公司，以及包括以太坊基金会的 Ying Tong 和 Carlos Aria 在内的几位天使投资人。
PSE 是以太坊基金会的一个研究机构，专注于探索 ZKP 的前沿研究及其在以太坊上的应用。他们以前被称为 “AppliedZKP” 小组。与本报告中强调的其他 zkEVM 实施相比，PSE 的 zkEVM 并不专注于在不久的将来成为生产就绪（PSE 研究的生产就绪组件正在由 Scroll 团队实施）。 PSE 正在研究的 zkEVM 专注于根据 enshined rollup 模型实现与 EVM 的共识层兼容性。
PSE 研究中使用的证明算法是称为 Halo2 的 zk-SNARK，由 Zcash (ZEC) 加密货币的核心开发团队 Electric Coin Company 开发。 PSE 团队构建的 zkEVM 开发是开源的，任何人都可以参与。 除了 zkEVM，PSE 团队还在推进其他几个项目，包括研究反共谋去中心化应用程序基础设施、增强用户交易隐私以及替代加密签名方案。
涉及 ZK Token的项目