field_5x52_int128_impl.h File Reference

#include <stdint.h>
#include "int128.h"
#include "util.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)   VERIFY_CHECK(((x) >> (n)) == 0)
#define	VERIFY_BITS_128(x, n)   VERIFY_CHECK(secp256k1_u128_check_bits((x), (n)))

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 )   VERIFY_CHECK(((x) >> (n)) == 0)

Definition at line 15 of file field_5x52_int128_impl.h.

VERIFY_BITS_128

#define VERIFY_BITS_128	(		x,
			n )   VERIFY_CHECK(secp256k1_u128_check_bits((x), (n)))

Definition at line 16 of file field_5x52_int128_impl.h.

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.

Here is the call graph for this function:

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 154 of file field_5x52_int128_impl.h.

Here is the call graph for this function: