Module kimchi_msm::fec::interpreter

source ·

Functions

  • constrain_ec_addition
    When P = (xP,yP) and Q = (xQ,yQ) are not negative of each other, thus function ensures
  • ec_add_circuit
    Creates a witness for adding two points, p and q, each represented as a pair of foreign field elements. Returns a point.
  • limbs_to_bigints
    Convenience function for printing.