Struct VerifyOptions 

#[non_exhaustive]
pub struct VerifyOptions {
    pub expected_context: Option<Vec<String>>,
    pub allowed_suites: Vec<CryptoSuite>,
}

Options for verifying a Data Integrity proof.

Currently carries the document’s externally-supplied @context (for comparison with the proof’s declared context) and an optional allowlist of acceptable cryptosuites. More fields will be added as the library grows — #[non_exhaustive] ensures future additions do not break callers.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

expected_context: Option<Vec<String>>

Expected @context of the signed document. When Some, the verifier enforces that the proof’s @context matches.

allowed_suites: Vec<CryptoSuite>

If non-empty, the proof’s cryptosuite must appear in this list. Use to reject proofs produced by suites your policy does not accept (e.g. refuse bbs-2023 in a context that requires full disclosure).

Implementations

impl VerifyOptions

pub fn new() -> Self

Constructs an empty VerifyOptions. Equivalent to VerifyOptions::default.

pub fn with_expected_context(self, ctx: Vec<String>) -> Self

Sets the expected document @context.

pub fn with_allowed_suites(self, suites: Vec<CryptoSuite>) -> Self

Restricts the set of cryptosuites the verifier will accept.

Trait Implementations

impl Clone for VerifyOptions

fn clone(&self) -> VerifyOptions

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifyOptions

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VerifyOptions

fn default() -> VerifyOptions

Returns the “default value” for a type.