pub fn assign<F: ScalarField>(
gate: &impl GateInstructions<F>,
ctx: &mut Context<F>,
a: &[OverflowInteger<F>],
coeffs: &[AssignedValue<F>]
) -> OverflowInteger<F>Expand description
only use case is when coeffs has only a single 1, rest are 0