Verifier/Solver Role Documentation
Truebit Team
"Verifier tax", "reward (resp. Verifier tax)" and "blockLimit" need some serious unpacking in the context of operating a solver or a verifier. Are those terms defined more fully anywhere?
Start --help output:
Usage: start [options] <cmd>
Start a Solver or Verifier.
Options:
--help output usage information
solve start a Solver
verify start a Verifier
-a, --account <num> index of web3 account to use (default = 0)
-l, --limit <real> set minimum TRU reward (resp. Verifier tax) for participation, default = 0
-p, --price <real> set minimum ratio of reward (resp. Verifier tax) to blockLimit, default = 0
-r, --recover <num> resume processes with bonded deposits from <num> blocks behind current block
-t, --test Solver will give bogus solutions, Verifier will challenge correct solutions
When tasks are submitted, the solver and the verifier log the following messages. This adds a third term that needs to be unpacked, "Solver reward". As a Solver or a Verifier, I want to understand how the levers identified above affect the decision to volunteer for the task defined below in my context:
Will my node be able effectively execute its role in this task? Will doing so fulfill my goals, e.g., making a profit or improving the human condition.