El protocolo de consenso CKB (Common Knowledge Base) de Nervos es una cadena de bloques pública y sin permisos diseñada para el ecosistema de Nervos. El protocolo de consenso CKB es el protocolo clave de Nervos CKB, que mejora el límite del rendimiento del consenso de Bitcoin. En este documento, desarrollamos el modelo formal del protocolo de consenso CKB utilizando autómatas temporizados. Basándonos en el modelo, verificamos formalmente varias propiedades importantes de Nervos CKB para proporcionar una garantía suficiente de confiabilidad. Especialmente, se investigó la seguridad de Nervos CKB contra los ataques de minería egoísta al protocolo.