Modeling and Verifying the CKB Blockchain Consensus Protocol

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 C...

Description complète

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Meng Sun, Yuteng Lu, Yichun Feng, Qi Zhang, Shaoying Liu
Format:	article
Langue:	EN
Publié:	MDPI AG 2021
Sujets:	Nervos CKB consensus protocol model checking UPPAAL Mathematics QA1-939
Accès en ligne:	https://doaj.org/article/d37a2630e2274b038520ea9fe39ca301
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

id	oai:doaj.org-article:d37a2630e2274b038520ea9fe39ca301
record_format	dspace
spelling	oai:doaj.org-article:d37a2630e2274b038520ea9fe39ca3012021-11-25T18:17:31ZModeling and Verifying the CKB Blockchain Consensus Protocol10.3390/math92229542227-7390https://doaj.org/article/d37a2630e2274b038520ea9fe39ca3012021-11-01T00:00:00Zhttps://www.mdpi.com/2227-7390/9/22/2954https://doaj.org/toc/2227-7390The 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.Meng SunYuteng LuYichun FengQi ZhangShaoying LiuMDPI AGarticleNervos CKBconsensus protocolmodel checkingUPPAALMathematicsQA1-939ENMathematics, Vol 9, Iss 2954, p 2954 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	Nervos CKB consensus protocol model checking UPPAAL Mathematics QA1-939
spellingShingle	Nervos CKB consensus protocol model checking UPPAAL Mathematics QA1-939 Meng Sun Yuteng Lu Yichun Feng Qi Zhang Shaoying Liu Modeling and Verifying the CKB Blockchain Consensus Protocol
description	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.
format	article
author	Meng Sun Yuteng Lu Yichun Feng Qi Zhang Shaoying Liu
author_facet	Meng Sun Yuteng Lu Yichun Feng Qi Zhang Shaoying Liu
author_sort	Meng Sun
title	Modeling and Verifying the CKB Blockchain Consensus Protocol
title_short	Modeling and Verifying the CKB Blockchain Consensus Protocol
title_full	Modeling and Verifying the CKB Blockchain Consensus Protocol
title_fullStr	Modeling and Verifying the CKB Blockchain Consensus Protocol
title_full_unstemmed	Modeling and Verifying the CKB Blockchain Consensus Protocol
title_sort	modeling and verifying the ckb blockchain consensus protocol
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/d37a2630e2274b038520ea9fe39ca301
work_keys_str_mv	AT mengsun modelingandverifyingtheckbblockchainconsensusprotocol AT yutenglu modelingandverifyingtheckbblockchainconsensusprotocol AT yichunfeng modelingandverifyingtheckbblockchainconsensusprotocol AT qizhang modelingandverifyingtheckbblockchainconsensusprotocol AT shaoyingliu modelingandverifyingtheckbblockchainconsensusprotocol
_version_	1718411407447293952

Modeling and Verifying the CKB Blockchain Consensus Protocol

Documents similaires