Elliptic-Curve

Contents:

• Curve25519
  • 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()