紧跟零知热点，盘点那些值得关注的ZK项目

「零知识」叙事正在开始，ZK 开始成为趋势，逐渐繁荣。以下是我们将要介绍的非常不错的零知识项目：

以太坊上五个 zkEVM 项目

1

zkSync 2.0

zkSync 是由Matter Labs 团队于 2020 年 6 月在以太坊上推出的ZK rollup 协议。它是以太坊上锁定总价值第六大 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。

2

StarkNet

与 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。

3

polygon zkEVM

Polygon 团队构建的 zkEVM 实现（以前称为 Matic Network）实现了与 EVM 的字节码级别兼容性。Polygon 的 zkEVM 预计将于今年年初的某个时候在以太坊上推出，并且去年12月已开源供公众审查。（重要的是要注意，虽然代码可以公开查看，但不能使用、修改或共享，因为它不是在开源代码许可下发布的。）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 亿美元。该轮融资由红杉资本印度领投。

4

Scroll

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 在内的几位天使投资人。

5

隐私与扩展探索 (PSE)

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 的七个项目

1

Aleph Zero

Aleph Zero是一个基于AlephBFT共识的Layer1隐私增强区块链，具有可扩展性、低交易费用、开发人员友好性等特点。AlephBFT共识利用有向无环图架构作为中间数据结构，从而迅速达到最终性。

Aleph Zero 通过 ZK 技术来保护 AZERO 平台用户的隐私。除此之外，它还采用了一整套其他突破性的技术，这使得它成为一个强大的区块链。总的来说，该项目旨在利用去中心化的优势，为当前基础设施的缺陷提供解决方案，这些缺陷在多个行业都是分层的，如医疗保健、汽车、物联网......

• 链：Substrate，以太坊，波卡

• 底层技术：该项目对于隐私合约有独到的解决方案，结合了零知识证明和sMPC。ZK-SNARKS用于交换用户安全且隐匿的钥。sMPCs则负责在不同电脑之间保护数据，该类电脑需要达到共识通过许可后才可访问数据。

• 架构：Aleph Zero的自定义算法结合了PoS的变体和DAG技术。PoS共识机制通过轮换的验证者验证区块的状态。DAG作为中间数据层运用，允许更快的交易速度和更高的吞吐量，从根本上降低了交易费用。

主要应用场景

Aleph Zero上的第一款产品是Common，一个自带钱包的去中心化交易所，同时为了防止抢跑采用去中心化暗池。抢跑发生在用户通过内部信息得知未来交易将影响价格的情况下，将交易放置列队中从而套利。

进展

Aleph Zero目前正在开发叫Liminal的多链隐私解决方案。它将基于ZK-SNARKS和sMPC的结合提供创新的安全措施。其次，通过桥，Liminal支持Aleph Zero和其他链(如以太坊、Near、Cosmos和BSC)之间的交易。开发者可以在这些链上编写智能合约，同时在Aleph Zero上保持合约的隐私状态。

代币信息

Token：AZERO

发行总量：3亿枚

市值：$ 335M USD

2

Oasis

Oasis是一个兼具隐私保护特性和高性能的底层公链，其中隐私保护是Oasis原生的，即Oasis区块链自带隐私保护特性，无需通过L2的方式进行增加，这也是Oasis目前区别于其他区块链的重要特征。

而实现这一特征需要用到机密计算（Confidential Computing)技术， 这是一个在云计算领域的概念，抛开复杂的技术实现而言， 其本质是将敏感或者隐私数据隔离在受保护的区域CPU中， 这些数据和处理数据的技术只能由授权的合约访问，并且对任何其他人都不可见。

在2018-2020间，Oasis已经获得了超过4500万美元的投资，其中也包括a16z和Binance Labs等知名投资公司和孵化团队。此外，Oasis也组建了由Binance Labs、Pantera、Dragonfly Capital、Jump Capital、Electric Capital 等注资的2亿美金的生态基金，不论是对 ZK rollups 的原生支持，还是与 META（Facebook）的合作关系，总体上看起来它是一个很强大的项目。

代币信息

Token：ROSE

总发行量：100亿枚

当前市值：$ 471.95M USD

3

Mina

Mina 协议由O（1）Labs 于2017 年推出。它旨在设计一个第一层协议，以实现区块链的最初承诺——真正的去中心化、规模化和安全性

Mina 的目标是证明整个区块链是有效的，而不需要对每个区块进行逐一验证。当一个新的区块被创建时，Mina 协议建立在以前的证明上，即有一个有效的区块序列，新创建的区块也是有效的。

因此，证明是随着每个区块的扩展而扩展的，而不需要翻阅整个序列。Mina 协议中使用的 zk-SNARK 被称为 Pickles，它支持递归，这意味着证明可以引用自己，从而防止区块链的大小增加。

目前，公司的CEO 是 Emre Tekişalp，拥有哥伦比亚商学院的 MBA 学位，曾在火狐浏览器以及 Coinbase 担任业务发展经理，随后创立了 O(1)Labs 和 Mina 基金会。其他创始团队成员包括O（1）Labs 的Izaak Meckler、Brad Cohen、Emre Tekişalp 和Vanishree Rao，以及纽约大学的Joseph Bonneau。CTO 是 Izaak Meckler，正在攻读加州大学伯克利分校密码学博士学位。

去年3月份，Mina宣布完成9200万美元战略和私募轮融资，由FTX Ventures和三箭资本领投。

代币信息

Token：MINA

发行量：初始发行量10亿枚，总量无上限，后续会进行通货膨胀

当前市值：$ 1.01B USD。

4

Polygon

目前，Polygon 发行的MATIC是目前上市值最大的 ZK 币 ，这也是值得关注的最好理由。它拥有最多的机构采用和合作伙伴数量。它已经经历了一个完整的市场周期，而且活得很好。

代币信息

Token：MATIC

总发行量：100亿枚

市值：$ 11.85B USD

5

Syscoin

Syscoin是一种区块链协议，起于2014年，系统发布区块链去中心化商城1.0，2.0，意在为企业和个人提供商品，资产，数字证书和数据交易的去中心化商城。Syscoin被公认为是令牌化资产的快速、安全和分散的平台。

去年，Syscoin与去中心化交易所ApeSwap达成合作，并宣布整合跨链ZK rollups，与跨链网络ZKCross 合作。与此同时，Syscoin团队将研究ZK-Rollups可以为DEX提供的解决方案。

Syscoin 使用 ZK 来处理网络上的交易，并提供与其他网络更大的互操作性。它在使用混合共识方法方面也很独特：

• Syscoin 拥有一个独特的生态系统设计，使用比特币的PoW作为共识方法，同时完全兼容以太坊虚拟机（EVM）。

• EVM 的兼容性使 $SYS 具有互操作性，并支持完整的图灵智能合约。

代币信息

Token：SYS

货币总量：8.8亿枚

流通量：5.5亿

当前市值：$ 169.89M USD

6

Panther Protocol

Panther Protocol是DeFi端到端隐私协议，它使用 ZK-proofs 作为互操作协议，为 Web3 带来隐私。

Panther 利用 zkSNARKs，并将这一概念带入 DeFi 和 Web3 世界，使用户能够为任何用户数据（如他们的年龄、地理位置、交易历史、持有量等）生成证明。他们称这些证明为“ZK Reveals”。

Panther 的愿景是为整个 DeFi 生态系统提供隐私功能和选择权，在这个系统中，用户可以完全控制他们的数据，并有能力在任何时候向他们想要的人透露多少或多少信息。

Panther Protocol于2021年6月份获得800万美元的私募融资，投资者包括Alphabit Fund、Arcanum Capital、Black Dragon、Deep Ventures、Defiants、Ellipti、Moonwhale、Protocol Ventures、Kosmos VC、Rarestone Capital和Titans Ventures等140多位参投方。

代币信息

Token：ZKP

发行总量：10亿枚

分配方式：协议奖励45%，公募5%，创始人、团队和顾问20%，基金会15%，私募15%

当前市值：$ 16M USD

7

Metis

Metis是一个高速、低成本的 L2，也被称为第一个混血 L2。它将 ZK 和 Optimistic Rollup 技术都融入到他们的 L2 上。

Metis的优势是能够实现本机文件存储（这在以太坊上也没有），而且还有一些基础组件来支持开发者和用户参与DAO治理。

DAC（Decentralized Autonomous Company）就是企业级的DAO，任何人都可以申请创建，但需要质押一定数量的Metis代币，并向 Metis平台支付每笔交易费用的0.05%。

Metis的终极愿景是任何人都可以通过DAC建立自己的社区，并实现他们的商业理念，Metis自然也就成为了Web 3.0世界的基础设施

它们拥有世界一流的团队（包括 Vitalik 的妈妈），一个好的团队是实现价值目标的基础。

代币信息

Token：METIS

发行总量：1000万枚

Token用途：交易费、DAC质押、奖励

当前市值：$ 166.85M USD

zklog专注零知识证明、web3领域的研究和资讯

加入zkpDAO社群 请加微信