Constant HALO2_VERIFIER_K_LABEL 

pub const HALO2_VERIFIER_K_LABEL: &str = "halo2_verifier_k";