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