Struct hacspec_lib::prelude::U64

pub struct U64(pub u64);

Tuple Fields

0: u64

Implementations

impl U64

pub fn classify<T>(x: T) -> U64 where
    T: Into<u64>, 

pub fn declassify(self) -> u64

Warning: use with caution, breaks the constant-time guarantee.

pub fn zero() -> U64

pub fn one() -> U64

pub fn ones() -> U64

pub fn from_le_bytes(bytes: &[U8]) -> Vec<U64, Global>

pub fn to_le_bytes(ints: &[U64]) -> Vec<U8, Global>

pub fn from_be_bytes(bytes: &[U8]) -> Vec<U64, Global>

pub fn to_be_bytes(ints: &[U64]) -> Vec<U8, Global>

pub fn max_value() -> U64

impl U64

pub fn checked_add(self, rhs: U64) -> U64

Warning: panics when overflow.

impl U64

pub fn checked_sub(self, rhs: U64) -> U64

Warning: panics when overflow.

impl U64

pub fn checked_mul(self, rhs: U64) -> U64

Warning: panics when overflow.

impl U64

pub fn rotate_left(self, rotval: usize) -> U64

pub fn rotate_right(self, rotval: usize) -> U64

impl U64

Constant-time comparison operators

pub fn comp_eq(self, rhs: U64) -> U64

Produces a new integer which is all ones if the two arguments are equal and all zeroes otherwise. With inspiration from Wireguard.

pub fn comp_ne(self, rhs: U64) -> U64

Produces a new integer which is all ones if the first argument is different from the second argument, and all zeroes otherwise.

pub fn comp_gte(self, rhs: U64) -> U64

Produces a new integer which is all ones if the first argument is greater than or equal to the second argument, and all zeroes otherwise. With inspiration from WireGuard.

pub fn comp_gt(self, rhs: U64) -> U64

Produces a new integer which is all ones if the first argument is strictly greater than the second argument, and all zeroes otherwise.

pub fn comp_lte(self, rhs: U64) -> U64

Produces a new integer which is all ones if the first argument is less than or equal to the second argument, and all zeroes otherwise.

pub fn comp_lt(self, rhs: U64) -> U64

Produces a new integer which is all ones if the first argument is strictly less than the second argument, and all zeroes otherwise.

Trait Implementations

impl Add<U64> for U64

Warning: has wrapping semantics.

type Output = U64

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<U64> for U64

Warning: has wrapping semantics.

fn add_assign(&mut self, rhs: U64)

Performs the += operation.

impl BitAnd<U64> for U64

type Output = U64

The resulting type after applying the & operator.

fn bitand(self, rhs: U64) -> U64

Performs the & operation.

impl BitAndAssign<U64> for U64

fn bitand_assign(&mut self, rhs: U64)

Performs the &= operation.

impl BitOr<U64> for U64

type Output = U64

The resulting type after applying the | operator.

fn bitor(self, rhs: U64) -> U64

Performs the | operation.

impl BitOrAssign<U64> for U64

fn bitor_assign(&mut self, rhs: U64)

Performs the |= operation.

impl BitXor<U64> for U64

type Output = U64

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: U64) -> U64

Performs the ^ operation.

impl BitXorAssign<U64> for U64

fn bitxor_assign(&mut self, rhs: U64)

Performs the ^= operation.

impl Clone for U64

fn clone(&self) -> U64

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for U64

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

Formats the value using the given formatter.

impl Default for U64

fn default() -> U64

Returns the “default value” for a type.

impl Display for U64

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

Formats the value using the given formatter.

impl From<I64> for U64

fn from(x: I64) -> U64

Converts to this type from the input type.

impl From<U128> for U64

Warning: wrapping semantics.

fn from(x: U128) -> U64

Converts to this type from the input type.

impl From<U16> for U64

fn from(x: U16) -> U64

Converts to this type from the input type.

impl From<U32> for U64

fn from(x: U32) -> U64

Converts to this type from the input type.

impl From<U64> for U16

Warning: wrapping semantics.

fn from(x: U64) -> U16

Converts to this type from the input type.

impl From<U64> for I64

Warning: wrapping semantics.

fn from(x: U64) -> I64

Converts to this type from the input type.

impl From<U64> for U8

Warning: wrapping semantics.

fn from(x: U64) -> U8

Converts to this type from the input type.

impl From<U64> for U128

fn from(x: U64) -> U128

Converts to this type from the input type.

impl From<U64> for U32

Warning: wrapping semantics.

fn from(x: U64) -> U32

Converts to this type from the input type.

impl From<U8> for U64

fn from(x: U8) -> U64

Converts to this type from the input type.

impl From<u16> for U64

fn from(x: u16) -> U64

Converts to this type from the input type.

impl From<u32> for U64

fn from(x: u32) -> U64

Converts to this type from the input type.

impl From<u64> for U64

fn from(x: u64) -> U64

Converts to this type from the input type.

impl From<u8> for U64

fn from(x: u8) -> U64

Converts to this type from the input type.

impl From<usize> for U64

fn from(x: usize) -> U64

Converts to this type from the input type.

impl Integer for U64

fn ZERO() -> 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.

fn ONE() -> 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.

fn TWO() -> 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.

fn from_literal(val: u128) -> 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.

fn from_hex_string(s: &String) -> Self

This function can be called from hacspec programs but its body features Rust constructs that are not part of hacspec

fn get_bit(self, i: usize) -> 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. Get bit i of this integer.

fn set_bit(self, b: Self, i: usize) -> 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. Set bit i of this integer to b and return the result. Bit b has to be 0 or 1.

fn set(self, pos: usize, y: Self, yi: usize) -> 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. Set bit pos of this integer to bit yi of integer y.

fn rotate_left(self, n: usize) -> 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.

fn rotate_right(self, n: usize) -> 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.

const NUM_BITS: usize = 64usize

impl LowerHex for U64

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

Formats the value using the given formatter.

impl ModNumeric for U64

fn sub_mod(self, rhs: Self, n: Self) -> 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. (self - rhs) % n.

fn add_mod(self, rhs: Self, n: Self) -> 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. (self + rhs) % n

fn mul_mod(self, rhs: Self, n: Self) -> 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. (self * rhs) % n

fn pow_mod(self, _exp: Self, _n: Self) -> 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. (self ^ exp) % n TODO: implement

fn modulo(self, n: Self) -> 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. self % n

fn signed_modulo(self, n: Self) -> 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. self % n that always returns a positive integer

fn absolute(self) -> 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. |self|

impl Mul<U64> for U64

Warning: has wrapping semantics.

type Output = U64

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<U64> for U64

Warning: has wrapping semantics.

fn mul_assign(&mut self, rhs: U64)

Performs the *= operation.

impl Neg for U64

type Output = U64

The resulting type after applying the - operator.

fn neg(self) -> U64

Performs the unary - operation.

impl Not for U64

type Output = U64

The resulting type after applying the ! operator.

fn not(self) -> U64

Performs the unary ! operation.

impl Numeric for U64

fn max_val() -> 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. Return largest value that can be represented.

fn wrap_add(self, rhs: Self) -> 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.

fn wrap_sub(self, rhs: Self) -> 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.

fn wrap_mul(self, rhs: Self) -> 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.

fn wrap_div(self, _rhs: Self) -> 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.

fn exp(self, exp: u32) -> 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. self ^ exp where exp is a u32. Note: the exponent exp MUST NOT be secret.

fn pow_self(self, _exp: Self) -> 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. self ^ exp where exp is a Self. Here both, base and exponent, are secret. TODO: implement

fn divide(self, rhs: Self) -> 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. Division.

fn inv(self, n: Self) -> 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. Invert self modulo n. FIXME: make ct

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

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. Declassifies

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

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. Declassifies

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

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. Declassifies

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

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. Declassifies

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

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. Declassifies

fn not_equal_bm(self, other: Self) -> 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.

fn equal_bm(self, other: Self) -> 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.

fn greater_than_bm(self, other: Self) -> 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.

fn greater_than_or_equal_bm(self, other: Self) -> 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.

fn less_than_bm(self, other: Self) -> 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.

fn less_than_or_equal_bm(self, other: Self) -> 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 SecretInteger for U64

fn classify(x: Self::PublicVersion) -> 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.

type PublicVersion = u64

impl SecretIntegerCopy for U64

type PublicVersionCopy = u64

fn classify(x: Self::PublicVersionCopy) -> Self

impl Shl<usize> for U64

type Output = U64

The resulting type after applying the << operator.

fn shl(self, rhs: usize) -> U64

Performs the << operation.

impl ShlAssign<usize> for U64

fn shl_assign(&mut self, rhs: usize)

Performs the <<= operation.

impl Shr<usize> for U64

type Output = U64

The resulting type after applying the >> operator.

fn shr(self, rhs: usize) -> U64

Performs the >> operation.

impl ShrAssign<usize> for U64

fn shr_assign(&mut self, rhs: usize)

Performs the >>= operation.

impl Sub<U64> for U64

Warning: has wrapping semantics.

type Output = U64

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<U64> for U64

Warning: has wrapping semantics.

fn sub_assign(&mut self, rhs: U64)

Performs the -= operation.

impl UnsignedSecretInteger for U64

fn to_le_bytes(self) -> Seq<U8>

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.

fn to_be_bytes(self) -> Seq<U8>

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.

fn from_le_bytes(x: &Seq<U8>) -> 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.

fn from_be_bytes(x: &Seq<U8>) -> 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.

fn get_byte(self, i: usize) -> 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. Get byte i of this integer.

impl Copy for U64

impl NumericCopy for U64

impl UnsignedInteger for U64

impl UnsignedIntegerCopy for U64

impl UnsignedSecretIntegerCopy for U64