Searched defs:scalar (Results 1 – 2 of 2) sorted by relevance
558 static void Hacl_EC_Format_scalar_of_point(uint8_t *scalar, uint64_t *point) in Hacl_EC_Format_scalar_of_point()602 uint64_t scalar; in Hacl_EC_AddAndDouble_fmonty() local740 uint8_t *scalar; in Hacl_Curve25519_crypto_scalarmult() local
603 static void Hacl_EC_Format_scalar_of_point(uint8_t *scalar, uint64_t *point) in Hacl_EC_Format_scalar_of_point()647 uint64_t scalar; in Hacl_EC_AddAndDouble_fmonty() local785 uint8_t *scalar; in Hacl_Curve25519_crypto_scalarmult() local