以太坊引入了 Optimistic Rollups 来进行扩展，但只有 Arbitrum 和 Optimism 达到了第 1 阶段的安全性。为什么还没有任何 Optimistic Rollups 达到第 2 阶段？本文以 Arbitrum、Optimism、Cartesi 和 Kroma 为例，对以太坊 Rollups 中的欺诈证明系统的经济设计及其对安全的重要意义进行了全面分析。