uint.h File Reference

Fixed-width unsigned integer helpers implemented in C for Purify. More...

#include <stddef.h>
#include <stdint.h>

Go to the source code of this file.

Macros
#define	PURIFY_DECLARE_UINT_FUNCS(width, words)

Functions
	PURIFY_DECLARE_UINT_FUNCS (256, 4)
	PURIFY_DECLARE_UINT_FUNCS (320, 5)
	PURIFY_DECLARE_UINT_FUNCS (512, 8)
void	purify_u320_widen_u256 (uint64_t out[5], const uint64_t value[4])
void	purify_u512_widen_u256 (uint64_t out[8], const uint64_t value[4])
int	purify_u256_try_narrow_u320 (uint64_t out[4], const uint64_t value[5])
int	purify_u256_try_narrow_u512 (uint64_t out[4], const uint64_t value[8])
int	purify_u512_try_divmod_same (uint64_t quotient[8], uint64_t remainder[8], const uint64_t numerator[8], const uint64_t denominator[8])
int	purify_u512_try_divmod_same_consttime (uint64_t quotient[8], uint64_t remainder[8], const uint64_t numerator[8], const uint64_t denominator[8])
void	purify_u512_multiply_u256 (uint64_t out[8], const uint64_t lhs[4], const uint64_t rhs[4])

Macro Definition Documentation

PURIFY_DECLARE_UINT_FUNCS

#define PURIFY_DECLARE_UINT_FUNCS	(		width,
			words
	)

Value:

    void purify_u##width##_set_zero(uint64_t out[words]); \
    void purify_u##width##_set_u64(uint64_t out[words], uint64_t value); \
    void purify_u##width##_from_bytes_be(uint64_t out[words], const unsigned char* data, size_t size); \
    int purify_u##width##_is_zero(const uint64_t value[words]); \
    int purify_u##width##_compare(const uint64_t lhs[words], const uint64_t rhs[words]); \
    int purify_u##width##_try_add_small(uint64_t value[words], uint32_t addend); \
    int purify_u##width##_try_mul_small(uint64_t value[words], uint32_t factor); \
    int purify_u##width##_try_add(uint64_t value[words], const uint64_t addend[words]); \
    int purify_u##width##_try_sub(uint64_t value[words], const uint64_t subtrahend[words]); \
    size_t purify_u##width##_bit_length(const uint64_t value[words]); \
    int purify_u##width##_bit(const uint64_t value[words], size_t index); \
    int purify_u##width##_try_set_bit(uint64_t value[words], size_t index); \
    void purify_u##width##_shifted_left(uint64_t out[words], const uint64_t value[words], size_t shift_bits); \
    void purify_u##width##_shifted_right(uint64_t out[words], const uint64_t value[words], size_t shift_bits); \
    void purify_u##width##_shift_right_one(uint64_t value[words]); \
    void purify_u##width##_mask_bits(uint64_t value[words], size_t keep_bits); \
    uint32_t purify_u##width##_divmod_small(uint64_t value[words], uint32_t divisor); \
    void purify_u##width##_to_bytes_be(unsigned char out[words * 8], const uint64_t value[words])

Definition at line 24 of file uint.h.

Function Documentation

PURIFY_DECLARE_UINT_FUNCS() [1/3]

PURIFY_DECLARE_UINT_FUNCS	(	256	,
		4
	)

PURIFY_DECLARE_UINT_FUNCS() [2/3]

PURIFY_DECLARE_UINT_FUNCS	(	320	,
		5
	)

PURIFY_DECLARE_UINT_FUNCS() [3/3]

PURIFY_DECLARE_UINT_FUNCS	(	512	,
		8
	)

purify_u256_try_narrow_u320()

int purify_u256_try_narrow_u320	(	uint64_t	out[4],
		const uint64_t	value[5]
	)

Definition at line 175 of file uint.c.

Referenced by purify_curve_hash_to_curve(), and purify::try_narrow().

purify_u256_try_narrow_u512()

int purify_u256_try_narrow_u512	(	uint64_t	out[4],
		const uint64_t	value[8]
	)

Definition at line 183 of file uint.c.

Referenced by purify_curve_unpack_public(), and purify::try_narrow().

purify_u320_widen_u256()

void purify_u320_widen_u256	(	uint64_t	out[5],
		const uint64_t	value[4]
	)

Definition at line 165 of file uint.c.

Referenced by purify_curve_two_p(), and purify::widen().

purify_u512_multiply_u256()

void purify_u512_multiply_u256	(	uint64_t	out[8],
		const uint64_t	lhs[4],
		const uint64_t	rhs[4]
	)

Definition at line 263 of file uint.c.

References purify_uint_add_u64_carry(), and purify_uint_mul_u64().

Referenced by purify::multiply(), purify_curve_pack_public(), purify_curve_packed_public_key_space_size(), and purify_curve_packed_secret_key_space_size().

purify_u512_try_divmod_same()

int purify_u512_try_divmod_same	(	uint64_t	quotient[8],
		uint64_t	remainder[8],
		const uint64_t	numerator[8],
		const uint64_t	denominator[8]
	)

Definition at line 194 of file uint.c.

Referenced by purify_curve_unpack_public(), and purify::try_divmod_same().

purify_u512_try_divmod_same_consttime()

int purify_u512_try_divmod_same_consttime	(	uint64_t	quotient[8],
		uint64_t	remainder[8],
		const uint64_t	numerator[8],
		const uint64_t	denominator[8]
	)

Definition at line 235 of file uint.c.

References purify_u512_cmov_words(), purify_u512_is_nonzero_ct(), purify_u512_shift_left_one_or_bit(), purify_u512_sub_with_borrow_ct(), and purify_uint_mask_u64().

Referenced by purify_curve_unpack_secret_from_valid().

purify_u512_widen_u256()

void purify_u512_widen_u256	(	uint64_t	out[8],
		const uint64_t	value[4]
	)

Definition at line 170 of file uint.c.

Referenced by purify_curve_pack_public(), purify_curve_unpack_public(), purify_curve_unpack_secret_from_valid(), and purify::widen().