Convert index to little-endian

src/core/precomputation.rs

@@ -56,6 +56,7 @@ impl<F: PrimeField + Hash> Table<F> {
                 for c in binary_string.chars() {
                     binary_vec.push(F::from(c.to_digit(10).unwrap() as u64));
                 }
+                binary_vec.reverse();
                 indices.push(binary_vec);
             } else {
                 return Err(ProtocolError::NotInclusion);

src/core/prover.rs

@@ -57,8 +57,7 @@ impl<
             let table_dim = table_poly.num_vars();
             let sigmas = &evals[1..1 + table_dim];
             let mut s = evals.iter().skip(1).take(table_dim).cloned().collect_vec();
-            s.reverse();
-            (evals[0] - table_poly.evaluate(s.as_slice())
+            (evals[0] - table_poly.eval_by_coeff(s.as_slice())
                 + sigmas
                     .iter()
                     .zip(powers(gamma).skip(1).take(table_dim))