Casper contract, and related software and tests - View it on GitHub