hacl_x25519
Primitives for Elliptic Curve Cryptography taken from Project Everest
IN THIS PACKAGE
-
library hacl_x25519
-
module Hacl_ed25519
-
module Hacl_x25519
-
Libraries
This package provides the following libraries (via ocamlobjinfo):
hacl_x25519
Documentation:
Hacl_x25519Diffie-Hellman key exchange over Curve25519 (also known as X25519).Hacl_ed25519Ed25519, as defined by RFC 8032.