Abstractly defines the CBC Casper message stucture and defines functions for the construction and proper execution of protocols of the Casper family.