Modeling and Verification of CKB Consensus Protocol in UPPAAL (S)
Yi-Chun Feng · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2021
The Nervos CKB (Common Knowledge Base) is a public permissionless blockchain designed for a peer-to-peer crypto-economy network.The CKB Consensus Protocol is a key part of the Nervos CKB blockchain that improves the Consensus's performance limit of Bitcoin.In this paper, we develop a formal model of the CKB Consensus Protocol and verify some important properties of the protocol using the UPPAAL model checker.Based on the formal model, the reliability of CKB Consensus Protocol can be guaranteed.