fmt

anoma · Sep 25, 2023 · 71a9da4 · 71a9da4
1 parent 3e88e0a
commit 71a9da4
Showing 1 changed file with 53 additions and 24 deletions.
diff --git a/taiga_halo2/src/circuit/vp_circuit.rs b/taiga_halo2/src/circuit/vp_circuit.rs
@@ -609,67 +609,96 @@ impl BasicValidityPredicateVariables {
     fn get_variable_searchable_pairs(
         &self,
         input_target_variable: impl Fn(&InputNoteVariables) -> AssignedCell<pallas::Base, pallas::Base>,
-        output_target_variable: impl Fn(&OutputNoteVariables) -> AssignedCell<pallas::Base, pallas::Base>,
+        output_target_variable: impl Fn(
+            &OutputNoteVariables,
+        ) -> AssignedCell<pallas::Base, pallas::Base>,
     ) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.input_note_variables.iter().map(|variables|
-            NoteSearchableVariablePair {
+        self.input_note_variables
+            .iter()
+            .map(|variables| NoteSearchableVariablePair {
                 src_variable: variables.nf.clone(),
                 target_variable: input_target_variable(variables),
             })
-        .chain(
-            self.output_note_variables.iter().map(|variables|
-                NoteSearchableVariablePair {
-                    src_variable: variables.cm.clone(),
-                    target_variable: output_target_variable(variables),
-                })
-        )
-        .collect::<Vec<_>>().try_into().unwrap()
+            .chain(
+                self.output_note_variables
+                    .iter()
+                    .map(|variables| NoteSearchableVariablePair {
+                        src_variable: variables.cm.clone(),
+                        target_variable: output_target_variable(variables),
+                    }),
+            )
+            .collect::<Vec<_>>()
+            .try_into()
+            .unwrap()
     }
 
     pub fn get_app_vk_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.app_vk.clone(), |variables| variables.note_variables.app_vk.clone())
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.app_vk.clone(),
+            |variables| variables.note_variables.app_vk.clone(),
+        )
     }
 
     pub fn get_app_data_static_searchable_pairs(
         &self,
     ) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.app_data_static.clone(), |variables| variables.note_variables.app_data_static.clone())
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.app_data_static.clone(),
+            |variables| variables.note_variables.app_data_static.clone(),
+        )
     }
 
     pub fn get_value_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.value.clone(), |variables| variables.note_variables.value.clone())
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.value.clone(),
+            |variables| variables.note_variables.value.clone(),
+        )
     }
 
     pub fn get_is_merkle_checked_searchable_pairs(
         &self,
     ) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.is_merkle_checked.clone(), |variables| variables.note_variables.is_merkle_checked.clone())
-
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.is_merkle_checked.clone(),
+            |variables| variables.note_variables.is_merkle_checked.clone(),
+        )
     }
 
     pub fn get_app_data_dynamic_searchable_pairs(
         &self,
     ) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.app_data_dynamic.clone(), |variables| variables.note_variables.app_data_dynamic.clone())
-
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.app_data_dynamic.clone(),
+            |variables| variables.note_variables.app_data_dynamic.clone(),
+        )
     }
 
     pub fn get_rho_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.rho.clone(), |variables| variables.note_variables.rho.clone())
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.rho.clone(),
+            |variables| variables.note_variables.rho.clone(),
+        )
     }
 
     pub fn get_nk_com_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.nk_com.clone(), |variables| variables.note_variables.nk_com.clone())
-
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.nk_com.clone(),
+            |variables| variables.note_variables.nk_com.clone(),
+        )
     }
 
     pub fn get_psi_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.psi.clone(), |variables| variables.note_variables.psi.clone())
-
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.psi.clone(),
+            |variables| variables.note_variables.psi.clone(),
+        )
     }
 
     pub fn get_rcm_searchable_pairs(&self) -> [NoteSearchableVariablePair; NUM_NOTE * 2] {
-        self.get_variable_searchable_pairs(|variables| variables.note_variables.rcm.clone(), |variables| variables.note_variables.rcm.clone())
+        self.get_variable_searchable_pairs(
+            |variables| variables.note_variables.rcm.clone(),
+            |variables| variables.note_variables.rcm.clone(),
+        )
     }
 }