Some modelling that should help choose rational incentive schemes for BitSplit