Function create_proof

pub fn create_proof<'params, 'a, Scheme: CommitmentScheme, P: Prover<'params, Scheme>, E: EncodedChallenge<Scheme::Curve>, R: RngCore + 'a, T: TranscriptWrite<Scheme::Curve, E>, ConcreteCircuit: Circuit<Scheme::Scalar>>(
    params: &'params Scheme::ParamsProver,
    pk: &ProvingKey<Scheme::Curve>,
    circuits: &[ConcreteCircuit],
    instances: &[&[&'a [Scheme::Scalar]]],
    rng: R,
    transcript: &'a mut T,
) -> Result<(), Error>
where
    Scheme::Scalar: Hash + WithSmallOrderMulGroup<3>,
    <Scheme as CommitmentScheme>::ParamsProver: Sync,

This creates a proof for the provided circuit when given the public parameters params and the proving key ProvingKey that was generated previously for the same circuit. The provided instances are zero-padded internally.