Module embedded_curve_ops

Functions

check_all_or_nothing_pair 🔒

Checks that the two halves of an input pair are either both witnesses or both constants, erroring otherwise. kind names the pair in the error message, e.g. “Coordinates” for a point’s (x, y) or “Scalar limbs” for a scalar’s (lo, hi).

embedded_curve_add 🔒

execute_embedded_curve_add 🔒

execute_multi_scalar_mul 🔒

multi_scalar_mul 🔒