Diffie-Hellman

Contents:

• Elliptic-Curve
  • Curve25519
    • Available Implementations
    • API Reference
      • Hacl_Curve25519_51_scalarmult()
      • Hacl_Curve25519_64_scalarmult()
      • Hacl_Curve25519_51_secret_to_public()
      • Hacl_Curve25519_64_secret_to_public()
      • Hacl_Curve25519_51_ecdh()
      • Hacl_Curve25519_64_ecdh()
  • P-256
    • API Reference
      • Hacl_P256_dh_initiator()
      • Hacl_P256_dh_responder()
  • K-256
    • Field arithmetic modulo p = 2^256 - 0x1000003D1.
      • API Reference
        • Hacl_EC_K256_mk_felem_zero()
        • Hacl_EC_K256_mk_felem_one()
        • Hacl_EC_K256_felem_add()
        • Hacl_EC_K256_felem_sub()
        • Hacl_EC_K256_felem_mul()
        • Hacl_EC_K256_felem_sqr()
        • Hacl_EC_K256_felem_inv()
        • Hacl_EC_K256_felem_load()
        • Hacl_EC_K256_felem_store()
    • Group operations for the secp256k1 curve of the form y^2 = x^3 + 7.
      • API Reference
        • Hacl_EC_K256_mk_point_at_inf()
        • Hacl_EC_K256_mk_base_point()
        • Hacl_EC_K256_point_negate()
        • Hacl_EC_K256_point_add()
        • Hacl_EC_K256_point_double()
        • Hacl_EC_K256_point_mul()
• Finite Field
  • API Reference
    • Hacl_FFDHE_ffdhe_len()
    • Hacl_FFDHE_ffdhe_secret_to_public()
    • Hacl_FFDHE_ffdhe_shared_secret()
    • With Precomputation
      • Hacl_FFDHE_new_ffdhe_precomp_p()
      • Hacl_FFDHE_ffdhe_secret_to_public_precomp()
      • Hacl_FFDHE_ffdhe_shared_secret_precomp()