webasm-solidity

webasm-solidity copied to clipboard

More tests

1

Need to test the following cases: * solver and verifier have different number of steps * solver and verifier disagree whether the state is final * solver and verifier disagree...

mrsmkl

What is blocking this at the moment: * verified initialization: TrueBitFoundation/ocaml-offchain#39 * the result will have to be just the hash of output, when the challenge is posted, the solver...

mrsmkl

There could be some kind of instruction that would trigger another verification game. For example there could be a function to execute another wasm program inside the wasm programs.

mrsmkl

Perhaps the tasks should have a reference to the judge they use.

mrsmkl

Needs some changes to proof generation.

mrsmkl