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

fixes

Browse Source
This commit is contained in:
Nicholas Ward 2021-07-29 14:17:45 -07:00
parent e46bd08f00
commit a111fc3164
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/gadgets/arithmetic.rs
View File

@ -3,7 +3,6 @@ use std::borrow::Borrow;
use crate::circuit_builder::CircuitBuilder; use crate::circuit_builder::CircuitBuilder;
use crate::field::extension_field::Extendable; use crate::field::extension_field::Extendable;
use crate::gates::exponentiation::ExponentiationGate; use crate::gates::exponentiation::ExponentiationGate;
use crate::plonk_common::reduce_with_powers_recursive;
use crate::target::Target; use crate::target::Target;
use crate::util::log2_ceil; use crate::util::log2_ceil;

3
src/gates/exponentiation.rs
View File

@ -6,7 +6,6 @@ use crate::field::extension_field::Extendable;
use crate::field::field::Field; use crate::field::field::Field;
use crate::gates::gate::Gate; use crate::gates::gate::Gate;
use crate::generator::{GeneratedValues, SimpleGenerator, WitnessGenerator}; use crate::generator::{GeneratedValues, SimpleGenerator, WitnessGenerator};
use crate::plonk_common::{reduce_with_powers, reduce_with_powers_ext_recursive};
use crate::target::Target; use crate::target::Target;
use crate::vars::{EvaluationTargets, EvaluationVars, EvaluationVarsBase}; use crate::vars::{EvaluationTargets, EvaluationVars, EvaluationVarsBase};
use crate::wire::Wire; use crate::wire::Wire;
@ -210,7 +209,7 @@ impl<F: Extendable<D>, const D: usize> SimpleGenerator<F> for ExponentiationGene
fn dependencies(&self) -> Vec<Target> { fn dependencies(&self) -> Vec<Target> {
let local_target = |input| Target::wire(self.gate_index, input); let local_target = |input| Target::wire(self.gate_index, input);
let mut deps = Vec::with_capacity(self.gate.num_power_bits + 2); let mut deps = Vec::with_capacity(self.gate.num_power_bits + 1);
deps.push(local_target(self.gate.wire_base())); deps.push(local_target(self.gate.wire_base()));
for i in 0..self.gate.num_power_bits { for i in 0..self.gate.num_power_bits {
deps.push(local_target(self.gate.wire_power_bit(i))); deps.push(local_target(self.gate.wire_power_bit(i)));