#[non_exhaustive]pub enum OcsProof {
Inclusion(OcsInclusionProof),
NonInclusion(OcsNonInclusionProof),
}Available on crate feature
unstable only.Expand description
An OCS proof — either an inclusion proof or a non-inclusion proof.
The two variants have different verification inputs: inclusion
authenticates a specific ObjectReference, while non-inclusion
authenticates an Address (object id). Callers that need to
dispatch on the variant should match on it directly.
Variants (Non-exhaustive)§
This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
Inclusion(OcsInclusionProof)
NonInclusion(OcsNonInclusionProof)
Trait Implementations§
impl Eq for OcsProof
impl StructuralPartialEq for OcsProof
Auto Trait Implementations§
impl Freeze for OcsProof
impl RefUnwindSafe for OcsProof
impl Send for OcsProof
impl Sync for OcsProof
impl Unpin for OcsProof
impl UnsafeUnpin for OcsProof
impl UnwindSafe for OcsProof
Blanket Implementations§
§impl<U> As for U
impl<U> As for U
§fn as_<T>(self) -> Twhere
T: CastFrom<U>,
fn as_<T>(self) -> Twhere
T: CastFrom<U>,
Casts
self to type T. The semantics of numeric casting with the as operator are followed, so <T as As>::as_::<U> can be used in the same way as T as U for numeric conversions. Read moreSource§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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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>
Converts
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>
Converts
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