address comments

evm_arithmetization/src/fixed_recursive_verifier.rs

@@ -578,7 +578,7 @@ pub struct ShrunkProofData<F: RichField + Extendable<D>, C: GenericConfig<D, F =
     /// The initial degree for generating the proof.
     pub init_degree: usize,
 
-    /// The Common Circuit Data from last shrinking circuit.
+    /// The [`CommonCircuitData`] of the last shrinking circuit.
     pub common_circuit_data: CommonCircuitData<F, D>,
 
     /// The proof after applying shrinking recursion.

zero/src/lib.rs

@@ -1,5 +1,3 @@
-#![feature(array_try_from_fn)]
-
 zk_evm_common::check_chain_features!();
 
 pub mod block_interval;

zero/src/prover_state/mod.rs

@@ -181,25 +181,21 @@ impl ProverStateManager {
         // tuple containing the loaded table at the specified size and
         // its offset relative to the configured range used to pre-process the
         // circuits.
-        let circuits = std::array::try_from_fn(
-            |i| -> anyhow::Result<Option<(RecursiveCircuitsForTableSize, u8)>> {
-                match degrees[i] {
-                    Some(size) => {
-                        let circuit_resource = RecursiveCircuitResource::get(&(i.into(), size))
-                            .map_err(|e| {
-                                anyhow::Error::from(e).context(format!(
-                                    "Attempting to load circuit: {i} at size: {size}"
-                                ))
-                            })?;
-                        Ok(Some((
-                            circuit_resource,
-                            (size - self.circuit_config[i].start) as u8,
-                        )))
-                    }
-                    None => Ok(None),
-                }
-            },
-        )?;
+        let circuits = core::array::from_fn(|i| match degrees[i] {
+            Some(size) => RecursiveCircuitResource::get(&(i.into(), size))
+                .map(|circuit_resource| {
+                    Some((
+                        circuit_resource,
+                        (size - self.circuit_config[i].start) as u8,
+                    ))
+                })
+                .map_err(|e| {
+                    anyhow::Error::from(e)
+                        .context(format!("Attempting to load circuit: {i} at size: {size}"))
+                })
+                .unwrap_or(None),
+            None => None,
+        });
 
         Ok(circuits)
     }