Fix compilation

0xPolygonHermez · Dec 12, 2024 · 78a76c1 · 78a76c1
1 parent 3a9ae63
commit 78a76c1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/pil/src/pil_helpers/traces.rs b/pil/src/pil_helpers/traces.rs
@@ -7,7 +7,7 @@ pub use proofman_macros::values;
 #[allow(dead_code)]
 type FieldExtension<F> = [F; 3];
 
-pub const PILOUT_HASH: &[u8] = b"ZiskArith-hash";
+pub const PILOUT_HASH: &[u8] = b"Zisk-hash";
 
 //AIRGROUP CONSTANTS
 
@@ -77,5 +77,5 @@ trace!(SpecifiedRangesTrace<F> {
 },  0, 9, 16777216 );
 
 values!(MainAirValues<F> {
- main_last_segment: FieldExtension<F>, main_segment: FieldExtension<F>,
+ main_last_segment: F, main_segment: F,
 });
diff --git a/state-machines/main/src/main_sm.rs b/state-machines/main/src/main_sm.rs
@@ -132,8 +132,8 @@ impl<F: PrimeField> MainSM<F> {
         let main_segment = F::from_canonical_usize(current_segment);
 
         let mut main_air_values = MainAirValues::<F>::new();
-        main_air_values.main_last_segment[0] = main_last_segment;
-        main_air_values.main_segment[0] = main_segment;
+        main_air_values.main_last_segment = main_last_segment;
+        main_air_values.main_segment = main_segment;
 
         let air_instance = AirInstance::new_from_trace(
             FromTrace::new(&mut main_instance.main_trace).with_air_values(&mut main_air_values),