diff options
Diffstat (limited to '')
-rw-r--r-- | security/nss/lib/freebl/ecl/curve25519_64.c | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/security/nss/lib/freebl/ecl/curve25519_64.c b/security/nss/lib/freebl/ecl/curve25519_64.c new file mode 100644 index 0000000000..e346bdb8b8 --- /dev/null +++ b/security/nss/lib/freebl/ecl/curve25519_64.c @@ -0,0 +1,24 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +#include "ecl-priv.h" + +#if HACL_CAN_COMPILE_INLINE_ASM +#include "../verified/Hacl_Curve25519_64.h" +#else +#include "../verified/Hacl_Curve25519_51.h" +#endif + +SECStatus +ec_Curve25519_mul(uint8_t *mypublic, const uint8_t *secret, const uint8_t *basepoint) +{ +// Note: this cast is safe because HaCl* state has a post-condition that only "mypublic" changed. +#if defined HACL_CAN_COMPILE_INLINE_ASM + Hacl_Curve25519_64_ecdh(mypublic, (uint8_t *)secret, (uint8_t *)basepoint); +#else + Hacl_Curve25519_51_ecdh(mypublic, (uint8_t *)secret, (uint8_t *)basepoint); +#endif + + return 0; +} |