diff --git a/src/gates/random_access.rs b/src/gates/random_access.rs index 413a6ff3..ff35eaa2 100644 --- a/src/gates/random_access.rs +++ b/src/gates/random_access.rs @@ -1,4 +1,3 @@ -use std::convert::TryInto; use std::marker::PhantomData; use std::ops::Range; @@ -217,13 +216,6 @@ impl, const D: usize> SimpleGenerator for RandomAccessGenera let get_local_wire = |input| witness.get_wire(local_wire(input)); - let get_local_ext = |wire_range: Range| { - debug_assert_eq!(wire_range.len(), D); - let values = wire_range.map(get_local_wire).collect::>(); - let arr = values.try_into().unwrap(); - F::Extension::from_basefield_array(arr) - }; - // Compute the new vector and the values for equality_dummy and index_matches let vec_size = self.gate.vec_size; let access_index_f = get_local_wire(self.gate.wires_access_index());