pub fn gen_dummy_snark<ConcreteCircuit, AS>(
params: &ParamsKZG<Bn256>,
vk: Option<&VerifyingKey<G1Affine>>,
num_instance: Vec<usize>,
circuit_params: ConcreteCircuit::Params,
) -> Snarkwhere
ConcreteCircuit: CircuitExt<Fr>,
ConcreteCircuit::Params: Clone,
AS: NativeKzgAccumulationScheme,