这篇文章深入探讨了以太坊的扩展问题，专注于Layer2区块链中的有效性证明和欺诈证明的原理及应用。它详细介绍了两种主要的Rollups（乐观Rollups和零知识Rollups），以及它们在提高区块链交易效率和确保交易安全性方面的重要性。
本文比较了欺诈证明和有效性证明这两种用于rollup的交易有效性检查机制，介绍了它们的工作原理、特点及优缺点。欺诈证明用于乐观rollup，假定所有交易都是有效的，而有效性证明用于ZK rollup，通过计算每批交易的有效性证明以确保交易的正确性。
本文介绍了基于竞争的 Rollup (BCR) 架构，它是 Taiko 提出的一个可配置、多重证明的 Rollup 设计。
本文深入探讨了以太坊第二层（L2）扩展方案中的欺诈证明（Fraud Proofs）和有效性证明（Validity Proofs）的区别，分析了它们各自的优势和劣势，并讨论了它们在应对51%攻击时的表现。
Alchemy
cyfrin
Taiko.xyz
starkware