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

fix?

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-27 11:04:16 -07:00
parent 0b8f5860f5
commit 695e5bc98c
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/gates/exponentiation.rs
View File

@ -71,14 +71,18 @@ impl<F: Extendable<D>, const D: usize> Gate<F, D> for ExponentiationGate<F, D> {
let computed_power = reduce_with_powers(power_bits_reversed, F::Extension::TWO);
constraints.push(power - computed_power);
let mut current_intermediate_value = F::Extension::ONE;
for i in 0..self.num_power_bits {
let current_intermediate_value = if i == 0 {
F::Extension::ONE
} else {
intermediate_values[i - 1] * intermediate_values[i - 1]
};
let cur_bit = power_bits[i];
let not_cur_bit = F::Extension::ONE - cur_bit;
let computed_intermediate_value =
current_intermediate_value * (cur_bit * base + not_cur_bit);
constraints.push(computed_intermediate_value - intermediate_values[i]);
current_intermediate_value = computed_intermediate_value * computed_intermediate_value;
}
constraints.push(computed_output - intermediate_values[self.num_power_bits - 1]);