❗ Important! Before you proceed, please read the EUDI Wallet Reference Implementation project description
- Overview
- Disclaimer
- Library Functionality
- How to Use
- Presentation Definition Data Model
- How to contribute
- License
The eudi-lib-jvm-presentation-exchange-kt is a kotlin library that implements the functionality as described in
Presentation Exchange v2.
This is a specification that defines:
- A way for the
Verifierto describe proof requirements in terms ofPresentationDefintionobject - A way for the
Holderto describe submissions of proofs that align with those requirements in terms of aPresentationSubmission
The use of this specification is mandatory by OpenID4VP
The released software is a initial development release version:
- The initial development release is an early endeavor reflecting the efforts of a short timeboxed period, and by no means can be considered as the final product.
- The initial development release may be changed substantially over time, might introduce new features but also may change or remove existing ones, potentially breaking compatibility with your existing code.
- The initial development release is limited in functional scope.
- The initial development release may contain errors or design flaws and other problems that could cause system or other failures and data loss.
- The initial development release has reduced security, privacy, availability, and reliability standards relative to future releases. This could make the software slower, less reliable, or more vulnerable to attacks than mature software.
- The initial development release is not yet comprehensively documented.
- Users of the software must perform sufficient engineering and additional testing in order to properly evaluate their application and determine whether any of the open-sourced components is suitable for use in that application.
- We strongly recommend to not put this version of the software into production use.
- Only the latest version of the software will be supported
-
As a
Verifierbe able to- produce a valid
PresentationDefinitionin order to be communicated to aHolderusing a protocol likeOpenID4VP - decide whether a given
PresentationSubmissionsatisfies a specificPresentationDefinition
- produce a valid
-
As a
Holder/Walletbe able to- parse/validate a
PresentationDefition - to check if a claim stored in the wallet satisfies a
PresentationDefinition - to produce a
PresentationSubmissiongiven a validPresentationDefintionand a matchingClaim
- parse/validate a
The table bellow summarizes the set of optional features defined by Presentation Exchange v2 which are supported by the library. Currently, no optional features are being supported, except retention
| Feature | Status |
|---|---|
| Submission requirement | ❌ |
| Predicate | ❌ |
| Relational constraint | ❌ |
| Credential status constraint | ❌ |
| JSON-LD framing | ❌ |
| Retention | ✅ |
Precondition:
- Verifier should know the data model of the claim(s) that wants to be presented by the holder
- Verifier should be able to describe which formats (jwt, jwt_vc, ldp_vc etc.) and which algorithms is able to process
Library should offer a factory/builder to produce the PresentationDefinition.
The resulting PresentationDefinition should
- Adhere to the data model defined in the spec (JSON Schema validation).
- Contain valid JSONPath expressions.
In order to create a presentation definition just instantiate the PresentationDefinition data class which enforces the syntactic a conditional rules as defined in the specification.
The holder should be able to verify that a JSON object is a syntactically valid PresentationDefintion:
- Adheres to the data model defined in the spec (JSON Schema validation)
- Contain valid JSONPath expressions
import eu.europa.ec.eudi.prex.*
// Decoding a presentation definition json (string)
val pdJsonStr : String = TODO("provide a presentation definition json")
val pd = PresentationExchange.parser.decodePresentationDefinition(pdJsonStr).getOrThrow()
import eu.europa.ec.eudi.prex.*
// Decoding a presentation definition json (string)
val pdJsonStr : String = TODO("provide a presentation definition json")
val pd = PresentationExchange.parser.decodePresentationDefinition(pdJsonStr).getOrThrow()
// Check whether a list of candidate claims can satisfy the
// presentation definition requirements
val candidateClaims : List<Claim> = TODO("provide a list of candidate claims")
val result = PresentationExchange.matcher.match(pd, candidateClaims)
when(result){
is Matched -> println(result.matches)
is NotMatched -> println("Not matched")
}For a concrete example please check MatcherSample
classDiagram
class PresentationDefinition
class InputDescriptor
class FieldConstraint
class LimitDisclosure
PresentationDefinition *-- "1..*" InputDescriptor
InputDescriptor o-- "*" FieldConstraint
InputDescriptor --> "0..1" LimitDisclosure
FieldConstraint -- "1..*" Path
FieldConstraint : +Boolean optional
note for InputDescriptor "Constraints for a single claim"
We welcome contributions to this project. To ensure that the process is smooth for everyone involved, follow the guidelines found in CONTRIBUTING.md.
- Json : Kotlinx Serialization
- JsonSchema: Json Kotlin Schema
- JsonPath: JsonPathKt
Copyright (c) 2023 European Commission
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.