In the introduction, it is also important to mention that "claims" refers both to object properties (name/value pairs) and to array elements. The current text does not mention it.
Replace by:
When requesting a digital credential to an Issuer, the End-User using his Holder CAN ask the Issuer to include a set of claims while obfuscating other claims. "Claims" here refers both to object properties (name/value pairs) and to array elements. The Issuer then produces two elements:
a SD-JWT that contains both regular claims and digests of selectively-disclosable claims,
a set of regular claims for the selectively-disclosable claims.
The resulting structure is called: SD-JWT + All. Claims
In the introduction, it is also important to mention that "claims" refers both to object properties (name/value pairs) and to array elements. The current text does not mention it.
Replace by:
The resulting structure is called: SD-JWT + All. Claims