Skip to main content

biguint_lt

binius_circuits::bignum

Function biguint_lt 

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

Less-than comparison 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