Skip to main content

Check

mina_tree::proofs::transaction

Trait Check 

Source 
pub trait Check<F: FieldWitness> {
    // Required method
    fn check(&self, w: &mut Witness<F>);
}

Required Methods§

Source

fn check(&self, w: &mut Witness<F>)

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types§

Source§

impl Check<Fp<MontBackend<FrConfig, 4>, 4>> for OpeningProof<Vesta, FULL_ROUNDS>

Source§

fn check(&self, w: &mut Witness<Fq>)

Source§

impl Check<Fp<MontBackend<FrConfig, 4>, 4>> for ProverCommitments<Vesta>

Source§

fn check(&self, w: &mut Witness<Fq>)

Source§

impl<F: FieldWitness, A: Check<F>, B: Check<F>> Check<F> for (A, B)

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness, T: Check<F> + Clone> Check<F> for Cow<'_, T>

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness, T: Check<F>, const N: usize> Check<F> for [T; N]

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness, T: Check<F>> Check<F> for &T

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness, T: Check<F>> Check<F> for Box<[T]>

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness, T: Check<F>> Check<F> for Vec<T>

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for &[AllEvals<F>]

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for Box<Account>

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for CompressedPubKey

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for ConsensusProofOfStakeDataEpochDataNextValueVersionedValueStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for ConsensusProofOfStakeDataEpochDataStakingValueVersionedValueStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for CurrencyAmountStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for Fp

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for Fq

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaBaseFeeExcessStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaBasePendingCoinbaseStackVersionedStableV1

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaNumbersGlobalSlotSinceGenesisMStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaNumbersGlobalSlotSinceHardForkMStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaStateBlockchainStateValueStableV2LedgerProofStatement

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaStateBlockchainStateValueStableV2LedgerProofStatementSource

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for MinaStateBlockchainStateValueStableV2SignedAmount

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for SgnStableV1

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for Signature

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for SignedAmount

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for UnsignedExtendedUInt32StableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for UnsignedExtendedUInt64Int64ForVersionTagsStableV1

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for bool

Source§

fn check(&self, _w: &mut Witness<F>)

Source§

impl<F: FieldWitness> Check<F> for u32

Source§

fn check(&self, w: &mut Witness<F>)

Source§

impl<T, F> Check<Fp<MontBackend<FqConfig, 4>, 4>> for (&OrIgnore<T>, F)
where T: Check<Fp>, F: Fn() -> T,

Source§

fn check(&self, w: &mut Witness<Fp>)

Source§

impl<T, F> Check<Fp<MontBackend<FqConfig, 4>, 4>> for (&SetOrKeep<T>, F)
where T: Check<Fp> + Clone, F: Fn() -> T,

Source§

fn check(&self, w: &mut Witness<Fp>)

Source§

impl<T, F> Check<Fp<MontBackend<FqConfig, 4>, 4>> for (FlaggedOption<&T>, F)
where T: Check<Fp>, F: Fn() -> T,

Source§

fn check(&self, w: &mut Witness<Fp>)

Implementors§

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for AccountPreconditions

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for AccountUnhashed

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for Body

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for mina_tree::scan_state::transaction_logic::zkapp_command::EpochData

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for GlobalSlot

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for LedgerWithHash

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for MayUseToken

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for PerProofWitness

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for Preconditions

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for ProtocolState

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for ProtocolStateBody

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for ShiftedValue<Fq>

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for SnarkTransition

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for mina_tree::scan_state::transaction_logic::zkapp_command::Timing

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for Unfinalized

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for VerificationKey

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for ZkAppAccount

Source§

impl Check<Fp<MontBackend<FqConfig, 4>, 4>> for ZkAppPreconditions

Source§

impl Check<Fp<MontBackend<FrConfig, 4>, 4>> for ShiftedValue<Fp>

Source§

impl Check<Fp<MontBackend<FrConfig, 4>, 4>> for WrapStatement

Source§

impl<F: FieldWitness, T: Check<F>> Check<F> for MyCow<'_, T>

Source§

impl<F: FieldWitness, T: Magnitude + Check<F>> Check<F> for Signed<T>

Source§

impl<F: FieldWitness, T> Check<F> for Statement<T>

Source§

impl<F: FieldWitness, const N: usize> Check<F> for Address<N>

Source§

impl<F: FieldWitness> Check<F> for Amount

Source§

impl<F: FieldWitness> Check<F> for Balance

Source§

impl<F: FieldWitness> Check<F> for BlockTime

Source§

impl<F: FieldWitness> Check<F> for BlockTimeSpan

Source§

impl<F: FieldWitness> Check<F> for BlockchainState

Source§

impl<F: FieldWitness> Check<F> for Boolean

Source§

impl<F: FieldWitness> Check<F> for CheckedAmount<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedBalance<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedBlockTime<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedBlockTimeSpan<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedFee<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedIndex<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedLength<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedN32<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedN<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedNonce<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedSlot<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedSlotSpan<F>

Source§

impl<F: FieldWitness> Check<F> for CheckedTxnVersion<F>

Source§

impl<F: FieldWitness> Check<F> for CircuitVar<Boolean>

Source§

impl<F: FieldWitness> Check<F> for Epoch

Source§

impl<F: FieldWitness> Check<F> for mina_tree::scan_state::transaction_logic::protocol_state::EpochData<Fp>

Source§

impl<F: FieldWitness> Check<F> for Failure

Source§

impl<F: FieldWitness> Check<F> for Fee

Source§

impl<F: FieldWitness> Check<F> for FeeExcess

Source§

impl<F: FieldWitness> Check<F> for GroupAffine<F>

Source§

impl<F: FieldWitness> Check<F> for Index

Source§

impl<F: FieldWitness> Check<F> for InnerCurve<F>

Source§

impl<F: FieldWitness> Check<F> for Length

Source§

impl<F: FieldWitness> Check<F> for MerklePath

Source§

impl<F: FieldWitness> Check<F> for N

Source§

impl<F: FieldWitness> Check<F> for Nonce

Source§

impl<F: FieldWitness> Check<F> for Permissions<AuthRequired>

Source§

impl<F: FieldWitness> Check<F> for PlonkVerificationKeyEvals<F>

Source§

impl<F: FieldWitness> Check<F> for ReceiptChainHash

Source§

impl<F: FieldWitness> Check<F> for Registers

Source§

impl<F: FieldWitness> Check<F> for Sgn

Source§

impl<F: FieldWitness> Check<F> for ShiftedValue<F>

Source§

impl<F: FieldWitness> Check<F> for Slot

Source§

impl<F: FieldWitness> Check<F> for SlotSpan

Source§

impl<F: FieldWitness> Check<F> for Stack

Source§

impl<F: FieldWitness> Check<F> for StateStack

Source§

impl<F: FieldWitness> Check<F> for Tag

Source§

impl<F: FieldWitness> Check<F> for mina_tree::account::Timing

Source§

impl<F: FieldWitness> Check<F> for TokenId

Source§

impl<F: FieldWitness> Check<F> for TokenSymbol

Source§

impl<F: FieldWitness> Check<F> for TransactionUnion

Source§

impl<F: FieldWitness> Check<F> for TxnVersion

Source§

impl<T> Check<Fp<MontBackend<FqConfig, 4>, 4>> for ClosedInterval<T>
where T: Check<Fp>,