Struct StateTransitionProofOutcome 

pub struct StateTransitionProofOutcome { /* private fields */ }

A verified state-transition proof: the result, the guarantee the proof establishes for it, and, when the proof carries it, the credit balance of the identity that owns the transition after it executed.

Some transition families (balance top-ups, credit transfers and withdrawals, address funds movements, shields, no-history token operations) produce proofs whose values cannot be bound to the execution of one specific transition: the proof only authenticates the affected keys’ state at the committed block. The guarantee makes that distinction part of the type so a snapshot cannot be mistaken for execution evidence.

From protocol version 14 the proof of an owned, fee-paying transition (document and token batches, contract creates and updates, identity updates and key limit updates, contract moderation) also carries the owner’s credit balance, read from the same state as the result. It is a snapshot at the proof’s block whatever the guarantee, and None for a proof made at an earlier version or for a transition without an owner.

Implementations

impl StateTransitionProofOutcome

pub fn execution_proved(result: StateTransitionProofResult) -> Self

An outcome whose proof binds the execution of the transition.

pub fn affected_state(result: StateTransitionProofResult) -> Self

An outcome whose proof only authenticates the affected state.

pub fn with_owner_balance(self, owner_balance: Option<Credits>) -> Self

The same outcome carrying the owner’s credit balance the proof showed.

pub fn guarantee(&self) -> StateTransitionProofGuarantee

The guarantee the proof establishes.

pub fn is_execution_proved(&self) -> bool

Whether the proof established that this specific transition executed.

pub fn result(&self) -> &StateTransitionProofResult

The verified result, regardless of the guarantee.

pub fn into_result(self) -> StateTransitionProofResult

Consume the outcome, discarding the guarantee and the balance.

pub fn owner_balance(&self) -> Option<Credits>

The credit balance of the transition’s owner after it executed, when the proof carried it: a snapshot at the proof’s block.

pub fn into_parts( self, ) -> (StateTransitionProofGuarantee, StateTransitionProofResult, Option<Credits>)

Consume the outcome into its guarantee, result and owner balance.

Trait Implementations

impl Debug for StateTransitionProofOutcome

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StateTransitionProofOutcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for StateTransitionProofOutcome

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for StateTransitionProofOutcome

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for StateTransitionProofOutcome