Struct snarkvm_dpc::base_dpc::transaction::DPCTransaction

pub struct DPCTransaction<C: BaseDPCComponents> {
    pub network: Network,
    pub ledger_digest: MerkleTreeDigest<C::MerkleParameters>,
    pub old_serial_numbers: Vec<<C::AccountSignature as SignatureScheme>::PublicKey>,
    pub new_commitments: Vec<<C::RecordCommitment as CommitmentScheme>::Output>,
    pub program_commitment: <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output,
    pub local_data_root: <C::LocalDataCRH as CRH>::Output,
    pub value_balance: AleoAmount,
    pub signatures: Vec<<C::AccountSignature as SignatureScheme>::Output>,
    pub encrypted_records: Vec<EncryptedRecord<C>>,
    pub transaction_proof: <C::OuterSNARK as SNARK>::Proof,
    pub memorandum: [u8; 32],
    pub inner_circuit_id: <C::InnerSNARKVerificationKeyCRH as CRH>::Output,
}

Fields

network: Network

The network this transaction is included in

ledger_digest: MerkleTreeDigest<C::MerkleParameters>

The root of the ledger commitment Merkle tree

old_serial_numbers: Vec<<C::AccountSignature as SignatureScheme>::PublicKey>

The serial numbers of the records being spend

new_commitments: Vec<<C::RecordCommitment as CommitmentScheme>::Output>

The commitment of the new records

program_commitment: <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output

The commitment to the old record death and new record birth programs

local_data_root: <C::LocalDataCRH as CRH>::Output

The root of the local data merkle tree

value_balance: AleoAmount

A transaction value balance is the difference between input and output record balances. This value effectively becomes the transaction fee for the miner. Only coinbase transactions can have a negative value balance representing tokens being minted.

signatures: Vec<<C::AccountSignature as SignatureScheme>::Output>

Randomized signatures that allow for authorized delegation of transaction generation

encrypted_records: Vec<EncryptedRecord<C>>

Encrypted record and selector bits of the new records generated by the transaction

transaction_proof: <C::OuterSNARK as SNARK>::Proof

Zero-knowledge proof attesting to the valididty of the transaction

memorandum: [u8; 32]

Public data associated with the transaction that must be unique among all transactions

inner_circuit_id: <C::InnerSNARKVerificationKeyCRH as CRH>::Output

The ID of the inner SNARK being used

Implementations

impl<C: BaseDPCComponents> DPCTransaction<C>

pub fn new(
    old_serial_numbers: Vec<Self::SerialNumber>,
    new_commitments: Vec<Self::Commitment>,
    memorandum: Self::Memorandum,
    ledger_digest: MerkleTreeDigest<C::MerkleParameters>,
    inner_circuit_id: <C::InnerSNARKVerificationKeyCRH as CRH>::Output,
    transaction_proof: <C::OuterSNARK as SNARK>::Proof,
    program_commitment: <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output,
    local_data_root: <C::LocalDataCRH as CRH>::Output,
    value_balance: AleoAmount,
    network: Network,
    signatures: Vec<<C::AccountSignature as SignatureScheme>::Output>,
    encrypted_records: Vec<EncryptedRecord<C>>
) -> Self

Trait Implementations

impl<C: BaseDPCComponents> Clone for DPCTransaction<C> where
    C: BaseDPCComponents, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: BaseDPCComponents> Debug for DPCTransaction<C>

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

Formats the value using the given formatter.

impl<C: BaseDPCComponents> Eq for DPCTransaction<C> where
    C: BaseDPCComponents, 

impl<C: BaseDPCComponents> FromBytes for DPCTransaction<C>

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

Reads Self from reader.

impl<C: BaseDPCComponents> PartialEq<DPCTransaction<C>> for DPCTransaction<C> where
    C: BaseDPCComponents, 

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]pub fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<C: BaseDPCComponents> ToBytes for DPCTransaction<C>

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

Serializes self into writer.

impl<C: BaseDPCComponents> Transaction for DPCTransaction<C>

type Commitment = <C::RecordCommitment as CommitmentScheme>::Output

type Digest = MerkleTreeDigest<C::MerkleParameters>

type EncryptedRecord = EncryptedRecord<C>

type InnerSNARKID = <C::InnerSNARKVerificationKeyCRH as CRH>::Output

type LocalDataRoot = <C::LocalDataCRH as CRH>::Output

type Memorandum = [u8; 32]

type ProgramCommitment = <C::ProgramVerificationKeyCommitment as CommitmentScheme>::Output

type SerialNumber = <C::AccountSignature as SignatureScheme>::PublicKey

type ValueBalance = AleoAmount

fn transaction_id(&self) -> Result<[u8; 32], TransactionError>

Transaction id = Hash of (serial numbers || commitments || memo)

fn network_id(&self) -> u8

Returns the network_id in the transaction.

fn ledger_digest(&self) -> &Self::Digest

Returns the ledger digest.

fn inner_circuit_id(&self) -> &Self::InnerSNARKID

Returns the inner snark id.

fn old_serial_numbers(&self) -> &[Self::SerialNumber]

Returns the old serial numbers.

fn new_commitments(&self) -> &[Self::Commitment]

Returns the new commitments.

fn program_commitment(&self) -> &Self::ProgramCommitment

Returns the program commitment in the transaction.

fn local_data_root(&self) -> &Self::LocalDataRoot

Returns the local data root in the transaction.

fn value_balance(&self) -> Self::ValueBalance

Returns the value balance in the transaction.

fn encrypted_records(&self) -> &[Self::EncryptedRecord]

Returns the encrypted records

fn memorandum(&self) -> &Self::Memorandum

Returns the memorandum.

fn size(&self) -> usize

Returns the transaction size in bytes.