Found 5 repositories(showing 5)
rchain
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
LayerXcom
Proofs of properties of CBC Casper
zunction
Repo for protocol verification of Casper Correct-By-Construction
runtimeverification
Code documentation for Casper CBC proofs
No description available
All 5 repositories loaded