Struct ProvenTransactionBatch 

pub struct ProvenTransactionBatch {
    pub batch_proof: Vec<u8>,
    pub proposed_batch: Option<Vec<u8>>,
    pub transaction_inputs: Vec<Vec<u8>>,
}

A proven batch of transactions.

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, each transaction 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.

In addition, in order to verify the batch itself, we also require the proposed batch.

Fields

batch_proof: Vec<u8>

The batch proof.

Encoded using [miden_protocol::batch::ProvenBatch::to_bytes].

proposed_batch: Option<Vec<u8>>

The batch contents of the given proof.

Encoded using [miden_protocol::batch::ProposedBatch::to_bytes].

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

transaction_inputs: Vec<Vec<u8>>

The transaction inputs for each transaction in the batch.

Must match the transaction ordering in the batch.

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

Batch will be rejected if any transaction’s input is missing as per the method description.

Implementations

impl ProvenTransactionBatch

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

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

Trait Implementations

impl Clone for ProvenTransactionBatch

fn clone(&self) -> ProvenTransactionBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProvenTransactionBatch

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

Formats the value using the given formatter.

impl Default for ProvenTransactionBatch

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ProvenTransactionBatch

impl Hash for ProvenTransactionBatch

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 ProvenTransactionBatch

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 ProvenTransactionBatch

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