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

conditional add

Browse Source
This commit is contained in:
Nicholas Ward 2022-02-11 12:35:36 -08:00
parent 84edb55b63
commit 3787f3be22
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
plonky2/src/gadgets/curve_windowed_mul.rs
View File

@ -77,6 +77,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let mut result = self.constant_affine_point(C::GENERATOR_AFFINE);
let precomputation = self.precompute_window(p);
let zero = self.zero();
let windows = self.split_nonnative_to_4_bit_limbs(n);
let m = C::ScalarField::BITS / WINDOW_SIZE;
@ -85,7 +86,9 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
let window = windows[i];
let to_add = self.random_access_curve_points(window, precomputation.clone());
result = self.curve_add(&result, &to_add);
let is_zero = self.is_equal(window, zero);
let should_add = self.not(is_zero);
result = self.curve_conditional_add(&result, &to_add, should_add);
}
result