Function kimchi_msm::test::generic::test_completeness_generic_only_relation
source · pub fn test_completeness_generic_only_relation<const N_REL: usize, RNG>(
constraints: Vec<E<Fp>>,
evaluations: Witness<N_REL, Vec<Fp>>,
domain_size: usize,
rng: &mut RNG
)where
RNG: RngCore + CryptoRng,
Expand description
No lookups, no selectors, only witness column. N_WIT == N_REL
.