darkfi::zk::halo2::plonk

Function keygen_vk

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

Generate a VerifyingKey from an instance of Circuit.