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. Unlike decoding errors, their field paths are not generated: cross-field checks need not correspond to a single wire field. Types that require external context can implement VerifyWith instead.

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".

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