Function darkfi::zk::halo2::plonk::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.