Struct miden_objects::transaction::ProvenTransaction

pub struct ProvenTransaction { /* private fields */ }

Result of executing and proving a transaction. Contains all the data required to verify that a transaction was executed correctly.

Implementations

impl ProvenTransaction

pub fn id(&self) -> TransactionId

Returns unique identifier of this transaction.

pub fn account_id(&self) -> AccountId

Returns ID of the account against which this transaction was executed.

pub fn account_update(&self) -> &TxAccountUpdate

Returns the account update details.

pub fn input_notes(&self) -> &InputNotes<Nullifier>

Returns a reference to the notes consumed by the transaction.

pub fn output_notes(&self) -> &OutputNotes

Returns a reference to the notes produced by the transaction.

pub fn proof(&self) -> &ExecutionProof

Returns the proof of the transaction.

pub fn block_ref(&self) -> Digest

Returns the block reference the transaction was executed against.

Trait Implementations

impl Clone for ProvenTransaction

fn clone(&self) -> ProvenTransaction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ProvenTransaction

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

Formats the value using the given formatter.

impl Deserializable for ProvenTransaction

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 From<&ProvenTransaction> for TransactionId

fn from(tx: &ProvenTransaction) -> Self

Converts to this type from the input type.

impl PartialEq for ProvenTransaction

fn eq(&self, other: &ProvenTransaction) -> 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 Serializable for ProvenTransaction

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 Eq for ProvenTransaction

impl StructuralPartialEq for ProvenTransaction