#include "helpers.h"
#include <cstdint>

Include dependency graph for mulmod.h:

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

Functions
static void	mod_m (const uint64_t mul, uint64_t out)
	Compute a value congruent to mul modulo m less than 2 ** 576.

static void	mulmod (const uint64_t in1, uint64_t inout)
	Combine multiply9x9 and mod_m with internal temporary storage.

static void	multiply9x9 (const uint64_t in1, const uint64_t in2, uint64_t *out)
	Multiply two 576 bit numbers, stored as 9 numbers of 64 bits each.

static void	powermod (const uint64_t base, uint64_t res, uint64_t n)
	Compute base to the n modulo m.

Function Documentation

◆ mod_m()

static

Compute a value congruent to mul modulo m less than 2 ** 576.

Parameters

[in]	mul	product from multiply9x9 with 18 numbers of 64 bits each
[out]	out	result with 9 numbers of 64 bits each

\( m = 2^{576} - 2^{240} + 1 \)

The result in out is guaranteed to be smaller than the modulus.

Definition at line 138 of file mulmod.h.

static

Combine multiply9x9 and mod_m with internal temporary storage.

Parameters

[in]	in1	first factor with 9 numbers of 64 bits each
[in,out]	inout	second factor and also the output of the same size

The result in inout is guaranteed to be smaller than the modulus.

Definition at line 215 of file mulmod.h.

static

Multiply two 576 bit numbers, stored as 9 numbers of 64 bits each.

Parameters

[in]	in1	first factor as 9 numbers of 64 bits each
[in]	in2	second factor as 9 numbers of 64 bits each
[out]	out	result with 18 numbers of 64 bits each

Definition at line 24 of file mulmod.h.

static

Compute base to the n modulo m.

Parameters

[in]	base	with 9 numbers of 64 bits each
[out]	res	output with 9 numbers of 64 bits each
[in]	n	exponent

The arguments base and res may point to the same location.

Definition at line 229 of file mulmod.h.