[][src]Struct solana_libra_types::transaction::SignedTransactionWithProof

pub struct SignedTransactionWithProof {
    pub version: Version,
    pub signed_transaction: SignedTransaction,
    pub events: Option<Vec<ContractEvent>>,
    pub proof: SignedTransactionProof,
}

Fields

version: Versionsigned_transaction: SignedTransactionevents: Option<Vec<ContractEvent>>proof: SignedTransactionProof

Methods

impl SignedTransactionWithProof[src]

pub fn verify(
    &self,
    ledger_info: &LedgerInfo,
    version: Version,
    sender: AccountAddress,
    sequence_number: u64
) -> Result<()>
[src]

Verifies the signed transaction with the proof, both carried by self.

Two things are ensured if no error is raised:

  1. This signed transaction exists in the ledger represented by ledger_info.
  2. And this signed transaction has the same version, sender, and sequence_number as indicated by the parameter list. If any of these parameter is unknown to the call site that is supposed to be informed via this struct, get it from the struct itself, such as: signed_txn_with_proof.version, signed_txn_with_proof.signed_transaction.sender(), etc.

Trait Implementations

impl Clone for SignedTransactionWithProof[src]

impl Debug for SignedTransactionWithProof[src]

impl Eq for SignedTransactionWithProof[src]

impl From<SignedTransactionWithProof> for SignedTransactionWithProof[src]

impl PartialEq<SignedTransactionWithProof> for SignedTransactionWithProof[src]

impl StructuralEq for SignedTransactionWithProof[src]

impl StructuralPartialEq for SignedTransactionWithProof[src]

impl TryFrom<SignedTransactionWithProof> for SignedTransactionWithProof[src]

type Error = Error

The type returned in the event of a conversion error.

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> SendSyncUnwindSafe for T where
    T: Send + Sync + UnwindSafe + ?Sized

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,