Zero-knowledge零知识技术可以为许多Layer 1区块链项目解决扩容和隐私问题，它可以让开发者既能利用以太坊等底层区块链的安全性，又能为dApp提高交易吞吐量和速度，并同时将用户个人信息放在链下，以保护用户隐私。
Zero-knowledge proofs（零知识证明）可以让用户在不透露信息的前提下证明自己知道或拥有信息。区块链可以利用零知识证明技术提升交易吞吐量，在验证用户身份的同时保护用户数据隐私，实现复杂的计算。
目前区块链领域中流行的zk-SNARK、zk-STARK有效性证明技术都属于零知识证明技术。比如大家熟知的区块链项目Loopring、zkSync采用的是zk-SNARK，而Immutable X、StarkEx、StarkNet项目采用的则是zk-STARK。至于具体什么是zk-SNARK及zk-STARK，大家可以直接参看本文底部的扩展小知识。
简而言之，零知识技术可以为许多Layer 1区块链项目解决扩容和隐私问题。而为了进一步解决Layer 1的扩展问题、并提升Layer 1区块链的吞吐量以及其他性能，又诞生了不少Layer 2区块链项目。Layer 2方案可以采用有效性证明或欺诈证明，并可以将数据储存在链上或链下。但不论是Layer 1还是Layer 2项目，零知识技术都是关键的技术方案。
今天，我就列举几个近期我个人关注比较多的Zero Knowledge项目，以下ZK项目排名不分先后，仅供大家了解和学习。
第1个项目是Aleph Zero，它是一个公共区块链平台，采用ZK作为一种方法来确保其用户的隐私，旨在解决当前多个行业基础设施层的缺点。我们都知道，目前的公共区块链还存在一些缺点，比如速度、验证时间、可扩展性和安全性方面的问题。而为了解决这些问题，Aleph Zero 推出了一个以其原生代币AZERO为特色的解决方案。
Aleph Zero 协议的独特之处在于它专注于保护隐私的分布式账本技术开发，可以为医疗保健、汽车、物联网等多个行业中存在的当前基础设施缺陷提供解决方案。Aleph Zero的显著特点就是高速、扩展能力、增强的隐私功能。在隐私方面，Aleph Zero 创建了一个名为 Liminal 的隐私解决方案，可适用于其他链。
当然，相较于其他Layer1区块链，Aleph zero 还是一个属于起步阶段的项目，相关的产品还需经过市场的检验。但它的一些创新和突破性技术，我认为还是可以期待一下的。 目前，Aleph Zero拥有 3.35 亿美金的市值。
第2个项目是Oasis Network，它目前拥有比较庞大的生态系统基金，对生态下的ZK rollups应用进行相关支持，并与 META（Facebook）建立了合作伙伴关系，目前拥有 4 亿美金的市值。
ROSE是Oasis Protocol 的原生代币，ROSE的主要用途是用于共识层的交易费用、质押、验证和授权、以及需要在ParaTime 层上收取费用的智能合约操作。ROSE的上限为 100 亿个，其中超过 50% 的ROSE被锁定以帮助验证网络并归属。
值得一提的是，Oasis Network上的数据是标记化的，未经许可不得重复使用数据，因此可以创造出更加更健康的数据经济。它的核心工作模式是Stake Data > User Pays > Data Received。
第3个项目是Mina Protocol，它被不少人认为是最好的ZK-snark协议之一，也是一个轻量的Layer1协议，具有简洁、固定大小的区块，总大小约为 22KB。目前拥有 8.65 亿美金的市值。
Mina 的目标是证明整个区块链是有效的，而不是一个一个地去验证每个区块。当一个新块被创建时，Mina 协议就建立在之前的证明之上，即存在一个有效的块序列并且新创建的块也是有效的。因此，它的证明只需扩展到每个块，而无需遍历整个序列。Mina Protocol 中使用的 zk-SNARK 称为 Pickles，它支持递归，这意味着证明可以引用自身，从而防止区块链的大小增加。
Mina 协议还支持 Snark Powered dApps，称为 Snapps。这保证了 Mina 协议的隐私性和可扩展性。为了构建 Snapps，他们一直在开发 Snarky，这是一种高级 DSL，可以让复杂的应用程序简洁而正确地编写。
MINA是Mina Protocol的代币，用于质押，最终将用于治理。MINA的初始供应量为 10 亿个，通货膨胀率目前为 12%，预计在 4 年内会降至 7%。
第4个项目是Polygon。这个项目已经不止一次在「话李话外」的区块链栏目中有提到过了，也是我们非常关注的一个项目。MATIC是它的代币，也可以说是市值最大的ZK代币之一，它目前拥有最多的机构采用和合作伙伴数量，拥有115亿美金的市值。Polygon ( MATIC ) 最近经历了比较重大的演变，自 2023 年初以来MATIC 的价格增长了 64%。
Polygon 对多种编程语言的支持及其可扩展性解决方案引起了机构投资者、开发者以及一些最大的 DeFi 和 NFT 项目的关注，这就导致了对 Polygon 的需求和兴趣增加。而与以太坊的互操作性，也使得资产和数据的顺利传输成为可能，使 dApp 开发人员更容易将他们的项目转移到网络上。Polygon为用户提供了访问以太坊上广泛的 dApp 和服务的权限，以及快速和廉价的交易费用。
去年底的时候，Polygon的创始人对该网络制定了新的一些雄心勃勃的计划，并希望将其定位为与比特币和以太坊并列的三大加密货币之一。
第5个项目是Syscoin，它可以使用ZK来处理网络上的更多交易，具有高吞吐量和可扩展性，能够提供与其他网络更大的互操作性。Syscoin目前使用的混合共识方法也是独一无二的。 Syscoin目前拥有 1.5 亿美金的市值，其实，Syscoin算是该生态系统中比较OG的一个区块链网络了，它是2014年推出的，虽然知道它的人可能不多。
Syscoin具有独特的生态系统设计，它使用比特币的工作量证明作为其共识方法，同时完全兼容以太坊虚拟机 (EVM)。而且，EVM 兼容性也使Syscoin可互操作并可使用完整的图灵智能合约。它的混合共识方法使用合并挖掘 (PoW) 和完整节点 (PoS)，既可以保证低碳足迹，同时还可以利用PoW来确保安全性。
第6个项目是Panther Protocol，它使用ZK作为可互操作的协议，为Web3 应用提供隐私保障。 ZKP是Panther Protocol的代币。Panther目前拥有 1600 万美金的市值。
Panther 利用 zkSNARKs 使用户能够为任何用户数据（例如他们的年龄、地理位置、交易历史、持有量等）生成证明。它的愿景是为整个 DeFi 生态系统提供隐私功能和选择权，在该生态系统中，用户可以完全控制自己的数据，并能够根据需要向任何人公开尽可能多或尽可能少的信息次。
第7个项目是MetisDAO，它被称为是第一个Hybrid L2。它在 L2 上结合了ZK 和Optimistic Rollup 技术。 METIS是MetisDAO的代币。MetisDAO目前拥有 1.57 亿美金的市值。
Metis作为一个Smart L2，它主要解决的问题是提高了交易速度（licketdy split 具有更快的确定性）和高吞吐量（每秒可以处理更多的交易）。而且，Metis还宣称正在创建易于访问、负担得起且适应性强的解决方案，以便任何人都可以使用区块链技术构建、运行和发展任何应用程序、业务和社区。
上面列出的仅是我个人最近在观察的一些项目，区块链领域肯定还有一些有前途且安全性高的ZK项目。我也相信，随着区块链的发展，也会涌现出更多更好的新项目，让我们一起期待吧。
好了，以上就是今天通过「话李话外」栏目分享的全部内容。我们最后再来一起小结和回顾一下吧，本文帮大家简单介绍了Zero-knowledge零知识技术的概念，并列举几个近期我个人关注比较多的Zero Knowledge项目，它们分别是：Aleph Zero、Oasis Network、Mina Protocol、Polygon、Syscoin、Panther Protocol、MetisDAO。希望今天的分享能够对大家有所帮助。最后，再给大家补充几个文章中涉及到的概念，作为扩展小知识。
扩展小知识：什么是zkSNARK？ SNARK的全称是zero-knowledge succinct non-interactive argument on knowledge（简洁的非交互式零知识证明）。它是一种加密证明，文件很小而且很容易验证。它利用椭圆曲线生成一个加密证明，该椭圆曲线假设无法从一个公开的基点找到随机椭圆曲线元素的离散对数。椭圆曲线的计算成本低于STARK的哈希函数，因此SNARK协议的gas成本更低。
扩展小知识：什么是zkSTARK？ STARK全称是zero-knowledge scalable transparent argument of knowledge（零知识的可扩展、透明知识证明）。这种加密证明几乎不需要证明者和验证者之间产生任何交互。STARKs相比SNARKs的最大优势在于证明时间更短，而且更容易扩展。另外，由于STARKs采用哈希函数，因此也可以抗量子攻击。
扩展小知识：什么是zk-Rollup？ zk-rollup会将多笔交易打包在一起，并发布到Layer1区块链上，同时还会发布一个验证计算有效性的证明。发布到链上的证明也被称作“有效性证明”。有效性证明分为SNARKs和STARKs两类。一旦这些证明在底层区块链上得到了验证，zk-rollup的状态就会更新。
扩展小知识：什么是Validium？ Validium结合了有效性证明和链下数据存储，以提升可扩展性。有效性证明发布在底层区块链上，而数据则储存在链下。这将大幅提升吞吐量并降低gas费。虽然Validium在效率和可扩展性方面远超zk-rollup，但是却可能由于受到攻击导致数据不可用，或用户无法取出资金。不过这个数据可用性问题可以通过PoS系统来解决，采用经济激励机制确保数据储存在各个节点中，并且随时可用。值得一提的是，攻击者虽然有可能暂停交易，但却无法直接盗走用户资金。
扩展小知识：什么是Volition？ Volition结合了zk-rollup和validium，用户可以自由选择使用zk-rollup或validium方案，这两种方案共享同一个状态根（state root）。即使validium被攻破，zk-rollup上的资金也仍然是安全的。因此，机构愿意支付更高的费用来换取zk-rollup的安全保障，而个人用户则更倾向于交易成本较低的validium，两者在volition上可以无缝交互。比如DEX中做市商提供了几亿美元的流动性，因此会选择zk-rollup；而散户持仓相对较小，因此会选择validium。
本文特别鸣谢CryptoGirlNova、Senka的内容与设计支持。转载本文请同时注明以上作者、并注明来源来自「话李话外」。
注：投资有风险，以上内容只是个人角度分析，仅供广大爱好者科普学习和交流之用，不构成任何投资建议，请理性看待，树立正确的理念，提高风险意识，并遵守所在国家和地区的相关法律法规！如您对本文有任何想法或建议，欢迎在评论区提出。关注「话李话外」、查看或订阅作者更多其它内容吧。
