minor fix

PolyhedraZK · Sep 5, 2024 · 1c3676f · 1c3676f
1 parent b305a96
commit 1c3676f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 7 deletions.
diff --git a/arith/src/extension_field/m31_ext3x16.rs b/arith/src/extension_field/m31_ext3x16.rs
@@ -88,8 +88,8 @@ impl SimdField for M31Ext3x16 {
         let v2s = self.v[2].unpack();
 
         v0s.into_iter()
-            .zip(v1s.into_iter())
-            .zip(v2s.into_iter())
+            .zip(v1s)
+            .zip(v2s)
             .map(|((v0, v1), v2)| M31Ext3 { v: [v0, v1, v2] })
             .collect()
     }

diff --git a/src/prover/sumcheck.rs b/src/prover/sumcheck.rs
@@ -117,11 +117,11 @@ pub fn sumcheck_prove_gkr_square_layer<C: GKRConfig>(
     helper.rx
 }
 
-#[cfg(test)]
-mod tests {
-    use crate::BN254ConfigKeccak;
+// #[cfg(test)]
+// mod tests {
+    // use crate::BN254ConfigKeccak;
 
-    type C = BN254ConfigKeccak;
+    // type C = BN254ConfigKeccak;
 
     // #[test]
     // fn test_sumcheck_cuda() {
@@ -180,4 +180,4 @@ mod tests {
     //         rz0, rz1, alpha, beta
     //     );
     // }
-}
+// }
diff --git a/tests/gkr_correctness.rs b/tests/gkr_correctness.rs
@@ -71,6 +71,7 @@ fn test_gkr_correctness() {
     ));
 }
 
+#[allow(unreachable_patterns)]
 fn test_gkr_correctness_helper<C: GKRConfig>(config: &Config<C>) {
     println!("============== start ===============");
     println!("Field Type: {:?}", C::FIELD_TYPE);