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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Meng Sun, Yuteng Lu, Yichun Feng, Qi Zhang, Shaoying Liu
Formato: article
Lenguaje:EN
Publicado: MDPI AG 2021
Materias:
Acceso en línea:https://doaj.org/article/d37a2630e2274b038520ea9fe39ca301
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!