Trait Verify 

pub trait Verify: Sized {
    type Verified;
    type Error: Error + Send + Sync + 'static;

    // Required method
    fn verify(self) -> Result<Self::Verified, Self::Error>;
}

Checks domain invariants and constructs the verified type using ordinary Rust.

Verification errors belong to the domain. Cross-field checks need not correspond to a single wire field. Types that require external context can implement VerifyWith instead. Boxes delegate to the contained verifier, preserving its error type and boxing the output. Generated decoded records retain collections in crate::OptionalField, crate::RepeatedField, or crate::MapField. Calling verify() on these fields verifies their elements with the generated field name and index or key context. These helpers return ConversionError, preserving the original source, and stop at the first error. For element verifiers whose error is core::convert::Infallible, the wrappers also provide verify_infallible(), returning the verified collection directly. Collection-wide invariants remain the responsibility of the containing verifier. Use the wrappers’ map() or try_map() methods for explicit element conversions; try_map() retains field, index, and key context. Use into_inner() for custom collection-wide processing.

Required Associated Types

type Verified

type Error: Error + Send + Sync + 'static

Required Methods

fn verify(self) -> Result<Self::Verified, Self::Error>

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<S> Verify for Box<S>

where S: Verify,

type Verified = Box<<S as Verify>::Verified>

type Error = <S as Verify>::Error

fn verify( self, ) -> Result<<Box<S> as Verify>::Verified, <Box<S> as Verify>::Error>

Implementors

impl Verify for AccountCode

type Verified = AccountCode

type Error = VerificationError

impl Verify for AccountHeader

type Verified = AccountHeader

type Error = VerificationError

impl Verify for AccountId

type Verified = AccountId

type Error = AccountIdError

impl Verify for AccountIdV1

type Verified = AccountIdV1

type Error = AccountIdError

impl Verify for AccountPatch

type Verified = AccountPatch

type Error = VerificationError

impl Verify for AccountStorageHeader

type Verified = AccountStorageHeader

type Error = VerificationError

impl Verify for AccountStorageHeaderStorageSlot

type Verified = StorageSlotHeader

type Error = StorageSlotNameError

impl Verify for AccountStoragePatch

type Verified = AccountStoragePatch

type Error = VerificationError

impl Verify for AccountUpdateDetails

type Verified = AccountUpdateDetails

type Error = VerificationError

impl Verify for AccountVaultPatch

type Verified = AccountVaultPatch

type Error = VerificationError

impl Verify for AccountVaultPatchEntry

type Verified = (AssetId, Word)

type Error = AssetError

impl Verify for AccountWitness

type Verified = AccountWitness

type Error = VerificationError

impl Verify for AdviceInputs

type Verified = AdviceInputs

type Error = AdviceError

impl Verify for AdviceMap

type Verified = AdviceMap

type Error = AdviceError

impl Verify for AdviceMapEntry

type Verified = (Word, Vec<Felt>)

type Error = !

impl Verify for AdviceStack

type Verified = AdviceStack

type Error = !

impl Verify for Asset

type Verified = Asset

type Error = VerificationError

impl Verify for AssetClass

type Verified = AssetClass

type Error = !

impl Verify for AssetId

type Verified = AssetId

type Error = VerificationError

impl Verify for AuthenticatedInputNote

Checks proof/note identity, not inclusion against a trusted block root.

type Verified = InputNote

type Error = VerificationError

impl Verify for BatchAccountUpdate

type Verified = BatchAccountUpdate

type Error = VerificationError

impl Verify for BlockAccountUpdate

type Verified = BlockAccountUpdate

type Error = VerificationError

impl Verify for BlockNumber

type Verified = BlockNumber

type Error = !

impl Verify for FeeParameters

type Verified = FeeParameters

type Error = !

impl Verify for ForeignAccountSlotName

type Verified = (StorageSlotId, StorageSlotName)

type Error = VerificationError

impl Verify for IndexedDigest

type Verified = (u64, Word)

type Error = !

impl Verify for IndexedOutputNote

type Verified = (usize, OutputNote)

type Error = VerificationError

impl Verify for IndexedSmtLeaf

type Verified = (u64, SmtLeaf)

type Error = SmtLeafError

impl Verify for InputNote

type Verified = InputNote

type Error = VerificationError

impl Verify for InputNotes

type Verified = InputNotes<InputNote>

type Error = VerificationError

impl Verify for KernelConfig

type Verified = KernelConfig

type Error = ProtocolConfigError

impl Verify for MastForest

type Verified = MastForest

type Error = MastForestError

impl Verify for MerklePath

type Verified = MerklePath

type Error = !

impl Verify for MerkleStore

type Verified = MerkleStore

type Error = AdviceError

impl Verify for MerkleStoreNode

type Verified = InnerNodeInfo

type Error = !

impl Verify for MmrDelta

type Verified = MmrDelta

type Error = VerificationError

impl Verify for NextProtocolConfig

type Verified = NextProtocolConfig

type Error = ProtocolConfigError

impl Verify for Note

type Verified = Note

type Error = VerificationError

impl Verify for NoteArgument

type Verified = (NoteId, Word)

type Error = !

impl Verify for NoteAttachment

type Verified = NoteAttachment

type Error = VerificationError

impl Verify for NoteAttachments

type Verified = NoteAttachments

type Error = VerificationError

impl Verify for NoteDetails

type Verified = NoteDetails

type Error = VerificationError

impl Verify for NoteHeader

type Verified = NoteHeader

type Error = VerificationError

impl Verify for NoteId

type Verified = NoteId

type Error = !

impl Verify for NoteInclusionProof

type Verified = (NoteId, NoteInclusionProof)

type Error = VerificationError

impl Verify for NoteMetadata

type Verified = NoteMetadata

type Error = VerificationError

impl Verify for NoteRecipient

type Verified = NoteRecipient

type Error = VerificationError

impl Verify for NoteScript

type Verified = NoteScript

type Error = VerificationError

impl Verify for NoteStorage

type Verified = NoteStorage

type Error = NoteError

impl Verify for OutputNote

type Verified = OutputNote

type Error = VerificationError

impl Verify for OutputNoteBatch

type Verified = Vec<(usize, OutputNote)>

type Error = VerificationError

impl Verify for PartialAccount

type Verified = PartialAccount

type Error = VerificationError

impl Verify for PartialNote

type Verified = PartialNote

type Error = VerificationError

impl Verify for PartialNoteMetadata

type Verified = PartialNoteMetadata

type Error = VerificationError

impl Verify for PartialSmt

type Verified = PartialSmt

type Error = VerificationError

impl Verify for PartialSmtNode

type Verified = (u64, Word)

type Error = !

impl Verify for PartialSmtNodeLevel

type Verified = (u32, Vec<(u64, Word)>)

type Error = !

impl Verify for PartialStorage

type Verified = PartialStorage

type Error = VerificationError

impl Verify for PartialStorageMap

type Verified = PartialStorageMap

type Error = VerificationError

impl Verify for PartialVault

type Verified = PartialVault

type Error = VerificationError

impl Verify for PrivateAccountUpdate

type Verified = AccountUpdateDetails

type Error = !

impl Verify for PrivateOutputNote

type Verified = PrivateOutputNote

type Error = VerificationError

impl Verify for ProofSecurityPolicy

type Verified = ProofSecurityPolicy

type Error = VerificationError

impl Verify for ProofVerificationConfig

type Verified = ProofVerificationConfig

type Error = VerificationError

impl Verify for ProtocolConfig

type Verified = ProtocolConfig

type Error = VerificationError

impl Verify for PublicKey

Returns the canonical public key; ownership and authorization are not established here.

type Verified = PublicKey

type Error = !

impl Verify for PublicOutputNote

type Verified = PublicOutputNote

type Error = VerificationError

impl Verify for RawOutputNote

type Verified = RawOutputNote

type Error = VerificationError

impl Verify for RawOutputNotes

type Verified = OutputNoteCollection<RawOutputNote>

type Error = VerificationError

impl Verify for Signature

Returns the canonical signature; authenticity requires a public key and signed message.

type Verified = Signature

type Error = !

impl Verify for SmtLeaf

type Verified = SmtLeaf

type Error = SmtLeafError

impl Verify for SmtLeafEntry

type Verified = (Word, Word)

type Error = !

impl Verify for SmtLeafEntryList

type Verified = Vec<(Word, Word)>

type Error = !

impl Verify for SmtOpening

type Verified = SmtProof

type Error = VerificationError

impl Verify for SparseMerklePath

type Verified = SparseMerklePath

type Error = MerkleError

impl Verify for StorageMapEntry

type Verified = (StorageMapKey, Word)

type Error = !

impl Verify for StorageMapPatch

type Verified = StorageMapPatch

type Error = StorageMapPatchError

impl Verify for StorageMapPatchEntries

type Verified = StorageMapPatchEntries

type Error = StorageMapPatchError

impl Verify for StorageSlotId

type Verified = StorageSlotId

type Error = !

impl Verify for StorageSlotPatch

type Verified = (StorageSlotName, StorageSlotPatch)

type Error = VerificationError

impl Verify for StorageValuePatch

type Verified = StorageValuePatch

type Error = !

impl Verify for TrackedMmrLeaf

type Verified = (u64, Word, Vec<Word>)

type Error = !

impl Verify for TransactionArgs

type Verified = TransactionArgs

type Error = VerificationError

impl Verify for TransactionEffects

Dispatches the decoded version.

type Verified = TransactionEffects

type Error = VerificationError

impl Verify for TransactionEffectsV1

Verifies the effects. The account patch, the input notes and the output notes are each verified, and both note collections are checked for duplicates and length limits.

The reference block commitment is not checked against the reference block number, the account patch is not checked to belong to the account the transaction ran against, and input notes are not authenticated.

type Verified = TransactionEffects

type Error = VerificationError

impl Verify for TransactionId

type Verified = TransactionId

type Error = !

impl Verify for TransactionScript

type Verified = TransactionScript

type Error = VerificationError

impl Verify for TxAccountUpdate

type Verified = TxAccountUpdate

type Error = VerificationError

impl Verify for ValidatorConfig

type Verified = ValidatorConfig

type Error = VerificationError

impl<K, S> Verify for MapField<BTreeMap<K, S>>

where K: Ord + Debug, S: Verify,

type Verified = BTreeMap<K, <S as Verify>::Verified>

type Error = ConversionError

impl<K, S> Verify for MapField<HashMap<K, S>>

where K: Eq + Hash + Debug, S: Verify,

Available on crate feature std only.

type Verified = HashMap<K, <S as Verify>::Verified>

type Error = ConversionError

impl<S> Verify for OptionalField<S>

where S: Verify,

type Verified = Option<<S as Verify>::Verified>

type Error = ConversionError

impl<S> Verify for RepeatedField<S>

where S: Verify,

type Verified = Vec<<S as Verify>::Verified>

type Error = ConversionError