multisec-faultproof.md

Tasks

• FaultDisputeGame contract draft
• FaultDisputeGame contract @Bill @Qi
• 4844 point evaluation @Po
• contract test of 4-ary dispute game @Bill @Po
• E2E test of 4-ary dispute game (@Bill @Po)
  • Alphabet game (2024/9/7
    • fetch counter's sub claims from DA and upgrade CalculateNextActions for TraceAccessor interface and [test it] (https://github.com/ethstorage/optimism/blob/78e1084ec14d3003cb9e546b9eb5a22db7408ac2/op-challenger/game/fault/solver/game_solver_test.go)
      • expected delivery date: -- 3 Weeks (2024/10/7)
      • actual delivery date:
    • upgrade PerformAction and test it
      • expected delivery date: -- 1 Weeks (2024/10/14)
      • actual delivery date:
    • e2e test
      • expected delivery date: -- 3 Weeks (2024/11/4)
      • actual delivery date:
  • adapt for Cannon
    • expected delivery date: -- 3 Weeks (2024/11/18)
    • actual delivery date:
  • devnet intergration:
    • expected delivery date: -- 1 Week (2024/11/25)
    • actual delivery date:
  • integrate op-dispute-mon

Materials

• op proposal & milestones

• Multi-sec analysis[ppt]: https://docs.google.com/presentation/d/1Wvk4IFiiE7mZ-PxWq7MX-BeWXJzJmGr5NkbRc9RBq3M/edit#slide=id.g266f97ce0a2_0_11

• How to run fault proof: https://hackmd.io/Meq0Qn77QDKKmjHusNP9TQ

• Anatomy of fault proof test: https://hackmd.io/GK_Fv9fQQmmbW3MW-b69Gw?view#Challenger