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

Remove useless mut

Browse Source
This commit is contained in:
wborgeaud 2021-08-05 16:06:48 +02:00
parent df07909f1e
commit fcc717e923
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/gates/base_sum.rs
View File

@ -38,7 +38,7 @@ impl<F: Extendable<D>, const D: usize, const B: usize> Gate<F, D> for BaseSumGat
fn eval_unfiltered(&self, vars: EvaluationVars<F, D>) -> Vec<F::Extension> { fn eval_unfiltered(&self, vars: EvaluationVars<F, D>) -> Vec<F::Extension> {
let sum = vars.local_wires[Self::WIRE_SUM]; let sum = vars.local_wires[Self::WIRE_SUM];
let mut limbs = vars.local_wires[self.limbs()].to_vec(); let limbs = vars.local_wires[self.limbs()].to_vec();
let computed_sum = reduce_with_powers(&limbs, F::Extension::from_canonical_usize(B)); let computed_sum = reduce_with_powers(&limbs, F::Extension::from_canonical_usize(B));
let mut constraints = vec![computed_sum - sum]; let mut constraints = vec![computed_sum - sum];
for limb in limbs { for limb in limbs {
@ -53,7 +53,7 @@ impl<F: Extendable<D>, const D: usize, const B: usize> Gate<F, D> for BaseSumGat
fn eval_unfiltered_base(&self, vars: EvaluationVarsBase<F>) -> Vec<F> { fn eval_unfiltered_base(&self, vars: EvaluationVarsBase<F>) -> Vec<F> {
let sum = vars.local_wires[Self::WIRE_SUM]; let sum = vars.local_wires[Self::WIRE_SUM];
let mut limbs = vars.local_wires[self.limbs()].to_vec(); let limbs = vars.local_wires[self.limbs()].to_vec();
let computed_sum = reduce_with_powers(&limbs, F::from_canonical_usize(B)); let computed_sum = reduce_with_powers(&limbs, F::from_canonical_usize(B));
let mut constraints = vec![computed_sum - sum]; let mut constraints = vec![computed_sum - sum];
for limb in limbs { for limb in limbs {
@ -69,7 +69,7 @@ impl<F: Extendable<D>, const D: usize, const B: usize> Gate<F, D> for BaseSumGat
) -> Vec<ExtensionTarget<D>> { ) -> Vec<ExtensionTarget<D>> {
let base = builder.constant(F::from_canonical_usize(B)); let base = builder.constant(F::from_canonical_usize(B));
let sum = vars.local_wires[Self::WIRE_SUM]; let sum = vars.local_wires[Self::WIRE_SUM];
let mut limbs = vars.local_wires[self.limbs()].to_vec(); let limbs = vars.local_wires[self.limbs()].to_vec();
let computed_sum = reduce_with_powers_ext_recursive(builder, &limbs, base); let computed_sum = reduce_with_powers_ext_recursive(builder, &limbs, base);
let mut constraints = vec![builder.sub_extension(computed_sum, sum)]; let mut constraints = vec![builder.sub_extension(computed_sum, sum)];
for limb in limbs { for limb in limbs {