pub fn gen_evm_proof_gwc<'params, C: Circuit<Fr>>( params: &'params ParamsKZG<Bn256>, pk: &'params ProvingKey<G1Affine>, circuit: C, instances: Vec<Vec<Fr>>, ) -> Vec<u8> ⓘ