撰写：MilesDeutscher
编译：深潮TechFlow
2023年是ZK-rollups的一年。ZK是以太坊扩展的未来，随着zkSync、Starknet和PolygonzkEVM即将推出的代币，叙事开始升温。以下是最好的已发布的ZK项目，请密切关注。
在这篇文章中，我将介绍：
什么是ZK-rollups
ZK叙事
最好的已发布的ZK项目
最好的未发布的ZK项目。
什么是ZK-rollups？
ZK-rollups是第二层区块链协议，它处理交易、执行计算并在链下存储数据，同时将资产保存在链上智能合约中。
以太坊由于其设计，有固有的可扩展性问题。虽然有最终解决这些问题的路线图，但这个过程需要很长时间。
ZK-rollups通过将交易“汇总”到链下执行的批次中来帮助缓解拥塞。
Zk-rollups将所有的地址和各自的余额存储在Merkle树中。这个"余额树"的根存储在链上智能合约中。
他们有3个主要任务：处理存款、转账和取款。这张图片代表了一个ZK-架构。
V神：ZK-EVM是以太坊Layer 1安全和验证过程的重要组成部分:金色财经报道，以太坊联合创始人“V神”Vitalik Buterin在其官方博客上发布文章《以太坊的多客户端理念将如何与ZK-EVM交互？》（How will Ethereum's multi-client philosophy interact with ZK-EVMs?），其中指出ZK-EVM将在未来发展成为以太坊Layer 1安全和验证过程的重要组成部分，但关键在于如何为零知识证明以太坊区块的正确性创建一个“多客户端”生态系统。V神建议采取开放的多个ZK-EVM，因为不同的客户端有不同的ZK-EVM实现，每个客户端可以在接受一个区块为有效之前等待与自己兼容的证明。此外，Vitalik Buterin还对人工智能最近的快速发展大加赞扬，他觉得人工智能的进步可以“加速”证明ZK-EVM实现的发展。“从长远来看，当然任何事情都有可能发生。也许AI会加强形式验证，使其可以轻松证明ZK-EVM实现等效并识别导致彼此之间差异的所有错误。”[2023/4/2 13:40:23]
总而言之，ZK-rollups是“混合扩展解决方案”，它们独立运行但从以太坊网络中获得安全。
跨链DEX zkLink宣布在Solana上成功实现Groth16zk-SNARK证明系统:3月25日消息，跨链DEX zkLink宣布在Solana上成功实现了Groth16zk-SNARK证明系统。zkLink是一个基于ZK-Rollup技术的跨链交易平台，旨在链接多链，聚合不同生态的流动性。现订单簿模式的DEX Demo已上线测试网进行测试。[2022/3/25 14:17:51]
为什么ZK的叙事正在获得关注？
今年有一些主要催化剂使该板块的兴趣激增：
zkSync代币即将推出。
StarkWareLtd即将推出@Starknet代币。
Polygon的zkEVM马上到来。
这导致与ZK相关的协议，如$MINA、$LRC、$IMX和$DUSK表现出色。
Dragonfly的管理合伙人Hosseeb将ZK-rollups称为2023年最值得关注的叙事。
然而，最近的上涨很可能是由投机驱动的，因为关键的链上指标并没有随着价格上涨。
那么，这种短期的反弹是不可持续的吗？也许。
然而，持续反弹更有可能发生在ZkSync、PolygonzkEVM和StarkNet发布之前。新用户的增加和新的流动性流入生态系统将有助于实现这一目标。
Cardano推出首个ZK-Rollups扩容解决方案Orbis:2月25日消息，Cardano（ADA）推出首个 ZK-Rollup Layer 2 解决方案 Orbis，旨在通过提升可扩展性和交易吞吐量支持 DeFi 应用程序和区块链生态系统，交易会在 Orbis Layer 2 链下执行并形成一个零知识证明，然后提交给 Cardano Layer 1。
Orbis 有两个主要组件：证明者（Prover）和验证者（Verifier），前者目的是构建 zkSNARK 证明来验证交易的发生，后者是一个链上智能合约，接受链上资产输入，将它们锁定在合约中，以便它们可以在 Rollup 中使用并确保不会出现双花风险。据了解，Orbis 团队已经在 Project Catalyst 的 Ideascale 平台上发布了资金申请，希望申请 100 万美元资金来支持开发和上线工作。[2022/2/25 10:16:05]
因此，为了做好准备，我列出了一份已发布和未发布的与ZK有关的加密项目清单。
已发布的ZK项目
$MINA
MinaProtocol是"世界上最轻的区块链"，它使用zk-SNARKs，同时使用PoS共识机制。
安永已开源以太坊二层方案Nightfall 3，采用ZK-Optimistic Rollup机制:7月2日消息，安永宣布推出并开源以太坊二层方案c，Nightfall 3采用ZK-Optimistic Rollup机制，将零知识证明（ZK或ZKP）与处理交易验证的新模型相结合，以提高效率并降低交易成本。ZK-Optimistic Rollup为了确保只有正确形成的第二层区块被纳入最终的区块链记录，从经济上激励用户挑战不正确的区块，当提出挑战时，智能合约对挑战的准确性进行仲裁，奖励正确的挑战，并删除不正确的第二层区块。（Prnewswire）[2021/7/2 0:22:54]
Mina极大地减少了每个用户需要下载的数据量，ZK-Rollups允许节点存储较小的证明，而不是整个链。
$IMX
Immutable是一个第二层的扩展解决方案，旨在为NFT交易和铸币提供近乎即时的确认和近乎零的Gas费用。
IMX依靠StarkWareZK-rollups来实现可扩展性，并计划为不同的用例支持多个L2/L3ZK-rollups。他们把自己描述为"Web3游戏的开发者平台"，Illuvium、Gods、Kongregate等流行Web3游戏都建立在IMX上。
声音 | V神：建议使用zk-SNARK来扩展以太坊:据blockmanity消息，V神关于以太坊研究的最新文章，概述了一个关于链缩放的解决方案，没有任何附加层，而是使用zk- spuks（隐私令牌ZCash背后的加密算法），该方案可能将以太坊扩展至500tx/秒。[2018/9/23]
$LRC
Loopring是一个为扩展和构建去中心化的加密货币交易所而设计的Layer-2。他们利用ZK证明，允许任何人建立一个高吞吐量、非托管的DEX。
ZK和DEX这两种强大的叙事相结合，使Loopring成为未来值得关注的有趣项目。
$SYS
Syscoin将比特币的POW架构和$ETH的EVM结合到一个网络中。其双层方法允许创建可扩展的智能合约，同时保持网络安全。
Syscoin使用EVM的修改版本，称为NEVM，它使用ZK证明来促进“每秒高达210,000笔交易”。下图定义了Syscoin的架构。
$DUSK
Dusk是一个以隐私为重点的第一层区块链，为交易可编程的、保密的、合规的证券而构建。可以把它看作是金融应用的隐私区块链。
DuskNetwork使用名为“PlonKup”的ZK证明系统，以一种可负担的方式保护数据。
$MUTE
Mute是一个基于ZK-rollup的去中心化交易所、质押收益平台和债券平台，建立在以太坊和zkSync之上，可以将其视为一个利用了ZK优势的综合DeFi平台。
总结
值得注意的是，这种反弹大部分是基于猜测的。仅仅因为一个项目实施了ZK技术，并不能自动使其成为赢家。寻找那些正在使用该技术进行创新的项目，或者学会利用炒作进行交易。
对于这些项目，就像大多数山寨币一样，价格走势在很大程度上取决于Bitcoin。然而，如果你的市场前景是看涨的，那么最有力的叙事无疑会跑赢大盘。
你如何处理这些项目的交易取决于你的个人策略，但要考虑以DCA为导向的方法，并在投资前严格定义a）你的时间范围，和b）财务目标。
虽然已经介绍了一些目前已经发布的利用ZK的项目，但我对即将到来的未发布的协议更感兴趣，这些协议是加密货币中一些支持力度最大的项目。
未发布的ZK项目
zkSync
zkSync是一个ZKRollup，代表了扩展以太坊的"终局"。
它是加密领域最受支持的项目之一，从a16z、Dragonfly、Lightspeed等公司筹集了超过4.5亿美元。
他们的完整主网甚至还没有启动，生态系统就已经很庞大了。它将成为ZK领域的一个巨无霸。
zkSync的下一个阶段是“FairOnboardingAlpha”阶段，议可以在封闭环境中开始部署在zkSync2.0上。
StarkWare
StarkWare是一个二级扩展解决方案，它利用STARK证明来减少发送到以太坊区块链的信息量，缓解区块链拥堵。
SnarkNet和zkSync一样，利用ZK-Rollup技术来实现这一目标。
Starkware也得到了大量的支持，从Paradigm、Pantera、Sequoia、EthereumFoundation等机构筹集了2.85亿美元以上。同样他们的生态系统也令人印象深刻。
Scroll
Scroll是一个基于zkEVM的zkRollup，可以实现对现有以太坊应用程序和工具的本地兼容性。
在即将推出的L2中，Scroll的上市前估值排名第四。
随着代币的推出，这里可能会有空投机会。他们最近暗示要进行空投，称他们正在“创建一种鼓励参与的激励机制”。
Aztec
Aztec是以太坊上隐私优先的ZK-rollup，为以太坊生态系统带来保密性和成本节约。
他们最近筹集了1亿美元，由a16z领投。他们在未来可能还会有空投。
Polygon(zkEVM)
最近，Polygon收购了HermezNetwork，以致力于他们自己的zkEVM产品。
zkEVM是一个虚拟机，以透明的方式执行以太坊交易，包括具有零知识验证的智能合约。zkEVM增加了一个已经扩展的生态系统，该系统正在迅速发展。
由于Hermez已经与Polygon合并，$MATIC代币将为该网络提供动力。
Axiom
Axiom是以太坊的一个ZK协处理器。
虽然不是严格意义上的ZK-rollup，但我想把Axiom列入这个名单，因为它为我们提供了如何在实际意义上利用该技术的一个很好的代表。
它允许开发者查询链上数据，并通过ZK获得无需信任的响应——允许开发人员以高效的方式使用ZK增强他们的应用程序。
总结
无论是通过空投、发布后的投资，还是投资于单个生态系统——有许多策略可以在这些即将到来的项目中定位自己。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。