I know the code is in its very early stage and the goal with this issue is not to have a good and final documentation. The code is changing a lot and it would probably become outdated soon.
However, we are communicating it publicly and it would be interesting to have some minimal information to those that want to check some code. A simple suggestion to be evaluated would be:
Context
Dave is a dispute resolution algorithm, where the cost of disputes for a single honest competitor grows logarithmically with the number of opponents.
Dave is more than just a solution. Dave is a novel, stronger primitive for building permissionless fraud-proof protocols. [https://twitter.com/cartesiproject/status/1704481028067274987]
I know the code is in its very early stage and the goal with this issue is not to have a good and final documentation. The code is changing a lot and it would probably become outdated soon.
However, we are communicating it publicly and it would be interesting to have some minimal information to those that want to check some code. A simple suggestion to be evaluated would be: