diff --git a/src/fri/prover.rs b/src/fri/prover.rs index c7717d03..5a8f09e5 100644 --- a/src/fri/prover.rs +++ b/src/fri/prover.rs @@ -16,9 +16,9 @@ use crate::util::reverse_index_bits_in_place; pub fn fri_proof, const D: usize>( initial_merkle_trees: &[&MerkleTree], // Coefficients of the polynomial on which the LDT is performed. Only the first `1/rate` coefficients are non-zero. - lde_polynomial_coeffs: &PolynomialCoeffs, + lde_polynomial_coeffs: PolynomialCoeffs, // Evaluation of the polynomial on the large domain. - lde_polynomial_values: &PolynomialValues, + lde_polynomial_values: PolynomialValues, challenger: &mut Challenger, config: &FriConfig, ) -> FriProof { @@ -53,14 +53,11 @@ pub fn fri_proof, const D: usize>( } fn fri_committed_trees, const D: usize>( - polynomial_coeffs: &PolynomialCoeffs, - polynomial_values: &PolynomialValues, + mut coeffs: PolynomialCoeffs, + mut values: PolynomialValues, challenger: &mut Challenger, config: &FriConfig, ) -> (Vec>, PolynomialCoeffs) { - let mut values = polynomial_values.clone(); - let mut coeffs = polynomial_coeffs.clone(); - let mut trees = Vec::new(); let mut shift = F::MULTIPLICATIVE_GROUP_GENERATOR; diff --git a/src/polynomial/commitment.rs b/src/polynomial/commitment.rs index 93ef631f..6bbba08d 100644 --- a/src/polynomial/commitment.rs +++ b/src/polynomial/commitment.rs @@ -186,8 +186,8 @@ impl ListPolynomialCommitment { .par_iter() .map(|c| &c.merkle_tree) .collect::>(), - &lde_final_poly, - &lde_final_values, + lde_final_poly, + lde_final_values, challenger, &config.fri_config, );