fix clippy

Author: sai-deng

circuit/src/ops/mmcs.rs

@@ -390,8 +390,8 @@ impl<F: Field> NonPrimitiveExecutor<F> for MmcsVerifyExecutor {
                         return Err(CircuitError::IncorrectNonPrimitiveOpPrivateData {
                             op: self.op_type.clone(),
                             operation_index: ctx.operation_id(),
-                            expected: alloc::format!("root: {:?}", private_data_root),
-                            got: alloc::format!("root: existing witness value at {:?}", wid),
+                            expected: alloc::format!("root: {private_data_root:?}"),
+                            got: alloc::format!("root: existing witness value at {wid:?}"),
                         });
                     }
                 }

circuit/src/tables/mmcs.rs

@@ -297,9 +297,7 @@ impl<'a, F: CircuitField> MmcsTraceBuilder<'a, F> {
                 .ok_or(CircuitError::NonPrimitiveOpMissingPrivateData {
                     operation_index: *op_id,
                 })?;
-            let priv_data = match private_data {
-                NonPrimitiveOpPrivateData::MmcsVerify(d) => d,
-            };
+            let NonPrimitiveOpPrivateData::MmcsVerify(priv_data) = private_data;
 
             let trace = priv_data.to_trace(config, leaf, root)?;
             mmcs_paths.push(trace);

circuit/src/tables/runner.rs

@@ -72,20 +72,17 @@ impl<F: CircuitField> CircuitRunner<F> {
         }
 
         // Validate that the private data matches the operation type (if any)
-        match &self.circuit.non_primitive_ops[op_id.0 as usize] {
-            Op::NonPrimitiveOpWithExecutor { executor, .. } => {
-                match (executor.op_type(), &private_data) {
-                    (
-                        crate::op::NonPrimitiveOpType::MmcsVerify,
-                        NonPrimitiveOpPrivateData::MmcsVerify(_),
-                    ) => {
-                        // ok
-                    }
-                    // Other ops currently don't expect private data
-                    _ => {}
-                }
+        if let Op::NonPrimitiveOpWithExecutor { executor, .. } =
+            &self.circuit.non_primitive_ops[op_id.0 as usize]
+        {
+            if let (
+                crate::op::NonPrimitiveOpType::MmcsVerify,
+                NonPrimitiveOpPrivateData::MmcsVerify(_),
+            ) = (executor.op_type(), &private_data)
+            {
+                // ok
             }
-            _ => {}
+            // Other ops currently don't expect private data
         }
 
         // Store private data for this operation

recursion/src/circuit_fri_verifier.rs

@@ -517,8 +517,7 @@ pub fn verify_fri_circuit<F, EF, RecMmcs, Inner, Witness, Comm>(
 
     assert_eq!(
         actual_final_poly_len, expected_final_poly_len,
-        "Final polynomial length mismatch: expected 2^{} = {}, got {}",
-        log_final_poly_len, expected_final_poly_len, actual_final_poly_len
+        "Final polynomial length mismatch: expected 2^{log_final_poly_len} = {expected_final_poly_len}, got {actual_final_poly_len}"
     );
 
     // Precompute two-adic generator ladders for each phase (in circuit field EF).

recursion/tests/fri.rs

@@ -411,8 +411,7 @@ fn run_fri_test(setup: FriSetup, build_only: bool) {
     assert_eq!(
         fri_targets.final_poly.len(),
         expected_final_poly_len,
-        "Circuit final polynomial should have {} coefficients",
-        expected_final_poly_len
+        "Circuit final polynomial should have {expected_final_poly_len} coefficients"
     );
 
     // 2) Public inputs for α, βs, index bits