The paper for Correct-By-Construction Casper consenus protocols - View it on GitHub