Struct VerifyOptions 

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

Options for verifying a Data Integrity proof.

Currently carries the document’s externally-supplied @context (for comparison with the proof’s declared context), an optional allowlist of acceptable cryptosuites, and the tolerance applied to a future created timestamp. 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).

clock_skew: TimeDelta

How far into the verifier’s future a proof’s created may sit before it is rejected as non-conformant. Defaults to DEFAULT_CLOCK_SKEW; set to zero for strict rejection of any future timestamp. Negative values are treated as zero.

Implementations

impl VerifyOptions

pub fn new() -> Self

Constructs a VerifyOptions with no context or cryptosuite restrictions and the default clock-skew allowance. 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.

pub fn with_clock_skew(self, skew: TimeDelta) -> Self

Overrides the tolerance for a created timestamp in the verifier’s future. Pass chrono::TimeDelta::zero to reject any future timestamp outright.

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() -> Self

All checks off except a DEFAULT_CLOCK_SKEW allowance on created — deliberately not #[derive]d, which would mean zero tolerance and make verification skew-sensitive by default.