Provably fair game, crypto-private incentives, and program-certain tokens are common