Function assert_eq 

pub fn assert_eq(
    builder: &CircuitBuilder,
    name: impl Into<String>,
    a: &BigUint,
    b: &BigUint,
)

Asserts that that two BigUints are equal.

Arguments

• builder - Circuit builder for constraint generation
• a - First operand BigUint
• b - Second operand BigUint (must have same number of limbs as a)

Panics

Panics if a and b have different number of limbs.