Module cairo_vm::math_utils

Structs

• SIGNED_FELT_MAX

Functions

• div_mod
  Finds a nonnegative integer x < p such that (m * x) % p == n.
• ec_add
• ec_double
  Doubles a point on an elliptic curve with the equation y^2 = x^3 + alpha*x + beta mod p. Assumes the point is given in affine form (x, y) and has y != 0.
• ec_double_slope
  Computes the slope of an elliptic curve with the equation y^2 = x^3 + alpha*x + beta mod p, at the given point. Assumes the point is given in affine form (x, y) and has y != 0.
• is_prime
• isqrt
  Returns the integer square root of the nonnegative integer n. This is the floor of the exact square root of n. Unlike math.sqrt(), this function doesn’t have rounding error issues.
• line_slope
  Computes the slope of the line connecting the two given EC points over the field GF(p). Assumes the points are given in affine form (x, y) and have different x coordinates.
• pow2_const
  Returns the nth (up to the 251th power) power of 2 as a Felt252 in constant time. It silently returns 1 if the input is out of bounds.
• pow2_const_nz
  Returns the nth (up to the 251th power) power of 2 as a [&stark_felt::NonZeroFelt] in constant time. It silently returns 1 if the input is out of bounds.
• safe_div
  Performs integer division between x and y; fails if x is not divisible by y.
• safe_div_bigint
  Performs integer division between x and y; fails if x is not divisible by y.
• safe_div_usize
  Performs integer division between x and y; fails if x is not divisible by y.
• signed_felt
  Converts Felt252 into a BigInt number in the range: (- FIELD / 2, FIELD / 2).
• sqrt_prime_power