From 58204e3703ee59ef7cedbd43d44382e372c6dde6 Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Wed, 4 Aug 2021 18:12:15 -0700 Subject: [PATCH] unused --- src/gates/random_access.rs | 8 -------- 1 file changed, 8 deletions(-) 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());