| in_curve_order | Asserts that the given number is lower than the curve order. |
| compute_challenge | — |
| validate_challenge | — |
| reduce_modulo_order | This is used to cast a felt252 into the curve order. It is used mainly in challenge computation. We could implement more complex function to avoid non-uniform distribution in… |
| compute_s | Computes k + x * c mod (CURVE ORDER). The inputs should be in curve order. |
| subtract_modulo_curve_order | — |
| to_binary | Computes the binary decomposition of the given number u32 number. The output is and array ordered in big in the end. |
| generate_random_for_testing | Generates a “random” number in the curve order for testing |