↓ 69 callersFunctionfe_mulPrecondition ------------- |f0|, |f2|, |f4|, |f6|, |f8| < 1.65 * 2^26 |f1|, |f3|, |f5|, |f7|, |f9| < 1.65 * 2^25 |g0|, |g2|, |g4|, |g6|, |g8| <
RemoteIDModule/monocypher.cpp:1314
↓ 36 callersFunctionfe_sqPrecondition ------------- |f0|, |f2|, |f4|, |f6|, |f8| < 1.65 * 2^26 |f1|, |f3|, |f5|, |f7|, |f9| < 1.65 * 2^25 Note: we could use fe_mul() for
RemoteIDModule/monocypher.cpp:1370
↓ 9 callersFunctionfe_tobytesPrecondition |h[0]|, |h[2]|, |h[4]|, |h[6]|, |h[8]| < 1.1 * 2^25 |h[1]|, |h[3]|, |h[5]|, |h[7]|, |h[9]| < 1.1 * 2^24 Therefore, |h| < 2^255-19 Th
RemoteIDModule/monocypher.cpp:1250
↓ 4 callersFunctionfe_mul_smallPrecondition ------------- |f0|, |f2|, |f4|, |f6|, |f8| < 1.65 * 2^26 |f1|, |f3|, |f5|, |f7|, |f9| < 1.65 * 2^25 |g0|, |g2|, |g4|, |g6|, |g8| <
RemoteIDModule/monocypher.cpp:1294