Function halo2_proofs::plonk::keygen_vk

source ·

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

Expand description

Generate a VerifyingKey from an instance of Circuit.