Module Bigcrypto.Scalarmult

Scalar multiplication.

The primitive is curve25519, NaCl documentation.

type scalar = Bytes.t

The type for scalars.

val scalar_length : int

scalar_length is the byte length of scalars.

type group_element = Bytes.t

The type for group elements.

val group_element_length : int

group_element_length is the byte length of group elements.

mult n p multiplies p by n. Raises Invalid_argument if either n or p has not the right length.

val base : scalar -> group_element

base n multiplies a standard group element by n. Raises Invalid_argument if n has not the right length.