Found 21 repositories(showing 21)
rchain
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
ethereum
No description available
cbc-casper
An Introduction to CBC Casper Consensus Protocols
LayerXcom
Proofs of properties of CBC Casper
sigp
JS implementation of Vlad Zamfir's CBC Casper TFG
crytic
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
pirapira
Isabelle formalization of binary consensus
TrueLevelSA
MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc
barnabemonnot
A finality test for CBC Casper
LayerXcom
CBC Casper simulator
nrryuya
Simulator of validator rotation in CBC Casper
adiasg
An implementation of Xshard messaging based CBC-Casper Sharding
yoshihiro503
Formal Verification of CBC Caper in Coq
cbc-casper
Simulator for Load Balancing in the CBC Casper Sharding Design
No description available
runtimeverification
Code documentation for Casper CBC proofs
vapory-staging
No description available
daniel-sutd
A CBC-like finality gadget for Ethereum
zunction
Repo for protocol verification of Casper Correct-By-Construction
Superlinc
No description available
No description available
All 21 repositories loaded