* This file is part of the openHiTLS project.
*
* openHiTLS is licensed under the Mulan PSL v2.
* You can use this software according to the terms and conditions of the Mulan PSL v2.
* You may obtain a copy of Mulan PSL v2 at:
*
* http://license.coscl.org.cn/MulanPSL2
*
* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
* See the Mulan PSL v2 for more details.
*/
#ifndef X25519_ASM_H
#define X25519_ASM_H
#include "hitls_build.h"
#ifdef HITLS_CRYPTO_X25519
#include "curve25519_local.h"
#ifdef __cplusplus
extern "C" {
#endif
* Function description: out = f * g (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp51Mul(Fp51 *out, const Fp51 *f, const Fp51 *g);
* Input register: rdi: out; rsi: f; rdx: g; fp51 is an array of [u64; 5].
* rdi: out, array pointer of output parameter fp51.
* rsi: pointer f of the input source data fp51 array.
* rdx: pointer g of the input source data fp51 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp51Mul(Fp51 *out, const Fp51 *f, const Fp51 *g);
* Function description: out = f ^ 2 (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp51Square(Fp51 *out, const Fp51 *f);
* Input register: rdi: out; rsi: f; fp51 is an array of [u64; 5]
* rdi: out, array pointer of output parameter fp51.
* rsi: pointer f of the input source data fp51 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp51Square(Fp51 *out, const Fp51 *f);
* Function description: out = f * 121666 (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp51MulScalar(Fp51 *out, const Fp51 *f, const uint32_t scalar);
* Input register: rdi: out; rsi: f; fp51 is an array of [u64; 5]
* rdi: out, array pointer of output parameter fp51.
* rsi: pointer f of the input source data fp51 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp51MulScalar(Fp51 *out, const Fp51 *in);
#if defined(HITLS_CRYPTO_X25519_ARMV8_NEON_INTERLEAVE) && !defined(HITLS_BIG_ENDIAN)
void X25519ScalarMultiPointNeonInterleave(uint8_t out[32], const uint8_t scalar[32], const uint8_t point[32]);
#endif
#ifdef HITLS_CRYPTO_X25519_X8664
typedef uint64_t Fp64[4];
* Function description: out = f * g (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp64Mul(Fp64 h, const Fp64 f, const Fp64 g);
* Input register: rdi: out; rsi: f; rdx: g; Fp64 is an array of [u64; 4].
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* rdx: pointer g of the input source data Fp64 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp64Mul(Fp64 out, const Fp64 f, const Fp64 g);
* Function description: out = f ^ 2 (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp64Sqr(Fp64 h, const Fp64 f);
* Input register: rdi: out; rsi: f; Fp64 is an array of [u64; 4]
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp64Sqr(Fp64 out, const Fp64 f);
* Function description: out = f * 121666 (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp64MulScalar(Fp64 h, Fp64 f);
* Input register: rdi: out; rsi: f; Fp64 is an array of [u64; 4]
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* Modify the register as follows: rax, rbx, rcx, rdx, rsp, rbp, rsi, rdi, r8-r15.
* Output register: None
* Function/Macro Call: None
*/
void Fp64MulScalar(Fp64 out, Fp64 f);
* Function description: out = f + g (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp64Add(Fp64 h, const Fp64 f, const Fp64 g);
* Input register: rdi: out; rsi: f; Fp64 is an array of [u64; 4]
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* rdx: pointer g of the input source data Fp64 array.
* Modify the register as follows: rax, rcx, r8-r11.
* Output register: None
* Function/Macro Call: None
*/
void Fp64Add(Fp64 out, const Fp64 f, const Fp64 g);
* Function description: out = f - g (mod p), p = 2 ^ 255 - 19, which is the modulus of curve25519 field.
* Function prototype: void Fp64Sub(Fp64 h, const Fp64 f, const Fp64 g);
* Input register: rdi: out; rsi: f; Fp64 is an array of [u64; 4]
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* rdx: pointer g of the input source data Fp64 array.
* Modify the register as follows: rax, rcx, r8-r11.
* Output register: None
* Function/Macro Call: None
*/
void Fp64Sub(Fp64 out, const Fp64 f, const Fp64 g);
* Function description: data conversion.
* Function prototype: void Fp64PolyToData(uint8_t *out, const Fp64 f);
* Input register: rdi: out; rsi: f; Fp64 is an array of [u64; 4]
* rdi: out, array pointer of output parameter Fp64.
* rsi: pointer f of the input source data Fp64 array.
* Modify the register as follows: rax, rcx, r8-r11.
* Output register: None
* Function/Macro Call: None
*/
void Fp64PolyToData(uint8_t *out, const Fp64 f);
#endif
#ifdef __cplusplus
}
#endif
#endif
#endif
