Function halo2_proofs::plonk::keygen_pk

source ·

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

Expand description

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