1

详解 Optimism Bedrock 系列 1 - 概述

本文是 Onther 发布的“Optimism Bedrock Wrap-Up Series”的第一篇文章，概述了 Bedrock 升级，包括其组件以及在其层中部署的智能合约。Bedrock 升级旨在通过模块化设计、EVM 兼容性，实现快速交易速度、增强可扩展性和潜在的去中心化。

2

详解 Optimism Bedrock 系列 2 - 主要变化

本文是 Optimism Bedrock Wrap-Up 系列的第二篇，介绍了 Bedrock 升级的关键变化，包括区块创建、Mempool的变化、EIP-1559的引入、L1 Attributes Deposited Transaction、区块推导、以及两阶段提款流程。Optimism 利用以太坊作为数据可用性层，旨在提升以太坊用户及开发者的体验。

3

详解 Optimism Bedrock 系列 3 - 存款/取款流程分析

本文是 Onther 发布的 Optimism Bedrock Wrap-Up 系列的第三部分，深入探讨了 Optimism 中存款和取款的流程。

4

详解 Optimism Bedrock 系列 4 - 区块推导

本文是 Optimism Bedrock Wrap-Up 系列的第四篇，深入分析了区块衍生过程，即提交到 L1 的批处理交易如何转换回 L2 区块。

5

详解 Optimism Bedrock 系列 5 - 基本组件的角色和行为

本文是 Onther 发布的 Optimism Bedrock Wrap-Up 系列的第五篇，主要深入研究了 Optimism Rollup 中 Op-Batcher 和 Op-Proposer 的角色和行为逻辑。

6

从零到英雄：OP Stack 欺诈证明系列 1

本文介绍了Optimism的OP Stack容错证明机制，重点介绍了其多重证明架构如何通过集成强大的容错证明机制来增强Layer2的安全性和可靠性，从而实现准确的状态转换和高效的争议解决。文章还探讨了容错证明程序 (FPP)、容错证明虚拟机 (FPVM, Cannon) 和争议游戏协议，以及多重证明架构，这些共同增强了系统的强大性。

7

从零到英雄：OP Stack 故障证明系列 2

本文是Tokamak Network发布的OP Stack Fault Proof系列文章的第二篇，主要介绍了Optimism的FPVM——Cannon的故障证明系统。Cannon通过链下执行和链上验证来确保Layer2状态转换的完整性，文章详细讲解了Cannon的组件及其相互作用，包括MIPS.sol、MIPSEVM、PreimageOracle等，并阐述了它们在争议解决中的作用。

8

从零到英雄：OP Stack 故障证明系列 3

本文是Tokamak Network关于OP Stack故障证明系列的第三篇文章，主要介绍了Optimism的Fault Dispute Game (FDG)，探讨了如何使用链上（MIPS.sol）和链下（MIPSEVM）组件解决Layer 2状态纠纷。文章还详细阐述了FDG中的提议者、挑战者的角色，PreimageOracle的数据管理，以及确保完整性和安全性的激励结构，并对二分博弈进行了说明。