CKB verification
This crate implements CKB non-contextual verification by newtypes abstraction struct