This commit is contained in:
Daniel Lubarov 2021-08-04 18:12:15 -07:00
parent 4eb8153895
commit 58204e3703

View File

@ -1,4 +1,3 @@
use std::convert::TryInto;
use std::marker::PhantomData;
use std::ops::Range;
@ -217,13 +216,6 @@ impl<F: Extendable<D>, const D: usize> SimpleGenerator<F> for RandomAccessGenera
let get_local_wire = |input| witness.get_wire(local_wire(input));
let get_local_ext = |wire_range: Range<usize>| {
debug_assert_eq!(wire_range.len(), D);
let values = wire_range.map(get_local_wire).collect::<Vec<_>>();
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());