Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol Under the LiDO-DAG Framework.

Longfei Qiu, Jingqi Xiao, Zhong Shao

Browse the full SP paper archive.