pub struct BBSPresentation { /* private fields */ }
Expand description
A BBSPresentation is a proof of knowledge of the VerifiedCredential. It contains a proof that the presentation has been signed by the Issuer, and can be verified by the certificate of the Issuer.
Implementations§
Source§impl BBSPresentation
impl BBSPresentation
Sourcepub fn assert_closed(&self)
pub fn assert_closed(&self)
Make sure the BBSPresentation is closed - a better version would use the
*Protocol
and *Proof
like in the rest of docknetwork/crypto library.
Sourcepub fn verify(
&self,
setup: PublicSetup,
issuer_certificate: PublicKeyG2<Bls12_381>,
verifier_message: &BlsFr,
) -> Result<(), BBSPlusError>
pub fn verify( &self, setup: PublicSetup, issuer_certificate: PublicKeyG2<Bls12_381>, verifier_message: &BlsFr, ) -> Result<(), BBSPlusError>
Verify that:
- the signature can be verified by the certificate
- the signature matches the messages
- the message_strings match the messages
- the BBS signature matches the commitment_pub
Sourcepub fn message_string(&self, idx: usize) -> Option<String>
pub fn message_string(&self, idx: usize) -> Option<String>
Returns the optional message_string at position idx
.
If Verify
has not been called, this is not reliable!
Trait Implementations§
Source§impl CanonicalSerialize for BBSPresentation
impl CanonicalSerialize for BBSPresentation
Source§fn serialize_with_mode<W: Write>(
&self,
writer: W,
compress: Compress,
) -> Result<(), SerializationError>
fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>
The general serialize method that takes in customization flags.
fn serialized_size(&self, compress: Compress) -> usize
fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn compressed_size(&self) -> usize
fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn uncompressed_size(&self) -> usize
Source§impl Clone for BBSPresentation
impl Clone for BBSPresentation
Source§fn clone(&self) -> BBSPresentation
fn clone(&self) -> BBSPresentation
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl Debug for BBSPresentation
impl Debug for BBSPresentation
Source§impl Display for BBSPresentation
impl Display for BBSPresentation
Auto Trait Implementations§
impl Freeze for BBSPresentation
impl RefUnwindSafe for BBSPresentation
impl Send for BBSPresentation
impl Sync for BBSPresentation
impl Unpin for BBSPresentation
impl UnwindSafe for BBSPresentation
Blanket Implementations§
§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
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
Mutably borrows from an owned value. Read more
§impl<T> CanonicalSerializeHashExt for Twhere
T: CanonicalSerialize,
impl<T> CanonicalSerializeHashExt for Twhere
T: CanonicalSerialize,
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§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>
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§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>
Returns the layout of the type.
§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2where
T: SharedNiching<N1, N2>,
N1: Niching<T>,
N2: Niching<T>,
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2where
T: SharedNiching<N1, N2>,
N1: Niching<T>,
N2: Niching<T>,
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> Pointee for T
impl<T> Pointee for T
§impl<T> Upcastable for T
impl<T> Upcastable for T
§fn upcast_any_ref(&self) -> &(dyn Any + 'static)
fn upcast_any_ref(&self) -> &(dyn Any + 'static)
upcast ref
§fn upcast_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn upcast_any_mut(&mut self) -> &mut (dyn Any + 'static)
upcast mut ref
§fn upcast_any_box(self: Box<T>) -> Box<dyn Any>
fn upcast_any_box(self: Box<T>) -> Box<dyn Any>
upcast boxed dyn