Check out the Issue Explorer
Looking to fund some work? You can submit a new Funded Issue here.
The challenge manager allows to open a dispute about committed computation results. Currently the challenge manager saves the addresses of solver and challenger and allows only those parties to progress the interactive verification game.
Authentication by address makes the computation verification game not delegate-able, hence solver and challenger need to remain online during the duration of the challenge game.
We can work around this limitation with the following steps:
1. challenger merkelizes the computation path before opening a challenge.
2. with each iteration of computation verification game, challenger sends a merkle proof for the next op-code in the computation path.
Now anyone who is aware of the computation path can continue the game. As a nice side-effect it becomes impossible to open 2 challenges with identical computation path.