Module interpreter

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.