Agglayer作为Polygon 2.0的核心组件，通过聚合和确保原子跨链交易，旨在统一分散的区块链生态系统。其目标是提供无缝的单链级用户体验，解决现有区块链生态系统中流动性和状态分散的问题。

Agglayer采用一种名为悲观证明的新型验证机制，假设所有接入链都不安全，并通过零知识证明确保跨链操作的正确性。

一、从模块化时代演变至聚合

1.1 Agglayer简介

Agglayer是Polygon 2.0的关键组成部分，其名称中的"Agg"来自于聚合（aggregation）的英文缩写，中文全称为聚合层。与Layerzero、Wormhole等全链互操作性协议不同，Agglayer的设计更类似于一个连接不同链条的交换机，仅需插入"网线"（ZK proof）即可实现链条的接入和数据交换，相较于传统的桥梁构建方式更为快速、简便，并提供更佳的互操作性。

1.2 共享有效性排序

Agglayer的设计受Umbra Research关于共享有效性排序的影响，旨在实现多个Optimistic Rollup之间的原子跨链互操作性。通过共享排序器，系统能够统一处理多个Rollup的交易排序和状态根发布，确保交易的原子性和条件执行。

具体实现需要以下三个关键组件：

• 共享排序器：接收和处理跨链交易请求；
• 区块构建算法：负责构建包含跨链操作的区块，保证操作的原子性；
• 共享欺诈证明：在相关Rollup之间共享欺诈证明，以强制执行跨链操作。

1.3 Agglayer的核心组件

Agglayer不仅吸收了上述方案，还进行了进一步的高效改进，引入了统一桥和悲观证明两个关键组件。

• 统一桥：收集并汇总所有接入链的状态至聚合层，生成统一的证明至以太坊。工作流程包括预确认、确认和最终确定三个阶段，以确保所有接入链交易的有效性。
• 悲观证明：为解决Optimistic Rollup的安全性和交易速度问题，引入零知识证明方式，假设所有接入AggLayer的区块链可能存在恶意行为，通过悲观证明确保交易的正确性。

二、跨链方案探索

2.1 跨链挑战

跨链协议面临诸多挑战，主要包括互操作性三角选择和各种技术限制。为了解决这些问题，不同的跨链方案如哈希时间锁、见证人验证和中继验证等应运而生，每种方案都有其优缺点和适用场景。

通过对现有跨链技术的分析和比较，可以更好地理解Agglayer在提升区块链生态系统互操作性和安全性方面的创新和价值。