pub struct ECDSAProof { /* private fields */ }
Expand description
An ECDSAProof links the ECDSA signature from the SecureElement to the BBSPresentation::close messages in zero-knowledge. The commitments are randomized representations of the holder’s public key. The proofs link these commitments to the message to be signed, and between each other.
Implementations§
Source§impl ECDSAProof
impl ECDSAProof
Sourcepub fn new(
setup: PublicSetup,
holder_pub: SecP256Affine,
vc: VerifiedCredential,
bbs_presentation: BBSPresentation,
ecdsa_signature: Signature,
verifier_message: VerifierMessage,
) -> Self
pub fn new( setup: PublicSetup, holder_pub: SecP256Affine, vc: VerifiedCredential, bbs_presentation: BBSPresentation, ecdsa_signature: Signature, verifier_message: VerifierMessage, ) -> Self
Create a new proof that the public key stored in a commitment can be used to verify a signature. This follows the excellent work done by Lovesh in docknetwork/crypto.
Sourcepub fn verify(
&self,
setup: PublicSetup,
message: SecP256Fr,
presentation: &BBSPresentation,
issuer_pub: &PublicKeyG2<Bls12_381>,
)
pub fn verify( &self, setup: PublicSetup, message: SecP256Fr, presentation: &BBSPresentation, issuer_pub: &PublicKeyG2<Bls12_381>, )
Verifies that the commitments to the signature and the public key of the holder
verify the message
from the verifier. The BBSPresentation is used for the commitments
to the holder’s public key.
Trait Implementations§
Source§impl Clone for ECDSAProof
impl Clone for ECDSAProof
Source§fn clone(&self) -> ECDSAProof
fn clone(&self) -> ECDSAProof
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 Display for ECDSAProof
impl Display for ECDSAProof
Auto Trait Implementations§
impl Freeze for ECDSAProof
impl RefUnwindSafe for ECDSAProof
impl Send for ECDSAProof
impl Sync for ECDSAProof
impl Unpin for ECDSAProof
impl UnwindSafe for ECDSAProof
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
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