Function halo2_proofs::plonk::keygen_vk

source · [−]

pub fn keygen_vk<'params, C, P, ConcreteCircuit>(
    params: &P,
    circuit: &ConcreteCircuit
) -> Result<VerifyingKey<C>, Error>where
    C: CurveAffine,
    P: Params<'params, C>,
    ConcreteCircuit: Circuit<C::Scalar>,

Expand description

Generate a VerifyingKey from an instance of Circuit.