One of the issues with the jackpot is that the size of the Tasks is relative to the size of the jackpot. As in the the maximum cost of a Task is capped in relation to the size of the jackpot.
Each time someone wins the jackpot, this causes the task size to decrease. This means the expected task size is non deterministic.
Possible solutions:
Be secretive about who won the jackpot (zero knowledge proof, keep amount private to central source, etc). This plays well with the Panopticon aspect of Truebit.
It may be help to take an amortized perspective. As long as the net inflow from taxes is not less than the expected payout per task, then the average size of the jackpot will not shrink over time.
One of the issues with the jackpot is that the size of the Tasks is relative to the size of the jackpot. As in the the maximum cost of a Task is capped in relation to the size of the jackpot.
Each time someone wins the jackpot, this causes the task size to decrease. This means the expected task size is non deterministic.
Possible solutions: Be secretive about who won the jackpot (zero knowledge proof, keep amount private to central source, etc). This plays well with the Panopticon aspect of Truebit.