Struct polyval::backend::soft::U64x2

struct U64x2(u64, u64);

2 x u64 values

Tuple Fields

0: u64

1: u64

Trait Implementations

impl Add for U64x2

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

Adds two POLYVAL field elements.

type Output = U64x2

The resulting type after applying the + operator.

impl Clone for U64x2

fn clone(&self) -> U64x2

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for U64x2

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for U64x2

fn default() -> U64x2

Returns the “default value” for a type.

impl From<&GenericArray<u8, <Polyval as BlockSizeUser>::BlockSize>> for U64x2

fn from(bytes: &Block) -> U64x2

Converts to this type from the input type.

impl From<u128> for U64x2

fn from(x: u128) -> Self

Converts to this type from the input type.

impl Mul for U64x2

fn mul(self, rhs: Self) -> Self

Computes carryless POLYVAL multiplication over GF(2^128) in constant time.

Method described at: https://www.bearssl.org/constanttime.html#ghash-for-gcm

POLYVAL multiplication is effectively the little endian equivalent of GHASH multiplication, aside from one small detail described here:

https://crypto.stackexchange.com/questions/66448/how-does-bearssls-gcm-modular-reduction-work/66462#66462

The product of two bit-reversed 128-bit polynomials yields the bit-reversed result over 255 bits, not 256. The BearSSL code ends up with a 256-bit result in zw[], and that value is shifted by one bit, because of that reversed convention issue. Thus, the code must include a shifting step to put it back where it should

This shift is unnecessary for POLYVAL and has been removed.

type Output = U64x2

The resulting type after applying the * operator.

impl PartialEq for U64x2

fn eq(&self, other: &U64x2) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for U64x2

impl Eq for U64x2

impl StructuralPartialEq for U64x2