⧉infominer 09-Dec-18 01:52 AM
A simplified overview of Correct-By-Construction Casper consensus mechanism
⧉infominer 23-Dec-18 04:11 AM
A review of CBC Casper (Ethereum Research). It omits the hard problems and uses an unconventional, impractical definition of BFT.
⧉infominer 23-Dec-18 05:13 AM
Special thanks to Vlad Zamfir, Aditya Asgaonkar, Ameen Soleimani and Jinglan Wang for review