fn pow2523(a: Fe) Fe

Return a^((p-5)/8) = a^(2^252-3) Used to compute square roots since we have p=5 (mod 8); see Cohen and Frey.

Parameters

a: Fe,