CasperLabs, the open-source blockchain platform powered by the Correct-by-Construction (CBC) Casper proof-of-stake consensus protocol, has raised $14.5 million.