Enum DisclosableEntry
pub enum DisclosableEntry<T> {
Disclosed(T),
Reference {
hash: String,
},
}Expand description
An entry inside an allowed or line_items constraint.
In Autonomous mode the specification makes these entries individually
disclosable: each is its own SD-JWT disclosure, referenced from the
constraint object by hash. An agent presents only the entries a given
verifier needs, so the remainder arrive as {"...": "<hash>"}.
Both forms have to survive parsing. A reference is not an error, and it is not a value either — it is an entry this presentation deliberately withheld, and a verifier that cannot tell the two apart cannot reason about either. Nothing here resolves a reference; resolution needs the presentation’s disclosure set, which lives above this layer.
Variants§
Disclosed(T)
The entry’s value, disclosed in this presentation.
Reference
An entry withheld from this presentation, kept as its disclosure hash.
Implementations§
Trait Implementations§
Source§impl<T: Clone> Clone for DisclosableEntry<T>
impl<T: Clone> Clone for DisclosableEntry<T>
Source§fn clone(&self) -> DisclosableEntry<T>
fn clone(&self) -> DisclosableEntry<T>
1.0.0 (const: unstable) · §fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl<T: Debug> Debug for DisclosableEntry<T>
impl<T: Debug> Debug for DisclosableEntry<T>
Source§impl<'de, T: Deserialize<'de>> Deserialize<'de> for DisclosableEntry<T>
impl<'de, T: Deserialize<'de>> Deserialize<'de> for DisclosableEntry<T>
Source§fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>
fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>
impl<T: Eq> Eq for DisclosableEntry<T>
Source§impl<T: PartialEq> PartialEq for DisclosableEntry<T>
impl<T: PartialEq> PartialEq for DisclosableEntry<T>
Source§fn eq(&self, other: &DisclosableEntry<T>) -> bool
fn eq(&self, other: &DisclosableEntry<T>) -> bool
self and other values to be equal, and is used by ==.Source§impl<T: Serialize> Serialize for DisclosableEntry<T>
impl<T: Serialize> Serialize for DisclosableEntry<T>
impl<T: PartialEq> StructuralPartialEq for DisclosableEntry<T>
Auto Trait Implementations§
impl<T> Freeze for DisclosableEntry<T>where
T: Freeze,
impl<T> RefUnwindSafe for DisclosableEntry<T>where
T: RefUnwindSafe,
impl<T> Send for DisclosableEntry<T>where
T: Send,
impl<T> Sync for DisclosableEntry<T>where
T: Sync,
impl<T> Unpin for DisclosableEntry<T>where
T: Unpin,
impl<T> UnsafeUnpin for DisclosableEntry<T>where
T: UnsafeUnpin,
impl<T> UnwindSafe for DisclosableEntry<T>where
T: UnwindSafe,
Blanket Implementations§
§impl<T> AnyEq for T
impl<T> AnyEq for T
§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more