Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.

Proofs of properties of CBC Casper

Repo for protocol verification of Casper Correct-By-Construction

Code documentation for Casper CBC proofs