Function gen_pk

pub fn gen_pk<C: Circuit<Fr>>(
    params: &ParamsKZG<Bn256>,
    circuit: &C,
    path: Option<&Path>,
) -> ProvingKey<G1Affine>