Modeling and Verifying the CKB Blockchain Consensus Protocol

【Author】 Sun, Meng; Lu, Yuteng; Feng, Yichun; Zhang, Qi; Liu, Shaoying

【Source】MATHEMATICS

【影响因子】2.592

【Abstract】The Nervos CKB (Common Knowledge Base) is a public permissionless blockchain designed for the Nervos ecosystem. The CKB consensus protocol is the key protocol of the Nervos CKB, which improves the limit of the consensus's performance for Bitcoin. In this paper, we developed the formal model of the CKB consensus protocol using timed automata. Based on the model, we formally verified various important properties of the Nervos CKB to provide a sufficient trustworthiness assurance. Especially, the security of the Nervos CKB against the selfish mining attacks to the protocol was investigated.

【Keywords】Nervos CKB; consensus protocol; model checking; UPPAAL

【发表时间】2021 NOV

【收录时间】2022-01-01

【文献类型】

【主题类别】

--