Constant EXPECTED_VERIFIER_CONFIG 

pub const EXPECTED_VERIFIER_CONFIG: GKRCircuitVerifierConfig;