This commit is contained in:
Nicholas Ward 2021-08-19 22:34:09 -07:00
parent 7dea2451d0
commit 0155c422ab

View File

@ -86,8 +86,7 @@ impl<F: Extendable<D>, const D: usize, const CHUNK_SIZE: usize> Gate<F, D>
constraints.push(switch_bool * (first_input - second_output)); constraints.push(switch_bool * (first_input - second_output));
constraints.push(switch_bool * (second_input - first_output)); constraints.push(switch_bool * (second_input - first_output));
constraints.push(not_switch * (first_input - first_output)); constraints.push(not_switch * (first_input - first_output));
constraints constraints.push(not_switch * (second_input - second_output));
.push(not_switch * (second_input - second_output));
} }
} }