Ethereum's Proof of Stake Part2: Casper Enforcement