Enum zebra_chain::transaction::Transaction

source · [−]

pub enum Transaction {
    V1 {
        inputs: Vec<Input>,
        outputs: Vec<Output>,
        lock_time: LockTime,
    },
    V2 {
        inputs: Vec<Input>,
        outputs: Vec<Output>,
        lock_time: LockTime,
        joinsplit_data: Option<JoinSplitData<Bctv14Proof>>,
    },
    V3 {
        inputs: Vec<Input>,
        outputs: Vec<Output>,
        lock_time: LockTime,
        expiry_height: Height,
        joinsplit_data: Option<JoinSplitData<Bctv14Proof>>,
    },
    V4 {
        inputs: Vec<Input>,
        outputs: Vec<Output>,
        lock_time: LockTime,
        expiry_height: Height,
        joinsplit_data: Option<JoinSplitData<Groth16Proof>>,
        sapling_shielded_data: Option<ShieldedData<PerSpendAnchor>>,
    },
    V5 {
        network_upgrade: NetworkUpgrade,
        lock_time: LockTime,
        expiry_height: Height,
        inputs: Vec<Input>,
        outputs: Vec<Output>,
        sapling_shielded_data: Option<ShieldedData<SharedAnchor>>,
        orchard_shielded_data: Option<ShieldedData>,
    },
}

Expand description

A Zcash transaction.

A transaction is an encoded data structure that facilitates the transfer of value between two public key addresses on the Zcash ecosystem. Everything is designed to ensure that transactions can be created, propagated on the network, validated, and finally added to the global ledger of transactions (the blockchain).

Zcash has a number of different transaction formats. They are represented internally by different enum variants. Because we checkpoint on Canopy activation, we do not validate any pre-Sapling transaction types.

Variants

`V1`

Fields

inputs: Vec<Input>

The transparent inputs to the transaction.

outputs: Vec<Output>

The transparent outputs from the transaction.

lock_time: LockTime

The earliest time or block height that this transaction can be added to the chain.

A fully transparent transaction (version = 1).

`V2`

Fields

inputs: Vec<Input>

The transparent inputs to the transaction.

outputs: Vec<Output>

The transparent outputs from the transaction.

lock_time: LockTime

The earliest time or block height that this transaction can be added to the chain.

joinsplit_data: Option<JoinSplitData<Bctv14Proof>>

The JoinSplit data for this transaction, if any.

A Sprout transaction (version = 2).

`V3`

Fields

inputs: Vec<Input>

The transparent inputs to the transaction.

outputs: Vec<Output>

The transparent outputs from the transaction.

lock_time: LockTime

The earliest time or block height that this transaction can be added to the chain.

expiry_height: Height

The latest block height that this transaction can be added to the chain.

joinsplit_data: Option<JoinSplitData<Bctv14Proof>>

The JoinSplit data for this transaction, if any.

An Overwinter transaction (version = 3).

`V4`

Fields

inputs: Vec<Input>

The transparent inputs to the transaction.

outputs: Vec<Output>

The transparent outputs from the transaction.

lock_time: LockTime

The earliest time or block height that this transaction can be added to the chain.

expiry_height: Height

The latest block height that this transaction can be added to the chain.

joinsplit_data: Option<JoinSplitData<Groth16Proof>>

The JoinSplit data for this transaction, if any.

sapling_shielded_data: Option<ShieldedData<PerSpendAnchor>>

The sapling shielded data for this transaction, if any.

A Sapling transaction (version = 4).

`V5`

Fields

network_upgrade: NetworkUpgrade

The Network Upgrade for this transaction.

Derived from the ConsensusBranchId field.

lock_time: LockTime

The earliest time or block height that this transaction can be added to the chain.

expiry_height: Height

The latest block height that this transaction can be added to the chain.

inputs: Vec<Input>

The transparent inputs to the transaction.

outputs: Vec<Output>

The transparent outputs from the transaction.

sapling_shielded_data: Option<ShieldedData<SharedAnchor>>

The sapling shielded data for this transaction, if any.

orchard_shielded_data: Option<ShieldedData>

The orchard data for this transaction, if any.

A version = 5 transaction , which supports Orchard, Sapling, and transparent, but not Sprout.

Enum zebra_chain::transaction::Transaction

Variants

V1

Fields

V2

Fields

V3

Fields

V4

Fields

V5

Fields

Implementations

impl Transaction

pub fn new_v5_coinbase( network: Network, height: Height, outputs: impl IntoIterator<Item = (Amount<NonNegative>, Script)>) -> Transaction

impl Transaction

pub fn v1_strategy(ledger_state: LedgerState) -> BoxedStrategy<Self>

pub fn v2_strategy(ledger_state: LedgerState) -> BoxedStrategy<Self>

pub fn v3_strategy(ledger_state: LedgerState) -> BoxedStrategy<Self>

pub fn v4_strategy(ledger_state: LedgerState) -> BoxedStrategy<Self>

pub fn v5_strategy(ledger_state: LedgerState) -> BoxedStrategy<Self>

pub fn vec_strategy( ledger_state: LedgerState, len: usize) -> BoxedStrategy<Vec<Arc<Self>>>

pub fn for_each_value_mut<F>(&mut self, f: F)where F: FnMut(&mut Amount<NonNegative>),

pub fn for_each_value_balance_mut<F>(&mut self, f: F)where F: FnMut(&mut Amount<NegativeAllowed>),

pub fn fix_overflow(&mut self)

pub fn fix_chain_value_pools( &mut self, chain_value_pools: ValueBalance<NonNegative>, outputs: &HashMap<OutPoint, Output>) -> Result<(Amount<NonNegative>, ValueBalance<NonNegative>), ValueBalanceError>

pub fn fix_remaining_value( &mut self, outputs: &HashMap<OutPoint, Output>) -> Result<Amount<NonNegative>, ValueBalanceError>

impl Transaction

pub fn hash(&self) -> Hash

pub fn unmined_id(&self) -> UnminedTxId

pub fn sighash( &self, network_upgrade: NetworkUpgrade, hash_type: HashType, all_previous_outputs: &[Output], input: Option<usize>) -> SigHash

pub fn auth_digest(&self) -> Option<AuthDigest>

pub fn has_transparent_or_shielded_inputs(&self) -> bool

pub fn has_shielded_inputs(&self) -> bool

pub fn has_transparent_or_shielded_outputs(&self) -> bool

pub fn has_shielded_outputs(&self) -> bool

pub fn has_enough_orchard_flags(&self) -> bool

pub fn coinbase_spend_restriction( &self, spend_height: Height) -> CoinbaseSpendRestriction

pub fn is_overwintered(&self) -> bool

pub fn version(&self) -> u32

pub fn lock_time(&self) -> Option<LockTime>

pub fn expiry_height(&self) -> Option<Height>

pub fn expiry_height_mut(&mut self) -> &mut Height

pub fn network_upgrade(&self) -> Option<NetworkUpgrade>

pub fn inputs(&self) -> &[Input]

pub fn inputs_mut(&mut self) -> &mut Vec<Input>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

pub fn spent_outpoints(&self) -> impl Iterator<Item = OutPoint> + '_

pub fn outputs(&self) -> &[Output]

pub fn outputs_mut(&mut self) -> &mut Vec<Output>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where A: Allocator,

pub fn is_coinbase(&self) -> bool

pub fn is_valid_non_coinbase(&self) -> bool

pub fn sprout_groth16_joinsplits( &self) -> Box<dyn Iterator<Item = &JoinSplit<Groth16Proof>> + '_>

pub fn joinsplit_count(&self) -> usize

pub fn sprout_nullifiers(&self) -> Box<dyn Iterator<Item = &Nullifier> + '_>

pub fn sprout_joinsplit_pub_key(&self) -> Option<VerificationKeyBytes>

pub fn has_sprout_joinsplit_data(&self) -> bool

pub fn sprout_note_commitments( &self) -> Box<dyn Iterator<Item = &NoteCommitment> + '_>

pub fn sapling_anchors(&self) -> Box<dyn Iterator<Item = Root> + '_>

pub fn sapling_spends_per_anchor( &self) -> Box<dyn Iterator<Item = Spend<PerSpendAnchor>> + '_>

pub fn sapling_outputs(&self) -> Box<dyn Iterator<Item = &Output> + '_>

pub fn sapling_nullifiers(&self) -> Box<dyn Iterator<Item = &Nullifier> + '_>

pub fn sapling_note_commitments(&self) -> Box<dyn Iterator<Item = &Fq> + '_>

pub fn has_sapling_shielded_data(&self) -> bool

pub fn orchard_shielded_data(&self) -> Option<&ShieldedData>

pub fn orchard_shielded_data_mut(&mut self) -> Option<&mut ShieldedData>

pub fn orchard_actions(&self) -> impl Iterator<Item = &Action>

pub fn orchard_nullifiers(&self) -> impl Iterator<Item = &Nullifier>

pub fn orchard_note_commitments(&self) -> impl Iterator<Item = &Base>

pub fn orchard_flags(&self) -> Option<Flags>

pub fn has_orchard_shielded_data(&self) -> bool

pub fn output_values_mut( &mut self) -> impl Iterator<Item = &mut Amount<NonNegative>>

pub fn output_values_to_sprout( &self) -> Box<dyn Iterator<Item = &Amount<NonNegative>> + '_>

pub fn output_values_to_sprout_mut( &mut self) -> Box<dyn Iterator<Item = &mut Amount<NonNegative>> + '_>

pub fn input_values_from_sprout( &self) -> Box<dyn Iterator<Item = &Amount<NonNegative>> + '_>

pub fn input_values_from_sprout_mut( &mut self) -> Box<dyn Iterator<Item = &mut Amount<NonNegative>> + '_>

pub fn sapling_value_balance(&self) -> ValueBalance<NegativeAllowed>

pub fn sapling_value_balance_mut( &mut self) -> Option<&mut Amount<NegativeAllowed>>

pub fn orchard_value_balance(&self) -> ValueBalance<NegativeAllowed>

pub fn orchard_value_balance_mut( &mut self) -> Option<&mut Amount<NegativeAllowed>>

pub fn value_balance( &self, utxos: &HashMap<OutPoint, Utxo>) -> Result<ValueBalance<NegativeAllowed>, ValueBalanceError>

`V1`

`V2`

`V3`

`V4`

`V5`

pub fn new_v5_coinbase(
network: Network,
height: Height,
outputs: impl IntoIterator<Item = (Amount<NonNegative>, Script)>
) -> Transaction

pub fn vec_strategy(
ledger_state: LedgerState,
len: usize
) -> BoxedStrategy<Vec<Arc<Self>>>

pub fn for_each_value_mut<F>(&mut self, f: F)where
F: FnMut(&mut Amount<NonNegative>),

pub fn for_each_value_balance_mut<F>(&mut self, f: F)where
F: FnMut(&mut Amount<NegativeAllowed>),

pub fn fix_chain_value_pools(
&mut self,
chain_value_pools: ValueBalance<NonNegative>,
outputs: &HashMap<OutPoint, Output>
) -> Result<(Amount<NonNegative>, ValueBalance<NonNegative>), ValueBalanceError>

pub fn fix_remaining_value(
&mut self,
outputs: &HashMap<OutPoint, Output>
) -> Result<Amount<NonNegative>, ValueBalanceError>

pub fn sighash(
&self,
network_upgrade: NetworkUpgrade,
hash_type: HashType,
all_previous_outputs: &[Output],
input: Option<usize>
) -> SigHash

pub fn coinbase_spend_restriction(
&self,
spend_height: Height
) -> CoinbaseSpendRestriction

pub fn inputs_mut(&mut self) -> &mut Vec<Input>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

pub fn outputs_mut(&mut self) -> &mut Vec<Output>ⓘNotable traits for Vec<u8, A>`impl<A> Write for Vec<u8, A>where A: Allocator,`

pub fn sprout_groth16_joinsplits(
&self
) -> Box<dyn Iterator<Item = &JoinSplit<Groth16Proof>> + '_>

pub fn sprout_note_commitments(
&self
) -> Box<dyn Iterator<Item = &NoteCommitment> + '_>

pub fn sapling_spends_per_anchor(
&self
) -> Box<dyn Iterator<Item = Spend<PerSpendAnchor>> + '_>

pub fn output_values_mut(
&mut self
) -> impl Iterator<Item = &mut Amount<NonNegative>>

pub fn output_values_to_sprout(
&self
) -> Box<dyn Iterator<Item = &Amount<NonNegative>> + '_>

pub fn output_values_to_sprout_mut(
&mut self
) -> Box<dyn Iterator<Item = &mut Amount<NonNegative>> + '_>

pub fn input_values_from_sprout(
&self
) -> Box<dyn Iterator<Item = &Amount<NonNegative>> + '_>

pub fn input_values_from_sprout_mut(
&mut self
) -> Box<dyn Iterator<Item = &mut Amount<NonNegative>> + '_>

pub fn sapling_value_balance_mut(
&mut self
) -> Option<&mut Amount<NegativeAllowed>>

pub fn orchard_value_balance_mut(
&mut self
) -> Option<&mut Amount<NegativeAllowed>>

pub fn value_balance(
&self,
utxos: &HashMap<OutPoint, Utxo>
) -> Result<ValueBalance<NegativeAllowed>, ValueBalanceError>

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