Struct Keccak

pub struct Keccak<const TYPE: u8, const VARIANT: usize>;

The sponge construction Sponge[f, pad, r] is a function that takes a variable-length input and produces a fixed-length output (the hash value).

The permutation f is a function that takes a fixed-length input and produces a fixed-length output, defined as f = Keccak-f[b], where b := 25 * 2^l is the width of the permutation, and l is the log width of the permutation. For our case, l = 6, thus b = 1600.

The padding rule pad is a function that takes a variable-length input and produces a fixed-length output. In Keccak, pad is a multi-rate padding, defined as pad(M) = M || 0x01 || 0x00…0x00 || 0x80, where M is the input data, and 0x01 || 0x00…0x00 || 0x80 is the padding. In SHA-3, pad is a SHAKE, defined as pad(M) = M || 0x06 || 0x00…0x00 || 0x80, where M is the input data, and 0x06 || 0x00…0x00 || 0x80 is the padding.

The bitrate r is the number of bits that are absorbed into the sponge state in each iteration of the absorbing phase.

In addition, the capacity is defined as c := b - r.

Trait Implementations

impl<const TYPE: u8, const VARIANT: usize> Clone for Keccak<TYPE, VARIANT>

fn clone(&self) -> Keccak<TYPE, VARIANT>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<const TYPE: u8, const VARIANT: usize> Debug for Keccak<TYPE, VARIANT>

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

Formats the value using the given formatter.

impl<const TYPE: u8, const VARIANT: usize> Default for Keccak<TYPE, VARIANT>

fn default() -> Keccak<TYPE, VARIANT>

Returns the “default value” for a type.

impl<const TYPE: u8, const VARIANT: usize> Hash for Keccak<TYPE, VARIANT>

fn hash(&self, input: &[Self::Input]) -> Result<Self::Output>

Returns the Keccak hash of the given input as bits.

type Input = bool

type Output = Vec<bool>

impl<const TYPE: u8, const VARIANT: usize> PartialEq for Keccak<TYPE, VARIANT>

fn eq(&self, other: &Keccak<TYPE, VARIANT>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<const TYPE: u8, const VARIANT: usize> Copy for Keccak<TYPE, VARIANT>

impl<const TYPE: u8, const VARIANT: usize> StructuralPartialEq for Keccak<TYPE, VARIANT>