search

statechannels / dispute-game

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

Update design doc with protocol analysis #40

Open lalexgap opened 3 years ago

lalexgap commented 3 years ago

Currently the protocol analysis has some TODOs in the proof sections.

We should add proves but they don't need to be complete and rigorous.A sketch of a proof is enough.