Struct DynamicRecord 

pub struct DynamicRecord<A: Aleo> { /* private fields */ }

A dynamic record is a fixed-size representation of a record. Like static Records, a dynamic record contains an owner, nonce, and a version. However, instead of storing the full data, it only stores the Merkle root of the data. This ensures that all dynamic records have a constant size, regardless of the amount of data they contain.

Suppose we have the following record with two data entries:

record foo:
    owner as address.private;
    microcredits as u64.private;
    memo as [u8; 32u32].public;

The leaves of its Merkle tree are computed as follows:

L_0 := HashPSD8(ToField(name_0) || ToFields(entry_0))
L_1 := HashPSD8(ToField(name_1) || ToFields(entry_1))

where name_i is the field encoding of the entry identifier (e.g. "microcredits" → Field), and ToFields encodes the entry’s mode and plaintext variant.

The tree has depth RECORD_DATA_TREE_DEPTH = 5 and is constructed with path hasher HashPSD2 and the padding scheme outlined in snarkVM’s MerkleTree.

Implementations

impl<A: Aleo> DynamicRecord<A>

pub fn find<A0: Into<Access<A>> + Clone + Debug>( &self, path: &[A0], ) -> Result<Value<A>>

Returns the entry from the given path.

impl<A: Aleo> DynamicRecord<A>

pub const fn owner(&self) -> &Address<A>

Returns the owner of the record.

pub const fn root(&self) -> &Field<A>

Returns the Merkle root of the record data.

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

Returns the nonce of the record.

pub const fn version(&self) -> &U8<A>

Returns the version of the record.

pub const fn data(&self) -> Option<&RecordData<A::Network>>

Returns the console record data.

impl<A: Aleo> DynamicRecord<A>

pub fn from_record(record: &Record<A, Plaintext<A>>) -> Result<Self>

Creates a dynamic record from a static one.

pub fn merkleize_data( data: &IndexMap<Identifier<A>, Entry<A, Plaintext<A>>>, ) -> Result<RecordDataTree<A>>

Serializes the given (ordered) entries to field elements, prepends an identifier tag per entry, and computes the Merkle tree over the resulting leaves. More details on the structure of the tree can be found in DynamicRecord.

Trait Implementations

impl<A: Clone + Aleo> Clone for DynamicRecord<A>

where A::Network: Clone,

fn clone(&self) -> DynamicRecord<A>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Aleo> Eject for DynamicRecord<A>

fn eject_mode(&self) -> Mode

Ejects the mode of the dynamic record.

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

Ejects the dynamic record.

type Primitive = DynamicRecord<<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> Equal for DynamicRecord<A>

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> From<DynamicRecord<A>> for Value<A>

fn from(dynamic_record: DynamicRecord<A>) -> Self

Initializes the value from a dynamic record.

impl<A: Aleo> Inject for DynamicRecord<A>

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

Initializes a plaintext record from a primitive.

type Primitive = DynamicRecord<<A as Environment>::Network>

fn constant(value: Self::Primitive) -> Self

where Self: Sized,

Initializes a constant of the given primitive value.

impl<A: Aleo> ToBits for DynamicRecord<A>

fn write_bits_le(&self, vec: &mut Vec<Self::Boolean>)

Returns the circuit dynamic record as a list of little-endian bits.

fn write_bits_be(&self, vec: &mut Vec<Self::Boolean>)

Returns the circuit dynamic record as a list of big-endian bits.

type Boolean = Boolean<A>

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

Returns the little-endian bits of the circuit.

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

Returns the big-endian bits of the circuit.

impl<A: Aleo> ToFields for DynamicRecord<A>

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

Returns this circuit dynamic record as a list of field elements.

type Field = Field<A>