Sami Mäkelä

Offchain interpreter that can generate proofs

1

At the moment, the solidity offchain interpreter isn't able to generate the proofs that are needed for running the onchain version.

Too large or otherwise inaccessible IPFS files

9

Make sure we do not get stuck when trying to load IPFS files.

Testing the interpreter

1

There should be a way to run the WASM tests using the Solidity offchain interpreter.

Better directory hierarchy

1

Put stuff to different directories.

Test and implement the handling run time errors properly.

Setting VM parameters

1

The task giver needs to be able to set the VM parameters like how much memory is available, stack size etc. Then there has to be a way to build...

Need to find out how to handle signing messages.

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...

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...

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.