[−][src]Struct indy_crypto::cl::verifier::Verifier
Party that wants to check that prover has some credentials provided by issuer.
Methods
impl Verifier
[src]
pub fn new_sub_proof_request_builder(
) -> IndyCryptoResult<SubProofRequestBuilder>
[src]
) -> IndyCryptoResult<SubProofRequestBuilder>
Creates and returns sub proof request entity builder. Part of proof request related to a particular schema-key.
The purpose of sub proof request builder is building of sub proof request entity that represents requested attributes and predicates.
Example
use indy_crypto::cl::verifier::Verifier; let mut sub_proof_request_builder = Verifier::new_sub_proof_request_builder().unwrap(); sub_proof_request_builder.add_revealed_attr("name").unwrap(); sub_proof_request_builder.add_predicate("age", "GE", 18).unwrap(); let _sub_proof_request = sub_proof_request_builder.finalize().unwrap();
pub fn new_proof_verifier() -> IndyCryptoResult<ProofVerifier>
[src]
Creates and returns proof verifier.
The purpose of proof verifier
is check proof provided by Prover.
Example
use indy_crypto::cl::verifier::Verifier; let _proof_verifier = Verifier::new_proof_verifier().unwrap();
Auto Trait Implementations
Blanket Implementations
impl<T, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
🔬 This is a nightly-only experimental API. (
try_from
)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> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from
)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Same for T
type Output = T
Should always be Self