Struct hacspec_lib::prelude::I128

pub struct I128(pub i128);

Tuple Fields

0: i128

Implementations

impl I128

pub fn classify<T>(x: T) -> I128 where
    T: Into<i128>, 

pub fn declassify(self) -> i128

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

pub fn zero() -> I128

pub fn one() -> I128

pub fn ones() -> I128

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

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

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

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

pub fn max_value() -> I128

impl I128

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

Warning: panics when overflow.

impl I128

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

Warning: panics when overflow.

impl I128

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

Warning: panics when overflow.

impl I128

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

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

impl I128

Constant-time comparison operators

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

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

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: I128) -> I128

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

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

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: I128) -> I128

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: I128) -> I128

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

Warning: has wrapping semantics.

type Output = I128

The resulting type after applying the + operator.

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

Performs the + operation.

impl AddAssign<I128> for I128

Warning: has wrapping semantics.

fn add_assign(&mut self, rhs: I128)

Performs the += operation.

impl BitAnd<I128> for I128

type Output = I128

The resulting type after applying the & operator.

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

Performs the & operation.

impl BitAndAssign<I128> for I128

fn bitand_assign(&mut self, rhs: I128)

Performs the &= operation.

impl BitOr<I128> for I128

type Output = I128

The resulting type after applying the | operator.

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

Performs the | operation.

impl BitOrAssign<I128> for I128

fn bitor_assign(&mut self, rhs: I128)

Performs the |= operation.

impl BitXor<I128> for I128

type Output = I128

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl BitXorAssign<I128> for I128

fn bitxor_assign(&mut self, rhs: I128)

Performs the ^= operation.

impl Clone for I128

fn clone(&self) -> I128

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for I128

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

Formats the value using the given formatter.

impl Default for I128

fn default() -> I128

Returns the “default value” for a type.

impl Display for I128

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

Formats the value using the given formatter.

impl From<I128> for I64

Warning: wrapping semantics.

fn from(x: I128) -> I64

Converts to this type from the input type.

impl From<I128> for U128

fn from(x: I128) -> U128

Converts to this type from the input type.

impl From<I128> for I32

Warning: wrapping semantics.

fn from(x: I128) -> I32

Converts to this type from the input type.

impl From<I128> for I16

Warning: wrapping semantics.

fn from(x: I128) -> I16

Converts to this type from the input type.

impl From<I128> for I8

Warning: wrapping semantics.

fn from(x: I128) -> I8

Converts to this type from the input type.

impl From<I16> for I128

fn from(x: I16) -> I128

Converts to this type from the input type.

impl From<I32> for I128

fn from(x: I32) -> I128

Converts to this type from the input type.

impl From<I64> for I128

fn from(x: I64) -> I128

Converts to this type from the input type.

impl From<I8> for I128

fn from(x: I8) -> I128

Converts to this type from the input type.

impl From<U128> for I128

Warning: wrapping semantics.

fn from(x: U128) -> I128

Converts to this type from the input type.

impl From<i128> for I128

fn from(x: i128) -> I128

Converts to this type from the input type.

impl Integer for I128

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 = 128usize

impl LowerHex for I128

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

Formats the value using the given formatter.

impl ModNumeric for I128

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 FIXME: not ct!

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| TODO: Check if abs is ct

impl Mul<I128> for I128

Warning: has wrapping semantics.

type Output = I128

The resulting type after applying the * operator.

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

Performs the * operation.

impl MulAssign<I128> for I128

Warning: has wrapping semantics.

fn mul_assign(&mut self, rhs: I128)

Performs the *= operation.

impl Neg for I128

type Output = I128

The resulting type after applying the - operator.

fn neg(self) -> I128

Performs the unary - operation.

impl Not for I128

type Output = I128

The resulting type after applying the ! operator.

fn not(self) -> I128

Performs the unary ! operation.

impl Numeric for I128

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 I128

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 = i128

impl SecretIntegerCopy for I128

type PublicVersionCopy = i128

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

impl Shl<usize> for I128

type Output = I128

The resulting type after applying the << operator.

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

Performs the << operation.

impl ShlAssign<usize> for I128

fn shl_assign(&mut self, rhs: usize)

Performs the <<= operation.

impl Shr<usize> for I128

type Output = I128

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl ShrAssign<usize> for I128

fn shr_assign(&mut self, rhs: usize)

Performs the >>= operation.

impl Sub<I128> for I128

Warning: has wrapping semantics.

type Output = I128

The resulting type after applying the - operator.

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

Performs the - operation.

impl SubAssign<I128> for I128

Warning: has wrapping semantics.

fn sub_assign(&mut self, rhs: I128)

Performs the -= operation.

impl Copy for I128

impl NumericCopy for I128

impl SignedInteger for I128

impl SignedIntegerCopy for I128