1. polygon 架构预览

2. 交易进入 TxPool

细节1: 目前 polygon 的 zkevm 能执行的最大 size 是 30000 字节， 大于这个字节的交易是无法被 zk execator 执行的. 细节2: 目前 polygon 一旦有一笔交易卡在 tx pool, 这个地址再发交易会卡住

3. Seqeuncer 定序交易并 rollup 到 Layer1

Seqeuncer 里面有三个任务，createFirstBatch 用于 genesis, tryToProcessTx 处理同步器同步的数据，tryToSendSequence 执行交易并 rollup 到一层

3.1 genesis 的流程解析

只有 batchNum = 0 的时候，才会 genesis, genesis 会在 db 里面产生第一批交易，交易也会被 tryToProcessTx 和 tryToSendSequence 处理。

3.2. tryToProcessTx 处理流程

3.3.tryToSendSequence 处理流程，主要是处理 rollup 流程

4. Lx<->Ly 交易

5. Prover 证明交易流程

下一篇文章将解析 Verifier 验证交易流程和同步器同步交易的流程