Enum snarkvm_ledger_block::transaction::Transaction

pub enum Transaction<N: Network> {
    Deploy(N::TransactionID, ProgramOwner<N>, Box<Deployment<N>>, Fee<N>),
    Execute(N::TransactionID, Execution<N>, Option<Fee<N>>),
    Fee(N::TransactionID, Fee<N>),
}

Variants

Deploy(N::TransactionID, ProgramOwner<N>, Box<Deployment<N>>, Fee<N>)

The deploy transaction publishes an Aleo program to the network.

Execute(N::TransactionID, Execution<N>, Option<Fee<N>>)

The execute transaction represents a call to an Aleo program.

Fee(N::TransactionID, Fee<N>)

The fee transaction represents a fee paid to the network, used for rejected transactions.

Implementations

impl<N: Network> Transaction<N>

pub fn to_root(&self) -> Result<Field<N>>

Returns the transaction root, by computing the root for a Merkle tree of the transition IDs.

pub fn to_leaf(&self, id: &Field<N>) -> Result<TransactionLeaf<N>>

Returns the Merkle leaf for the given ID of a function or transition in the transaction.

pub fn to_path(&self, leaf: &TransactionLeaf<N>) -> Result<TransactionPath<N>>

Returns the Merkle path for the transaction leaf.

pub fn to_tree(&self) -> Result<TransactionTree<N>>

The Merkle tree of transition IDs for the transaction.

impl<N: Network> Transaction<N>

pub fn deployment_tree( deployment: &Deployment<N>, fee: Option<&Fee<N>> ) -> Result<TransactionTree<N>>

Returns the Merkle tree for the given deployment.

pub fn execution_tree( execution: &Execution<N>, fee: &Option<Fee<N>> ) -> Result<TransactionTree<N>>

Returns the Merkle tree for the given execution.

pub fn transitions_tree<'a>( transitions: impl ExactSizeIterator<Item = &'a Transition<N>>, fee: &Option<Fee<N>> ) -> Result<TransactionTree<N>>

Returns the Merkle tree for the given transitions.

pub fn fee_tree(fee: &Fee<N>) -> Result<TransactionTree<N>>

Returns the Merkle tree for the given fee.

pub fn check_deployment_size(deployment: &Deployment<N>) -> Result<()>

Returns true if the deployment is within the size bounds.

pub fn check_execution_size(num_transitions: usize) -> Result<()>

Returns true if the execution is within the size bounds.

impl<N: Network> Transaction<N>

pub fn from_deployment( owner: ProgramOwner<N>, deployment: Deployment<N>, fee: Fee<N> ) -> Result<Self>

Initializes a new deployment transaction.

pub fn from_execution( execution: Execution<N>, fee: Option<Fee<N>> ) -> Result<Self>

Initializes a new execution transaction.

pub fn from_fee(fee: Fee<N>) -> Result<Self>

Initializes a new fee transaction.

impl<N: Network> Transaction<N>

pub const fn is_deploy(&self) -> bool

Returns true if the transaction is a deploy transaction.

pub const fn is_execute(&self) -> bool

Returns true if the transaction is an execute transaction.

pub const fn is_fee(&self) -> bool

Returns true if the transaction is a fee transaction.

impl<N: Network> Transaction<N>

pub fn contains_split(&self) -> bool

Returns true if this transaction contains a call to credits.aleo/split.

impl<N: Network> Transaction<N>

pub fn owner(&self) -> Option<&ProgramOwner<N>>

Returns Some(owner) if the transaction is a deployment. Otherwise, returns None.

pub fn deployment(&self) -> Option<&Deployment<N>>

Returns Some(deployment) if the transaction is a deployment. Otherwise, returns None.

pub fn execution(&self) -> Option<&Execution<N>>

Returns Some(execution) if the transaction is an execution. Otherwise, returns None.

impl<N: Network> Transaction<N>

pub const fn id(&self) -> N::TransactionID

Returns the transaction ID.

pub fn fee_amount(&self) -> Result<U64<N>>

Returns the transaction total fee.

pub fn base_fee_amount(&self) -> Result<U64<N>>

Returns the transaction base fee.

pub fn priority_fee_amount(&self) -> Result<U64<N>>

Returns the transaction priority fee.

pub fn fee_transition(&self) -> Option<Fee<N>>

Returns the fee transition.

impl<N: Network> Transaction<N>

pub fn contains_transition(&self, transition_id: &N::TransitionID) -> bool

Returns true if the transaction contains the given transition ID.

pub fn contains_serial_number(&self, serial_number: &Field<N>) -> bool

Returns true if the transaction contains the given serial number.

pub fn contains_commitment(&self, commitment: &Field<N>) -> bool

Returns true if the transaction contains the given commitment.

impl<N: Network> Transaction<N>

pub fn find_transition( &self, transition_id: &N::TransitionID ) -> Option<&Transition<N>>

Returns the transition with the corresponding transition ID, if it exists.

pub fn find_transition_for_serial_number( &self, serial_number: &Field<N> ) -> Option<&Transition<N>>

Returns the transition for the given serial number, if it exists.

pub fn find_transition_for_commitment( &self, commitment: &Field<N> ) -> Option<&Transition<N>>

Returns the transition for the given commitment, if it exists.

pub fn find_record( &self, commitment: &Field<N> ) -> Option<&Record<N, Ciphertext<N>>>

Returns the record with the corresponding commitment, if it exists.

impl<N: Network> Transaction<N>

pub fn transition_ids( &self ) -> impl '_ + DoubleEndedIterator<Item = &N::TransitionID>

Returns an iterator over the transition IDs, for all transitions.

pub fn transitions( &self ) -> impl '_ + DoubleEndedIterator<Item = &Transition<N>>

Returns an iterator over all transitions.

pub fn input_ids(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the input IDs, for all transition inputs that are records.

pub fn serial_numbers(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the serial numbers, for all transition inputs that are records.

pub fn tags(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the tags, for all transition inputs that are records.

pub fn output_ids(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the output IDs, for all transition inputs that are records.

pub fn commitments(&self) -> impl '_ + Iterator<Item = &Field<N>>

Returns an iterator over the commitments, for all transition outputs that are records.

pub fn records( &self ) -> impl '_ + Iterator<Item = (&Field<N>, &Record<N, Ciphertext<N>>)>

Returns an iterator over the records, for all transition outputs that are records.

pub fn nonces(&self) -> impl '_ + Iterator<Item = &Group<N>>

Returns an iterator over the nonces, for all transition outputs that are records.

pub fn transition_public_keys( &self ) -> impl '_ + DoubleEndedIterator<Item = &Group<N>>

Returns an iterator over the transition public keys, for all transitions.

pub fn transition_commitments( &self ) -> impl '_ + DoubleEndedIterator<Item = &Field<N>>

Returns an iterator over the transition commitments, for all transitions.

impl<N: Network> Transaction<N>

pub fn into_transition_ids(self) -> impl Iterator<Item = N::TransitionID>

Returns a consuming iterator over the transition IDs, for all transitions.

pub fn into_transitions(self) -> impl DoubleEndedIterator<Item = Transition<N>>

Returns a consuming iterator over all transitions.

pub fn into_transition_public_keys( self ) -> impl DoubleEndedIterator<Item = Group<N>>

Returns a consuming iterator over the transition public keys, for all transitions.

pub fn into_tags(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the tags, for all transition inputs that are records.

pub fn into_serial_numbers(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the serial numbers, for all transition inputs that are records.

pub fn into_commitments(self) -> impl Iterator<Item = Field<N>>

Returns a consuming iterator over the commitments, for all transition outputs that are records.

pub fn into_records( self ) -> impl Iterator<Item = (Field<N>, Record<N, Ciphertext<N>>)>

Returns a consuming iterator over the records, for all transition outputs that are records.

pub fn into_nonces(self) -> impl Iterator<Item = Group<N>>

Returns a consuming iterator over the nonces, for all transition outputs that are records.

Trait Implementations

impl<N: Clone + Network> Clone for Transaction<N>where N::TransactionID: Clone,

fn clone(&self) -> Transaction<N>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Network> Debug for Transaction<N>

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

Prints the transaction as a JSON-string.

impl<'de, N: Network> Deserialize<'de> for Transaction<N>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserializes the transaction from a JSON-string or buffer.

impl<N: Network> Display for Transaction<N>

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

Displays the transaction as a JSON-string.

impl<N: Network> FromBytes for Transaction<N>

fn read_le<R: Read>(reader: R) -> IoResult<Self>

Reads the transaction from the buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N: Network> FromStr for Transaction<N>

fn from_str(transaction: &str) -> Result<Self, Self::Err>

Initializes the transaction from a JSON-string.

type Err = Error

The associated error which can be returned from parsing.

impl<N: PartialEq + Network> PartialEq for Transaction<N>where N::TransactionID: PartialEq,

fn eq(&self, other: &Transaction<N>) -> 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<N: Network> Serialize for Transaction<N>

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serializes the transaction to a JSON-string or buffer.

impl<N: Network> ToBytes for Transaction<N>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

Writes the transaction to the buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>where Self: Sized,

Returns self as a byte array in little-endian order.

impl<N: Eq + Network> Eq for Transaction<N>where N::TransactionID: Eq,

impl<N: Network> StructuralEq for Transaction<N>

impl<N: Network> StructuralPartialEq for Transaction<N>