Module `SharedFunctors.Make_Curve25519`Source

Parameters

module Impl : sig ... end

Sourcetype bytes = SharedDefs.CBytes.t

Sourcemodule Noalloc : sig ... end

Sourceval secret_to_public : sk:bytes -> bytes

Sourceval scalarmult : scalar:bytes -> point:bytes -> bytes

Sourceval ecdh : sk:bytes -> pk:bytes -> bytes option