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 new( account_id: AccountId, initial_account_hash: Digest, final_account_hash: Digest, input_notes: InputNotes<Nullifier>, output_notes: OutputNotes<NoteEnvelope>, tx_script_root: Option<Digest>, block_ref: Digest, proof: ExecutionProof ) -> Self

Returns a new ProvenTransaction instantiated from the provided parameters.

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 initial_account_hash(&self) -> Digest

Returns the initial account state hash.

pub fn final_account_hash(&self) -> Digest

Returns the final account state hash.

pub fn account_details(&self) -> Option<&AccountDetails>

Returns the account details.

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

Returns a reference to the notes consumed by the transaction.

pub fn output_notes(&self) -> &OutputNotes<NoteEnvelope>

Returns a reference to the notes produced by the transaction.

pub fn get_output_note_details(&self, note_id: &NoteId) -> Option<&Note>

Returns the NoteId details, if present.

pub fn tx_script_root(&self) -> Option<Digest>

Returns the script root of 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 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.