feat: dispute game v2 specification

[clabby]

Overview

[!NOTE] Heavy WIP. Needs some fleshing out.

This PR introduces a specification for the Dispute Game V2, featuring:

1. Improvements to the incentive design.
2. Optimizations to interactions required to perform the dispute.
3. Better abstractions for layering multiple bisection operations.
   • Multi-proof support.

[clabby]

• #266 👈
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @clabby and the rest of your teammates on Graphite

[clabby]

Closing this PR. If we are to upgrade the dispute system, I think that we should consider using Dave by Cartessi. It's an elegant design with a proper formal definition, and would work well with our intention to use interactive ZKPs.