fix

crates/core/machine/src/riscv/shape.rs

@@ -232,7 +232,7 @@ impl<F: PrimeField32> CoreShapeConfig<F> {
         let cpu_name = || RiscvAir::<F>::Cpu(CpuChip::default()).name();
         let memory_local_name = || RiscvAir::<F>::MemoryLocal(MemoryLocalChip::new()).name();
         let syscall_name = || RiscvAir::<F>::SyscallCore(SyscallChip::core()).name();
-        let _ = move |shape: &ProofShape| {
+        let core_filter = move |shape: &ProofShape| {
             let core_airs = RiscvAir::<F>::get_all_core_airs()
                 .into_iter()
                 .map(|air| air.name())

crates/prover/src/lib.rs

@@ -1165,9 +1165,7 @@ impl<C: SP1ProverComponents> SP1Prover<C> {
                 .iter()
                 .map(|(vk, _)| {
                     let vk_digest = vk.hash_babybear();
-                    tracing::info!("vk_digest: {:?}", vk_digest);
                     let index = self.allowed_vk_map.get(&vk_digest).expect("vk not allowed");
-                    tracing::info!("vk found at index: {:?}", index);
                     (index, vk_digest)
                 })
                 .unzip()
@@ -1210,7 +1208,6 @@ impl<C: SP1ProverComponents> SP1Prover<C> {
 }
 
 #[cfg(any(test, feature = "export-tests"))]
-#[cfg(test)]
 pub mod tests {
 
     use std::{
@@ -1279,8 +1276,6 @@ pub mod tests {
         tracing::info!("setup elf");
         let (pk, vk) = prover.setup(elf);
 
-        // let mut shapes = Vec::new();
-
         tracing::info!("prove core");
         let core_proof = prover.prove_core(&pk, &stdin, opts, context)?;
         let public_values = core_proof.public_values.clone();

crates/prover/src/shapes.rs

@@ -214,12 +214,6 @@ impl SP1ProofShape {
         recursion_shape_config: &'a RecursionShapeConfig<BabyBear, CompressAir<BabyBear>>,
         reduce_batch_size: usize,
     ) -> impl Iterator<Item = Self> + 'a {
-        // let shapes: Vec<SP1ProofShape> = bincode::deserialize(SHAPE_BYTES).unwrap();
-        // shapes.into_iter().chain(
-        //     recursion_shape_config
-        //         .get_all_shape_combinations(1)
-        //         .map(|mut x| Self::Shrink(x.pop().unwrap())),
-        // )
         core_shape_config
             .generate_all_allowed_shapes()
             .map(Self::Recursion)