cairo_vm

Module math_utils

Source

Structs§

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