diff --git a/halo2-base/src/gates/flex_gate/mod.rs b/halo2-base/src/gates/flex_gate/mod.rs index 6e9db50f..03f952b6 100644 --- a/halo2-base/src/gates/flex_gate/mod.rs +++ b/halo2-base/src/gates/flex_gate/mod.rs @@ -303,9 +303,9 @@ pub trait GateInstructions { ctx.assign_region([Constant(F::ZERO), Existing(x), Existing(x), Existing(x)], [0]); } - /// Constrains and returns a / b = 0. + /// Constrains and returns a / b = out. /// - /// Defines a vertical gate of form | 0 | b^1 * a | b | a |, where b^1 * a = out. + /// Defines a vertical gate of form | 0 | a / b | b | a |, where a / b = out. /// /// Assumes `b != 0`. /// * `ctx`: [Context] to add the constraints to