Struct snarkvm_circuit_program::Record

pub struct Record<A: Aleo, Private: Visibility<A>> { /* private fields */ }

Implementations

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

pub fn decrypt(&self, view_key: &ViewKey<A>) -> Record<A, Plaintext<A>>

Decrypts self into a plaintext record using the given view key & nonce.

pub fn decrypt_symmetric(
    &self,
    record_view_key: Field<A>
) -> Record<A, Plaintext<A>>

Decrypts self into a plaintext record using the given record view key.

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

pub fn encrypt(&self, randomizer: &Scalar<A>) -> Record<A, Ciphertext<A>>

Encrypts self for the record owner under the given randomizer.

pub fn encrypt_symmetric(
    &self,
    record_view_key: Field<A>
) -> Record<A, Ciphertext<A>>

Encrypts self under the given record view key.

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

pub fn find(&self, path: &[Identifier<A>]) -> Result<Entry<A, Plaintext<A>>>

Returns the entry from the given path.

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

pub fn serial_number(
    private_key: PrivateKey<A>,
    commitment: Field<A>
) -> Field<A>

A helper method to derive the serial number from the private key and commitment.

pub fn serial_number_from_gamma(
    gamma: &Group<A>,
    commitment: Field<A>
) -> Field<A>

A helper method to derive the serial number from the gamma and commitment.

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

pub fn tag(sk_tag: Field<A>, commitment: Field<A>) -> Field<A>

A helper method to derive the tag from the sk_tag and commitment.

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

pub fn to_commitment(
    &self,
    program_id: &ProgramID<A>,
    record_name: &Identifier<A>
) -> Field<A>

Returns the record commitment.

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

pub fn to_commitment(
    &self,
    _program_id: &ProgramID<A>,
    _record_name: &Identifier<A>
) -> Field<A>

Returns the record commitment.

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

pub fn from_plaintext(
    owner: Owner<A, Plaintext<A>>,
    gates: Balance<A, Plaintext<A>>,
    data: IndexMap<Identifier<A>, Entry<A, Plaintext<A>>>,
    nonce: Group<A>
) -> Result<Record<A, Plaintext<A>>>

Initializes a new record plaintext.

pub fn from_ciphertext(
    owner: Owner<A, Ciphertext<A>>,
    gates: Balance<A, Ciphertext<A>>,
    data: IndexMap<Identifier<A>, Entry<A, Ciphertext<A>>>,
    nonce: Group<A>
) -> Result<Record<A, Ciphertext<A>>>

Initializes a new record ciphertext.

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

pub const fn owner(&self) -> &Owner<A, Private>

Returns the owner of the program record.

pub const fn gates(&self) -> &Balance<A, Private>

Returns the gates of the program record.

pub const fn data(&self) -> &IndexMap<Identifier<A>, Entry<A, Private>>

Returns the program data.

pub const fn nonce(&self) -> &Group<A>

Returns the nonce of the program record.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Aleo> Eject for Record<A, Ciphertext<A>>

fn eject_mode(&self) -> Mode

Ejects the mode of the record.

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

Ejects the record.

type Primitive = Record<<A as Environment>::Network, Ciphertext<<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> Eject for Record<A, Plaintext<A>>

fn eject_mode(&self) -> Mode

Ejects the mode of the record.

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

Ejects the record.

type Primitive = Record<<A as Environment>::Network, Plaintext<<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, Private: Visibility<A>> Equal<Record<A, Private>> for Record<A, Private>

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

Returns true if self and other are equal.

Note: This method does not check the nonce equality.

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

Returns true if self and other are not equal.

Note: This method does not check the nonce equality.

type Output = Boolean<A>

impl<A: Aleo> Inject for Record<A, Ciphertext<A>>

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

Initializes a ciphertext record from a primitive.

type Primitive = Record<<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 Record<A, Plaintext<A>>

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

Initializes a plaintext record from a primitive.

type Primitive = Record<<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 Record<A, Ciphertext<A>>

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

Returns this data as a list of little-endian bits.

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

Returns this data as a list of big-endian bits.

type Boolean = Boolean<A>

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

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

Returns this data as a list of little-endian bits.

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

Returns this data as a list of big-endian bits.

type Boolean = Boolean<A>

impl<A: Aleo> ToFields for Record<A, Ciphertext<A>>

fn to_fields(&self) -> Vec<Self::Field>

Returns this record as a list of field elements.

type Field = Field<A>

impl<A: Aleo> ToFields for Record<A, Plaintext<A>>

fn to_fields(&self) -> Vec<Self::Field>

Returns this record as a list of field elements.

type Field = Field<A>

impl<A: Aleo, Private: Visibility<A>> TypeName for Record<A, Private>

fn type_name() -> &'static str

Returns the type name of the object as a string. (i.e. “u8”)