撰写：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-架构。
Vitalik：跨链证明是实现跨链社交恢复钱包的关键，ZK-SNARK等是可行选择:6月20日消息，以太坊联合创始人VitalikButerin在最新文章《更深入探讨钱包和其他用例的跨L2读取》中指出，实现跨链社交恢复钱包的一个可行方案是维护一个存放在特定位置的密钥库，以及多个不同位置的钱包，这些钱包可以读取密钥库来更新自身的验证密钥视图或在每次交易验证过程中。跨链证明是实现这个功能的关键，需要对其进行深度优化，可能的方案包括零知识证明（ZK-SNARK）、等待Verkle证明或自定义KZG解决方案。
从长远看，我们需要实现聚合协议，通过生成聚合证明来打包所有用户提交的操作，以此来降低成本。这可能需要将其集成到ERC-4337生态系统中，可能需要对ERC-4337进行一些修改。同时，为了减少从L2内部读取L1状态的延迟，L2应被优化。
钱包不只可以放在L2上，也可以放在与以太坊连接程度较低的系统上，如L3或只同意包含以太坊状态根的独立链。然而，密钥库应放在L1或高安全性的ZK-rollupL2上。尽管这样会增加复杂性，但从长期来看，可能在L2上设置密钥库才是成本更低的方案。在这个过程中，我们也需要致力于提供保护隐私的解决方案，并确保我们的方案可以与隐私保护方案兼容。[2023/6/21 21:50:47]
总而言之，ZK-rollups是“混合扩展解决方案”，它们独立运行但从以太坊网络中获得安全。
为什么ZK的叙事正在获得关注？
今年有一些主要催化剂使该板块的兴趣激增：
Horizen在主网发布zk-SNARK跨链协议Zendoo:12月3日消息，Horizen在主网发布zk-SNARK跨链协议Zendoo，Zendoo是一种独特的互操作性协议和扩展解决方案，开发人员可以使用Zendoo构建支持zk-SNARK的自定义区块链，在不影响去中心化的情况下提供大量吞吐量。（Cointelegraph）[2021/12/3 12:47:57]
zkSync代币即将推出。
StarkWareLtd即将推出/img/20230515163411479694/1.jpg "/>
Mina极大地减少了每个用户需要下载的数据量，ZK-Rollups允许节点存储较小的证明，而不是整个链。
$IMX
Immutable是一个第二层的扩展解决方案，旨在为NFT交易和铸币提供近乎即时的确认和近乎零的Gas费用。
IMX依靠StarkWareZK-rollups来实现可扩展性，并计划为不同的用例支持多个L2/L3ZK-rollups。他们把自己描述为"Web3游戏的开发者平台"，Illuvium、Gods、Kongregate等流行Web3游戏都建立在IMX上。
Bitfinex首席技术官：Tether正在调查zk-rollups方案是否可减轻ETH压力:8月31日，Bitfinex首席技术官Paolo Ardoino发推称，在OMG（Tether已宣布OMG Network上发行USDT）之后，Tether正在调查zk-rollups支持是否可以减轻ETH链上交易压力。Paolo Ardoino称，与此同时，本来Tether计划集成一个和交易费相关的新特性，但后来我们决定把重点放在第2层解决方案上。[2020/9/1]
$LRC
Loopring是一个为扩展和构建去中心化的加密货币交易所而设计的Layer-2。他们利用ZK证明，允许任何人建立一个高吞吐量、非托管的DEX。
ZK和DEX这两种强大的叙事相结合，使Loopring成为未来值得关注的有趣项目。
$SYS
Syscoin将比特币的POW架构和$ETH的EVM结合到一个网络中。其双层方法允许创建可扩展的智能合约，同时保持网络安全。
Syscoin使用EVM的修改版本，称为NEVM，它使用ZK证明来促进“每秒高达210,000笔交易”。下图定义了Syscoin的架构。
声音 | V神质疑Zcash ZK-SNARK技术:Zcash正式实施硬分叉升级后，以太坊创始人V神表对其ZK-SNARK 技术提出了一项问题：“如果有人破解了ZK-SNARK方案，并发行一些新的代币怎么解决？”他认为“1、如果有N枚代币进入Zcash的地址池内，将会有N枚流出，每个人交易的代币比例都是1:1，除了最后一个；2、如果有 N枚代币进入，但其中有C枚假币，流出的代币量依然是N枚，那么每个人提出的代币量实际上是N/(N+C)枚；3、这样一来就有C枚假币被发行了，这将有可能导致挤兑风险。在这种攻击严重的情况下，Zcash将有可能不得不放弃2100万枚代币总量的限制。”[2018/6/27]
$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增强他们的应用程序。
总结
无论是通过空投、发布后的投资，还是投资于单个生态系统——有许多策略可以在这些即将到来的项目中定位自己。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。