Function darkfi::zk::halo2::plonk::create_proof

pub fn create_proof<C, E, R, T, ConcreteCircuit>(
    params: &Params<C>,
    pk: &ProvingKey<C>,
    circuits: &[ConcreteCircuit],
    instances: &[&[&[<C as PrimeCurveAffine>::Scalar]]],
    rng: R,
    transcript: &mut T
) -> Result<(), Error>
where C: CurveAffine, E: EncodedChallenge<C>, R: RngCore, T: TranscriptWrite<C, E>, ConcreteCircuit: Circuit<<C as PrimeCurveAffine>::Scalar>,
Expand description

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.