Function halo2_ecc::bigint::big_is_equal::assign

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>

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.