Enum snarkvm_circuit::Owner

pub enum Owner<A, Private>where
    A: Aleo,
    Private: Visibility<A>,{
    Public(Address<A>),
    Private(Private),
}

A value stored in program data.

Variants

Public(Address<A>)

A publicly-visible value.

Private(Private)

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

Implementations

impl<A, Private> Owner<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> Owner<A, Plaintext<A>>where
    A: Aleo,

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

Returns the owner as an Entry.

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

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

Encrypts self under the given randomizer.

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

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

Decrypts the owner under the given randomizer.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A> Deref for Owner<A, Plaintext<A>>where
    A: Aleo,

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

Returns the address of the owner.

type Target = Address<A>

The resulting type after dereferencing.

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

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

Returns true if self and other are equal.

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

Returns true if self and other are not equal.

type Output = Boolean<A>

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

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

Initializes ciphertext owner from a primitive.

type Primitive = Owner<<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 Owner<A, Plaintext<A>>where
    A: Aleo,

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

Initializes plaintext owner from a primitive.

type Primitive = Owner<<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 Owner<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 Owner<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>