Struct TransactionBatch 

pub struct TransactionBatch {
    pub batch_proof: Vec<u8>,
    pub proposed_batch: Option<Vec<u8>>,
    pub sealed_transaction_inputs: Vec<SealedTransactionInputs>,
}

A proven batch of transactions.

Validators require full transaction transparency. Each transaction includes its private inputs. A validator uses these inputs to verify the transaction execution and proof.

The submitter seals these inputs with the shared transaction encryption key of the validator set. Relay nodes cannot read the inputs. Validators reject batches with unsealed inputs.

The validator also requires the proposed batch to verify the batch proof.

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.

sealed_transaction_inputs: Vec<SealedTransactionInputs>

The sealed transaction inputs for each transaction in the batch.

Must match the transaction ordering in the batch. Each entry is sealed independently against its own transaction’s id, because the batch is fanned out into one validator submission per transaction.

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

Implementations

impl TransactionBatch

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 TransactionBatch

fn clone(&self) -> TransactionBatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionBatch

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

Formats the value using the given formatter.

impl Default for TransactionBatch

fn default() -> Self

Returns the “default value” for a type.

impl Message for TransactionBatch

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 TransactionBatch

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TransactionBatch