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

fmt

Browse Source
This commit is contained in:
Nicholas Ward 2021-09-15 16:41:37 -07:00
parent c207a02852
commit 7a7bf371eb
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/gates/comparison.rs
View File

@ -274,7 +274,8 @@ impl<F: RichField + Extendable<D>, const D: usize> Gate<F, D> for ComparisonGate
}
let most_significant_diff = vars.local_wires[self.wire_most_significant_diff()];
constraints.push(builder.sub_extension(most_significant_diff, most_significant_diff_so_far));
constraints
.push(builder.sub_extension(most_significant_diff, most_significant_diff_so_far));
// Range check
let mut product = builder.one_extension();
@ -390,10 +391,14 @@ impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F>
diff_index = i;
}
}
let most_significant_diff = second_input_chunks[diff_index] - first_input_chunks[diff_index];
out_buffer.set_wire(local_wire(self.gate.wire_most_significant_diff()), most_significant_diff);
let most_significant_diff =
second_input_chunks[diff_index] - first_input_chunks[diff_index];
out_buffer.set_wire(
local_wire(self.gate.wire_most_significant_diff()),
most_significant_diff,
);
for i in 0..self.gate.num_chunks {
out_buffer.set_wire(
local_wire(self.gate.wire_first_chunk_val(i)),
@ -527,7 +532,8 @@ mod tests {
}
}
let most_significant_diff = second_input_chunks[diff_index] - first_input_chunks[diff_index];
let most_significant_diff =
second_input_chunks[diff_index] - first_input_chunks[diff_index];
v.push(first_input);
v.push(second_input);