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_unchecked( &self, record_view_key: Field<A> ) -> Record<A, Plaintext<A>>

Decrypts self into a plaintext record using the given record view key. Note: This method does not check that the record view key corresponds to the record owner. Use Self::decrypt for the checked variant.

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_unchecked( &self, record_view_key: Field<A> ) -> Record<A, Ciphertext<A>>

Encrypts self under the given record view key. Note: This method does not check that the record view key corresponds to the record owner. Use Self::encrypt for the checked variant.

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>>, 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>>, 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 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”)