From 0ecaf40839be0c8785677e6b70b6e5b173fb6ecb Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Tue, 3 Aug 2021 12:06:42 -0700 Subject: [PATCH] addressed comment --- src/gates/random_access.rs | 27 +++++++++++---------------- 1 file changed, 11 insertions(+), 16 deletions(-) diff --git a/src/gates/random_access.rs b/src/gates/random_access.rs index e616ce49..413a6ff3 100644 --- a/src/gates/random_access.rs +++ b/src/gates/random_access.rs @@ -236,25 +236,20 @@ impl, const D: usize> SimpleGenerator for RandomAccessGenera vec_size ); - let mut equality_dummy_vals = Vec::new(); - let mut index_matches_vals = Vec::new(); - for i in 0..vec_size { - if i == access_index { - equality_dummy_vals.push(F::ONE); - index_matches_vals.push(F::ONE); - } else { - equality_dummy_vals.push( - (F::from_canonical_usize(i) - F::from_canonical_usize(access_index)).inverse(), - ); - index_matches_vals.push(F::ZERO); - } - } - for i in 0..vec_size { let equality_dummy_wire = local_wire(self.gate.wire_equality_dummy_for_index(i)); - out_buffer.set_wire(equality_dummy_wire, equality_dummy_vals[i]); let index_matches_wire = local_wire(self.gate.wire_index_matches_for_index(i)); - out_buffer.set_wire(index_matches_wire, index_matches_vals[i]); + + if i == access_index { + out_buffer.set_wire(equality_dummy_wire, F::ONE); + out_buffer.set_wire(index_matches_wire, F::ONE); + } else { + out_buffer.set_wire( + equality_dummy_wire, + (F::from_canonical_usize(i) - F::from_canonical_usize(access_index)).inverse(), + ); + out_buffer.set_wire(index_matches_wire, F::ZERO); + } } } }