chore: update miden-gpu dependency to v0.5

Author: bobbinth

Cargo.lock

@@ -10,7 +10,7 @@ WARNINGS=RUSTDOCFLAGS="-D warnings"
 DEBUG_ASSERTIONS=RUSTFLAGS="-C debug-assertions"
 FEATURES_CONCURRENT_EXEC=--features concurrent,executable
 FEATURES_LOG_TREE=--features concurrent,executable,tracing-forest
-FEATURES_METAL_EXEC=--features concurrent,executable,metal
+FEATURES_METAL_EXEC=--features concurrent,executable,metal,tracing-forest
 ALL_FEATURES_BUT_ASYNC=--features concurrent,executable,metal,testing,with-debug-info,internal
 
 # -- linting --------------------------------------------------------------------------------------

Makefile

@@ -29,5 +29,5 @@ winter-prover = { package = "winter-prover", version = "0.12", default-features
 
 [target.'cfg(all(target_arch = "aarch64", target_os = "macos"))'.dependencies]
 elsa = { version = "1.9", optional = true }
-miden-gpu = { version = "0.4", optional = true }
+miden-gpu = { version = "0.5", optional = true }
 pollster = { version = "0.4", optional = true }

prover/Cargo.toml

@@ -4,7 +4,7 @@
 
 use std::{boxed::Box, marker::PhantomData, time::Instant, vec::Vec};
 
-use air::{AuxRandElements, LagrangeKernelEvaluationFrame, PartitionOptions};
+use air::{AuxRandElements, PartitionOptions};
 use elsa::FrozenVec;
 use miden_gpu::{
     HashFn,
@@ -330,32 +330,6 @@ where
         self.blowup
     }
 
-    /// Populates the provided Lagrange kernel frame starting at the current row (as defined by
-    /// lde_step).
-    /// Note that unlike EvaluationFrame, the Lagrange kernel frame includes only the Lagrange
-    /// kernel column (as opposed to all columns).
-    fn read_lagrange_kernel_frame_into(
-        &self,
-        lde_step: usize,
-        col_idx: usize,
-        frame: &mut LagrangeKernelEvaluationFrame<E>,
-    ) {
-        if let Some(aux_segment) = self.aux_segment_lde.as_ref() {
-            let frame = frame.frame_mut();
-            frame.truncate(0);
-
-            frame.push(aux_segment.get(col_idx, lde_step));
-
-            let frame_length = self.trace_info.length().ilog2() as usize + 1;
-            for i in 0..frame_length - 1 {
-                let shift = self.blowup() * (1 << i);
-                let next_lde_step = (lde_step + shift) % self.trace_len();
-
-                frame.push(aux_segment.get(col_idx, next_lde_step));
-            }
-        }
-    }
-
     /// Returns the trace info
     fn trace_info(&self) -> &TraceInfo {
         &self.trace_info