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