该项目旨在对单Slot最终性(SSF)共识机制进行全面的学术概述，涵盖现有机制、设计、优缺点以及可行性，并提出新的共识模型和研究问题。项目最终形成一篇硕士论文，对RLMD-GHOST、Tendermint、Algorand等多种共识机制以及Casper CBC、Sleepy model等设计进行评估和分析，旨在为以太坊的SSF实现提出新机制，明确研究现状，并为该领域的研究提供路线图。
本文详细介绍了Casper CBC共识协议的原理和实现，包括其如何通过正确构建的方法确保协议的安全性，并阐述了协议空间、状态转换和equivocation等关键概念。
本文对Casper CBC（Correct-By-Construction）共识机制进行了简化概述，介绍了其设计哲学、分布式系统方法以及共识机制的具体规则和故障分类。文章旨在让复杂的数学概念更易于理解，并提供了相关术语的解释和示例。
eth-protocol-fellows
barnabe
aditya.asgaonkar