Struct unsafe_hacspec_examples::sha2::RoundConstantsTable

pub struct RoundConstantsTable(pub [U32; 64]);

Fixed length byte array.

Tuple Fields

0: [U32; 64]

Implementations

impl RoundConstantsTable

pub fn new() -> Self

pub fn length() -> usize

pub fn from_array(v: [U32; 64]) -> Self

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

impl RoundConstantsTable

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

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

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

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

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

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<U32>)

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

impl RoundConstantsTable

pub fn from_vec(x: Vec<U32>) -> RoundConstantsTable

pub fn from_seq<T: SeqTrait<U32>>(x: &T) -> RoundConstantsTable

impl RoundConstantsTable

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

Read hex string to Bytes.

impl RoundConstantsTable

Warning: declassifies secret integer types.

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

impl RoundConstantsTable

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

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

impl RoundConstantsTable

pub fn from_public_slice(v: &[u32]) -> RoundConstantsTable

pub fn to_public_array(&self) -> [u32; 64]

pub fn from_public_array(v: [u32; 64]) -> RoundConstantsTable

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]);

Trait Implementations

impl Add<RoundConstantsTable> for RoundConstantsTable

Warning: wraps on overflow.

type Output = RoundConstantsTable

The resulting type after applying the + operator.

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

Performs the + operation.

impl BitAnd<RoundConstantsTable> for RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitOr<RoundConstantsTable> for RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitXor<RoundConstantsTable> for RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl Clone for RoundConstantsTable

fn clone(&self) -> RoundConstantsTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RoundConstantsTable

Warning: declassifies secret integer types.

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

Formats the value using the given formatter.

impl Default for RoundConstantsTable

fn default() -> Self

Returns the “default value” for a type.

impl Index<RangeFull> for RoundConstantsTable

type Output = [U32]

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<i32> for RoundConstantsTable

type Output = U32

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<u32> for RoundConstantsTable

type Output = U32

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<u8> for RoundConstantsTable

type Output = U32

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl Index<usize> for RoundConstantsTable

type Output = U32

The returned type after indexing.

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

Performs the indexing (container[index]) operation.

impl IndexMut<i32> for RoundConstantsTable

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

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

impl IndexMut<u32> for RoundConstantsTable

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

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

impl IndexMut<u8> for RoundConstantsTable

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

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

impl IndexMut<usize> for RoundConstantsTable

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

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

impl ModNumeric for RoundConstantsTable

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<RoundConstantsTable> for RoundConstantsTable

Warning: wraps on overflow.

type Output = RoundConstantsTable

The resulting type after applying the * operator.

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

Performs the * operation.

impl Not for RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Numeric for RoundConstantsTable

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<RoundConstantsTable> for RoundConstantsTable

Warning: panics on division by 0.

type Output = RoundConstantsTable

The resulting type after applying the % operator.

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

Performs the % operation.

impl SeqTrait<U32> for RoundConstantsTable

fn create(x: usize) -> Self

fn len(&self) -> usize

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

fn update_slice<A: SeqTrait<U32>>(
    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<U32>>(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<U32>>(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 RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the << operator.

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

Performs the << operation.

impl Shr<usize> for RoundConstantsTable

type Output = RoundConstantsTable

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl Sub<RoundConstantsTable> for RoundConstantsTable

Warning: wraps on underflow.

type Output = RoundConstantsTable

The resulting type after applying the - operator.

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

Performs the - operation.

impl Copy for RoundConstantsTable

impl NumericCopy for RoundConstantsTable