欢迎来到 “ZKVerse”，一个致力于探索零知识证明的内容系列。这项技术最近作为解决以太坊扩容的关键解决方案之一出现，被认为将使以太坊网络能够容纳新一批的10亿用户。不过，零知识的前景和它的神秘性一样，还有待验证。在这个系列文章中，我们将用通俗易懂的语言为你全面解读有关这项技术的信息。
Polygon 是一个无与伦比的前沿零知识研究集合地：Polygon Hermez、Nightfall、Polygon Miden 和新宣布的 Polygon Zero。ZKVerse 将为这些项目内部的专业知识提供系列文章，包含最新的一线实践经验，同时也将便于非专业读者阅读。我们将介绍核心概念，解释技术的发展方向，预期会产生什么样的影响以及何时产生。但让我们从最基本的开始：什么是零知识，为什么应该被关注？
zkSync：已恢复zkSync Era和zkSync Lite存取款:金色财经报道，为配合以太坊Shapella升级，以太坊二层网络zkSync此前停止了zkSync Era和zkSync Lite存款/取款交易。
zkSync官推宣布，随着Shapella升级顺利完成，目前zkSync Era和zkSync Lite存款/取款等操作已经恢复。[2023/4/13 14:00:55]
在过去的几年里，以太坊社区最紧迫的问题是如何提高网络的能力，以处理更多的交易。
DeFi 和 NFTs 中新应用的爆发给网络带来了拥堵和 gas 费的飙升。解决方案是将计算移到所谓的 Layer 2 ，这是一个集合术语，特指存在于以太坊主网之外但仍然依靠它来保证安全性的扩展方案。而这里就有零知识发挥其魔力的地方。
Matter Labs质疑ZKSwap的用户资金安全问题:2月24日消息，以太坊二层扩容解决方案开发团队Matter Labs发推质疑基于ZK Rollup扩容技术的AMM去中心化交易所ZKSwap，称ZKSwap克隆zksync的代码，甚至懒得从Etherscan上的合约代码中删除Matter Labs的作者身份，也没有发布更改，Matter Labs表示担心ZKSwap的用户资金的安全。“将AMM功能正确地添加到我们的代码中是非常不平凡的，并且需要在ZKP有很强的能力。它还需要由经验丰富的密码学家进行非常彻底的安全审计（不仅仅是你发布的文章中提到的静态代码分析）。你会对自己的用户如此友好以至于开放你的合约和环路（Circuit）的完整源代码吗？”[2021/2/24 17:47:22]
月球数学 moon math
MXC抹茶上线ZKS 开盘上涨297.5%:2月13日20:00，MXC抹茶创新区上线ZKS（ZKSwap），开放USDT交易。ZKS开盘0.8USDT，当前最高报价3.18USDT，最高涨幅297.5%。资料显示，ZKSwap是一套基于AMM Swap协议，通过 ZK-Rollup技术在Layer-2实现了uniswap的全套功能，具有可扩展性和隐私性，并为流动性提供者和交易者提供超高吞吐量的Swap基础设施，且交易无需任何Gas费用。注：信息仅供分享，不构成任何投资建议。[2021/2/13 19:41:52]
零知识证明是一种证明方式，用来证明你知道什么，但不透露你知道的具体是什么或你通过何种方式知道。在密码学设置中，这意味着有人（证明者，Prover）需要证明他们知道什么，其他人（验证者，Verifier）需要验证“证明者知道”为真。
币赢Defi专区Miniswap成为首个基于可编程 ZK-Rollups 技术的 layer-2 去中心化平台:据官方消息，币赢Defi专区Miniswap首家开发针对DeFi的“Derivative”智能合约语言并将其将引入支持ZK-rollup的 Layer2网络。据悉，此项Layer2技术可除了实现0 Gas费，解决DEX交易拥堵，降低DEX交易成本，提高DEX交易效率之外，其“Derivative”智能合约语言还能够方便开发者进行二次开发，增强其生态可拓展性。
币赢MINI当前报价0.0789U，24小时涨幅15.56%[2021/1/6 16:33:24]
假设 Bob 要求 Alice 证明她知道某个绘本人物在哪个绘本的哪个具体位置。Alice 同意了，但不想告诉 Bob 该绘本人物具体在绘本的第几页的哪个位置，或者不想让 Bob 知道她是如何找的。Alice 可以通过复制包含该人物的页面，把该人物剪掉以拿给 Bob 证明她知道。
这就是简言之的零知识证明，由麻省理工学院的一群研究人员在 1989 年提出这一概念，但其背后的科学非常复杂，直到最近它还被认为是“月球数学（moon math）”。三十年后的今天，这个概念正被应用于解决区块链面临的一些的挑战，如：可扩展性、安全性和隐私。我们正在见证零知识方案的寒武纪大爆发，每一种零知识方案都有自己的优点和潜在的应用。
ZK Rollup 是如何帮助扩展以太坊呢？
Rollin’, Rollin’, Rollin’
Rollups 是建立在以太坊之上的 Layer 2 协议。之所以被称为 Rollups 是因为它将大量用户的单笔转账 "卷" 为一个整体的交易打包到一个区块中。这种将计算移至链外的方式有助于减少以太坊的拥堵，并减少用户的整体 gas 成本。虽然 Rollups 仍然需要支付费用以在以太坊上记录成“卷”的交易，但每笔交易的成本会非常便宜，因为这个整体交易的费用是由许多用户共同支付的。
在 ZK Rollup 中，一个智能合约处理并验证所有的交易在链外有效。该有效性证明（validity proof）被公开记录在链上，在以太坊区块中永不抹灭。另一种主要的 Rollup 被称为 Optimistic，因为它假设所有交易都是正确合规的，并依赖于称为欺诈证明（fraud proofs）的挑战。
ZK Rollups 有很多优点
因为有效性证明本身比它们所代表的数据小得多，所以验证一个区块的速度更快，成本更低。
一些被以太坊的联合创始人 Vitalik Buterin 称为“快速解决方案”的开发正在进行中，以减少 Rollups 使用的特定类型数据的 gas 费，这将加速 Rollups 的采用。
以并行计算方式将转账“卷”起来，这鼓励了去中心化。
将资金从 Layer 2 转移到以太坊没有任何延迟，这个过程对于 Optimistic Rollups 来说需要一个星期。
从有效性证明中抽象出交易细节，对隐私也有积极的影响。
ZK Rollups 的挑战
某些类型的零知识必须经历一个费力和麻烦的初始化阶段，称为“可信设置环节（Trusted Setup Ceremony）”。（一个经典的例子，请查看 Radiolab 关于 Zcash 的先锋作用的文章）。
零知识证明需要强大的计算机来运行，并且需要大量的数据优化来达到其扩展潜力，所有这些都可能限制验证者规模。
量子计算有可能构成威胁，但一些类型的零知识能经得住考验，不会过时。
随着这些障碍被克服，ZK Rollups 将成为模块化区块链架构的重要组成部分，模块化区块链被认为这是 Web 3.0 基础设施的未来。Polygon 相信，零知识加密技术将是我们未来几年的核心资产。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。