Struct Product 

pub(crate) struct Product([u64; 4]);

Unreduced 256-bit carryless product.

Tuple Fields

0: [u64; 4]

Implementations

impl Product

pub(crate) fn mont_reduce(self) -> FieldElement

Reduce the 256-bit carryless product of Karatsuba modulo the POLYVAL polynomial.

This performs constant-time folding using shifts and XORs corresponding to the irreducible polynomial x^128 + x^127 + x^126 + x^121 + 1.

This is closely related to GHASH reduction but the bit order is reversed in POLYVAL.

Trait Implementations

impl BitXor for Product

type Output = Product

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.