diff --git a/src/gadgets/arithmetic.rs b/src/gadgets/arithmetic.rs index 5974fd05..b79e4da4 100644 --- a/src/gadgets/arithmetic.rs +++ b/src/gadgets/arithmetic.rs @@ -3,7 +3,6 @@ use std::borrow::Borrow; use crate::circuit_builder::CircuitBuilder; use crate::field::extension_field::Extendable; use crate::gates::exponentiation::ExponentiationGate; -use crate::plonk_common::reduce_with_powers_recursive; use crate::target::Target; use crate::util::log2_ceil; diff --git a/src/gates/exponentiation.rs b/src/gates/exponentiation.rs index d8cf90ea..4ef52d49 100644 --- a/src/gates/exponentiation.rs +++ b/src/gates/exponentiation.rs @@ -6,7 +6,6 @@ use crate::field::extension_field::Extendable; use crate::field::field::Field; use crate::gates::gate::Gate; use crate::generator::{GeneratedValues, SimpleGenerator, WitnessGenerator}; -use crate::plonk_common::{reduce_with_powers, reduce_with_powers_ext_recursive}; use crate::target::Target; use crate::vars::{EvaluationTargets, EvaluationVars, EvaluationVarsBase}; use crate::wire::Wire; @@ -210,7 +209,7 @@ impl, const D: usize> SimpleGenerator for ExponentiationGene fn dependencies(&self) -> Vec { 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())); for i in 0..self.gate.num_power_bits { deps.push(local_target(self.gate.wire_power_bit(i)));