polygon cdk 时序图，verifyBatchesTrustedAggregator 是一个关键的方法，用于处理 Rollup 批次的验证，更新状态根和本地退出根，并对完成验证的聚合器进行奖励。它确保 Rollup 的状态和数据是最新和正确的。