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: Fp<MontBackend<FqConfig, 4>, 4>,
    pub full_transaction_commitment: Fp<MontBackend<FqConfig, 4>, 4>,
    pub excess: CheckedSigned<Fp<MontBackend<FqConfig, 4>, 4>, CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>>,
    pub supply_increase: CheckedSigned<Fp<MontBackend<FqConfig, 4>, 4>, CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>>,
    pub ledger: LedgerWithHash,
    pub success: Boolean,
    pub account_update_index: CheckedIndex<Fp<MontBackend<FqConfig, 4>, 4>>,
    pub failure_status_tbl: (),
    pub will_succeed: Boolean,
}

Fields§

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