halo2_ecc::bigint::big_is_equal

Function assign

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

Given ProperUints a and b with the same number of limbs, returns whether a == b.

ยงAssumptions:

  • a, b have the same number of limbs.
  • The number of limbs is nonzero.