misc: clippy

Author: hero78119

ceno_recursion/src/aggregation/mod.rs

@@ -265,7 +265,7 @@ impl CenoAggregationProver {
             .collect();
         let user_public_values: Vec<F> = zkvm_proof_inputs
             .iter()
-            .flat_map(|p| p.raw_pi.iter().copied().collect::<Vec<F>>())
+            .flat_map(|p| p.raw_pi.to_vec())
             .collect();
         let leaf_inputs = chunk_ceno_leaf_proof_inputs(zkvm_proof_inputs);
 

ceno_zkvm/src/scheme/verifier.rs

@@ -52,6 +52,7 @@ pub struct ZKVMVerifier<E: ExtensionField, PCS: PolynomialCommitmentScheme<E>> {
 }
 
 impl<E: ExtensionField, PCS: PolynomialCommitmentScheme<E>> ZKVMVerifier<E, PCS> {
+    #[allow(clippy::type_complexity)]
     fn split_input_opening_evals(
         circuit_vk: &VerifyingKey<E>,
         proof: &ZKVMChipProof<E>,

ceno_zkvm/src/tables/shard_ram.rs

@@ -651,7 +651,7 @@ mod tests {
     use mpcs::{BasefoldDefault, PolynomialCommitmentScheme, SecurityLevel};
     use p3::babybear::BabyBear;
     use rand::thread_rng;
-    use std::{ops::Index, sync::Arc};
+    use std::sync::Arc;
     use tracing_forest::{ForestLayer, util::LevelFilter};
     use tracing_subscriber::{EnvFilter, Registry, layer::SubscriberExt, util::SubscriberInitExt};
     use transcript::BasicTranscript;
@@ -670,7 +670,7 @@ mod tests {
         gpu::{MultilinearExtensionGpu, get_cuda_hal},
         hal::MultilinearPolynomial,
     };
-    use multilinear_extensions::mle::IntoMLE;
+    use crate::scheme::constants::SEPTIC_EXTENSION_DEGREE;
     use p3::field::PrimeField32;
 
     type E = BabyBearExt4;