Function bellperson::groth16::aggregate::verify_aggregate_proof_and_aggregate_instances

source · 
pub fn verify_aggregate_proof_and_aggregate_instances<E, R>(
    ip_verifier_srs: &VerifierSRS<E>,
    pvk: &PreparedVerifyingKey<E>,
    rng: R,
    public_inputs: &[E::Fr],
    public_outputs: &[E::Fr],
    aggregate_proof_and_instance: &AggregateProofAndInstance<E>,
    transcript_include: &[u8],
    version: AggregateVersion,
) -> Result<bool, SynthesisError>
where
    E: MultiMillerLoop + Debug + Engine,
    E::Fr: Serialize,
    <E as Engine>::Gt: Compress + Serialize,
    E::G1: Serialize,
    E::G1Affine: Serialize,
    E::G2Affine: Serialize,
    R: RngCore + Send + RngCore,
Expand description

verification of related instances i.e. when instances are given by [a1, … , an, b1, … , bn], [b1, … , bn, c1, …, cn], [c1, …, cn, d1, …, dn] etc