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

fixed fill_switch_gates

Browse Source
This commit is contained in:
Nicholas Ward 2021-09-02 15:59:17 -07:00
parent f89f49249a
commit 7acdf976c1
1 changed files with 15 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/plonk/circuit_builder.rs
View File

@ -521,18 +521,22 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let zero = self.zero(); let zero = self.zero();
for chunk_size in 1..=self.current_switch_gates.len() { for chunk_size in 1..=self.current_switch_gates.len() {
if let Some((gate, gate_index, copy)) = if let Some((gate, gate_index, mut copy)) =
self.current_switch_gates[chunk_size - 1].clone() self.current_switch_gates[chunk_size - 1].clone()
{ {
for element in 0..chunk_size { while copy < gate.num_copies {
let wire_first_input = for element in 0..chunk_size {
Target::wire(gate_index, gate.wire_first_input(copy, element)); let wire_first_input =
let wire_second_input = Target::wire(gate_index, gate.wire_first_input(copy, element));
Target::wire(gate_index, gate.wire_second_input(copy, element)); let wire_second_input =
let wire_switch_bool = Target::wire(gate_index, gate.wire_switch_bool(copy)); Target::wire(gate_index, gate.wire_second_input(copy, element));
self.connect(zero, wire_first_input); let wire_switch_bool =
self.connect(zero, wire_second_input); Target::wire(gate_index, gate.wire_switch_bool(copy));
self.connect(zero, wire_switch_bool); self.connect(zero, wire_first_input);
self.connect(zero, wire_second_input);
self.connect(zero, wire_switch_bool);
}
copy += 1;
} }
} }
} }
@ -550,6 +554,7 @@ impl<F: Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let start = Instant::now(); let start = Instant::now();
self.fill_arithmetic_gates(); self.fill_arithmetic_gates();
self.fill_switch_gates();
// Hash the public inputs, and route them to a `PublicInputGate` which will enforce that // Hash the public inputs, and route them to a `PublicInputGate` which will enforce that
// those hash wires match the claimed public inputs. // those hash wires match the claimed public inputs.