chore: adapt to updated AirContext

0xPolygonMiden · Sep 13, 2024 · e90914d · e90914d
1 parent 7e880db
commit e90914d
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 15 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/air/src/lib.rs b/air/src/lib.rs
@@ -102,12 +102,11 @@ impl Air for ProcessorAir {
         let num_main_assertions = 2 + stack::NUM_ASSERTIONS + range::NUM_ASSERTIONS;
 
         // Define the number of boundary constraints for the auxiliary execution trace segment.
-        //let num_aux_assertions = stack::NUM_AUX_ASSERTIONS;
-        let num_aux_assertions = 0;
+        let num_aux_assertions = stack::NUM_AUX_ASSERTIONS;
 
         // Create the context and set the number of transition constraint exemptions to two; this
         // allows us to inject random values into the last row of the execution trace.
-        let context = AirContext::with_logup_gkr(
+        let context = AirContext::new_multi_segment(
             trace_info,
             pub_inputs.clone(),
             main_degrees,
@@ -192,8 +191,7 @@ impl Air for ProcessorAir {
             last_step,
         );
 
-        //result
-        vec![]
+        result
     }
 
     // TRANSITION CONSTRAINTS