Skip to main content

biguint_eq

binius_circuits::bignum

Function biguint_eq 

Source 
pub fn biguint_eq(builder: &CircuitBuilder, a: &BigUint, b: &BigUint) -> Wire
Expand description

Equality check between equally-sized BigUints.

§Arguments

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

§Returns

Boolean wire that is true when a == b.

§Panics

  • Panics if a and b have different number of limbs