Changing minor subproof naming remaining

hints/src/hints.rs

@@ -709,7 +709,7 @@ pub fn acc_hint_field<F: Field>(
     air_instance: &mut AirInstance<F>,
     hint_id: usize,
     hint_field_dest: &str,
-    hint_field_subprooval: &str,
+    hint_field_airgroupvalue: &str,
     hint_field_name: &str,
 ) -> (u64, u64) {
     let setup = setup_ctx.get_setup(air_instance.airgroup_id, air_instance.air_id).expect("REASON");
@@ -732,7 +732,7 @@ pub fn acc_hint_field<F: Field>(
         (&steps_params).into(),
         hint_id as u64,
         hint_field_dest,
-        hint_field_subprooval,
+        hint_field_airgroupvalue,
         hint_field_name,
     );
 
@@ -750,7 +750,7 @@ pub fn acc_mul_hint_fields<F: Field>(
     air_instance: &mut AirInstance<F>,
     hint_id: usize,
     hint_field_dest: &str,
-    hint_field_subprooval: &str,
+    hint_field_airgroupvalue: &str,
     hint_field_name1: &str,
     hint_field_name2: &str,
     options1: HintFieldOptions,
@@ -776,7 +776,7 @@ pub fn acc_mul_hint_fields<F: Field>(
         (&steps_params).into(),
         hint_id as u64,
         hint_field_dest,
-        hint_field_subprooval,
+        hint_field_airgroupvalue,
         hint_field_name1,
         hint_field_name2,
         (&options1).into(),

provers/starks-lib-c/src/ffi_starks.rs

@@ -303,11 +303,11 @@ pub fn acc_hint_field_c(
     p_steps_params: *mut c_void,
     hint_id: u64,
     hint_field_dest: &str,
-    hint_field_subproovalue: &str,
+    hint_field_airgroupvalue: &str,
     hint_field_name: &str,
 ) -> *mut c_void {
     let field_dest = CString::new(hint_field_dest).unwrap();
-    let field_airgroupvalue = CString::new(hint_field_subproovalue).unwrap();
+    let field_airgroupvalue = CString::new(hint_field_airgroupvalue).unwrap();
     let field_name = CString::new(hint_field_name).unwrap();
 
     unsafe {
@@ -329,14 +329,14 @@ pub fn acc_mul_hint_fields_c(
     p_steps_params: *mut c_void,
     hint_id: u64,
     hint_field_dest: &str,
-    hint_field_subproovalue: &str,
+    hint_field_airgroupvalue: &str,
     hint_field_name1: &str,
     hint_field_name2: &str,
     hint_options1: *mut c_void,
     hint_options2: *mut c_void,
 ) -> *mut c_void {
     let field_dest = CString::new(hint_field_dest).unwrap();
-    let field_airgroupvalue = CString::new(hint_field_subproovalue).unwrap();
+    let field_airgroupvalue = CString::new(hint_field_airgroupvalue).unwrap();
     let field_name1 = CString::new(hint_field_name1).unwrap();
     let field_name2: CString = CString::new(hint_field_name2).unwrap();
 
@@ -991,7 +991,7 @@ pub fn acc_hint_field_c(
     _p_steps_params: *mut c_void,
     _hint_id: u64,
     _hint_field_dest: &str,
-    _hint_field_subproovalue: &str,
+    _hint_field_airgroupvalue: &str,
     _hint_field_name: &str,
 ) -> *mut c_void {
     trace!("{}: ··· {}", "ffi     ", "acc_hint_fields: This is a mock call because there is no linked library");
@@ -1005,7 +1005,7 @@ pub fn acc_mul_hint_fields_c(
     _p_steps_params: *mut c_void,
     _hint_id: u64,
     _hint_field_dest: &str,
-    _hint_field_subproovalue: &str,
+    _hint_field_airgroupvalue: &str,
     _hint_field_name1: &str,
     _hint_field_name2: &str,
     _hint_options1: *mut c_void,