fe

fe means field element. Here the field is \Z/(2^255-19). An element t, entries t[0]...t[9], represents the integer t[0]+2^26 t[1]+2^51 t[2]+2^77 t[3]+2^102 t[4]+...+2^230 t[9]. Bounds on each ti vary depending on context.

Alias This

value

Members

Functions

negate
void negate()

Changes the sign.

opEquals
bool opEquals(auto ref const fe rhs)

Comparing in constant time.

Properties

cpow
fe cpow [@property getter]

Power by squaring in constant time. Returns f^power

isNegative
bool isNegative [@property getter]

return 1 if f is in {1,3,5,...,q-2} return 0 if f is in {0,2,4,...,q-1}

sq
fe sq [@property getter]
sq2
fe sq2 [@property getter]

Static functions

fromBytes
fe fromBytes(in ubyte[] bytes)

Create fe from 32 bytes.

Meta