pub fn gen_evm_verifier_gwc<C: CircuitExt<Fr>>( params: &ParamsKZG<Bn256>, vk: &VerifyingKey<G1Affine>, num_instance: Vec<usize>, path: Option<&Path>, ) -> Vec<u8> ⓘ