Struct HolderPath 

pub struct HolderPath<'p, 'a> { /* private fields */ }

One supplied holder PKC path, checked against its explicitly chosen anchor. Protocol proof of possession and PKC revocation remain caller obligations.

Implementations

impl<'p, 'a> HolderPath<'p, 'a>

pub fn certificates(&self) -> &[&Certificate<'a>]

Original leaf-first path; its first element is the holder PKC.

pub fn facts(&self) -> &ValidationFacts<'a>

Actual effective key and independently owned policy facts.

pub fn anchor(&self) -> EffectiveAnchor<'a>

Explicitly selected trust boundary, not a discovered self-signed root.

pub fn interval(&self) -> Interval

Complete interval checked by this original operation.

pub fn validate<V, T, R, W>( certificates: &'p [&'a Certificate<'a>], anchor: EffectiveAnchor<'a>, context: &ValidationContext<'a, '_, V, T, R, W>, ) -> HolderResult<'p, 'a, <V as Verify<W>>::Error, R::Error>

where W: Work, for<'op> V: Verify<W> + Verify<Execution<'op>, Error = <V as Verify<W>>::Error>, T: Watch, R: Recognizer<W>,

Validate a supplied holder path through the same PKIX core as AA paths. The anchor is outside the supplied prospective path. Every provider call receives the original signature ceiling as well as the current Work.

Trait Implementations

impl<'p, 'a> Debug for HolderPath<'p, 'a>

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

Formats the value using the given formatter.