halo2_ecc::bigint::select

Function assign

Source 
pub fn assign<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: OverflowInteger<F>,
    b: OverflowInteger<F>,
    sel: AssignedValue<F>,
) -> OverflowInteger<F>
Expand description

ยงAssumptions

  • a, b have same number of limbs
  • Number of limbs is nonzero