Ethereum: How can a wager with SatoshiDICE be proven to be fair?