logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 16:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixes

Browse Source
This commit is contained in:
Nicholas Ward 2021-08-26 14:27:42 -07:00
parent 013c8bb612
commit 2d5f362c6a
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/gates/switch.rs
View File

@ -72,7 +72,7 @@ impl<F: Extendable<D>, const D: usize, const CHUNK_SIZE: usize> Gate<F, D>
let mut constraints = Vec::with_capacity(self.num_constraints()); let mut constraints = Vec::with_capacity(self.num_constraints());
for c in 0..self.num_copies { for c in 0..self.num_copies {
let switch_bool = vars.local_wires[Self::wire_switch_bool(self.num_wires(), c)]; let switch_bool = vars.local_wires[Self::wire_switch_bool(self.num_copies, c)];
let not_switch = F::Extension::ONE - switch_bool; let not_switch = F::Extension::ONE - switch_bool;
for e in 0..CHUNK_SIZE { for e in 0..CHUNK_SIZE {
@ -234,12 +234,8 @@ impl<F: Extendable<D>, const D: usize, const CHUNK_SIZE: usize> SimpleGenerator<
for e in 0..CHUNK_SIZE { for e in 0..CHUNK_SIZE {
let first_input = let first_input =
get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_first_input(c, e)); get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_first_input(c, e));
let second_input =
get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_second_input(c, e));
let first_output = let first_output =
get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_first_output(c, e)); get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_first_output(c, e));
let second_output =
get_local_wire(SwitchGate::<F, D, CHUNK_SIZE>::wire_second_output(c, e));
if first_input == first_output { if first_input == first_output {
out_buffer.set_wire(switch_bool_wire, F::ONE); out_buffer.set_wire(switch_bool_wire, F::ONE);