乐观vs.零知识汇总：Layer 2扩容方案深度解析
本文探讨了区块链汇总技术，特别是乐观汇总和零知识汇总两种Layer 2解决方案。乐观汇总通过批量处理交易并使用欺诈证明机制来验证交易，但存在挑战期导致交易最终性较低；而零知识汇总利用零知识证明来验证交易，具有更高的安全性、效率和最终性，且无需用户监控网络，提款也更快捷。两种汇总都旨在提升区块链交易效率，但各有优劣，未来发展仍有待观察。
加密货币和区块链的日益普及，促使开发者寻求提高系统适应不断增长需求能力的方法，以实现扩展。分片、侧链、状态通道和汇总是几种扩展方法。区块链汇总将某些交易流程卸载到辅助链，同时将交易数据存储在主 Layer 1 区块链上。本文探讨了加密领域中两种类型的汇总：乐观汇总和零知识汇总。
区块链汇总是什么？
汇总是一种 Layer 2 解决方案，它将交易数据捆绑在一起，并将其从主链（或 Layer 1 区块链）转移出去。然后，交易执行在链下进行，而资产则保存在链上智能合约中。交易数据将在完成后发送回主区块链。
理论上，任何 Layer 1 解决方案都可以实现汇总以提高交易效率（吞吐量）。通过汇总，区块链可以在特定时间段内增加处理和记录的交易数量。
目前，有两种类型的汇总：乐观汇总和零知识汇总 (zk-rollups)。
乐观汇总是什么？
乐观汇总是一种协议，它通过将多个交易捆绑成批次来提高交易输出，这些批次在链下处理。之后，交易数据将使用数据压缩技术记录在主链上，这有助于降低成本并提高速度。乐观汇总可以将可扩展性提高 10 到 100 倍。
乐观汇总如何验证交易？
为了提高效率，交易默认有效。您可能想知道这是否会以牺牲交易处理速度为代价来损害安全性。但是，乐观汇总使用欺诈证明方案，以及一个称为“挑战期”的争议解决期。在此期间，任何监控汇总的人都可以提交挑战，以通过欺诈证明来验证交易是否已准确处理。
如果发现该批次存在错误，汇总协议将通过重新执行错误的交易并更新区块来纠正它们。批准错误交易执行的各方将受到处罚。
乐观汇总的局限性
虽然没有交易验证过程，但存在 zk-rollups 没有的挑战期，这会增加交易完成所需的时间。乐观汇总的链的最终性也低于 zk-rollups。最终性是衡量用户必须等待多长时间才能获得交易不会被撤销或更改的合理保证的指标。乐观汇总的提款会延迟，因为在资金可以释放之前，需要经过挑战期。相比之下，zk-rollups 的提款一旦 zk-rollups 智能合约验证了有效性证明，就会生效。
有些人还认为乐观汇总不如 zk-rollups 高效。对于乐观汇总，必须将所有交易数据发布到链上才能完成交易。对于 zk 对应项，链上只需要有效性证明。
zk-Rollup 是什么？
零知识汇总是一种协议，它将交易捆绑成批次，以便在主链之外执行。对于每一批，zk-rollup 操作员将在批次中的交易执行后提交所需更改的摘要。操作员在生成有效性证明方面还有额外的作用，以证明更改是准确的。这些证明比交易数据小得多；因此，验证它们更快且更便宜。
在以太坊上，zk-rollups 在将交易写入以太坊作为 *calldata* 时通过压缩技术减少交易数据，有效降低了用户费用。
zk-Rollup 如何验证交易？
Zk-rollups 使用零知识证明 (ZKP) 来验证交易。ZKP 由称为证明者的人使用，证明者想要说服另一方（称为验证者）他们拥有知识，从而验证交易。
其工作原理如下：
- 证明者提供只有他们才能生成的数学证明。
- 验证者使用此数学证明来验证交易的有效性。
- 信息可以在不向验证者透露内容的情况下获得有效性证明。
zk-Rollup 的优势
如果正确实施，zk-rollups 可以为用户提供高水平的安全性。促成这种安全性的一个关键特征是使用零知识有效性证明。它们确保网络只能在有效状态下运行，并且操作员无法以任何方式窃取用户资金或破坏系统。
zk-rollups 的另一个好处是用户无需监控网络。Zk-rollups 将所有数据存储在链上，并需要有效性证明。因此，操作员无法作弊，用户不必担心网络行为不端。此外，zk-rollups 允许用户将资金提取到主网，而无需与操作员合作，只需通过数据可用性证明代币所有权即可。
与乐观汇总类似，zk-rollups 还实施链下执行机制以提高交易执行速度。
zk-Rollup 和乐观汇总的区别
(此处应插入表格比较乐观汇总和zk-汇总的差异，由于输入中没有提供表格内容，此处无法补充)
零知识汇总和乐观汇总的未来？
零知识汇总和乐观汇总的未来仍然是一个未知数。随着越来越多的人采用加密货币和区块链，汇总可能在提高区块链效率方面发挥至关重要的作用。区块链可能会继续测试各种扩展解决方案，包括分片、汇总和 Layer 0。我们也可能会看到新的解决方案被创建和实施，或者与汇总一起，或者代替汇总。
结语
由于对加密货币的需求增加并超过了当前区块链的限制，许多人提出了不同的扩展解决方案。在本文中，我们检查了乐观汇总和 zk-汇总这两种汇总之间的内在差异。随着汇总不断经过测试，我们最终可能会看到一种更优越的类型，这可以帮助我们实现大规模采用的可扩展性。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Premiere Pro 是面向专业视频制作的非线性剪辑软件，提供多轨时间线、调色、音频处理、字幕、代理工作流和多格式输出能力，并可与 After Effects、Audition、Photoshop 及 Frame.io 协同
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
Adobe Media Encoder 是 Adobe 面向视频与音频制作流程提供的专业编码和转码工具，可批量处理媒体文件、创建代理、套用输出预设并监控文件夹自动执行任务。它与 Premiere、After Effects、Audition