Enum snarkvm_circuit::Balance

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

A value stored in program data.

Variants

Public(Integer<A, u64>)

A publicly-visible value.

Private(Private)

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

Implementations

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

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> Balance<A, Plaintext<A>>where A: Aleo,

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

Returns the balance as an Entry.

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

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

Encrypts the balance under the given randomizer.

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

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

Decrypts the balance under the given randomizer.

Trait Implementations

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

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> Deref for Balance<A, Plaintext<A>>where A: Aleo,

fn deref(&self) -> &<Balance<A, Plaintext<A>> as Deref>::Target

Returns the balance as a u64.

type Target = Integer<A, u64>

The resulting type after dereferencing.

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

fn is_equal( &self, other: &Balance<A, Private> ) -> <Balance<A, Private> as Equal<Balance<A, Private>>>::Output

Returns true if self and other are equal.

fn is_not_equal( &self, other: &Balance<A, Private> ) -> <Balance<A, Private> as Equal<Balance<A, Private>>>::Output

Returns true if self and other are not equal.

type Output = Boolean<A>

impl<A> Inject for Balance<A, Ciphertext<A>>where A: Aleo,

fn new( _: Mode, owner: <Balance<A, Ciphertext<A>> as Inject>::Primitive ) -> Balance<A, Ciphertext<A>>

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> Inject for Balance<A, Plaintext<A>>where A: Aleo,

fn new( _: Mode, owner: <Balance<A, Plaintext<A>> as Inject>::Primitive ) -> Balance<A, Plaintext<A>>

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> ToBits for Balance<A, Ciphertext<A>>where A: Aleo,

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

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

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

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

type Boolean = Boolean<A>

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

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

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

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

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

type Boolean = Boolean<A>