Operations

​

Operations

​

Table of contents

• Expression support
  • Binary expressions
  • Casts
  • Literals
  • Methods
  • Paths
• Item support
• Pattern support

​

Expression support:

​

Binary expressions

​

Cast expressions

​

Function calls

• user-defined function calls (without recursion)
• ArcisRNG::bool() to generate a boolean.
• ArcisRNG::gen_integer_from_width(width: usize) -> u128. Generates a secret integer between 0 and 2^width - 1 included.
• ArcisRNG::gen_public_integer_from_width(width: usize) -> u128. Generates a public integer between 0 and 2^width - 1 included.
• ArcisRNG::gen_integer_in_range(min: u128, max: u128, n_attempts: usize) -> (result: u128, success: bool). See function doc for more information.
• ArcisRNG::shuffle(slice) on slices. Complexity is in O(n*log³(n) + n*log²(n)*sizeof(T)).
• Mxe::get() to be able to create MXE-owned secret data.
• Shared::new(arcis_public_key) to share private data with arcis_public_key.
• ArcisPublicKey::from_base58(base58_byte_string) to create a public key from a base58-encoded address.
• ArcisPublicKey::from_uint8(u8_byte_slice) to create a public key from a Uint8 array.

​

Literal expressions

​

Macros

• debug_assert!, debug_assert_ne!, debug_assert_eq!. They do not change instruction behavior and are only useful for debugging your rust code.
• eprint!, eprintln!, print!, println!. They do not change instruction behavior and are only useful for debugging your rust code.

​

Method calls

• user-defined method calls (without generics and without recursion)
• .clone() on all Clone objects.
• .len(), .is_empty(), .swap(a, b), .fill(value), .reverse(), .iter(), .iter_mut(), .into_iter(), .windows(width) on arrays.
• .sort() on arrays of integers. Complexity is in O(n*log²(n)*bit_size).
• .enumerate(), .chain(other), .cloned(), .copied(), .count(), .rev(), .zip(other), .map(func), .for_each(func), .fold(init, func) on iterators.
• .take(n), .skip(n), .step_by(n) on iterators when n is compile-time known.
• .reveal() if not inside a if or a else
• .to_arcis() on Encs
• .from_arcis(x) on Owners (objects of types Mxe or Shared) if not inside a if or a else
• .abs(), .min(x), .max(x) on integers and floats
• .abs_diff(other), .is_positive(), .is_negative() on integers
• .to_le_bytes(), to_be_bytes() on typed integers (does not work on integers the interpreter does not know the type)
• .exp(), .exp2(), .ln(), .log2(), .sqrt() on floats.

​

Paths

• IntType::BITS, IntType::MIN and IntType::MAX where IntType is an integer type.
• Paths to user-defined constants, functions and structs, as long as they don’t use the unsupported crate or super.
• std::mem::replace and std::mem::swap

​

Item support:

​

Pattern support:

• simple idents: let ident = ...;
• mutable idents: let mut ident = ...;
• ref idents: let ref ident = ...;
• mutable ref idents: let ref mut ident = ...;
• parentheses around a supported pattern: let (...) = ...;
• reference of a supported pattern: let &... = ...;
• array of supported patterns: let [...] = ...;
• struct of supported patterns: let MyStruct { ... } = ...;
• tuple of supported patterns: let (...) = ...;
• tuple struct of supported patterns: let MyStruct(...) = ...;
• type pattern of a supported pattern: let ...: ty = ...;
• wild pattern: let _ = ...;

​

Performance Considerations