Function halo2_proofs::plonk::keygen_pk_custom

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

Generate a ProvingKey from an instance of Circuit.

The selector compression optimization is turned on only if compress_selectors is true.

NOTE: This keygen_pk_custom MUST share the same compress_selectors with VerifyingKey generation process. Otherwise, the user could get unmatching pk/vk pair. Hence, it is HIGHLY recommended to pair this util with keygen_vk_custom.