大纲

已完成的章节

01-什么是fault-proof

02-fault-dispute-game

03-Cannon

04-op-program

05-op-challenger

TL;DR

• Fault Proof: 替代原有的中心化的proposer
• Fault Proof Game: 通过二分法来找到双发达成共识的最小指令处，并在链上验证
• Cannon: 链下用于生成链上move/step数据的程序
• op-program: 供Cannon使用的ELF文件原型以及Pre-Image的数据提供service
• op-challenger: 用来自动调用cannon和op-program的game操作程序

链上地址

• MIPS
• DisputeGameFactoryProxy
• Game(Example)
• PreimageOracle
• AnchorStateRegistryProxy

参考资料

文章

• Public-OP-Stack-Fault-Proofs-Sherlock-Competition-Handbook
• Docs
• Specs
• Building a Fault Proof System worthy of the Superchain
• Maximizing fault proof modularity with a composable pre-image oracle
• Fault Proof Deep-Dive Part 1: MIPS.sol
• Fault Proof Deep-Dive Part 2: Cannon
• CANNON CANNON CANNON: Introducing Cannon
• The game’s afoot: designing modular dispute games for the OP Stack’s Fault Proof System

视频

• Walkthrough: OP Stack Fault Proof System alpha release
• Peek a live code-walkthrough of the new OP Stack fault proof code (Highly recommend)
• Onchain Summit: Fault Proof Workshop by Protolambda
• Keys in Mordor Summit: Cannon & Fault Proofs