L2s 在鏈下處理成千上萬筆 TX，但它們如何驗證證明？遊戲完全不同。

樂觀彙總（$ARB、$OP）假設一切都是真的，除非有人提出質疑。欺詐證明只有在有人發起挑戰時纔會觸發。便宜且快速，但你需要等待 7 天才能提取。

ZK 彙總（$ZKS、$MATIC）爲每個批次生成加密證明。數學不會撒謊。即時最終性、更高的安全性，但計算成本更高。

另外還有有效彙總（validiums）和有效性/自願項（volitions），在鏈上/鏈下的數據可用性之間混合取捨。到處都是權衡。

根據你在構建什麼來選擇你的策略，或者說按你想要的方向“梭”。在安全性 vs 速度 vs 成本之間沒有免費的午餐——加密基礎設施裏更是如此。