[−][src]Struct bbs::verifier::Verifier
This struct represents an Verifier of signatures. Provided are methods for generating a context to ask for revealed messages and the prover keep all others hidden.
Implementations
impl Verifier[src]
pub fn new_proof_request(
revealed_message_indices: &[usize],
verkey: &PublicKey
) -> Result<ProofRequest, BBSError>[src]
revealed_message_indices: &[usize],
verkey: &PublicKey
) -> Result<ProofRequest, BBSError>
Create a nonce used for the zero-knowledge proof context verkey: issuer's public key
pub fn verify_signature_pok(
proof_request: &ProofRequest,
signature_proof: &SignatureProof,
nonce: &ProofNonce
) -> Result<Vec<SignatureMessage>, BBSError>[src]
proof_request: &ProofRequest,
signature_proof: &SignatureProof,
nonce: &ProofNonce
) -> Result<Vec<SignatureMessage>, BBSError>
Check a signature proof of knowledge and selective disclosure proof
pub fn generate_proof_nonce() -> ProofNonce[src]
Create a nonce used for the proof request context
Auto Trait Implementations
impl RefUnwindSafe for Verifier
impl Send for Verifier
impl Sync for Verifier
impl Unpin for Verifier
impl UnwindSafe for Verifier
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,