curve25519_32.h File Reference

#include <stdint.h>

Include dependency graph for curve25519_32.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs
typedef signed char	fiat_25519_int1
typedef unsigned char	fiat_25519_uint1

Functions
static void	fiat_25519_add (uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10])
static void	fiat_25519_addcarryx_u25 (uint32_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_25519_addcarryx_u26 (uint32_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_25519_carry (uint32_t out1[10], const uint32_t arg1[10])
static void	fiat_25519_carry_mul (uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10])
static void	fiat_25519_carry_scmul_121666 (uint32_t out1[10], const uint32_t arg1[10])
static void	fiat_25519_carry_square (uint32_t out1[10], const uint32_t arg1[10])
static void	fiat_25519_cmovznz_u32 (uint32_t *out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_25519_from_bytes (uint32_t out1[10], const uint8_t arg1[32])
static void	fiat_25519_opp (uint32_t out1[10], const uint32_t arg1[10])
static void	fiat_25519_selectznz (uint32_t out1[10], fiat_25519_uint1 arg1, const uint32_t arg2[10], const uint32_t arg3[10])
static void	fiat_25519_sub (uint32_t out1[10], const uint32_t arg1[10], const uint32_t arg2[10])
static void	fiat_25519_subborrowx_u25 (uint32_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_25519_subborrowx_u26 (uint32_t *out1, fiat_25519_uint1 *out2, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t arg3)
static void	fiat_25519_to_bytes (uint8_t out1[32], const uint32_t arg1[10])

Typedef Documentation

fiat_25519_int1

typedef signed char fiat_25519_int1

Definition at line 13 of file curve25519_32.h.

fiat_25519_uint1

typedef unsigned char fiat_25519_uint1

Definition at line 12 of file curve25519_32.h.

Function Documentation

fiat_25519_add()

static void fiat_25519_add ( uint32_t  out1[10], const uint32_t  arg1[10], const uint32_t  arg2[10]  )

static

Definition at line 503 of file curve25519_32.h.

fiat_25519_addcarryx_u25()

static void fiat_25519_addcarryx_u25 ( uint32_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 78 of file curve25519_32.h.

fiat_25519_addcarryx_u26()

static void fiat_25519_addcarryx_u26 ( uint32_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 34 of file curve25519_32.h.

fiat_25519_carry()

static void fiat_25519_carry ( uint32_t  out1[10], const uint32_t  arg1[10]  )

static

Definition at line 457 of file curve25519_32.h.

fiat_25519_carry_mul()

static void fiat_25519_carry_mul ( uint32_t  out1[10], const uint32_t  arg1[10], const uint32_t  arg2[10]  )

static

Definition at line 144 of file curve25519_32.h.

fiat_25519_carry_scmul_121666()

static void fiat_25519_carry_scmul_121666 ( uint32_t  out1[10], const uint32_t  arg1[10]  )

static

Definition at line 922 of file curve25519_32.h.

fiat_25519_carry_square()

static void fiat_25519_carry_square ( uint32_t  out1[10], const uint32_t  arg1[10]  )

static

Definition at line 314 of file curve25519_32.h.

fiat_25519_cmovznz_u32()

static void fiat_25519_cmovznz_u32 ( uint32_t *  out1, fiat_25519_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 120 of file curve25519_32.h.

fiat_25519_from_bytes()

static void fiat_25519_from_bytes ( uint32_t  out1[10], const uint8_t  arg1[32]  )

static

Definition at line 832 of file curve25519_32.h.

fiat_25519_opp()

static void fiat_25519_opp ( uint32_t  out1[10], const uint32_t  arg1[10]  )

static

Definition at line 570 of file curve25519_32.h.

fiat_25519_selectznz()

static void fiat_25519_selectznz ( uint32_t  out1[10], fiat_25519_uint1  arg1, const uint32_t  arg2[10], const uint32_t  arg3[10]  )

static

Definition at line 605 of file curve25519_32.h.

fiat_25519_sub()

static void fiat_25519_sub ( uint32_t  out1[10], const uint32_t  arg1[10], const uint32_t  arg2[10]  )

static

Definition at line 537 of file curve25519_32.h.

fiat_25519_subborrowx_u25()

static void fiat_25519_subborrowx_u25 ( uint32_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 100 of file curve25519_32.h.

fiat_25519_subborrowx_u26()

static void fiat_25519_subborrowx_u26 ( uint32_t *  out1, fiat_25519_uint1 *  out2, fiat_25519_uint1  arg1, uint32_t  arg2, uint32_t  arg3  )

static

Definition at line 56 of file curve25519_32.h.

fiat_25519_to_bytes()

static void fiat_25519_to_bytes ( uint8_t  out1[32], const uint32_t  arg1[10]  )

static

Definition at line 648 of file curve25519_32.h.