Function kimchi_msm::test::generic::test_completeness_generic_no_lookups
source · pub fn test_completeness_generic_no_lookups<const N_WIT: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, RNG>(
constraints: Vec<E<Fp>>,
fixed_selectors: Box<[Vec<Fp>; N_FSEL]>,
evaluations: Witness<N_WIT, Vec<Fp>>,
domain_size: usize,
rng: &mut RNG
)where
RNG: RngCore + CryptoRng,