Struct ProvenTransaction 

pub struct ProvenTransaction {
    pub transaction: Vec<u8>,
    pub transaction_inputs: Option<Vec<u8>>,
}

A proven transaction.

Note that we currently require full transaction transparency for the network operator. This is a temporary measure while Miden stabilizes its protocol and proof systems. To this end, a transaction submission includes its private inputs which the operator can use to verify the transaction execution and proofs are correct.

This means the transaction is not private wrt the network operator (but it is still private onchain). This requirement will be lifted as Miden matures.

Fields

transaction: Vec<u8>

The transaction proof.

Encoded using [miden_protocol::transaction::ProvenTransaction::to_bytes].

transaction_inputs: Option<Vec<u8>>

The private inputs used for the transaction proof.

Encoded using [miden_protocol::transaction::TransactionInputs::to_bytes].

Transactions missing this field will be rejected as per the message description.

Implementations

impl ProvenTransaction

pub fn transaction_inputs(&self) -> &[u8]

Returns the value of transaction_inputs, or the default value if transaction_inputs is unset.

Trait Implementations

impl Clone for ProvenTransaction

fn clone(&self) -> ProvenTransaction

Returns a duplicate 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 Default for ProvenTransaction

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ProvenTransaction

impl Hash for ProvenTransaction

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Message for ProvenTransaction

fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

fn clear(&mut self)

Clears the message, resetting all fields to their default.

fn encode(&self, buf: &mut impl BufMut) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message to a buffer.

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

where Self: Sized,

Encodes the message to a newly allocated buffer.

fn encode_length_delimited( &self, buf: &mut impl BufMut, ) -> Result<(), EncodeError>

where Self: Sized,

Encodes the message with a length-delimiter to a buffer.

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

where Self: Sized,

Encodes the message with a length-delimiter to a newly allocated buffer.

fn decode(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes an instance of the message from a buffer.

fn decode_length_delimited(buf: impl Buf) -> Result<Self, DecodeError>

where Self: Default,

Decodes a length-delimited instance of the message from the buffer.

fn merge(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes an instance of the message from a buffer, and merges it into self.

fn merge_length_delimited(&mut self, buf: impl Buf) -> Result<(), DecodeError>

where Self: Sized,

Decodes a length-delimited instance of the message from buffer, and merges it into self.

impl PartialEq for ProvenTransaction

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for ProvenTransaction