search

statechannels / dispute-game

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

add initial spec #38

Closed andrewgordstewart closed 3 years ago

andrewgordstewart commented 3 years ago

This spec is exported from the following notion document: https://www.notion.so/statechannels/Copy-of-Dispute-game-design-2eee37cd8cc943759405a9ef97885411

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.

We should choose to review this spec in notion or in GitHub, but not both. @lalexgap and @kerzhner should coordinate how to review this.

Resolves #37. Resolves #10.

lalexgap commented 3 years ago

Per slack, we're going to use notion to house the design doc for now. Closing this.