Struct hacspec_poly1305::Poly1305Tag

pub struct Poly1305Tag(pub [U8; 16]);

Fixed length byte array.

Tuple Fields

0: [U8; 16]

Implementations

impl Poly1305Tag

pub fn new() -> Self

pub fn length() -> usize

pub fn from_array(v: [U8; 16]) -> Self

pub fn from_native_slice(v: &[U8]) -> Self

impl Poly1305Tag

pub fn from_slice<A: SeqTrait<U8>>(input: &A, start: usize, len: usize) -> Self

pub fn concat<A: SeqTrait<U8>>(&self, next: &A) -> Seq<U8>

pub fn from_slice_range<A: SeqTrait<U8>>(input: &A, r: Range<usize>) -> Self

pub fn slice(&self, start_out: usize, len: usize) -> Seq<U8>

pub fn slice_range(&self, r: Range<usize>) -> Seq<U8>

pub fn num_chunks(&self, chunk_size: usize) -> usize

pub fn get_chunk_len(&self, chunk_size: usize, chunk_number: usize) -> usize

pub fn get_chunk(
    &self,
    chunk_size: usize,
    chunk_number: usize
) -> (usize, Seq<U8>)

pub fn set_chunk<A: SeqTrait<U8>>(
    self,
    chunk_size: usize,
    chunk_number: usize,
    input: &A
) -> Self

impl Poly1305Tag

pub fn from_vec(x: Vec<U8>) -> Poly1305Tag

pub fn from_seq<T: SeqTrait<U8>>(x: &T) -> Poly1305Tag

impl Poly1305Tag

pub fn from_hex(s: &str) -> Poly1305Tag

Read hex string to Bytes.

impl Poly1305Tag

Warning: declassifies secret integer types.

pub fn declassify_eq(&self, other: &Self) -> bool

impl Poly1305Tag

pub fn to_be_bytes(&self) -> Seq<U8>

pub fn to_le_bytes(&self) -> Seq<U8>

impl Poly1305Tag

pub fn from_public_slice(v: &[u8]) -> Poly1305Tag

pub fn to_public_array(&self) -> [u8; 16]

pub fn from_public_array(v: [u8; 16]) -> Poly1305Tag

Create an array from a regular Rust array.

Examples

use hacspec_lib::prelude::*;

bytes!(Block, 5);
let b = Block::from_public_array([1, 2, 3, 4, 5]);

impl Poly1305Tag

pub fn to_be_U32s(&self) -> Seq<U32>

pub fn to_le_U32s(&self) -> Seq<U32>

pub fn to_be_U64s(&self) -> Seq<U64>

pub fn to_le_U64s(&self) -> Seq<U64>

pub fn to_U128s_be(&self) -> Seq<U128>

pub fn to_U128s_le(&self) -> Seq<U128>

pub fn to_hex(&self) -> String

Trait Implementations

impl Add<Poly1305Tag> for Poly1305Tag

Warning: wraps on overflow.

type Output = Poly1305Tag

The resulting type after applying the + operator.

fn add(self, rhs: Poly1305Tag) -> Poly1305Tag

Performs the + operation.

impl BitAnd<Poly1305Tag> for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the & operator.

fn bitand(self, _rhs: Self) -> Self::Output

Performs the & operation.

impl BitOr<Poly1305Tag> for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the | operator.

fn bitor(self, _rhs: Self) -> Self::Output

Performs the | operation.

impl BitXor<Poly1305Tag> for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl Clone for Poly1305Tag

fn clone(&self) -> Poly1305Tag

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Poly1305Tag

Warning: declassifies secret integer types.

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

Formats the value using the given formatter.

impl Default for Poly1305Tag

fn default() -> Self

Returns the “default value” for a type.

impl Index<RangeFull> for Poly1305Tag

type Output = [U8]

The returned type after indexing.

fn index(&self, r: RangeFull) -> &[U8]

Performs the indexing (container[index]) operation.

impl Index<i32> for Poly1305Tag

type Output = U8

The returned type after indexing.

fn index(&self, i: i32) -> &U8

Performs the indexing (container[index]) operation.

impl Index<u32> for Poly1305Tag

type Output = U8

The returned type after indexing.

fn index(&self, i: u32) -> &U8

Performs the indexing (container[index]) operation.

impl Index<u8> for Poly1305Tag

type Output = U8

The returned type after indexing.

fn index(&self, i: u8) -> &U8

Performs the indexing (container[index]) operation.

impl Index<usize> for Poly1305Tag

type Output = U8

The returned type after indexing.

fn index(&self, i: usize) -> &U8

Performs the indexing (container[index]) operation.

impl IndexMut<i32> for Poly1305Tag

fn index_mut(&mut self, i: i32) -> &mut U8

Performs the mutable indexing (container[index]) operation.

impl IndexMut<u32> for Poly1305Tag

fn index_mut(&mut self, i: u32) -> &mut U8

Performs the mutable indexing (container[index]) operation.

impl IndexMut<u8> for Poly1305Tag

fn index_mut(&mut self, i: u8) -> &mut U8

Performs the mutable indexing (container[index]) operation.

impl IndexMut<usize> for Poly1305Tag

fn index_mut(&mut self, i: usize) -> &mut U8

Performs the mutable indexing (container[index]) operation.

impl ModNumeric for Poly1305Tag

fn sub_mod(self, _rhs: Self, _n: Self) -> Self

(self - rhs) % n.

fn add_mod(self, _rhs: Self, _n: Self) -> Self

(self + rhs) % n

fn mul_mod(self, _rhs: Self, _n: Self) -> Self

(self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> Self

(self ^ exp) % n

fn modulo(self, _n: Self) -> Self

self % n

fn absolute(self) -> Self

|self| (coefficient-wise)

fn signed_modulo(self, _n: Self) -> Self

self % n that always returns a positive integer

impl Mul<Poly1305Tag> for Poly1305Tag

Warning: wraps on overflow.

type Output = Poly1305Tag

The resulting type after applying the * operator.

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

Performs the * operation.

impl Not for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Numeric for Poly1305Tag

fn max_val() -> Self

Return largest value that can be represented.

fn exp(self, _exp: u32) -> Self

self ^ exp where exp is a u32.

fn pow_self(self, _exp: Self) -> Self

self ^ exp where exp is a Self.

fn divide(self, _rhs: Self) -> Self

Division.

fn inv(self, _n: Self) -> Self

Invert self modulo n.

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

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

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

fn wrap_div(self, _rhs: Self) -> Self

fn equal(self, other: Self) -> bool

fn greater_than(self, _other: Self) -> bool

fn greater_than_or_equal(self, _other: Self) -> bool

fn less_than(self, _other: Self) -> bool

fn less_than_or_equal(self, _other: Self) -> bool

fn not_equal_bm(self, _other: Self) -> Self

fn equal_bm(self, _other: Self) -> Self

fn greater_than_bm(self, _other: Self) -> Self

fn greater_than_or_equal_bm(self, _other: Self) -> Self

fn less_than_bm(self, _other: Self) -> Self

fn less_than_or_equal_bm(self, _other: Self) -> Self

impl Rem<Poly1305Tag> for Poly1305Tag

Warning: panics on division by 0.

type Output = Poly1305Tag

The resulting type after applying the % operator.

fn rem(self, _rhs: Poly1305Tag) -> Poly1305Tag

Performs the % operation.

impl SeqTrait<U8> for Poly1305Tag

fn create(x: usize) -> Self

fn len(&self) -> usize

fn iter(&self) -> Iter<'_, U8>

fn update_slice<A: SeqTrait<U8>>(
    self,
    start_out: usize,
    v: &A,
    start_in: usize,
    len: usize
) -> Self

Update this sequence with l elements of v, starting at start_in, at start_out.

fn update<A: SeqTrait<U8>>(self, start: usize, v: &A) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec. Update this sequence with v starting at start.

fn update_start<A: SeqTrait<U8>>(self, v: &A) -> Self

This function is within the hacspec subset of Rust: its signature and body use only hacspec constructs and call functions whose signatures are in hacspec.

impl Shl<usize> for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the << operator.

fn shl(self, _rhs: usize) -> Self::Output

Performs the << operation.

impl Shr<usize> for Poly1305Tag

type Output = Poly1305Tag

The resulting type after applying the >> operator.

fn shr(self, _rhs: usize) -> Self::Output

Performs the >> operation.

impl Sub<Poly1305Tag> for Poly1305Tag

Warning: wraps on underflow.

type Output = Poly1305Tag

The resulting type after applying the - operator.

fn sub(self, rhs: Poly1305Tag) -> Poly1305Tag

Performs the - operation.

impl Copy for Poly1305Tag

impl NumericCopy for Poly1305Tag