Modeling and Verification of CKB Consensus Protocol in Coq | IEEE Conference Publication | IEEE Xplore