Grantee Exposé Lightning Talk 3 - Academic Research on Casper by Ryuya Nakamura (Devcon5)

CBC Casper is a promising protocol for the future of Ethereum. However, the research of CBC Casper is still in progress, even about its fundamentals. For example, Casper has been criticized for the lack of liveness proof for a long time. Therefore, we first introduce our liveness proof. Then, we analyze CBC Casper in both its performance & incentive to persuade the audience why CBC Casper matters. 
This presentation is based on our unpublished work, which we expect to publish by the time of DEVCON5. The more detailed agenda is: (1) Liveness: We first introduce our liveness proof, which is applicable to each family of CBC Casper. (2) Performance analysis:  We compare CBC Casper with other existing protocols about  TPS and latency, both of which are important performance measures of consensus protocols, showing the advantages of CBC Casper. (3) Incentive analysis: CBC Casper is designed to satisfy economic properties desired for a public ledger. In particular, the notable feature of CBC Casper is "subjective finality", where validators can pick up their own fault threshold. We discuss how this feature affects cartel resistance.

Speaker(s): Ryuya Nakamura
Skill level: Intermediate
Track: Execution layer
Keywords: LayerX, ESP, grants, zerochain, cbc, verification, R&D, Japan, technical

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.
Devcon 5 was held in Osaka, Japan on Oct 8 - 11, 2019.