Struct DynamicFuture 

pub struct DynamicFuture<A: Aleo> { /* private fields */ }

A dynamic future is a fixed-size representation of a future. Like static Futures, a dynamic future contains a program name, program network, and function name. These are however represented as Field elements as opposed to Identifiers to ensure a fixed size. Dynamic futures also store a checksum of the arguments to the future instead of the arguments themselves. This ensures that all dynamic futures have a constant size, regardless of the amount of data they contain.

Note: The checksum is never computed in circuit. It is computed in console as truncate_252(Sha3_256(length_prefix || type_prefixed_argument_bits)) and injected as a witness field element.

Implementations

impl<A: Aleo> DynamicFuture<A>

pub const fn program_name(&self) -> &Field<A>

Returns the program name.

pub const fn program_network(&self) -> &Field<A>

Returns the program network.

pub const fn function_name(&self) -> &Field<A>

Returns the function name.

pub const fn checksum(&self) -> &Field<A>

Returns the checksum of the arguments.

pub const fn arguments(&self) -> &Option<Vec<Argument<A::Network>>>

Returns the console arguments.

Trait Implementations

impl<A: Clone + Aleo> Clone for DynamicFuture<A>

where A::Network: Clone,

fn clone(&self) -> DynamicFuture<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Aleo> Eject for DynamicFuture<A>

fn eject_mode(&self) -> Mode

Ejects the mode of the dynamic future.

fn eject_value(&self) -> Self::Primitive

Ejects the dynamic future.

type Primitive = DynamicFuture<<A as Environment>::Network>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<A: Aleo> Equal for DynamicFuture<A>

fn is_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are equal.

fn is_not_equal(&self, other: &Self) -> Self::Output

Returns true if self and other are not equal.

type Output = Boolean<A>

impl<A: Aleo> From<DynamicFuture<A>> for Value<A>

fn from(dynamic_future: DynamicFuture<A>) -> Self

Initializes the value from a dynamic future.

impl<A: Aleo> Inject for DynamicFuture<A>

fn new(mode: Mode, value: Self::Primitive) -> Self

Initializes a circuit of the given mode and future.

type Primitive = DynamicFuture<<A as Environment>::Network>

fn constant(value: Self::Primitive) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.

impl<A: Aleo> ToBits for DynamicFuture<A>

fn write_bits_le(&self, vec: &mut Vec<Self::Boolean>)

Returns the circuit dynamic future as a list of little-endian bits.

fn write_bits_be(&self, vec: &mut Vec<Self::Boolean>)

Returns the circuit dynamic future as a list of big-endian bits.

type Boolean = Boolean<A>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Returns the little-endian bits of the circuit.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Returns the big-endian bits of the circuit.

impl<A: Aleo> ToFields for DynamicFuture<A>

fn to_fields(&self) -> Vec<Field<A>>

Returns the circuit dynamic future as a list of fields.

type Field = Field<A>