field_5x52_int128_impl.h File Reference

#include <stdint.h>

Include dependency graph for field_5x52_int128_impl.h:

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

Go to the source code of this file.

Macros
#define	VERIFY_BITS(x, n)   do { } while(0)

Functions
static SECP256K1_INLINE void	secp256k1_fe_mul_inner (uint64_t *r, const uint64_t *a, const uint64_t *SECP256K1_RESTRICT b)
static SECP256K1_INLINE void	secp256k1_fe_sqr_inner (uint64_t *r, const uint64_t *a)

Macro Definition Documentation

VERIFY_BITS

#define VERIFY_BITS	(		x,
			n
	)		do { } while(0)

Definition at line 15 of file field_5x52_int128_impl.h.

Referenced by secp256k1_fe_mul_inner(), and secp256k1_fe_sqr_inner().

Function Documentation

secp256k1_fe_mul_inner()

static SECP256K1_INLINE void secp256k1_fe_mul_inner ( uint64_t *  r, const uint64_t *  a, const uint64_t *SECP256K1_RESTRICT  b  )

static

Definition at line 18 of file field_5x52_int128_impl.h.

References M, VERIFY_BITS, and VERIFY_CHECK.

secp256k1_fe_sqr_inner()

static SECP256K1_INLINE void secp256k1_fe_sqr_inner ( uint64_t *  r, const uint64_t *  a  )

static

[... a b c] is a shorthand for ... + a<<104 + b<<52 + c<<0 mod n. px is a shorthand for sum(a[i]*a[x-i], i=0..x). Note that [x 0 0 0 0 0] = [x*R].

Definition at line 157 of file field_5x52_int128_impl.h.

References M, and VERIFY_BITS.