Enum snarkvm_circuit_program::Balance

pub enum Balance<A: Aleo, Private: Visibility<A>> {
    Public(U64<A>),
    Private(Private),
}

A value stored in program data.

Variants

Public(U64<A>)

A publicly-visible value.

Private(Private)

A private value is encrypted under the account owner’s address.

Implementations

impl<A: Aleo, Private: Visibility<A>> Balance<A, Private>

pub fn is_public(&self) -> Boolean<A>

Returns true if self is public.

pub fn is_private(&self) -> Boolean<A>

Returns true if self is private.

impl<A: Aleo> Balance<A, Plaintext<A>>

pub fn to_entry(&self) -> Entry<A, Plaintext<A>>

Returns the balance as an Entry.

impl<A: Aleo> Balance<A, Plaintext<A>>

pub fn encrypt(&self, randomizer: &[Field<A>]) -> Balance<A, Ciphertext<A>>

Encrypts the balance under the given randomizer.

impl<A: Aleo> Balance<A, Ciphertext<A>>

pub fn decrypt(&self, randomizer: &[Field<A>]) -> Balance<A, Plaintext<A>>

Decrypts the balance under the given randomizer.

Trait Implementations

impl<A: Clone + Aleo, Private: Clone + Visibility<A>> Clone for Balance<A, Private>

fn clone(&self) -> Balance<A, Private>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Aleo> Deref for Balance<A, Plaintext<A>>

fn deref(&self) -> &Self::Target

Returns the balance as a u64.

type Target = Integer<A, u64>

The resulting type after dereferencing.

impl<A: Aleo, Private: Visibility<A>> Equal<Balance<A, Private>> for Balance<A, Private>

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> Inject for Balance<A, Ciphertext<A>>

fn new(_: Mode, owner: Self::Primitive) -> Self

Initializes ciphertext balance from a primitive.

type Primitive = Balance<<A as Environment>::Network, Ciphertext<<A as Environment>::Network>>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<A: Aleo> Inject for Balance<A, Plaintext<A>>

fn new(_: Mode, owner: Self::Primitive) -> Self

Initializes plaintext balance from a primitive.

type Primitive = Balance<<A as Environment>::Network, Plaintext<<A as Environment>::Network>>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<A: Aleo> ToBits for Balance<A, Ciphertext<A>>

fn to_bits_le(&self) -> Vec<Boolean<A>>

Returns self as a boolean vector in little-endian order.

fn to_bits_be(&self) -> Vec<Boolean<A>>

Returns self as a boolean vector in big-endian order.

type Boolean = Boolean<A>

impl<A: Aleo> ToBits for Balance<A, Plaintext<A>>

fn to_bits_le(&self) -> Vec<Boolean<A>>

Returns self as a boolean vector in little-endian order.

fn to_bits_be(&self) -> Vec<Boolean<A>>

Returns self as a boolean vector in big-endian order.

type Boolean = Boolean<A>