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.