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...
Guardado en:
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!
|
Ejemplares similares
-
Robustness and efficiency of voting consensus protocols within byzantine infrastructures
por: Angelo Capossele, et al.
Publicado: (2021) -
CBCIoT: A Consensus Algorithm for Blockchain-Based IoT Applications
por: Moin Uddin, et al.
Publicado: (2021) -
Trusting Testcases Using Blockchain-Based Repository Approach
por: Abdulla Al Zaabi, et al.
Publicado: (2021) -
Mathematical Analysis of Parametric Characteristics of the Consensus Algorithms Operation with the Choice of the Most Priority One for Implementation in the Financial Sphere
por: Olga A. Safaryan, et al.
Publicado: (2021) -
Hierarchical Structural Analysis Method for Complex Equation-Oriented Models
por: Chao Wang, et al.
Publicado: (2021)