mina_tree::proofs::zkapp

Type Alias LocalStateForWitness

Source 
pub type LocalStateForWitness = LocalStateSkeleton<SparseLedger, StackFrame, WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>, TransactionCommitment, Signed<Amount>, Vec<Vec<TransactionFailure>>, bool, Index>;

Aliased Type§

pub struct LocalStateForWitness {
    pub stack_frame: StackFrame,
    pub call_stack: WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>,
    pub transaction_commitment: TransactionCommitment,
    pub full_transaction_commitment: TransactionCommitment,
    pub excess: Signed<Amount>,
    pub supply_increase: Signed<Amount>,
    pub ledger: SparseLedger,
    pub success: bool,
    pub account_update_index: Index,
    pub failure_status_tbl: Vec<Vec<TransactionFailure>>,
    pub will_succeed: bool,
}

Fields§

§stack_frame: StackFrame§call_stack: WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>§transaction_commitment: TransactionCommitment§full_transaction_commitment: TransactionCommitment§excess: Signed<Amount>§supply_increase: Signed<Amount>§ledger: SparseLedger§success: bool§account_update_index: Index§failure_status_tbl: Vec<Vec<TransactionFailure>>§will_succeed: bool