Module f2e16

Source

Structs§

Additive
Additive via XOR form of f2e16
AdditiveFFT
Additive FFT and inverse in the “novel polynomial basis”
Multiplier
Multiplicaiton friendly LOG form of f2e16

Constants§

BASE
FIELD_BITS
FIELD_NAME
FIELD_SIZE
GENERATOR
Quotient ideal generator given by tail of irreducible polynomial
ONEMASK

Statics§

AFFT

Functions§

afft
Additive FFT in the “novel polynomial basis”
encode_high
encode_high_plain
encode_low
encode_low_plain
encode_sub
encode_sub_plain
Bytes shall only contain payload data
eval_error_polynomial
formal_derivative
Formal derivative of polynomial in the new?? basis
inverse_afft
Inverse additive FFT in the “novel polynomial basis”
reconstruct_sub
tweaked_formal_derivative
Formal derivative of polynomial in tweaked?? basis
walsh
Fast Walsh–Hadamard transform over modulo ONEMASK
walsh_plain

Type Aliases§

Elt
Wide