Function choose_key 

pub fn choose_key(
    prover_index: &ProverIndex<Fp>,
    w: &mut Witness<Fq>,
) -> PlonkVerificationKeyEvals<Fq>