ge_scalarmult_base

h = a * B where a = a[0]+256*a[1]+...+256^31 a[31] B is the Ed25519 base point (x,4/5) with x positive.

Preconditions: a[31] <= 127

@safe nothrow @nogc

ge_scalarmult_base

(

in ubyte[] a

)

in { assert (a.length == 32, "'a' is expected to be 32 bytes."); assert (a[31] <= 127); }

Meta