mina_tree::proofs::zkapp

Type Alias LocalStateForProof

Source 
pub type LocalStateForProof = LocalStateSkeleton<LedgerWithHash, StackFrameChecked, WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>, Fp, CheckedSigned<Fp, CheckedAmount<Fp>>, (), Boolean, CheckedIndex<Fp>>;

Aliased Type§

pub struct LocalStateForProof {
    pub stack_frame: WithLazyHash<StackFrameCheckedFrame>,
    pub call_stack: WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>,
    pub transaction_commitment: Fp256<FpParameters>,
    pub full_transaction_commitment: Fp256<FpParameters>,
    pub excess: CheckedSigned<Fp256<FpParameters>, CheckedAmount<Fp256<FpParameters>>>,
    pub supply_increase: CheckedSigned<Fp256<FpParameters>, CheckedAmount<Fp256<FpParameters>>>,
    pub ledger: LedgerWithHash,
    pub success: Boolean,
    pub account_update_index: CheckedIndex<Fp256<FpParameters>>,
    pub failure_status_tbl: (),
    pub will_succeed: Boolean,
}

Fields§

§stack_frame: WithLazyHash<StackFrameCheckedFrame>§call_stack: WithHash<Vec<WithStackHash<WithHash<StackFrame>>>>§transaction_commitment: Fp256<FpParameters>§full_transaction_commitment: Fp256<FpParameters>§excess: CheckedSigned<Fp256<FpParameters>, CheckedAmount<Fp256<FpParameters>>>§supply_increase: CheckedSigned<Fp256<FpParameters>, CheckedAmount<Fp256<FpParameters>>>§ledger: LedgerWithHash§success: Boolean§account_update_index: CheckedIndex<Fp256<FpParameters>>§failure_status_tbl: ()§will_succeed: Boolean