Trait ssi_claims::ValidateClaims

pub trait ValidateClaims<E, P = ()> {
    // Provided method
    fn validate_claims(
        &self,
        _environment: &E,
        _proof: &P,
    ) -> Result<(), InvalidClaims> { ... }
}

Claims that can be validated.

This consists in verifying that the claims themselves are consistent and valid with regard to the verification environment. For instance, checking that a credential’s expiration date is not in the past, or the issue date not in the future.

Validation may fail even if the claims’s proof is successfully verified.

The validate function is also provided with the proof, as some claim type require information from the proof to be validated.

Provided Methods

fn validate_claims( &self, _environment: &E, _proof: &P, ) -> Result<(), InvalidClaims>

Implementations on Foreign Types

impl<'a, E, P, T> ValidateClaims<E, P> for Cow<'a, T>

where T: ToOwned + ValidateClaims<E, P> + ?Sized,

impl<'a, E, T> ValidateClaims<E, JwsSignature> for DecodedSigningBytes<'a, T>

where T: ValidateClaims<E, JwsSignature> + ValidateJwsHeader<E>,

fn validate_claims( &self, env: &E, signature: &JwsSignature, ) -> Result<(), InvalidClaims>

impl<C1, C2, E, P> ValidateClaims<E, P> for AnyJsonPresentation<C1, C2>

fn validate_claims(&self, env: &E, proof: &P) -> Result<(), InvalidClaims>

impl<C, E, P> ValidateClaims<E, P> for JsonPresentation<C>

fn validate_claims(&self, _: &E, _: &P) -> Result<(), InvalidClaims>

impl<C, E, P> ValidateClaims<E, P> for JsonPresentation<C>

fn validate_claims(&self, _: &E, _: &P) -> Result<(), InvalidClaims>

impl<E, P> ValidateClaims<E, P> for ()

impl<E, P> ValidateClaims<E, P> for Vec<u8>

impl<E, P> ValidateClaims<E, P> for DataIntegrityDocument

fn validate_claims(&self, _env: &E, _proof: &P) -> Result<(), InvalidClaims>

impl<E, P> ValidateClaims<E, P> for AnyClaims

where E: DateTimeProvider,

fn validate_claims(&self, env: &E, _proof: &P) -> Result<(), InvalidClaims>

impl<E, P> ValidateClaims<E, P> for RegisteredClaims

where E: DateTimeProvider,

fn validate_claims(&self, env: &E, _proof: &P) -> Result<(), InvalidClaims>

impl<E, P> ValidateClaims<E, P> for SdJwtPayload

impl<E, P> ValidateClaims<E, P> for [u8]

impl<E, P, T> ValidateClaims<E, P> for CoseVc<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, P, T> ValidateClaims<E, P> for CoseVp<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, P, T> ValidateClaims<E, P> for JoseVc<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, P, T> ValidateClaims<E, P> for JoseVp<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, P, T> ValidateClaims<E, P> for SdJwtVc<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, P, T> ValidateClaims<E, P> for SdJwtVp<T>

where T: ValidateClaims<E, P>,

fn validate_claims( &self, environment: &E, proof: &P, ) -> Result<(), InvalidClaims>

impl<E, T> ValidateClaims<E, CoseSignatureBytes> for UnsignedCoseSign1<T>

where T: ValidateClaims<E, CoseSignatureBytes> + ValidateCoseHeader<E>,

fn validate_claims( &self, params: &E, signature: &CoseSignatureBytes, ) -> Result<(), InvalidClaims>

impl<S, C, T, E, P> ValidateClaims<E, P> for AnySpecializedJsonCredential<S, C, T>

where E: DateTimeProvider,

fn validate_claims(&self, env: &E, proof: &P) -> Result<(), InvalidClaims>

impl<Subject, RequiredContext, RequiredType, Issuer, Status, Evidence, Schema, RefreshService, TermsOfUse, ExtraProperties, E, P> ValidateClaims<E, P> for SpecializedJsonCredential<Subject, RequiredContext, RequiredType, Issuer, Status, Evidence, Schema, RefreshService, TermsOfUse, ExtraProperties>

where Issuer: Identified, Status: Identified + Typed, Evidence: MaybeIdentified + Typed, Schema: Identified + Typed, RefreshService: Identified + Typed, TermsOfUse: MaybeIdentified + Typed, E: DateTimeProvider,

fn validate_claims(&self, env: &E, _proof: &P) -> Result<(), InvalidClaims>

impl<Subject, RequiredContext, RequiredType, Issuer, Status, Evidence, Schema, RefreshService, TermsOfUse, ExtraProperties, E, P> ValidateClaims<E, P> for SpecializedJsonCredential<Subject, RequiredContext, RequiredType, Issuer, Status, Evidence, Schema, RefreshService, TermsOfUse, ExtraProperties>

where Issuer: Identified, Status: MaybeIdentified + Typed, Evidence: MaybeIdentified + Typed, Schema: Identified + Typed, RefreshService: Typed, TermsOfUse: MaybeIdentified + Typed, E: DateTimeProvider,

fn validate_claims(&self, env: &E, _proof: &P) -> Result<(), InvalidClaims>

Implementors

impl<P, T, E> ValidateClaims<E, P> for JWTClaims<T>

where T: ClaimSet + ValidateClaims<E, P>, E: DateTimeProvider,