snark_verifier_sdk::halo2

Function gen_dummy_snark_from_vk

Source 
pub fn gen_dummy_snark_from_vk<AS>(
    params: &ParamsKZG<Bn256>,
    vk: &VerifyingKey<G1Affine>,
    num_instance: Vec<usize>,
    accumulator_indices: Option<Vec<(usize, usize)>>,
) -> Snark
where
    AS: NativeKzgAccumulationScheme,
Expand description

Creates a dummy snark in the correct shape corresponding to the given verifying key. This dummy snark will not verify. This snark can be used as a placeholder input into an aggregation circuit expecting a snark with this verifying key.

Note that this function does not need to know the concrete Circuit type.