Function halo2_base::utils::testing::gen_proof

pub fn gen_proof(
    params: &ParamsKZG<Bn256>,
    pk: &ProvingKey<G1Affine>,
    circuit: impl Circuit<Fr>
) -> Vec<u8>

helper function to generate a proof with real prover