search

statechannels / dispute-game

A prototype of the dispute game in typescript and solidity.
MIT License
9 stars 0 forks source link

Improved design doc #8

Open andrewgordstewart opened 3 years ago

andrewgordstewart commented 3 years ago

Improve the design doc to clarify the design that we plan to implement.

This design doc is

  1. a bit out of date. For instance, the ChallengeManager won't be constructed with the argument (commitment: StepCommitment[]), but instead will have a constructor signature more like (values: Bytes32[], disputedIndex: uint256)
  2. consequentially, a bit overcomplicated. For instance, we now think that the first step invalidation is out of scope, and would be performed before deploying a ChallengeManager

OUT OF SCOPE: Describing the benefits and drawbacks relative to other designs. This will be done by @lalexgap

andrewgordstewart commented 3 years ago

I made a copy of Mike's version, and made the description more explicit.

The goal here is to describe DisputeGame in a way that facilitates the security analysis. This is important to Optimism; it is also important for us, as we plan to write a formal verification of the dispute protocol.

The explicit description also hopefully serves as an implementation guide.