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