以太坊面临一个基本的可扩展性挑战：当网络需求高时，交易费用会飙升至数十美元，使分散式应用对大多数交易在经济上不可行。第二层汇总代表了解决这一问题最成熟的方案，使以太坊能够在不损害安全性的情况下进行扩展。这些系统通过在链外执行交易来工作，同时保持在以太坊上保护它们的加密证明。 本综合指南解释了第二层汇总如何工作、乐观汇总和零知识汇总之间的关键差异、每种方法的权衡以及使用它们的项目。无论您是寻求低成本交易的用户还是选择在哪里构建的开发者，了解汇总技术对于现代以太坊使用至关重要。
以太坊的可扩展性问题和第二层的必要性
以太坊是最分散和最安全的智能合约平台，但它有根本的可扩展性限制。网络中的每个验证者都必须执行每笔交易，将它们排序成区块，并在链上记录。这创建了一个绝对吞吐量上限——以太坊每秒只能处理约12-15笔交易，这是一个深思熟虑的设计选择，优先考虑去中心化和安全性而不是原始吞吐量。
在正常网络状况下，12-15 TPS是足够的。但在高需求期间——比如2017年的ICO热潮、2021年的DeFi夏季或2022年的NFT热潮——成千上万的用户试图同时提交交易。这些交易在内存池中堆积，等待包含在区块中。用户必须支付越来越高的gas费用来激励验证者包含他们的具体交易。
在这些拥堵期间，简单的交易可能需要花费$10-50，复杂的交易比如智能合约交互可能需要花费$100以上。这使得以太坊在经济上对小额交易不可用。用户想要交换价值$50的代币需要支付$20-50的手续费——对零售用户来说无法接受。这是第二层解决方案，特别是汇总，旨在解决的核心问题。
第二层汇总的工作原理：基础架构
第二层汇总通过将交易执行从以太坊主网转移到单独的汇总链来解决可扩展性问题，同时通过定期将状态检查点保存回以太坊来维持安全保证。
基本机制很直接：用户向汇总而不是主网提交交易。汇总网络处理这些交易的速度快得多——每秒数百甚至数千笔——因为它不需要在数千个验证者之间实现全球共识。一小组验证者（通常称为sequencers）处理交易并立即向用户提供确认。
定期（通常每几分钟），汇总将数千笔交易捆绑成一个单一批次。然后使用有效的编码方案压缩该批次，并将其作为单个交易提交给以太坊。因为提交成本摊销到数千笔交易中，每笔交易成本急剧下降。$100的提交成本除以1000笔交易仅为每笔交易$0.10。
关键是，汇总通过将其状态与以太坊相联系来维持完整的安全保证。每个汇总提交都包括状态根——对处理该批次后状态的加密承诺。该状态根被记录在以太坊上，创建一个永久的、可审计的记录。任何验证者都可以下载所有汇总数据，重新执行交易，并验证状态根是否正确。如果状态根不正确，经济激励确保有人对其提出异议，触发争议解决。
这种架构创建了一个层次结构：以太坊提供安全和最终结算，而汇总提供快速执行和低成本。汇总不能改写历史或盗窃资金，因为所有交易和状态变化保持在以太坊上可公开验证。
乐观汇总：默认假设正确性
乐观汇总基于优雅的原则运作：默认假设所有验证者都是诚实的，所有交易都是有效的。只有当有人专门对状态根提出质疑时，你才会调查正确性。这被称为"乐观"是因为它乐观地假设诚实。
当sequencer将批次提交到以太坊时，他们声称他们已经正确处理了交易。他们不提供加密证明——只是声称。随后是一个质证期，通常为期七天，在此期间任何人都可以检查提交的数据并验证正确性。如果他们发现错误，他们可以发布债券并启动争议。
当争议被启动时，一个互动证明游戏在以太坊上开始。质疑者和sequencer使用二分查找来缩小他们不同意的特定计算步骤。工作原理如下：如果sequencer声称100万个计算步骤是正确的，但质疑者对此提出异议，他们首先检查步骤1-500,000或步骤500,001-1,000,000中是否包含错误。然后他们细分剩余的一半，反复缩小范围，直到他们隔离出确切的指令。
一旦隔离为单个指令，以太坊的EVM就可以直接执行该指令并确定谁在说谎。如果质疑者是对的，sequencer会失去他们的债券（削减）。如果sequencer是对的，质疑者会失去他们的债券。这种经济激励结构确保sequencers行为正确——欺诈被立即检测和惩罚。
优点：乐观汇总操作在计算上很便宜（不需要复杂的证明生成），它们具有优秀的EVM兼容性（大多数以太坊合约变化不大），费用极低。缺点：七天的质证期延迟了最终性，他们需要向以太坊发布更多数据（与ZK汇总相比）。
零知识汇总：密码学正确性证明
零知识（ZK）汇总采用根本不同的方法来确保正确性。他们不是默认假设诚实并在质疑时调查，而是使用称为零知识证明的技术立即用密码学证明每个批次的正确性。
零知识证明是一种加密构造，允许某人证明陈述是真实的，而不泄露基础信息。例如，你可以证明你知道密码而不披露密码。对于ZK汇总，证明者（验证者）演示他们正确执行了1000笔交易而不透露每笔交易的详情。
过程如下：处理完一批交易后，验证者生成一个零知识证明，声称"我正确地执行了这些交易并到达了这个新的状态根。"这个证明生成在计算上很昂贵——可能需要几分钟——但一旦生成，验证极其便宜和快速。以太坊在几秒内验证证明，一旦验证，新状态根是最终的且不可逆的。
优点：ZK汇总实现立即最终性（没有7天延迟），他们需要较少的数据发布到以太坊（证明是紧凑的），他们完全避免质证期延迟。缺点：生成证明在计算上很昂贵且复杂，需要专门的硬件和精密的密码学，他们具有较低的EVM兼容性（需要自定义语言如Cairo或Solidity修改），费用可能因证明生成开销而更高。
最近的发展已显著改善ZK汇总的实用性。技术比如证明递归（证明关于证明的证明）和证明聚合（组合多个证明）已经使zkSync和Scroll等系统接近实用可行性。随着专门的证明硬件变得更成熟，ZK汇总最终可能提供与乐观汇总相竞争或更低的费用。
详细对比：乐观汇总与ZK汇总
| 特征 | 乐观汇总 | ZK汇总 |
|---|---|---|
| 到最终性的时间 | 7天（质证期） | 几分钟（证明生成） |
| 证明计算成本 | 零（无需证明） | 高（证明生成昂贵） |
| EVM兼容性 | 非常高（接近完美） | 较低（需要自定义语言） |
| 证明验证成本 | 高（以太坊上的互动游戏） | 低（简单密码学检查） |
| 发布到以太坊的数据 | 高（完整交易数据） | 低（仅证明+状态根） |
| 示例 | Arbitrum，Optimism | StarkNet，zkSync，Scroll |
这个对比表格揭示了基础权衡。乐观汇总优先考虑开发者体验和计算效率：它们更容易理解，操作成本更低（没有证明生成开销），具有优秀的以太坊兼容性。大多数开发者今天倾向乐观汇总，因为他们可以在很大程度上移植以太坊合约而无需更改。
ZK汇总优先考虑正确性确定性和最终性速度。他们实现立即的密码学确定性，而不是依赖于经济激励和质证期。然而，他们需要接受更高的操作复杂性、较低的与现有代码的兼容性，并等待证明技术成熟。
目前，乐观汇总在已部署的价值和开发者采用中占主导（仅Arbitrum就拥有比所有ZK汇总总和更多的TVL）。然而，许多专家相信，随着ZK证明技术的成熟和专业化证明硬件变得普遍，ZK汇总最终会因其优越的最终性属性和数据效率而占据主导。
汇总的历史和第二层解决方案的演变
汇总技术在实际实施之前就已提出多年。概念是优雅的——将执行转移到链外，在链上验证——但工程需要实质性创新。Arbitrum开创了第一个生产乐观汇总，在2021年推出主网。Optimism随后不久推出。两个网络都经历了多年的开发、安全审计和主网操作，直到被认为足够安全以承载大量价值。
早期（2021-2022年）是实验性的。汇总被认为是高风险创新。用户谨慎地跨越资产，总锁定价值保持适度。然而，随着两个网络无瑕疵地运行了较长时间，没有资金损失，信心增长了。到2023年，数百亿美元流向了Arbitrum和Optimism。
ZK汇总遵循不同的时间表。StarkNet（最初称为StarkEx）通过StarkWare在证明系统中的创新开创了实用ZK可扩展性。zkSync（前Matter Labs）后来推出但具有强大的工程。这些系统最初与兼容性问题和开发者体验斗争，但取得了重大进展。
2023-2024年的时期见证了成熟：Arbitrum发布了Nitro，显著提高了性能；Optimism推出了Bedrock，改进了稳定性和降低成本；zkSync发布了版本2.0，具有大大改进的EVM兼容性；Scroll和Linea作为额外的EVM兼容ZK选项出现。
以太坊协议级改进也加速了汇总进展。Proto-Danksharding（EIP-4844）专门为汇总优化了以太坊，创建了一个专用的廉价数据层。这个升级在2024年激活，立即大幅降低了汇总费用，并继续改进。
汇总对用户的好处和风险
汇总的好处是实质性的。主要优势是成本降低：交易成本比以太坊主网少90-95%。一个$20的Uniswap交换变成$0.20交易。一个$50的借贷交易变成$0.50交易。这个经济学转变打开了全新的可能性——微支付、小型DeFi头寸和休闲游戏变得可行。
次要好处包括速度（交易在几秒而不是几分钟内确认）和安全性（你保留完整的以太坊安全保证）。因为汇总定期将其状态提交到以太坊，你不会因为汇总失败而失去资金——只会因为其自己的智能合约错误而失去，不是因为汇总本身失败。
风险存在并值得认真考虑。智能合约风险是显著的——你交互的应用程序（Uniswap、借贷协议等）仍然是复杂代码，仍然容易受到错误。与审计常见的以太坊不同，许多汇总应用受审计较少。几个主要的黑客和漏洞已经影响了汇总应用程序。
网络风险虽然低，但存在。汇总是具有复杂共识机制和密码学的复杂系统。如果汇总核心协议中存在关键漏洞，可能会发生大范围资金损失。然而，主要汇总多年来已无故障运行，表明这种风险在实践中很小。
桥接风险在将资产从以太坊移至汇总时发生。桥接智能合约虽然通常经过审计，代表潜在的漏洞向量。如果桥接被利用，资产可能被盗窃。
提取风险特定于乐观汇总：由于7天质证期，从乐观汇总提取需要7天，而不是几秒。这为想要快速退出的用户造成了摩擦。
MEV（最大可提取价值）风险：汇总sequencers了解待处理的交易，可以重新排序以捕获价值。这可能导致用户价格更差或前沿运行攻击。不同的汇总对减轻MEV有不同的方法。
主要汇总项目及其生态系统
按总锁定价值和项目数量，Arbitrum是目前最大的乐观汇总。由Offchain Labs推出，Arbitrum已吸引了所有DeFi类别的数百个项目：Uniswap（提供深厚的DEX流动性）、Aave（借贷数十亿）、Compound（竞争借贷协议）、Curve（稳定币交易）、GMX（永久期货）、Balancer（算法资产管理员）和许多其他。Arbitrum最近的Nitro升级改进了30%的性能，并使即将推出的Stylus成为可能——允许开发者用Rust和C++而不仅Solidity编写合约。
Optimism是第二大乐观汇总，由OP Labs（前身为Optimism Foundation）维护。Optimism拥有强大的开发者社区，并主办许多优质项目。最近的Bedrock升级改进了sequencing效率并引入了新的验证机制。Optimism的治理由Optimism Collective的社区驱动。
StarkNet由StarkWare开发，是领先的零知识汇总。StarkNet使用一种称为Cairo的专业编程语言，该语言专门为生成ZK证明而设计。这种专业化支持强大的性能属性，但需要开发者学习新工具。StarkNet有自己的社区和成长中的生态系统。
zkSync由Matter Labs推出，是第二大ZK汇总，优先考虑EVM兼容性。zkSync 2.0引入了Solidity支持，允许以太坊开发者以最少的代码更改进行部署。这种方法从熟悉以太坊工具的开发者中获得采用。
新兴竞争者包括Scroll和Linea，这两个都是EVM兼容的ZK汇总，试图结合ZK的证明正确性与乐观汇总的开发者体验。随着这些项目成熟，所有汇总类型的竞争和实验应该加速创新。
安全模型：验证者经济学和密码学保证
理解汇总安全需要理解每种类型实际证明的内容。
乐观汇总依靠经济激励确保正确性。验证者必须发布大额债券以参与（通常数百万美元）。如果他们提交虚假状态根，他们的债券被削减。这创建了强大的激励对齐：诚实运营比冒失去债券的风险更便宜和更安全。安全假设是至少一个验证者是诚实的并被经济激励质疑不正确的提交。
技术执行机制是之前描述的互动争议游戏。当虚假状态根被质疑时，双方在以太坊的EVM上进行游戏。以太坊的角色纯粹是仲裁——它不重新执行所有交易（计算上不可行），但它确实验证哪个单一计算步骤被质疑。这种委派是精妙的：乐观汇总获得以太坊的完整正确性保证，而不需要以太坊处理数百万笔交易。
ZK汇总使用密码学保证。执行交易后，验证者生成一个零知识证明声称正确性。这个证明可以在几秒内被任何人（包括以太坊）验证。如果证明不验证，它立即被拒绝——无需经济激励。安全假设是数学的：如果ZK证明系统正确实施，甚至拥有无限计算能力也无法生成虚假证明。
两个系统都通过将状态根绑定到以太坊永久地来维持安全。状态根成为以太坊规范历史的一部分。改写它们需要改写以太坊本身——在没有控制51%以太坊硬件的情况下基本上不可能。
一个微妙但重要的要点：汇总安全取决于数据可用性。验证者必须向以太坊发布交易数据（不仅仅是状态根）。如果数据不可用，即使状态根正确，用户也无法重建汇总的状态。这就是为什么汇总发布原始交易数据——它创建了任何人都可以永远访问的可审计记录。
汇总的未来和长期第二层愿景
汇总技术继续快速发展。若干发展正在重塑第二层景观。
Proto-Danksharding（EIP-4844）特别重要。以太坊在2024年升级以为汇总提供专用的廉价数据层。Blob数据（每个区块8-16 MB）临时但经济地存储，然后在几周后被清除。这对汇总来说是完美的，它们需要临时数据存储而不是永久链上存档。这个升级立即减少了汇总费用5-10倍，进一步改进是可能的。
第三层代表新兴边界。因为汇总结算到以太坊（第二层），以太坊结算到其自己的共识（第一层），理论上你可以有第三层——汇总中的汇总。Arbitrum Chains（Orbit）使任何人都能使用Arbitrum作为结算来推出自己的第三层。这创建了一个缩放金字塔，其中不同的应用可以选择自己的权衡点。
证明技术正在进步。递归证明（证明关于证明的证明）和证明聚合（将许多证明合并为一个）为ZK系统启用了戏剧性的可扩展性改进。随着证明生成硬件专业化的增加，ZK汇总可能最终提供比乐观汇总更低的费用。
跨链通信正在改进。目前，不同汇总之间的桥接需要通过以太坊。未来协议比如Hyperlane和LayerZero在第二层系统之间实现更快的直接通信。
MEV解决方案正在开发。加密的内存池、协议级MEV销毁和排列抗性设计模式旨在中和sequencer MEV优势。
长期来看，专家对最终的第二层景观意见分歧。有些人相信多个汇总将持续，每个具有不同的权衡点。其他人相信围绕一个或两个赢家协议的中心化。大多数同意ZK技术最终会主导，因为一旦证明生成变得实用和成本效益，具有优越属性。接下来的几年对于确定最终哪些技术占上风至关重要。
常见问题
总结
汇总代表以太坊扩展中最重要的发展，解决了高费用问题同时维持安全。乐观汇总和零知识汇总都提供独特的优势和权衡，但两者都有可能在未来几年重塑用户与以太坊交互的方式。无论你选择Arbitrum、Optimism、StarkNet还是zkSync，理解汇总技术对于现代以太坊的导航和参与其不断发展的低成本、高速应用生态系统至关重要。
本文仅供教育参考，不构成财务建议。
