Type Alias GlobalStateForProof 

pub type GlobalStateForProof = GlobalStateSkeleton<LedgerWithHash, CheckedSigned<Fp, CheckedAmount<Fp>>, CheckedSlot<Fp>>;

Aliased Type

pub struct GlobalStateForProof {
    pub first_pass_ledger: LedgerWithHash,
    pub second_pass_ledger: LedgerWithHash,
    pub fee_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 protocol_state: ProtocolStateView,
    pub block_global_slot: CheckedSlot<Fp<MontBackend<FqConfig, 4>, 4>>,
}

Fields

first_pass_ledger: LedgerWithHash

second_pass_ledger: LedgerWithHash

fee_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>>>

protocol_state: ProtocolStateView

block_global_slot: CheckedSlot<Fp<MontBackend<FqConfig, 4>, 4>>

Slot of block when the transaction is applied. NOTE: This is at least 1 slot after the protocol_state’s view, which is for the previous slot.

Trait Implementations

impl GlobalStateInterface for GlobalStateForProof

type Ledger = LedgerWithHash

type W = Witness<Fp<MontBackend<FqConfig, 4>, 4>>

type Bool = CircuitVar<Boolean>

type SignedAmount = CheckedSigned<Fp<MontBackend<FqConfig, 4>, 4>, CheckedAmount<Fp<MontBackend<FqConfig, 4>, 4>>>

type GlobalSlotSinceGenesis = CheckedSlot<Fp<MontBackend<FqConfig, 4>, 4>>

fn first_pass_ledger(&self) -> Self::Ledger

fn set_first_pass_ledger( &mut self, should_update: Self::Bool, ledger: &Self::Ledger, w: &mut Self::W, )

fn second_pass_ledger(&self) -> Self::Ledger

fn set_second_pass_ledger( &mut self, should_update: Self::Bool, ledger: &Self::Ledger, w: &mut Self::W, )

fn fee_excess(&self) -> Self::SignedAmount

fn supply_increase(&self) -> Self::SignedAmount

fn set_fee_excess(&mut self, fee_excess: Self::SignedAmount)

fn set_supply_increase(&mut self, supply_increase: Self::SignedAmount)

fn block_global_slot(&self) -> Self::GlobalSlotSinceGenesis