aztec-nr - uint_note

Struct PartialUintNote

pub struct PartialUintNote
{ /* private fields */ }

A partial instance of a UintNote. This value represents a private commitment to the owner, randomness and storage slot, but the value field has not yet been set. A partial note can be completed in public with the complete function (revealing the value to the public), resulting in a UintNote that can be used like any other one (except of course that its value is known).

Implementations

impl PartialUintNote

pub fn complete(self, context: PublicContext, completer: AztecAddress, value: u128)

Completes the partial note, creating a new note that can be used like any other UintNote.

pub fn complete_from_private( self, context: &mut PrivateContext, completer: AztecAddress, value: u128, )

Completes the partial note, creating a new note that can be used like any other UintNote. Same as complete function but works from private context.

pub fn compute_validity_commitment(self, completer: AztecAddress) -> Field

Computes a validity commitment for this partial note. The commitment cryptographically binds the note's private data with the designated completer address. When the note is later completed in public execution, we can load this commitment from the nullifier tree and verify that both the partial note (e.g. that the storage slot corresponds to the correct owner, and that we're using the correct state variable) and completer are legitimate.

Trait implementations

impl Deserialize for PartialUintNote

pub fn deserialize(serialized: [Field; 1]) -> Self

impl Eq for PartialUintNote

pub fn eq(_self: Self, _other: Self) -> bool

impl FromField for PartialUintNote

pub fn from_field(field: Field) -> Self

impl Packable for PartialUintNote

pub fn pack(self) -> [Field; 1] pub fn unpack(packed: [Field; 1]) -> Self

impl Serialize for PartialUintNote

pub fn serialize(self) -> [Field; 1]

impl ToField for PartialUintNote

pub fn to_field(self) -> Field