halo2_axiom::plonk

Function keygen_vk_custom

Source 
pub fn keygen_vk_custom<'params, C, P, ConcreteCircuit>(
    params: &P,
    circuit: &ConcreteCircuit,
    compress_selectors: bool,
) -> Result<VerifyingKey<C>, Error>
where
    C: CurveAffine,
    P: Params<'params, C> + Sync,
    ConcreteCircuit: Circuit<C::Scalar>,
    C::Scalar: FromUniformBytes<64>,
Expand description

Generate a VerifyingKey from an instance of Circuit.

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