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>
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
.