规则与图示 image 忽略output 与 trace差异 trace的高度为2，数据如图 4/5/6/7 节点 Nary=2场景 再次理解step函数中 PreClaim 与 PostClaim计算？ PreClaim step 为 Attack情况，RootClaim 或 ParentPos - 1对应cliam

~~# FDG 编译与测试【optimism develop老分支】 e2e 测试 optimism 根目录编译 git clone -b develop https://github.com/JustXxx/optimism.git cd optimism make install-geth make cannon-prestate make devnet-allocs 执行FDG e2e测试（完整测试，部分用例失败）

(DRAFT) Multi-section fault-proof dispute game https://github.com/ethstorage/optimism/pull/21/files 验证 git clone https://github.com/JustXxx/optimism.git cd optimism/packages/contracts-bedrock 先验证环境，是否正常 （需要 44 tests succeeded） git checkout -b develop origin/develop forge test --mc FaultDisputeGame_Test

(DRAFT) Multi-section fault-proof dispute game https://github.com/ethereum-optimism/optimism/pull/9895/files 验证 git clone https://github.com/JustXxx/optimism.git cd optimism/packages/contracts-bedrock 先验证环境，是否正常 （需要 44 tests succeeded） git checkout develop forge test --mc FaultDisputeGame_Test

smoke-test full-run native keccak 2224409303 51488724092 keccak hostcircuit v1 1731524132 37167345419

rust keccak256，total guest instructions used 12924 安装wasm pack cargo install wasm-pack cargo install wasm-pack --locked zkwasm 编译 git clone -b host-ops-1.6 https://github.com/ethstorage/zkWasm.git cd zkWasm git submodule update --init rust-keccak256 编译 git clone https://github.com/JustXxx/rust-keccak256