chore: Make clippy v1.88.0 happy

changelog: ignore

Author: jan-ferdinand

tasm-lib/src/arithmetic/xfe/to_the_power_of_power_of_2.rs

@@ -45,7 +45,7 @@ impl BasicSnippet for ToThePowerOfPowerOf2 {
 
     fn code(&self, _: &mut Library) -> Vec<LabelledInstruction> {
         let entrypoint = self.entrypoint();
-        let loop_label = format!("{}_loop", entrypoint);
+        let loop_label = format!("{entrypoint}_loop");
 
         triton_asm!(
             {entrypoint}:

tasm-lib/src/hashing/squeeze_repeatedly.rs

@@ -135,7 +135,7 @@ mod tests {
 
         for _ in 0..num_states {
             let seed: [u8; 32] = rng.random();
-            println!("testing {} common case with seed: {:x?}", entrypoint, seed);
+            println!("testing {entrypoint} common case with seed: {seed:x?}");
             let ProcedureInitialState {
                 stack,
                 nondeterminism,

tasm-lib/src/io.rs

@@ -18,7 +18,7 @@ impl Display for InputSource {
             InputSource::SecretIn => "secin",
         };
 
-        write!(f, "{}", str)
+        write!(f, "{str}")
     }
 }
 

tasm-lib/src/lib.rs

@@ -283,7 +283,7 @@ pub fn prove_and_verify(
         .with_fri_domain_len(fri.domain.length);
     println!("{report}");
 
-    println!("Done proving. Elapsed time: {:?}", measured_time);
+    println!("Done proving. Elapsed time: {measured_time:?}");
     println!(
         "Proof was generated from:
         table lengths:

tasm-lib/src/structure/tasm_object.rs

@@ -164,7 +164,7 @@ impl TasmStructFieldName for &str {
 
 impl TasmStructFieldName for i32 {
     fn tasm_struct_field_name(&self) -> String {
-        format!("field_{}", self)
+        format!("field_{self}")
     }
 }
 

tasm-lib/src/verifier/eval_arg/compute_terminal_const_sized_static_symbols.rs

@@ -36,14 +36,15 @@ impl<const N: usize> BasicSnippet for ComputeTerminalConstSizedStaticSymbols<N>
     }
 
     fn entrypoint(&self) -> String {
+        const IDENTIFIER: &str =
+            "tasmlib_verifier_eval_arg_compute_terminal_const_sized_static_symbols_symbol_count";
+
         // Prevent name-clashes by hashing all parameters and using this for entrypoint name
         let all_variables = [self.symbols.to_vec(), self.initial.coefficients.to_vec()].concat();
         let variables_as_digest = Tip5::hash_varlen(&all_variables);
         let first_word = variables_as_digest.encode()[0];
-        format!(
-            "tasmlib_verifier_eval_arg_compute_terminal_const_sized_static_symbols_symbol_count_{}_{}",
-            N, first_word
-        )
+
+        format!("{IDENTIFIER}_{N}_{first_word}")
     }
 
     fn code(&self, _library: &mut Library) -> Vec<LabelledInstruction> {

tasm-lib/src/verifier/fri/verify.rs

@@ -1715,7 +1715,7 @@ mod bench {
         let mut file = File::create(path).expect("open file for writing");
         write!(file, "{profile}").unwrap();
 
-        println!("{}", profile);
+        println!("{profile}");
 
         // Don't do this since entrypoint label of FRI snippet is not parameterized over its
         // variables, meaning all benchmarks are overwritten.

tasm-lib/src/verifier/master_table/divide_out_zerofiers.rs

@@ -281,10 +281,10 @@ mod tests {
             let transition_zerofier_inv = except_last_row * consistency_zerofier_inv;
             let terminal_zerofier_inv = except_last_row.inverse(); // i.e., only last row
 
-            println!("initial zerofier inverse: {}", initial_zerofier_inv);
-            println!("consistency zerofier inverse: {}", consistency_zerofier_inv);
-            println!("transition zerofier inverse: {}", transition_zerofier_inv);
-            println!("terminal zerofier inverse: {}", terminal_zerofier_inv);
+            println!("initial zerofier inverse: {initial_zerofier_inv}");
+            println!("consistency zerofier inverse: {consistency_zerofier_inv}");
+            println!("transition zerofier inverse: {transition_zerofier_inv}");
+            println!("terminal zerofier inverse: {terminal_zerofier_inv}");
 
             let mut running_total_constraints = 0;
             let initial_quotients = air_evaluation_result[running_total_constraints

tasm-lib/src/verifier/stark_verify.rs

@@ -1346,9 +1346,8 @@ pub mod tests {
 
         println!(
             "TASM-verifier of factorial({FACTORIAL_ARGUMENT}):\n
-            clock cycle count: {}.\n
-            Inner padded height was: {}",
-            cycle_count, inner_padded_height,
+            clock cycle count: {cycle_count}.\n
+            Inner padded height was: {inner_padded_height}",
         );
     }
 
@@ -1649,7 +1648,7 @@ mod benches {
             &PublicInput::new(claim_for_proof.input),
             &nondeterminism,
         );
-        println!("{}", profile);
+        println!("{profile}");
     }
 
     #[test]
@@ -1788,6 +1787,6 @@ mod benches {
             &PublicInput::new(claim_for_proof.input),
             &non_determinism,
         );
-        println!("{}", profile);
+        println!("{profile}");
     }
 }