diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7961368e..76202a55 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -41,7 +41,7 @@ jobs:
       matrix:
         include:
           - os: macos-latest
-          - os: ubuntu-latest
+          # - os: ubuntu-latest
     
     steps:
       - name: Checkout code
diff --git a/poly_commit/src/orion/utils.rs b/poly_commit/src/orion/utils.rs
index c715199b..025a4d88 100644
--- a/poly_commit/src/orion/utils.rs
+++ b/poly_commit/src/orion/utils.rs
@@ -472,3 +472,39 @@ where
         alphabet == codeword[index]
     })
 }
+
+#[cfg(test)]
+mod tests {
+    use arith::{Field, SimdField};
+    use ark_std::test_rng;
+    use gf2::{GF2x8, GF2};
+    use gf2_128::{GF2_128x8, GF2_128};
+    use itertools::izip;
+
+    use super::SubsetSumLUTs;
+
+    #[test]
+    fn test_lut_simd_inner_prod_consistency() {
+        let mut rng = test_rng();
+
+        let weights: Vec<_> = (0..8).map(|_| GF2_128::random_unsafe(&mut rng)).collect();
+        let bases: Vec<_> = (0..8).map(|_| GF2::random_unsafe(&mut rng)).collect();
+
+        let simd_weights = GF2_128x8::pack(&weights);
+        let simd_bases = GF2x8::pack(&bases);
+
+        let expected_simd_inner_prod: GF2_128 = (simd_weights * simd_bases).unpack().iter().sum();
+
+        let expected_vanilla_inner_prod: GF2_128 =
+            izip!(&weights, &bases).map(|(w, b)| *w * *b).sum();
+
+        assert_eq!(expected_simd_inner_prod, expected_vanilla_inner_prod);
+
+        let mut table = SubsetSumLUTs::new(8, 1);
+        table.build(&weights);
+
+        let actual_lut_inner_prod = table.lookup_and_sum(&vec![simd_bases]);
+
+        assert_eq!(expected_simd_inner_prod, actual_lut_inner_prod)
+    }
+}