Struct polyval::Polyval

pub struct Polyval { /* private fields */ }

POLYVAL: GHASH-like universal hash over GF(2^128).

Implementations

impl Polyval

pub fn new_with_init_block(h: &Key, init_block: u128) -> Self

Initialize POLYVAL with the given H field element and initial block

Trait Implementations

impl BlockSizeUser for Polyval

type BlockSize = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

Size of the block in bytes.

fn block_size() -> usize

Return block size in bytes.

impl Clone for Polyval

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Polyval

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

Formats the value using the given formatter.

impl KeyInit for Polyval

fn new(h: &Key) -> Self

Initialize POLYVAL with the given H field element

fn new_from_slice(key: &[u8]) -> Result<Self, InvalidLength>

Create new value from variable size key.

impl KeySizeUser for Polyval

type KeySize = UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>

Key size in bytes.

fn key_size() -> usize

Return key size in bytes.

impl Reset for Polyval

fn reset(&mut self)

Reset state to its initial value.

impl UniversalHash for Polyval

fn finalize(self) -> Tag

Get POLYVAL result (i.e. computed S field element)

fn update_with_backend( &mut self, f: impl UhfClosure<BlockSize = Self::BlockSize> )

Update hash function state using the provided rank-2 closure.

fn update(&mut self, blocks: &[GenericArray<u8, Self::BlockSize>])

Update hash function state with the provided block.

fn update_padded(&mut self, data: &[u8])

Input data into the universal hash function. If the length of the data is not a multiple of the block size, the remaining data is padded with zeroes up to the BlockSize.

fn finalize_reset(&mut self) -> GenericArray<u8, Self::BlockSize>

where Self: Clone + Reset,

Obtain the [Output] of a UniversalHash computation and reset it back to its initial state.

fn verify( self, expected: &GenericArray<u8, Self::BlockSize> ) -> Result<(), Error>

Verify the UniversalHash of the processed input matches a given expected value.