darkfi::zk::halo2::plonk

Function keygen_pk

pub fn keygen_pk<C, ConcreteCircuit>(
    params: &Params<C>,
    vk: VerifyingKey<C>,
    circuit: &ConcreteCircuit,
) -> Result<ProvingKey<C>, Error>
where
    C: CurveAffine,
    ConcreteCircuit: Circuit<<C as PrimeCurveAffine>::Scalar>,
Expand description

Generate a ProvingKey from a VerifyingKey and an instance of Circuit.