Module Psa.Ecc_family

Elliptic curve keys.

Elliptic curve families

type t

The type for psa_ecc_family_t.

val secp_k1 : t

PSA_ECC_FAMILY_SECP_K1

val secp_r1 : t

PSA_ECC_FAMILY_SECP_R1

val secp_r2 : t

PSA_ECC_FAMILY_SECP_R2 WARNING weak and deprecated.

val sect_k1 : t

PSA_ECC_FAMILY_SECT_K1 WARNING sect163k1 is weak and deprecated.

val sect_r1 : t

PSA_ECC_FAMILY_SECT_R1 WARNING sect163r1 is weak and deprecated.

val sect_r2 : t

PSA_ECC_FAMILY_SECT_R2 WARNING sect163r2 is weak and deprecated.

val brainpool_p_r1 : t

PSA_ECC_FAMILY_BRAINPOOL_P_R1 WARNING brainpoolP160r1 is weak and deprecated.

val frp : t

PSA_ECC_FAMILY_FRP

val montgomery : t

PSA_ECC_FAMILY_MONTGOMERY

val twisted_edwards : t

PSA_ECC_FAMILY_TWISTED_EDWARDS

Predicates and comparisons

val equal : t -> t -> bool

equal f0 f1 is true iff f0 and f1 are equal.

val compare : t -> t -> int

compare is a total order compatible with equal.

Converting

val to_uint8 : t -> uint8

to_uint8 f is f as an unsigned 8-bit integer.

val of_uint8 : uint8 -> t

of_uint8 i is an elliptic curve family identifier from i.

Formatting

val pp : Stdlib.Format.formatter -> t -> unit

pp formats an elliptic curve family identifier for inspection.