Well not quite. The test net is actually a hybrid of proof of work and proof of stake [1]. Proof of work is used as the main decider in the case of a fork, howe

Well not quite. The test net is actually a hybrid of proof of work and proof of stake [1]. Proof of work is used as the main decider in the case of a fork, however if long forks are seen then checkpoints validated by proof of stake are used. The slashing function is in the contract [2] but there is actually no incentive to duplicate votes on the testnet since there is only rewards for voting (block rewards are given to proof of work miners). [1] https://github.com/ethereum/casper/blob/master/IMPLEMENTATION.md https://github.com/ethereum/casper/blob/master/IMPLEMENTATIO... [2] https://github.com/ethereum/casper/blob/master/casper/contracts/simple_casper.v.py https://github.com/ethereum/casper/blob/master/casper/contra...