curve25519_64.h File Reference

#include <stdint.h>

Include dependency graph for curve25519_64.h:

Go to the source code of this file.

Typedefs
typedef signed char	fiat_25519_int1
typedef signed __int128	fiat_25519_int128
typedef unsigned char	fiat_25519_uint1
typedef unsigned __int128	fiat_25519_uint128

Functions
static void	fiat_25519_add (uint64_t out1[5], const uint64_t arg1[5], const uint64_t arg2[5])
static void	fiat_25519_addcarryx_u51 (uint64_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_25519_carry (uint64_t out1[5], const uint64_t arg1[5])
static void	fiat_25519_carry_mul (uint64_t out1[5], const uint64_t arg1[5], const uint64_t arg2[5])
static void	fiat_25519_carry_scmul_121666 (uint64_t out1[5], const uint64_t arg1[5])
static void	fiat_25519_carry_square (uint64_t out1[5], const uint64_t arg1[5])
static void	fiat_25519_cmovznz_u64 (uint64_t *out1, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_25519_from_bytes (uint64_t out1[5], const uint8_t arg1[32])
static void	fiat_25519_opp (uint64_t out1[5], const uint64_t arg1[5])
static void	fiat_25519_selectznz (uint64_t out1[5], fiat_25519_uint1 arg1, const uint64_t arg2[5], const uint64_t arg3[5])
static void	fiat_25519_sub (uint64_t out1[5], const uint64_t arg1[5], const uint64_t arg2[5])
static void	fiat_25519_subborrowx_u51 (uint64_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t arg3)
static void	fiat_25519_to_bytes (uint8_t out1[32], const uint64_t arg1[5])

Typedef Documentation

fiat_25519_int1

typedef signed char fiat_25519_int1

Definition at line 13 of file curve25519_64.h.

fiat_25519_int128

typedef signed __int128 fiat_25519_int128

Definition at line 14 of file curve25519_64.h.

fiat_25519_uint1

typedef unsigned char fiat_25519_uint1

Definition at line 12 of file curve25519_64.h.

fiat_25519_uint128

typedef unsigned __int128 fiat_25519_uint128

Definition at line 15 of file curve25519_64.h.

Function Documentation

fiat_25519_add()

static void fiat_25519_add ( uint64_t  out1[5], const uint64_t  arg1[5], const uint64_t  arg2[5]  )

static

Definition at line 271 of file curve25519_64.h.

fiat_25519_addcarryx_u51()

static void fiat_25519_addcarryx_u51 ( uint64_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 36 of file curve25519_64.h.

fiat_25519_carry()

static void fiat_25519_carry ( uint64_t  out1[5], const uint64_t  arg1[5]  )

static

Definition at line 240 of file curve25519_64.h.

fiat_25519_carry_mul()

static void fiat_25519_carry_mul ( uint64_t  out1[5], const uint64_t  arg1[5], const uint64_t  arg2[5]  )

static

Definition at line 102 of file curve25519_64.h.

fiat_25519_carry_scmul_121666()

static void fiat_25519_carry_scmul_121666 ( uint64_t  out1[5], const uint64_t  arg1[5]  )

static

Definition at line 585 of file curve25519_64.h.

fiat_25519_carry_square()

static void fiat_25519_carry_square ( uint64_t  out1[5], const uint64_t  arg1[5]  )

static

Definition at line 172 of file curve25519_64.h.

fiat_25519_cmovznz_u64()

static void fiat_25519_cmovznz_u64 ( uint64_t *  out1, fiat_25519_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 78 of file curve25519_64.h.

fiat_25519_from_bytes()

static void fiat_25519_from_bytes ( uint64_t  out1[5], const uint8_t  arg1[32]  )

static

Definition at line 518 of file curve25519_64.h.

fiat_25519_opp()

static void fiat_25519_opp ( uint64_t  out1[5], const uint64_t  arg1[5]  )

static

Definition at line 318 of file curve25519_64.h.

fiat_25519_selectznz()

static void fiat_25519_selectznz ( uint64_t  out1[5], fiat_25519_uint1  arg1, const uint64_t  arg2[5], const uint64_t  arg3[5]  )

static

Definition at line 343 of file curve25519_64.h.

fiat_25519_sub()

static void fiat_25519_sub ( uint64_t  out1[5], const uint64_t  arg1[5], const uint64_t  arg2[5]  )

static

Definition at line 295 of file curve25519_64.h.

fiat_25519_subborrowx_u51()

static void fiat_25519_subborrowx_u51 ( uint64_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint64_t  arg2, uint64_t  arg3  )

static

Definition at line 58 of file curve25519_64.h.

fiat_25519_to_bytes()

static void fiat_25519_to_bytes ( uint8_t  out1[32], const uint64_t  arg1[5]  )

static

Definition at line 371 of file curve25519_64.h.