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

fmt

Browse Source
This commit is contained in:
Nicholas Ward 2021-09-13 18:05:42 -07:00
parent 4eda0e9e9b
commit 8a726d5a86
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/gates/comparison.rs
View File

@ -304,7 +304,8 @@ impl<F: RichField + Extendable<D>, const D: usize> SimpleGenerator<F>
diff_index = i;
}
}
let most_significant_diff = first_input_chunks[diff_index] - second_input_chunks[diff_index];
let most_significant_diff =
first_input_chunks[diff_index] - second_input_chunks[diff_index];
let z = F::TWO.exp_u64(self.gate.chunk_bits() as u64) + most_significant_diff;
let z_bits: Vec<F> = (0..self.gate.chunk_bits() + 1)
@ -481,14 +482,15 @@ mod tests {
.zip(second_input_chunks.iter())
.map(|(f, s)| if *f == *s { F::ONE } else { F::ONE / (*f - *s) })
.collect();
let mut diff_index = 0;
for i in 1..num_chunks {
if first_input_chunks[i] != second_input_chunks[i] {
diff_index = i;
}
}
let most_significant_diff = first_input_chunks[diff_index] - second_input_chunks[diff_index];
let most_significant_diff =
first_input_chunks[diff_index] - second_input_chunks[diff_index];
let z = F::TWO.exp_u64(chunk_bits as u64) + most_significant_diff;
let mut z_bits: Vec<F> = (0..chunk_bits + 1)