diff --git a/src/gadgets/arithmetic.rs b/src/gadgets/arithmetic.rs index 88004460..f9de4452 100644 --- a/src/gadgets/arithmetic.rs +++ b/src/gadgets/arithmetic.rs @@ -185,7 +185,7 @@ impl, const D: usize> CircuitBuilder { // TODO: Optimize this, maybe with a new gate. // TODO: Test - /// Exponentiate `base` to the power of `exponent`, given by its little-endian bits. + /// Exponentiate `base` to the power of `2^bit_length-1-exponent`, given by its little-endian bits. pub fn exp_from_complement_bits(&mut self, base: Target, exponent_bits: &[Target]) -> Target { let mut current = base; let one_ext = self.one_extension();