search

TrueBitFoundation / truebit-os

[DEPRECATED] Interactive client
Apache License 2.0
82 stars 26 forks source link

Changes to the incentive layer for enabling "altruistic" verifiers #107

Closed mrsmkl closed 5 years ago

mrsmkl commented 5 years ago

Instead of having two solutions and committing to one, the solver just commits to a (hidden) solution. Verifiers are like extra solvers now.

hswick commented 5 years ago

These changes look good to me. Happy that the changes in the incentive layer led to simpler API.

Edit: Travis is failing with :0.1: runtime trap: out of bounds memory access with the ocaml interpreter. So I'll run this locally when I get a chance.

mrsmkl commented 5 years ago

It shows errors because the VM memory parameters given to it are too low. But the only thing that was actually changed is that it becomes visible now. If you want to correct memory parameters, would be good to keep the version with error too, this also has to be tested.