Macros§
- fe_
const - fe_
const_ inner - | Unpacks a constant into a overlapping | multi-limbed FE element. |
- fe_
storage_ const - fe_
storage_ const_ get - verify_
bits
Structs§
Constants§
Functions§
- fe_
equal - | Compare two field elements. Requires | magnitude-1 inputs. |
- fe_
equal_ var - | Same as fe_equal, but may be variable | time. |
- fe_
from_ signed30 - fe_
mul_ inner - fe_
sqr_ inner - fe_sqrt
- | If a has a square root, it is computed | in r and 1 is returned. If a does not have | a square root, the root of its negation | is computed and 0 is returned. | | The input’s magnitude can be at most | 8. The output magnitude is 1 (but not | guaranteed to be normalized). The result | in r will always be a square itself. |
- fe_
to_ signed30