Diffie Hellman¶ Bindings for the Diffie-Hellman (Key Exchange) algorithms of HACL*. Elliptic-Curve¶ curve25519