Constant EXPECTED_PROVER_CONFIG 

pub const EXPECTED_PROVER_CONFIG: GKRCircuitProverConfig;