CBC-Casper

Correct-By-Construction Casper

Earth

Pinned Repositories

cbc-casper
Prototypes of various CBC Casper consensus protocols
Language:Python00
cbc-casper-paper
An Introduction to CBC Casper Consensus Protocols
Language:TeX138 13 1316
ethshardingpoc
Proof-of-Concept of sharded fork choice rules with Xshard message routing and balancing, including EVM integration and Xshard EVM calls
Language:Python41
load-balancing-simulator
Simulator for Load Balancing in the CBC Casper Sharding Design
Language:Python21
py-evm
A Python implementation of the Ethereum Virtual Machine
Language:Python1 3 03

CBC-Casper's Repositories

cbc-casper/cbc-casper-paper
An Introduction to CBC Casper Consensus Protocols
Language:TeX138 13 1316
cbc-casper/ethshardingpoc
Proof-of-Concept of sharded fork choice rules with Xshard message routing and balancing, including EVM integration and Xshard EVM calls
Language:Python41
cbc-casper/load-balancing-simulator
Simulator for Load Balancing in the CBC Casper Sharding Design
Language:Python21
cbc-casper/py-evm
A Python implementation of the Ethereum Virtual Machine
Language:Python1 3 03
cbc-casper/cbc-casper
Prototypes of various CBC Casper consensus protocols
Language:Python00