chore: rebase on sum-check

facebook · Aug 20, 2024 · 1556e76 · 1556e76
1 parent ef32906
commit 1556e76
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/prover/src/logup_gkr/mod.rs b/prover/src/logup_gkr/mod.rs
@@ -425,7 +425,7 @@ pub fn build_s_column<E: FieldElement>(
 
 /// Builds the Lagrange kernel column at a given point.
 pub fn build_lagrange_column<E: FieldElement>(lagrange_randomness: &[E]) -> Vec<E> {
-    EqFunction::new(lagrange_randomness.to_vec()).evaluations()
+    EqFunction::new(lagrange_randomness.into()).evaluations()
 }
 
 #[derive(Debug, thiserror::Error)]

diff --git a/prover/src/logup_gkr/prover.rs b/prover/src/logup_gkr/prover.rs
@@ -186,7 +186,7 @@ fn prove_intermediate_layers<
     // reduced in terms of the input layer separately in `prove_final_circuit_layer`.
     for inner_layer in circuit.layers().iter().skip(1).rev().skip(1) {
         // construct the Lagrange kernel evaluated at the previous GKR round randomness
-        let mut poly_x = EqFunction::ml_at(rand.clone());
+        let mut poly_x = EqFunction::ml_at(rand.into());
 
         // construct the vector of multi-linear polynomials
         // TODO: avoid unnecessary allocation