Function halo2_ecc::bigint::sub::assign

source · [−]
pub fn assign<F: ScalarField>(
    range: &impl RangeInstructions<F>,
    ctx: &mut Context<F>,
    a: impl Into<ProperUint<F>>,
    b: impl Into<ProperUint<F>>,
    limb_bits: usize,
    limb_base: F
) -> (OverflowInteger<F>, AssignedValue<F>)
Expand description

Assumptions

  • Should only be called on integers a, b in proper representation with all limbs having at most limb_bits number of bits
  • a, b have same nonzero number of limbs