有效性证明

本文比较了欺诈证明和有效性证明这两种用于rollup的交易有效性检查机制，介绍了它们的工作原理、特点及优缺点。欺诈证明用于乐观rollup，假定所有交易都是有效的，而有效性证明用于ZK rollup，通过计算每批交易的有效性证明以确保交易的正确性。

这篇文章深入探讨了以太坊的扩展问题，专注于Layer2区块链中的有效性证明和欺诈证明的原理及应用。它详细介绍了两种主要的Rollups（乐观Rollups和零知识Rollups），以及它们在提高区块链交易效率和确保交易安全性方面的重要性。

本文介绍了基于竞争的 Rollup (BCR) 架构，它是 Taiko 提出的一个可配置、多重证明的 Rollup 设计。

本文档定义了争议游戏（Dispute Game）的接口，争议游戏用于在乐观rollup中，当对layer2状态的声明产生争议时，由多方参与进行仲裁。文档详细描述了DisputeGameFactory和DisputeGame两个核心接口，以及相关的类型定义，为不同证明系统（如欺诈证明、有效性证明、认证证明）的实现提供了灵活性。

本文深入探讨了以太坊第二层（L2）扩展方案中的欺诈证明（Fraud Proofs）和有效性证明（Validity Proofs）的区别，分析了它们各自的优势和劣势，并讨论了它们在应对51%攻击时的表现。