Function halo2_proofs::plonk::keygen_pk

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

Generate a ProvingKey from a VerifyingKey and an instance of Circuit. By default, selector compression is turned ON.

NOTE: This keygen_pk is legacy one, assuming that compress_selector: true. Hence, it is HIGHLY recommended to pair this util with keygen_vk. In addition, when using this for key generation, user MUST use compress_selectors: true.