Struct miden_objects::transaction::TransactionId

pub struct TransactionId(/* private fields */);

A unique identifier of a transaction.

Transaction ID is computed as:

hash(init_account_hash, final_account_hash, input_notes_hash, output_notes_hash)

This achieves the following properties:

• Transactions are identical if and only if they have the same ID.
• Computing transaction ID can be done solely from public transaction data.

Implementations

impl TransactionId

pub fn new( init_account_hash: Digest, final_account_hash: Digest, input_notes_hash: Digest, output_notes_hash: Digest, ) -> Self

Returns a new TransactionId instantiated from the provided transaction components.

pub fn as_elements(&self) -> &[Felt]

Returns the elements representation of this transaction ID.

pub fn as_bytes(&self) -> [u8; 32]

Returns the byte representation of this transaction ID.

pub fn to_hex(&self) -> String

Returns a big-endian, hex-encoded string.

pub fn inner(&self) -> Digest

Returns the digest defining this transaction ID.

Trait Implementations

impl Clone for TransactionId

fn clone(&self) -> TransactionId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Deserializable for TransactionId

fn read_from<R: ByteReader>( source: &mut R, ) -> Result<Self, DeserializationError>

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl Display for TransactionId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<&ExecutedTransaction> for TransactionId

fn from(tx: &ExecutedTransaction) -> Self

Converts to this type from the input type.

impl From<&ProvenTransaction> for TransactionId

fn from(tx: &ProvenTransaction) -> Self

Converts to this type from the input type.

impl From<&TransactionId> for Word

fn from(id: &TransactionId) -> Self

Converts to this type from the input type.

impl From<&TransactionId> for [u8; 32]

fn from(id: &TransactionId) -> Self

Converts to this type from the input type.

impl From<[BaseElement; 4]> for TransactionId

fn from(value: Word) -> Self

Converts to this type from the input type.

impl From<RpoDigest> for TransactionId

fn from(value: Digest) -> Self

Converts to this type from the input type.

impl From<TransactionId> for Word

fn from(id: TransactionId) -> Self

Converts to this type from the input type.

impl From<TransactionId> for [u8; 32]

fn from(id: TransactionId) -> Self

Converts to this type from the input type.

impl Ord for TransactionId

fn cmp(&self, other: &TransactionId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for TransactionId

fn eq(&self, other: &TransactionId) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for TransactionId

fn partial_cmp(&self, other: &TransactionId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serializable for TransactionId

fn write_into<W: ByteWriter>(&self, target: &mut W)

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Copy for TransactionId

impl Eq for TransactionId

impl StructuralPartialEq for TransactionId