CANNON是整个fault-proof架构中的核心组件。
本文是Tokamak Network发布的OP Stack Fault Proof系列文章的第二篇,主要介绍了Optimism的FPVM——Cannon的故障证明系统。Cannon通过链下执行和链上验证来确保Layer2状态转换的完整性,文章详细讲解了Cannon的组件及其相互作用,包括MIPS.sol、MIPSEVM、PreimageOracle等,并阐述了它们在争议解决中的作用。
本文档深入探讨了 Fault Proof(也称为欺诈证明或交互式游戏)的组成部分:program,vm,以及交互式的争议解决游戏。
在本章节中,我们将详细介绍 Fault-Dispute-Game。我们将从设计思路开始,逐步深入到代码层面进行探讨。
我们为什么需要FaultProof在深入了解FaultProof之前,首先考虑一下为什么需要FaultProof,它解决了哪些关键问题?
op-program主要分为两大模块
op-challenger主要负责操作FDG