pub fn eq<F: Field>(x: F, y: F) -> F
Evaluation of the 2-variate multilinear which indicates the condition x == y