<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<!-- name="GENERATOR" content="github.com/mmarkdown/mmark Mmark Markdown Processor - mmark.miek.nl" -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" version="3" ipr="trust200902" docName="draft-ietf-jose-json-proof-algorithms-03" submissionType="IETF" category="std" xml:lang="en" indexInclude="true">

<front>
<title abbrev="json-proof-algorithms">JSON Proof Algorithms</title><seriesInfo value="draft-ietf-jose-json-proof-algorithms-03" stream="IETF" status="standard" name="Internet-Draft"/>
<author initials="J." surname="Miller" fullname="Jeremie Miller"><organization>Ping Identity</organization><address><postal><street/>
</postal><email>jmiller@pingidentity.com</email>
</address></author><author initials="M." surname="Jones" fullname="Michael B. Jones"><organization>Self-Issued Consulting</organization><address><postal><street/>
</postal><email>michael_b_jones@hotmail.com</email>
<uri>https://self-issued.info/</uri>
</address></author><author initials="D." surname="Waite" fullname="David Waite"><organization>Ping Identity</organization><address><postal><street/>
</postal><email>dwaite+jwp@pingidentity.com</email>
</address></author><date/>
<area>Internet</area>
<workgroup>jose</workgroup>
<keyword>jose</keyword>
<keyword>zkp</keyword>
<keyword>jwp</keyword>
<keyword>jws</keyword>
<keyword>jpa</keyword>

<abstract>
<t>The JSON Proof Algorithms (JPA) specification registers cryptographic algorithms and identifiers to be used with the JSON Web Proof and JSON Web Key (JWK) specifications. It defines IANA registries for these identifiers.</t>
</abstract>

</front>

<middle>

<section anchor="introduction"><name>Introduction</name>
<t>The JSON Web Proof (JWP) <xref target="I-D.ietf-jose-json-web-proof"/> draft establishes a new secure container format that supports selective disclosure and unlinkability using Zero-Knowledge Proofs (ZKPs) or other cryptographic algorithms.</t>
<blockquote><t>Editor's Note: This draft is still early and incomplete. There will be significant changes to the algorithms as currently defined here.  Please do not use any of these definitions or examples for anything except personal experimentation and learning.  Contributions and feedback are welcomed at <eref target="https://github.com/json-web-proofs/json-web-proofs">https://github.com/json-web-proofs/json-web-proofs</eref>.</t>
</blockquote></section>

<section anchor="conventions-and-definitions"><name>Conventions and Definitions</name>
<t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED",
"MAY", and "OPTIONAL" in this document are to be interpreted as described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they appear in all capitals, as shown here.</t>
<t>The roles of "issuer", "holder", and "verifier" are used as defined by the VC Data Model <xref target="VC-DATA-MODEL-2.0"/>.  The term "presentation" is also used as defined by this source, but the term "credential" is avoided in this specification to minimize confusion with other definitions.</t>
</section>

<section anchor="terminology"><name>Terminology</name>
<t>The terms "JSON Web Signature (JWS)", "Base64url Encoding", "Header Parameter", "JOSE Header", "JWS Payload", "JWS Signature", and "JWS Protected Header" are defined by <xref target="RFC7515"/>.</t>
<t>The terms "JSON Web Proof (JWP)", "JWP Payload", "JWP Proof", and "JWP Protected Header" are defined by <xref target="I-D.ietf-jose-json-web-proof"/>.</t>
<t>These terms are defined by this specification:</t>

<dl spacing="compact">
<dt>Stable Key:</dt>
<dd>An asymmetric key-pair used by an issuer that is also shared via an out-of-band mechanism to a verifier to validate the signature.</dd>
<dt>Ephemeral Key:</dt>
<dd>An asymmetric key-pair that is generated for one-time use by an issuer and never stored or used again outside of the creation of a single JWP.</dd>
<dt>Presentation Key:</dt>
<dd>An asymmetric key-pair that is generated by a holder and used to ensure that a presentation is not able to be replayed by any other party.</dd>
</dl>
</section>

<section anchor="background"><name>Background</name>
<t>JWP defines a container binding together a protected header, one or more payloads, and a cryptographic proof.  It does not define any details about the interactions between an application and the cryptographic libraries that implement proof-supporting algorithms.</t>
<t>Due to the nature of ZKPs, this specification also documents the subtle but important differences in proof algorithms versus those defined by the JSON Web Algorithms <xref target="RFC7518"/>.  These differences help support more advanced capabilities such as blinded signatures and predicate proofs.</t>
</section>

<section anchor="algorithm-basics"><name>Algorithm Basics</name>
<t>The four principal interactions that every proof algorithm MUST support are <tt>[issue](#issue)</tt>, <tt>[confirm](#confirm)</tt>, <tt>[present](#present)</tt>, and <tt>[verify](#verify)</tt>.</t>

<section anchor="issue"><name>Issue</name>
<t>The JWP is first created as the output of a JPA's <tt>issue</tt> operation.</t>
<t>Every algorithm MUST support a JSON issuer protected header along with one or more octet string payloads.  The algorithm MAY support using additional items provided by the holder for issuance such as blinded payloads, keys for replay prevention, etc.</t>
<t>All algorithms MUST provide integrity protection for the issuer header and all payloads and MUST specify all digest and/or hash2curve methods used.</t>
</section>

<section anchor="confirm"><name>Confirm</name>
<t>Performed by the holder to validate that the issued JWP is correctly formed and protected.</t>
<t>Each algorithm MAY support using additional input items options, such as those sent to the issuer for issuance. After confirmation, an algorithm MAY return a modified JWP for serialized storage without the local state (such as with blinded payloads now unblinded).</t>
<t>The algorithm MUST fully verify the issued proof value against the issuer protected header and all payloads.  If given a presented JWP instead of an issued one, the confirm process MUST return an error.</t>
</section>

<section anchor="present"><name>Present</name>
<t>Used to apply any selective disclosure choices and perform any unlinkability transformations, as well as to show binding.</t>
<t>An algorithm MAY support additional input options from the requesting party, such as for predicate proofs and verifiable computation requests.</t>
<t>Every algorithm MUST support the ability to hide any or all payloads.  It MUST always include the issuer protected header unmodified in the presentation.</t>
<t>The algorithm MUST replace the issued proof value and generate a new presented proof value.  It also MUST include a new presentation protected header that provides replay protection.</t>
</section>

<section anchor="verify"><name>Verify</name>
<t>Performed by the verifier to verify the protected headers along with any disclosed payloads and/or assertions about them from the proving party, while also verifying they are the same payloads and ordering as witnessed by the issuer.</t>
<t>The algorithm MUST verify the integrity of all disclosed payloads and MUST also verify the integrity of both the issuer and presentation protected headers.</t>
<t>If the presented proof contains any assertions about the hidden payloads, the algorithm MUST also verify all of those assertions.
It MAY support additional options, such as those sent to the holder to generate the presentation.</t>
<t>If given an issued JWP for verification, the algorithm MUST return an error.</t>
</section>
</section>

<section anchor="algorithm-specifications"><name>Algorithm Specifications</name>
<t>This section defines how to use specific algorithms for JWPs.</t>

<section anchor="single-use"><name>Single Use</name>
<blockquote><t>Editor's Note: This algorithm may be renamed and slightly refactored.</t>
</blockquote><t>The Single Use (SU) algorithm is based on composing multiple traditional JWS values into a single JWP proof value.  It enables a very simple form of selective disclosure without requiring any advanced cryptographic techniques.</t>
<t>It does not support unlinkability if the same JWP is presented multiple times, therefore when privacy is required the holder will need to interact with the issuer again to receive new single-use JWPs (dynamically or in batches).</t>

<section anchor="jws-algorithm"><name>JWS Algorithm</name>
<t>The Single Use algorithm is based on using multiple JWS values, all of which are generated with the same JSON Web Algorithm (JWA) for signing.  This JWA identifier is included as part of the Single Use identifier for JWP.</t>
<t>The chosen JWA MUST be an asymmetric signing algorithm so that each signature can be verified without sharing any private values between the parties.  This ensures that the verifier cannot brute force any non-disclosed payloads based only on their disclosed individual signatures.</t>
</section>

<section anchor="holder-setup"><name>Holder Setup</name>
<t>In order to support the protection of a presentation by a holder to a verifier, the holder MUST use a Presentation Key during the issuance and the presentation of every Single Use JWP.  This Presentation Key MUST be generated and used for only one JWP.</t>
<t>The issuer MUST verify that the holder has possession of this key.  The holder-issuer communication to exchange this information is out of scope of this specification but can be easily accomplished by the holder using this key to generate a JWS that signs a value the issuer can verify as unique.</t>
</section>

<section anchor="issuer-setup"><name>Issuer Setup</name>
<t>To create a Single Use JWP, the issuer first generates a unique Ephemeral Key using the selected JWS algorithm.  This key-pair will be used to sign each of the payloads of a single JWP and then discarded.</t>
</section>

<section anchor="using-jws"><name>Using JWS</name>
<t>JSON Web Signatures are used to create all of the signature values used by the SU algorithm.  This allows an implementation to use an existing JWS library directly for all necessary cryptographic operations without requiring any additional primitives.</t>
<t>Each individual JWS uses a fixed protected header containing only the minimum required <tt>alg</tt> value.  Since this JWS protected header itself is the same for every JWS, it SHOULD be a static value in the form of <tt>{"alg":"***"}</tt> where <tt>***</tt> is the JWA asymmetric signing key algorithm identifier being used.  This value is recreated by a verifier using the correct JWA algorithm value included in the SU algorithm identifier.</t>
<t>If an implementation uses an alternative JWS protected header than this fixed value, a base64url encoded serialized form of the alternate fixed header MUST be included using the <tt>jws_header</tt> claim in the issuer protected header.</t>
</section>

<section anchor="issuer-protected-header"><name>Issuer Protected Header</name>
<t>The JWK of the issuer's Ephemeral Key MUST be included in the issuer protected header with the property name of <tt>proof_jwk</tt> and contain only the REQUIRED values to represent the public key.</t>
<t>The holder's Presentation Key JWK MUST be included in issuer protected header using the <tt>presentation_jwk</tt> claim.</t>
<t>The final issuer protected header is then used directly as the body of a JWS and signed using the issuer's Stable Key.  The resulting JWS signature value unencoded octet string is the first value in the JWP proof.</t>
<t>In various examples in this specification, the octet string serialized issuer header is referenced as <tt>issuer_header</tt>.</t>
</section>

<section anchor="payloads"><name>Payloads</name>
<t>Each JWP payload is processed in order and signed as a JWS body using the issuer's Ephemeral Key.  The resulting JWS signature value unencoded octet string is appended to the JWP proof.</t>
<t>The proof value as an octet string will have a total length that is the sum of the fixed length of the issuer protected header signature plus the fixed length of each of the payload Ephemeral Key signatures.  For example, the signature for the ES256 algorithm is 64 octets and for a JWP with five payloads the total proof value length would be <tt>64 * (1 + 5) = 384</tt> octets).</t>
</section>

<section anchor="presentation-protected-header"><name>Presentation Protected Header</name>
<t>To generate a new presentation, the holder first creates a presentation protected header that is specific to the verifier being presented to.  This header MUST contain a claim that both the holder and verifier trust as being unique and non-replayable.
Use of the <tt>nonce</tt> header parameter is RECOMMENDED for this purpose.</t>
<t>This specification registers the <tt>nonce</tt> header parameter for the presentation protected header that contains a string value either generated by the verifier or derived from values provided by the verifier.  When present, the verifier MUST ensure the nonce value matches during verification.</t>
<t>The presentation protected header MAY contain other header parameters that are either provided by the verifier or by the holder.  These presentation claims SHOULD NOT contain values that are common across multiple presentations and SHOULD be unique to a single presentation and verifier.</t>
<t>In various examples in this specification, the octet string serialized presentation header is referenced as <tt>presentation_header</tt>.</t>
</section>

<section anchor="presentation"><name>Presentation</name>
<blockquote><t>Editor's Note: The current definition here is incomplete, the holder's signature needs to also incorporate the presented proof.</t>
</blockquote><t>The holder derives a new proof value when presenting it to a verifier.  The presented proof value will always contain the issuer's Stable Key signature for the issuer protected header as the first element.</t>
<t>The second element of the presented proof value is always the holder's Presentation Key signature of the presentation protected header, constructed identically to the issuer protected header by using the serialized JSON value octet string as the JWS body.  Signing only the presentation header with the Presentation Key is sufficient to protect the entire presentation since that key is private to the holder and only the contents of the presentation header are used for replay prevention.</t>
<t>The two header signatures are then followed by only the issuer's Ephemeral Key signatures for each payload that is disclosed.  The order of the payload signatures is preserved and MUST be in the same order as the included disclosed payloads in the presented JWP.  Non-disclosed payloads will NOT have a signature value included.  For example, if the second and fifth payloads are hidden then the holder's derived proof value would be of the length <tt>64 * (1 + 1 + the 1st, 2nd, and 4th payload signatures) = 320 octets</tt>.</t>
<t>Since the individual signatures in the proof value are unique and remain unchanged across multiple presentations, a Single Use JWP SHOULD only be presented a single time to each verifier in order for the holder to remain unlinkable across multiple presentations.</t>
</section>

<section anchor="verification"><name>Verification</name>
<t>The verifier MUST verify the issuer protected header against the first matching JWS signature part in the proof value using the issuer's Stable Key.  It MUST also verify the presentation protected header against the second JWS signature part in the proof value using the holder's Presentation Key as provided in the <tt>presentation_jwk</tt> claim in the issuer protected header.</t>
<t>With the headers verified, the issuer's Ephemeral Key as given in the issuer protected header <tt>proof_jwk</tt> claim can then be used to verify each of the disclosed payload signatures.</t>
</section>

<section anchor="SU-registration"><name>JPA Registration</name>
<t>The proposed JWP <tt>alg</tt> value is of the format "SU-" appended with the relevant JWS <tt>alg</tt> value for the chosen public and ephemeral key-pair algorithm, for example "SU-ES256".</t>
</section>

<section anchor="example"><name>Example</name>
<t>See the example in the appendix of <xref target="I-D.ietf-jose-json-web-proof"/>.</t>
</section>
</section>

<section anchor="bbs"><name>BBS</name>
<t>The BBS Signature Scheme <xref target="I-D.irtf-cfrg-bbs-signatures"/> is under active development within the CRFG.</t>
<t>This algorithm supports both selective disclosure and unlinkability, enabling the holder to generate multiple presentations from one issued JWP without a verifier being able to correlate those presentations together based on the proof.</t>

<section anchor="BBS-registration"><name>JPA Algorithms</name>
<t>The <tt>BBS-DRAFT-5</tt> <tt>alg</tt> parameter value in the issuance protected header corresponds to a ciphersuite identifier of <tt>BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_</tt>.</t>
<t>The <tt>BBS-PROOF-DRAFT-5</tt> <tt>alg</tt> parameter value in the presentation protected header corresponds to the same ciphersuite, but used in presentation form.</t>
</section>

<section anchor="key-format"><name>Key Format</name>
<t>The key used for the <tt>BBS-DRAFT-5</tt> algorithm is an elliptic curve-based key pair, specifically against the G_2 subgroup of a pairing friendly curve. Additional details on key generation can be found in <xref target="I-D.irtf-cfrg-bbs-signatures" sectionFormat="bare" section="Section 3.4"/></t>
<t>The JWK form of this key is an <tt>OKP</tt> type with a curve of <tt>BLs12381G2</tt>, with <tt>x</tt> being the BASE64URL-encoded form of the output of <tt>point_to_octets_E2</tt>. The use of this curve is described in <xref target="I-D.ietf-cose-bls-key-representations"/>.</t>
<figure><name>BBS private key in JWK format
</name>
<sourcecode type="wrapped"><![CDATA[{
  "kty": "OKP",
  "alg": "BBS-DRAFT-5",
  "use": "proof",
  "crv": "BLs12381G2",
  "x": "su0duskgWMDGgl54qgeSjqv328CkS6frKzMEwxwJVnUkJjvlvgiOg32M1xFAj
       ldXFjXbekqDOEcB7h33GQM3glIO-2d-FQhcIhVpcbiqoZBMaSRut7P6IlQk5qp
       hGAdG",
  "d": "ABEBDEEzbLEZ7KZFTvjE0xuzEcAeaJNaKniq9oqJ2U4"
}
]]>
</sourcecode>
</figure>
<t>There is no additional holder key necessary for presentation proofs.</t>
</section>

<section anchor="issuance"><name>Issuance</name>
<t>Issuance is performed using the <tt>Sign</tt> operation from <xref target="I-D.irtf-cfrg-bbs-signatures" sectionFormat="of" section="3.5.1"/>. This operation utilizes the issuer's BLS12-381 G2 key pair as <tt>SK</tt> and <tt>PK</tt>, along with desired protected header and payloads as the octets <tt>header</tt> and the octets array <tt>messages</tt>.</t>
<t>The octets resulting from this operation form the issuance proof, to be used along with the protected header and payloads to serialize the JWP.</t>
<t>As an example, consider following protected header and array of payloads:</t>
<figure><name>Example issuer protected header
</name>
<sourcecode type="json"><![CDATA[{
    "alg": "BBS-DRAFT-5",
    "typ": "JPT",
    "iss": "https://issuer.example",
    "claims": [
        "family_name", 
        "given_name", 
        "email", 
        "age"
    ]
}
]]>
</sourcecode>
</figure>
<figure><name>Example issuer payloads (as members of a JSON array)
</name>
<sourcecode type="json"><![CDATA[[
    "Doe",
    "Jay",
    "jaydoe@example.org",
    42
]
]]>
</sourcecode>
</figure>
<t>These components along with the private issuer key previously given would be representable in the following serializations:</t>
<figure><name>Issued JWP (JSON serialization)
</name>
<sourcecode type="wrapped"><![CDATA[{
  "issuer": "eyJhbGciOiJCQlMtRFJBRlQtNSIsInR5cCI6IkpQVCIsImlzcyI6Imh0
       dHBzOi8vaXNzdWVyLmV4YW1wbGUiLCJjbGFpbXMiOlsiZmFtaWx5X25hbWUiLC
       JnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXX0",
  "payloads": [
    "IkRvZSI",
    "IkpheSI",
    "ImpheWRvZUBleGFtcGxlLm9yZyI",
    "NDI"
  ],
  "proof": "gr-UWwcH_8JFdImPgHNtBgWeyv6v2Zlsg--jy1vRn3SsmhyB3ihMCXy8W
       OMI4MehL0wusrZ0dSuHVkzhVhsk4ytD41VIx3M7n7RgPKo4K-U"
}
]]>
</sourcecode>
</figure>
<figure><name>Issued JWP (compact serialization)
</name>
<sourcecode type="wrapped"><![CDATA[eyJhbGciOiJCQlMtRFJBRlQtNSIsInR5cCI6IkpQVCIsImlzcyI6Imh0dHBzOi8vaXNzd
WVyLmV4YW1wbGUiLCJjbGFpbXMiOlsiZmFtaWx5X25hbWUiLCJnaXZlbl9uYW1lIiwiZW
1haWwiLCJhZ2UiXX0.IkRvZSI~IkpheSI~ImpheWRvZUBleGFtcGxlLm9yZyI~NDI.gr-
UWwcH_8JFdImPgHNtBgWeyv6v2Zlsg--jy1vRn3SsmhyB3ihMCXy8WOMI4MehL0wusrZ0
dSuHVkzhVhsk4ytD41VIx3M7n7RgPKo4K-U
]]>
</sourcecode>
</figure>
</section>

<section anchor="issuance-proof-verification"><name>Issuance Proof Verification</name>
<t>Holder verification of the signature on issuance form is performed using the <tt>Verify</tt> operation from <xref target="I-D.irtf-cfrg-bbs-signatures" sectionFormat="of" section="3.5.2"/>.</t>
<t>This operation utilizes the issuer's public key as <tt>PK</tt>, the proof as <tt>signature</tt>, the protected header octets as <tt>header</tt> and the array of payload octets as <tt>messages</tt>.</t>
</section>

<section anchor="presentation-1"><name>Presentation</name>
<t>Derivation of a presentation is done by the holder using the <tt>ProofGen</tt> operation from <xref target="I-D.irtf-cfrg-bbs-signatures" sectionFormat="of" section="3.5.3"/>.</t>
<t>This operation utilizes the issuer's public key as <tt>PK</tt>, the issuer protected header as <tt>header</tt>, the issuance proof as <tt>signature</tt>, the issuance payloads as <tt>messages</tt>, and the holder's presentation protected header as <tt>ph</tt>.</t>
<t>The operation also takes a vector of indexes into <tt>messages</tt>, describing which payloads the holder wishes to disclose. All payloads are required for proof generation, but only these indicated payloads will be required to be disclosed for later proof verification.</t>
<t>The output of this operation is the presentation proof.</t>
<t>Presentation serialization leverages the two protected headers and presentation proof, along with the disclosed payloads. Non-disclosed payloads are represented with the absent value of <tt>null</tt> in JSON serialization and a zero-length string in compact serialization.</t>
<t>For example, given the following presentation header:</t>
<figure><name>Holder Presentation Header
</name>
<sourcecode type="json"><![CDATA[{
    "alg": "BBS-PROOF-DRAFT-5",
    "aud": "https://recipient.example.com",
    "nonce": "wrmBRkKtXjQ"
}
]]>
</sourcecode>
</figure>
<t>The holder decides to share all information other than the email address, and generates a proof. That proof is represented in the following serializations:</t>
<figure><name>Presentation JWP (JSON serialization)
</name>
<sourcecode type="wrapped"><![CDATA[{
  "presentation": "eyJhbGciOiJCQlMtUFJPT0YtRFJBRlQtNSIsImF1ZCI6Imh0dH
       BzOi8vcmVjaXBpZW50LmV4YW1wbGUuY29tIiwibm9uY2UiOiJ3cm1CUmtLdFhq
       USJ9",
  "issuer": "eyJhbGciOiJCQlMtRFJBRlQtNSIsInR5cCI6IkpQVCIsImlzcyI6Imh0
       dHBzOi8vaXNzdWVyLmV4YW1wbGUiLCJjbGFpbXMiOlsiZmFtaWx5X25hbWUiLC
       JnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXX0",
  "payloads": [
    "IkRvZSI",
    "IkpheSI",
    null,
    "NDI"
  ],
  "proof": "lJAs5iaa59PI8qc8PizeohAH_szekQAi4sGEr00_WGld2G98ISP9TKeYu
       AJbUXa1qS5HQS6fYDlp93AbtSyG71OWafDTGWnZ3aNSCh_HjP9M_vyF_Z-8Tfm
       iuIxSxWCCVYRS6IwPLn6L2_ymn3pd3yPmAiq8EgeBAqaOzEeDmCBuKubhtchSU
       0ALUu0H9l0vMFQM9FFI84-eKcOIVCeMNlPKKXkajQFa1TbuW4w05jaa2Su7opy
       t-9zuCOKFu5ArZ56fQ-WN3Ma9rKGfkEVdtC7BSvHh6O05M9JZFBvy1kQ"
}
]]>
</sourcecode>
</figure>
<figure><name>Presentation JWP (compact serialization)
</name>
<sourcecode type="wrapped"><![CDATA[eyJhbGciOiJCQlMtUFJPT0YtRFJBRlQtNSIsImF1ZCI6Imh0dHBzOi8vcmVjaXBpZW50L
mV4YW1wbGUuY29tIiwibm9uY2UiOiJ3cm1CUmtLdFhqUSJ9.eyJhbGciOiJCQlMtRFJBR
lQtNSIsInR5cCI6IkpQVCIsImlzcyI6Imh0dHBzOi8vaXNzdWVyLmV4YW1wbGUiLCJjbG
FpbXMiOlsiZmFtaWx5X25hbWUiLCJnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXX0.IkR
vZSI~IkpheSI~~NDI.lJAs5iaa59PI8qc8PizeohAH_szekQAi4sGEr00_WGld2G98ISP
9TKeYuAJbUXa1qS5HQS6fYDlp93AbtSyG71OWafDTGWnZ3aNSCh_HjP9M_vyF_Z-8Tfmi
uIxSxWCCVYRS6IwPLn6L2_ymn3pd3yPmAiq8EgeBAqaOzEeDmCBuKubhtchSU0ALUu0H9
l0vMFQM9FFI84-eKcOIVCeMNlPKKXkajQFa1TbuW4w05jaa2Su7opyt-9zuCOKFu5ArZ5
6fQ-WN3Ma9rKGfkEVdtC7BSvHh6O05M9JZFBvy1kQ
]]>
</sourcecode>
</figure>
</section>

<section anchor="presentation-verification"><name>Presentation Verification</name>
<t>Verification of a presentation is done by the verifier using the <tt>ProofVerify</tt> operation from <xref target="I-D.irtf-cfrg-bbs-signatures" sectionFormat="bare" section="Section 3.5.4"/>.</t>
<t>This operation utilizes the issuer's public key as <tt>PK</tt>, the issuer protected header as <tt>header</tt>, the issuance proof as <tt>signature</tt>, the holder's presentation protected header as <tt>ph</tt>, and the payloads as <tt>disclosed_messages</tt>.</t>
<t>In addition, the <tt>disclosed_indexes</tt> scalar array is calculated from the payloads provided. Values disclosed in the presented payloads have a zero-based index in this array, while the indices of absent payloads are omitted.</t>
</section>
</section>

<section anchor="message-authentication-code"><name>Message Authentication Code</name>
<t>The Message Authentication Code (MAC) JPA uses a MAC to both generate ephemeral keys and compute authentication codes to protect the issuer header and each payload individually.</t>
<t>Like the JWS-based JPA, it also does not support unlinkability if the same JWP is presented multiple times and requires an individually issued JWP for each presentation in order to fully protect privacy.  When compared to the JWS approach, using a MAC requires less computation but can result in potentially larger presentation proof values.</t>
<t>The design is intentionally minimal and only involves using a single standardized MAC method instead of a mix of MAC/hash methods or a custom hash-based construct.  It is able to use any published cryptographic MAC method such as HMAC <xref target="RFC2104"/> or <eref target="https://nvlpubs.nist.gov/nistpubs/SpecialPublications/NIST.SP.800-185.pdf">KMAC</eref>.  It uses traditional public-key based signatures to verify the authenticity of the issuer and holder.</t>

<section anchor="holder-setup-1"><name>Holder Setup</name>
<t>Prior to the issuer creating a new JWP, it must have presentation binding information provided by the holder.  This enables the holder to perform replay prevention while presenting the JWP.</t>
<t>The presentation key used by the holder must be transferred to the issuer and verified, likely through a challenge and self-signing mechanism.  If the holder requires unlinkability, it must also generate a new key that is verified and bound to each new JWP.</t>
<t>How these holder presentation keys are transferred and verified is out of scope of this specification. Protocols such as OpenID Connect can be used to accomplish this.  What is required by this definition is that the holder's presentation key MUST be included in the issuer's protected header using the <tt>pjwk</tt> claim with a JWK as the value.</t>
</section>

<section anchor="issuer-setup-1"><name>Issuer Setup</name>
<t>To use the MAC algorithm, the issuer must have a stable public key pair to perform signing.  To start the issuance process, a single 32-byte random Shared Secret must first be generated.  This value will be shared privately to the holder as part of the issuer's JWP proof value.</t>
<t>The Shared Secret is used by both the issuer and holder as the MAC method's key to generate a new set of unique ephemeral keys.  These keys are then used as the input to generate a MAC that protects each payload.</t>
</section>

<section anchor="issuer-protected-header-1"><name>Issuer Protected Header</name>
<t>The holder's presentation key JWK MUST be included in the issuer protected header using the <tt>pjwk</tt> claim.  The issuer MUST validate that the holder has possession of this key through a trusted mechanism such as verifying the signature of a unique nonce value from the holder.</t>
<t>For consistency, the issuer header is also protected by a MAC by using the fixed value "issuer_header" as the input key.  The issuer header JSON is serialized using UTF-8 and encoded with base64url into an octet array.  The final issuer header MAC is generated from the octet array and the fixed key, and the resulting value becomes the first input into the larger octet array that will be signed by the issuer.</t>
</section>

<section anchor="payloads-1"><name>Payloads</name>
<t>A unique key is generated for each payload using the MAC with the Shared Secret as the key and the values "payload_X" where "X" is replaced by the zero-based array index of the payload, for example "payload_0", "payload_1", etc.</t>
<t>Each payload is serialized using UTF-8 and encoded with base64url into an octet array.  The generated key for that payload based on its index is used to generate the MAC for the payload's encoded octet array.  The resulting value is appended to the larger octet array that will be signed by the issuer.</t>
</section>

<section anchor="issuer-proof"><name>Issuer Proof</name>
<t>The issuer proof consists of two items appended together: the issuer's signature of the appended array of MACs and the Shared Secret used to generate the set of payload keys.</t>
<t>To generate the signature, the array containing the final MAC of the issuer protected header followed by all of the payload MACs appended in order is used as the input to a new JWS.</t>

<artwork><![CDATA[jws_payload = [issuer_header_mac, payload_mac_1, ... payload_mac_n]
]]>
</artwork>
<t>The issuer signs the JWS using its stable public key and a fixed header containing the <tt>alg</tt> associated with MAC algorithm in use.</t>
<t><tt>jws_header = '{"alg":"ES256"}'</tt></t>
<t>The resulting signature is decoded and used as the first item in the issuer proof value.  The octet array of the Shared Secret is appended, resulting in the final issuer proof value.</t>
<t><tt>issuer_proof = [jws_signature, shared_secret]</tt></t>
</section>

<section anchor="presentation-protected-header-1"><name>Presentation Protected Header</name>
<t>See the JWS <eref target="#presentation-protected-header">Presentation Protected Header</eref> section.</t>
</section>

<section anchor="presentation-2"><name>Presentation</name>
<blockquote><t>Editor's Note: The current definition here is incomplete, the holder's signature needs to also incorporate the presented proof.</t>
</blockquote><t>The presentation proof is constructed as a large octet array containing multiple appended items similar to the issuer proof value.  The first item is the JWS decoded signature value generated when the holder uses the presentation key to sign the presentation header.  The second item is the issuer signature from the issuer's proof value.</t>
<t>These two signatures are then followed by a MAC value for each payload.  The MAC values used will depend on whether that payload has been disclosed or is hidden.  Disclosed payloads will include the MAC key input, and hidden payloads will include only their final MAC value.</t>

<artwork><![CDATA[presentation_proof = [presentation_signature, issuer_signature,
                      disclosed_key_0, hidden_mac_1, hidden_mac_2,
                      ... disclosed_key_n]
]]>
</artwork>
<t>The size of this value will depend on the underlying cryptographic algorithms.  For example, <tt>MAC-H256</tt> uses the <tt>ES256</tt> JWS with a decoded signature of 64 octets, and for a JWP with five payloads using <tt>HMAC-SHA256</tt> the total presentation proof value length would be <tt>64 + 64 + (5 * 32) = 288</tt> octets.</t>
</section>

<section anchor="verifier-setup"><name>Verifier Setup</name>
<t>To verify that the presentation was protected from replay attacks, the verifier must be able to validate the presentation protected header.  This involves the following steps:</t>

<ol spacing="compact">
<li>JSON parse the presentation header</li>
<li>Validate the contained <tt>nonce</tt> claim</li>
<li>JSON parse the issuer header</li>
<li>Validate the contained <tt>pjwk</tt> claim</li>
<li>Create a JWS using the correct fixed header with <tt>alg</tt> value and the presentation header as the body</li>
<li>Remove the <tt>presentation_signature</tt> from the beginning of the <tt>presentation_proof</tt> octet array</li>
<li>Validate the JWS using the JWK from the <tt>pjwk</tt> claim and the <tt>presentation_signature</tt> value</li>
</ol>
<t>Next, the verifier must validate all of the disclosed payloads using the following steps:</t>

<ol spacing="compact">
<li>JSON parse the issuer header</li>
<li>Resolve the <tt>kid</tt> using a trusted mechanism to obtain the correct issuer JWK</li>
<li>Remove the <tt>issuer_signature</tt> from the beginning of the remaining <tt>presentation_proof</tt> octet array (after the <tt>presentation_signature</tt> was removed)</li>
<li>Perform the MAC on the presented <tt>issuer_header</tt> value using the "issuer_header" value as the input key</li>
<li>Store the resulting value as the first entry in a new <tt>jws_payload</tt> octet array</li>
<li><t>Iterate on each presented payload (disclosed or hidden)</t>

<ol spacing="compact">
<li>Extract the next hash value from the remaining <tt>presentation_proof</tt> octet array</li>
<li>If the payload was disclosed: perform a MAC using the given hash value as the input key and append the result to the <tt>jws_payload</tt> octet array</li>
<li>If the payload was hidden: append the given hash value to the <tt>jws_payload</tt> octet array</li>
</ol></li>
<li>Create a JWS using a header containing the <tt>alg</tt> parameter along with the generated <tt>jws_payload</tt> value as the payload</li>
<li>Validate the JWS using the resolved issuer JWK and the extracted <tt>issuer_signature</tt> value</li>
</ol>
</section>

<section anchor="MAC-registration"><name>JPA Registration</name>
<t>Proposed JWP <tt>alg</tt> value is of the format "MAC-" appended with a unique identifier for the set of MAC and signing algorithms used.  Below are the initial registrations:</t>

<ul spacing="compact">
<li><tt>MAC-H256</tt> uses <tt>HMAC SHA-256</tt> as the MAC and <tt>ECDSA using P-256 and SHA-256</tt> for the signatures</li>
<li><tt>MAC-H384</tt> uses <tt>HMAC SHA-384</tt> as the MAC and <tt>ECDSA using P-384 and SHA-384</tt> for the signatures</li>
<li><tt>MAC-H512</tt> uses <tt>HMAC SHA-512</tt> as the MAC and <tt>ECDSA using P-521 and SHA-512</tt> for the signatures</li>
<li><tt>MAC-K25519</tt> uses <tt>KMAC SHAKE128</tt> as the MAC and <tt>EdDSA using Curve25519</tt> for the signatures</li>
<li><tt>MAC-K448</tt> uses <tt>KMAC SHAKE256</tt> as the MAC and <tt>EdDSA using Curve448</tt> for the signatures</li>
<li><tt>MAC-H256K</tt> uses <tt>HMAC SHA-256</tt> as the MAC and <tt>ECDSA using secp256k1 and SHA-256</tt> for the signatures</li>
</ul>
</section>

<section anchor="example-1"><name>Example</name>
<t>The following example uses the <tt>MAC-H256</tt> algorithm.</t>
<t>This is the Signer's stable private key in the JWK format:</t>
<figure><name>issuer-private-jwk
</name>
<sourcecode type="json"><![CDATA[{
  "crv": "P-256",
  "kty": "EC",
  "x": "ONebN43-G5DOwZX6jCVpEYEe0bYd5WDybXAG0sL3iDA",
  "y": "b0MHuYfSxu3Pj4DAyDXabAc0mPjpB1worEpr3yyrft4",
  "d": "jnE0-9YvxQtLJEKcyUHU6HQ3Y9nSDnh0NstYJFn7RuI"
}
]]>
</sourcecode>
</figure>
<t>This is the Signer's generated Shared Secret:</t>
<figure><name>mac-shared-secret
</name>
<sourcecode type="json"><![CDATA[[100, 109, 91, 184, 139, 20, 107, 86, 1, 252, 86, 159, 126, 251,
228, 4, 35, 177, 75, 96, 11, 205, 144, 189, 42, 95, 135, 170, 107,
58, 99, 142]
]]>
</sourcecode>
</figure>
<t>This is the Holder's presentation private key in the JWK format:</t>
<figure><name>holder-presentation-jwk
</name>
<sourcecode type="json"><![CDATA[{
  "crv": "P-256",
  "kty": "EC",
  "x": "oB1TPrE_QJIL61fUOOK5DpKgd8j2zbZJtqpILDTJX6I",
  "y": "3JqnrkucLobkdRuOqZXOP9MMlbFyenFOLyGlG-FPACM",
  "d": "AvyDPl1I4xwjrI2iEOi6DxM9ipJe_h_VUN5OvoKvvW8"
}
]]>
</sourcecode>
</figure>
<t>The first MAC is generated using the key <tt>issuer_header</tt> and the base64url-encoded issuer protected header, resulting in this octet array:</t>
<figure><name>mac-issuer-header-mac
</name>
<sourcecode type="json"><![CDATA[[140, 88, 59, 30, 127, 113, 27, 237, 78, 200, 182, 114, 94, 123,
198, 128, 102, 232, 178, 88, 252, 248, 57, 2, 231, 19, 145, 8, 160,
197, 66, 166]
]]>
</sourcecode>
</figure>
<t>The issuer generates an array of derived keys with one for each payload by using the shared secret as the key and the index of the payload as the input:</t>
<figure><name>mac-issuer-keys
</name>
<sourcecode type="json"><![CDATA[[
 [180, 129, 55, 94, 125, 158, 179, 245, 30, 199, 148, 60, 184, 28,
 197, 123, 231, 232, 95, 91, 65, 74, 38, 242, 253, 96, 67, 44, 40,
 220, 250, 4],
 [143, 172, 182, 156, 184, 138, 228, 172, 215, 26, 175, 137, 137,
 25, 159, 141, 213, 12, 214, 29, 231, 200, 13, 94, 116, 22, 41, 115,
 72, 214, 57, 98],
 [144, 73, 77, 66, 230, 187, 217, 186, 246, 41, 138, 25, 39, 203,
 101, 76, 156, 161, 244, 130, 203, 166, 184, 154, 7, 4, 218, 84,
 168, 199, 36, 245],
 [70, 55, 182, 105, 101, 130, 254, 234, 68, 224, 219, 97, 119, 98,
 244, 33, 43, 55, 148, 238, 225, 177, 101, 160, 49, 246, 109, 155,
 242, 236, 21, 138]
]
]]>
</sourcecode>
</figure>
<t>The first payload is the string <tt>"Doe"</tt> with the octet sequence of <tt>[ 34, 68, 111, 101, 34 ]</tt> and base64url-encoded as <tt>IkRvZSI</tt>.</t>
<t>The second payload is the string <tt>"Jay"</tt> with the octet sequence of <tt>[ 34, 74, 97, 121, 34 ]</tt> and base64url-encoded as <tt>IkpheSI</tt>.</t>
<t>The third payload is the string <tt>"jaydoe@example.org"</tt> with the octet sequence of <tt>[ 34, 106, 97, 121, 100, 111, 101, 64, 101, 120, 97, 109, 112, 108, 101, 46, 111, 114, 103, 34 ]</tt> and base64url-encoded as <tt>ImpheWRvZUBleGFtcGxlLm9yZyI</tt>.</t>
<t>The fourth payload is the string <tt>42</tt> with the octet sequence of <tt>[ 52, 50 ]</tt> and base64url-encoded as <tt>NDI</tt>.</t>
<t>A MAC is generated for each payload using the generated key for its given index, resulting in an array of MACs:</t>
<figure><name>mac-issuer-macs
</name>
<sourcecode type="json"><![CDATA[[
 [156, 53, 90, 125, 139, 226, 60, 168, 100, 220, 79, 255, 8, 87, 28,
 220, 237, 112, 161, 91, 39, 68, 137, 203, 92, 243, 16, 116, 64,
 129, 61, 172],
 [239, 17, 12, 35, 111, 129, 51, 87, 43, 86, 234, 38, 89, 149, 169,
 157, 33, 104, 81, 246, 190, 154, 74, 195, 194, 158, 50, 208, 203,
 203, 249, 237],
 [162, 174, 12, 27, 190, 250, 112, 1, 139, 177, 49, 124, 110, 201,
 83, 233, 14, 109, 60, 253, 121, 184, 126, 121, 26, 138, 5, 214, 97,
 96, 216, 80],
 [61, 109, 78, 172, 255, 189, 67, 83, 247, 65, 234, 128, 30, 47,
 145, 70, 129, 26, 41, 41, 78, 4, 151, 230, 232, 127, 135, 230, 14,
 208, 178, 50]
]
]]>
</sourcecode>
</figure>
<t>Concatenating the issuer protected header MAC with the array of payload MACs produces a single octet array that is signed using the issuer's stable key, resulting in the following signature:</t>
<figure><name>mac-issuer-signature
</name>
<sourcecode type="json"><![CDATA[[120, 172, 15, 230, 138, 230, 150, 139, 241, 196, 79, 134, 122, 43,
149, 11, 253, 104, 58, 199, 49, 87, 32, 64, 237, 50, 86, 155, 153,
58, 63, 116, 245, 130, 136, 197, 164, 207, 232, 238, 106, 171, 246,
98, 149, 254, 22, 1, 114, 187, 233, 168, 116, 173, 211, 208, 234,
245, 76, 238, 143, 157, 83, 202]
]]>
</sourcecode>
</figure>
<t>The original shared secret octet string is then concatenated to the end of the issuer signature octet string and the result is base64url-encoded as the issuer's proof value.</t>
<t>The final issued JWP in JSON serialization is:</t>
<figure><name>mac-issued-jwp
</name>
<sourcecode type="json"><![CDATA[{
  "payloads": [
    "IkRvZSI",
    "IkpheSI",
    "ImpheWRvZUBleGFtcGxlLm9yZyI",
    "NDI"
  ],
  "issuer": "eyJpc3MiOiJodHRwczovL2lzc3Vlci50bGQiLCJjbGFpbXMiOlsiZmF
  taWx5X25hbWUiLCJnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXSwidHlwIjoiSlBUI
  iwicGp3ayI6eyJjcnYiOiJQLTI1NiIsImt0eSI6IkVDIiwieCI6Im9CMVRQckVfUUp
  JTDYxZlVPT0s1RHBLZ2Q4ajJ6YlpKdHFwSUxEVEpYNkkiLCJ5IjoiM0pxbnJrdWNMb
  2JrZFJ1T3FaWE9QOU1NbGJGeWVuRk9MeUdsRy1GUEFDTSJ9LCJhbGciOiJNQUMtSDI
  1NiJ9",
  "proof": [
    "eKwP5ormlovxxE-GeiuVC_1oOscxVyBA7TJWm5k6P3T1gojFpM_o7mqr9mKV_hYB
    crvpqHSt09Dq9Uzuj51TymRtW7iLFGtWAfxWn3775AQjsUtgC82QvSpfh6prOmOO"
  ]
}
]]>
</sourcecode>
</figure>
<t>The same JWP in compact serialization:</t>
<figure><name>mac-issued-compact
</name>
<sourcecode type="text"><![CDATA[eyJpc3MiOiJodHRwczovL2lzc3Vlci50bGQiLCJjbGFpbXMiOlsiZmFtaWx5X25hbWUi
LCJnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXSwidHlwIjoiSlBUIiwicGp3ayI6eyJj
cnYiOiJQLTI1NiIsImt0eSI6IkVDIiwieCI6Im9CMVRQckVfUUpJTDYxZlVPT0s1RHBL
Z2Q4ajJ6YlpKdHFwSUxEVEpYNkkiLCJ5IjoiM0pxbnJrdWNMb2JrZFJ1T3FaWE9QOU1N
bGJGeWVuRk9MeUdsRy1GUEFDTSJ9LCJhbGciOiJNQUMtSDI1NiJ9.IkRvZSI~IkpheSI
~ImpheWRvZUBleGFtcGxlLm9yZyI~NDI.eKwP5ormlovxxE-GeiuVC_1oOscxVyBA7TJ
Wm5k6P3T1gojFpM_o7mqr9mKV_hYBcrvpqHSt09Dq9Uzuj51TymRtW7iLFGtWAfxWn37
75AQjsUtgC82QvSpfh6prOmOO
]]>
</sourcecode>
</figure>
<t>Next, we show the presentation of the JWP with selective disclosure.</t>
<t>We start with this presentation header using a nonce provided by the Verifier:</t>
<figure><name>mac-presentation-header
</name>
<sourcecode type="json"><![CDATA[{
  "nonce": "uTEB371l1pzWJl7afB0wi0HWUNk1Le-bComFLxa8K-s"
}
]]>
</sourcecode>
</figure>
<t>When signed with the holder's presentation key, the resulting signature octets are:</t>
<figure><name>mac-presentation-header-signature
</name>
<sourcecode type="json"><![CDATA[[126, 134, 175, 2, 165, 12, 103, 11, 116, 72, 94, 228, 240, 142,
107, 195, 198, 238, 218, 203, 63, 198, 105, 175, 1, 69, 182, 5, 204,
239, 35, 149, 85, 55, 4, 169, 109, 243, 88, 213, 12, 1, 167, 235,
222, 17, 232, 118, 110, 111, 47, 165, 102, 142, 0, 1, 226, 117, 143,
125, 132, 62, 231, 145]
]]>
</sourcecode>
</figure>
<t>Then by applying selective disclosure of only the given name and age claims (family name and email hidden, payload array indexes 0 and 2), the holder builds a mixed array of either the payload key (if disclosed) or MAC (if hidden):</t>
<figure><name>mac-presentation-keyormac
</name>
<sourcecode type="json"><![CDATA[[
 [156, 53, 90, 125, 139, 226, 60, 168, 100, 220, 79, 255, 8, 87, 28,
 220, 237, 112, 161, 91, 39, 68, 137, 203, 92, 243, 16, 116, 64,
 129, 61, 172],
 [143, 172, 182, 156, 184, 138, 228, 172, 215, 26, 175, 137, 137,
 25, 159, 141, 213, 12, 214, 29, 231, 200, 13, 94, 116, 22, 41, 115,
 72, 214, 57, 98],
 [162, 174, 12, 27, 190, 250, 112, 1, 139, 177, 49, 124, 110, 201,
 83, 233, 14, 109, 60, 253, 121, 184, 126, 121, 26, 138, 5, 214, 97,
 96, 216, 80],
 [70, 55, 182, 105, 101, 130, 254, 234, 68, 224, 219, 97, 119, 98,
 244, 33, 43, 55, 148, 238, 225, 177, 101, 160, 49, 246, 109, 155,
 242, 236, 21, 138]
]
]]>
</sourcecode>
</figure>
<t>The final presented proof value is generated by concatenating first the presentation header signature octet string, followed by the issuer signature octet string, then followed by the mixed array of keys and MACs:</t>
<figure><name>mac-presentation-proof
</name>
<sourcecode type="json"><![CDATA[[126, 134, 175, 2, 165, 12, 103, 11, 116, 72, 94, 228, 240, 142,
107, 195, 198, 238, 218, 203, 63, 198, 105, 175, 1, 69, 182, 5, 204,
239, 35, 149, 85, 55, 4, 169, 109, 243, 88, 213, 12, 1, 167, 235,
222, 17, 232, 118, 110, 111, 47, 165, 102, 142, 0, 1, 226, 117, 143,
125, 132, 62, 231, 145, 120, 172, 15, 230, 138, 230, 150, 139, 241,
196, 79, 134, 122, 43, 149, 11, 253, 104, 58, 199, 49, 87, 32, 64,
237, 50, 86, 155, 153, 58, 63, 116, 245, 130, 136, 197, 164, 207,
232, 238, 106, 171, 246, 98, 149, 254, 22, 1, 114, 187, 233, 168,
116, 173, 211, 208, 234, 245, 76, 238, 143, 157, 83, 202, 156, 53,
90, 125, 139, 226, 60, 168, 100, 220, 79, 255, 8, 87, 28, 220, 237,
112, 161, 91, 39, 68, 137, 203, 92, 243, 16, 116, 64, 129, 61, 172,
143, 172, 182, 156, 184, 138, 228, 172, 215, 26, 175, 137, 137, 25,
159, 141, 213, 12, 214, 29, 231, 200, 13, 94, 116, 22, 41, 115, 72,
214, 57, 98, 162, 174, 12, 27, 190, 250, 112, 1, 139, 177, 49, 124,
110, 201, 83, 233, 14, 109, 60, 253, 121, 184, 126, 121, 26, 138, 5,
214, 97, 96, 216, 80, 70, 55, 182, 105, 101, 130, 254, 234, 68, 224,
219, 97, 119, 98, 244, 33, 43, 55, 148, 238, 225, 177, 101, 160, 49,
246, 109, 155, 242, 236, 21, 138]
]]>
</sourcecode>
</figure>
<t>The resulting presented JWP in JSON serialization is:</t>
<figure><name>mac-presentation-jwp
</name>
<sourcecode type="json"><![CDATA[{
  "payloads": [
    null,
    "IkpheSI",
    null,
    "NDI"
  ],
  "issuer": "eyJpc3MiOiJodHRwczovL2lzc3Vlci50bGQiLCJjbGFpbXMiOlsiZmF
  taWx5X25hbWUiLCJnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXSwidHlwIjoiSlBUI
  iwicGp3ayI6eyJjcnYiOiJQLTI1NiIsImt0eSI6IkVDIiwieCI6Im9CMVRQckVfUUp
  JTDYxZlVPT0s1RHBLZ2Q4ajJ6YlpKdHFwSUxEVEpYNkkiLCJ5IjoiM0pxbnJrdWNMb
  2JrZFJ1T3FaWE9QOU1NbGJGeWVuRk9MeUdsRy1GUEFDTSJ9LCJhbGciOiJNQUMtSDI
  1NiJ9",
  "proof": [
    "foavAqUMZwt0SF7k8I5rw8bu2ss_xmmvAUW2BczvI5VVNwSpbfNY1QwBp-veEeh2
    bm8vpWaOAAHidY99hD7nkXisD-aK5paL8cRPhnorlQv9aDrHMVcgQO0yVpuZOj909
    YKIxaTP6O5qq_Zilf4WAXK76ah0rdPQ6vVM7o-dU8qcNVp9i-I8qGTcT_8IVxzc7X
    ChWydEictc8xB0QIE9rI-stpy4iuSs1xqviYkZn43VDNYd58gNXnQWKXNI1jlioq4
    MG776cAGLsTF8bslT6Q5tPP15uH55GooF1mFg2FBGN7ZpZYL-6kTg22F3YvQhKzeU
    7uGxZaAx9m2b8uwVig"
  ],
  "presentation": "eyJub25jZSI6InVURUIzNzFsMXB6V0psN2FmQjB3aTBIV1VOaz
  FMZS1iQ29tRkx4YThLLXMifQ"
}
]]>
</sourcecode>
</figure>
<t>The same JWP in compact serialization:</t>
<figure><name>mac-presentation-compact
</name>
<sourcecode type="text"><![CDATA[eyJpc3MiOiJodHRwczovL2lzc3Vlci50bGQiLCJjbGFpbXMiOlsiZmFtaWx5X25hbWUi
LCJnaXZlbl9uYW1lIiwiZW1haWwiLCJhZ2UiXSwidHlwIjoiSlBUIiwicGp3ayI6eyJj
cnYiOiJQLTI1NiIsImt0eSI6IkVDIiwieCI6Im9CMVRQckVfUUpJTDYxZlVPT0s1RHBL
Z2Q4ajJ6YlpKdHFwSUxEVEpYNkkiLCJ5IjoiM0pxbnJrdWNMb2JrZFJ1T3FaWE9QOU1N
bGJGeWVuRk9MeUdsRy1GUEFDTSJ9LCJhbGciOiJNQUMtSDI1NiJ9.eyJub25jZSI6InV
URUIzNzFsMXB6V0psN2FmQjB3aTBIV1VOazFMZS1iQ29tRkx4YThLLXMifQ.~IkpheSI
~~NDI.foavAqUMZwt0SF7k8I5rw8bu2ss_xmmvAUW2BczvI5VVNwSpbfNY1QwBp-veEe
h2bm8vpWaOAAHidY99hD7nkXisD-aK5paL8cRPhnorlQv9aDrHMVcgQO0yVpuZOj909Y
KIxaTP6O5qq_Zilf4WAXK76ah0rdPQ6vVM7o-dU8qcNVp9i-I8qGTcT_8IVxzc7XChWy
dEictc8xB0QIE9rI-stpy4iuSs1xqviYkZn43VDNYd58gNXnQWKXNI1jlioq4MG776cA
GLsTF8bslT6Q5tPP15uH55GooF1mFg2FBGN7ZpZYL-6kTg22F3YvQhKzeU7uGxZaAx9m
2b8uwVig
]]>
</sourcecode>
</figure>
</section>
</section>
</section>

<section anchor="security-considerations"><name>Security Considerations</name>
<blockquote><t>Editor's Note: This will follow once the algorithms defined here have become more stable.</t>
</blockquote>
<ul spacing="compact">
<li>Data minimization of the proof value</li>
<li>Unlinkability of the protected header contents</li>
</ul>
</section>

<section anchor="iana-considerations"><name>IANA Considerations</name>
<t>The following registration procedure is used for all the
registries established by this specification.</t>
<t>Values are registered on a Specification Required <xref target="RFC5226"/> basis
after a three-week review period on the jose-reg-review@ietf.org
mailing list, on the advice of one or more Designated Experts.
However, to allow for the allocation of values prior to publication,
the Designated Experts may approve registration once they are
satisfied that such a specification will be published.</t>
<t>Registration requests sent to the mailing list for review should use
an appropriate subject (e.g., "Request to register JWP algorithm: example").</t>
<t>Within the review period, the Designated Experts will either approve or deny
the registration request, communicating this decision to the review list and IANA.
Denials should include an explanation and, if applicable,
suggestions as to how to make the request successful.
Registration requests that are undetermined for
a period longer than 21 days can be brought to the IESG's attention
(using the iesg@ietf.org mailing list) for resolution.</t>
<t>Criteria that should be applied by the Designated Experts include
determining whether the proposed registration duplicates existing functionality,
whether it is likely to be of general applicability
or useful only for a single application,
and whether the registration description is clear.</t>
<t>IANA must only accept registry updates from the Designated Experts and should direct
all requests for registration to the review mailing list.</t>
<t>It is suggested that multiple Designated Experts be appointed who are able to
represent the perspectives of different applications using this specification,
in order to enable broadly informed review of registration decisions.
In cases where a registration decision could be perceived as
creating a conflict of interest for a particular Expert,
that Expert should defer to the judgment of the other Experts.</t>

<section anchor="AlgsReg"><name>JSON Web Proof Algorithms Registry</name>
<t>This specification establishes the
IANA "JSON Web Proof Algorithms" registry
for values of the JWP <tt>alg</tt> (algorithm) parameter in JWP Header Parameters.
The registry records the algorithm name, the algorithm description,
the algorithm usage locations,
the implementation requirements, the change controller,
and a reference to the specification that defines it.
The same algorithm name can be registered multiple times,
provided that the sets of usage locations are disjoint.</t>
<t>It is suggested that the length of the key be included in the algorithm
name when multiple variations of algorithms are being
registered that use keys of different lengths and the key lengths for
each need to be fixed (for instance, because they will be created by
key derivation functions).
This allows readers of the JSON text to more easily make security decisions.</t>
<t>The Designated Experts should perform reasonable due diligence
that algorithms being registered either are currently considered
cryptographically credible or are being registered as Deprecated
or Prohibited.</t>
<t>The implementation requirements of an algorithm may be changed
over time as the
cryptographic landscape evolves, for instance,
to change the status of an algorithm to Deprecated or
to change the status of an algorithm from Optional
to Recommended+ or Required.
Changes of implementation requirements are only permitted
on a Specification Required basis after review by the Designated Experts,
with the new specification
defining the revised implementation requirements level.</t>

<section anchor="AlgsTemplate"><name>Registration Template</name>

<ul spacing="compact">
<li>Algorithm Name: The name requested (e.g., "SU-ES256"). This name is a case-sensitive ASCII string. Names may not match other registered names in a case-insensitive manner unless the Designated Experts state that there is a compelling reason to allow an exception.</li>
<li>Algorithm Description: Brief description of the algorithm (e.g., "Single-Use JWP using ES256").</li>
<li>Algorithm Usage Location(s): The algorithm usage locations, which should be one or more of the values <tt>Issued</tt> or <tt>Presented</tt>.  Other values may be used with the approval of a Designated Expert.</li>
<li>JWP Implementation Requirements: The algorithm implementation requirements for JWP, which must be one the words Required, Recommended, Optional, Deprecated, or Prohibited. Optionally, the word can be followed by a "+" or "-". The use of "+" indicates that the requirement strength is likely to be increased in a future version of the specification.  The use of "-" indicates that the requirement strength is likely to be decreased in a future version of the specification. Any identifiers registered for non-authenticated encryption algorithms or other algorithms that are otherwise unsuitable for direct use as JWP algorithms must be registered as "Prohibited".</li>
<li>Change Controller: For Standards Track RFCs, list the "IETF". For others, give the name of the responsible party. Other details (e.g., postal address, email address, home page URI) may also be included.</li>
<li>Specification Document(s): Reference to the document or documents that specify the parameter, preferably including URIs that can be used to retrieve copies of the documents. An indication of the relevant sections may also be included but is not required.</li>
<li>Algorithm Analysis Documents(s): References to a publication or publications in well-known cryptographic conferences, by national standards bodies, or by other authoritative sources analyzing the cryptographic soundness of the algorithm to be registered. The Designated Experts may require convincing evidence of the cryptographic soundness of a new algorithm to be provided with the registration request unless the algorithm is being registered as Deprecated or Prohibited. Having gone through working group and IETF review, the initial registrations made by this document are exempt from the need to provide this information.</li>
</ul>
</section>

<section anchor="AlgsContents"><name>Initial Registry Contents</name>

<ul>
<li>Algorithm Name: <tt>SU-ES256</tt></li>
<li>Algorithm Description: Single-Use JWP using ES256</li>
<li>Algorithm Usage Location(s): Issued, Presented</li>
<li>JWP Implementation Requirements: Recommended</li>
<li>Change Controller: IETF</li>
<li>Specification Document(s): <xref target="SU-registration"/> of this specification</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>SU-ES384</tt></t>
</li>
<li><t>Algorithm Description: Single-Use JWP using ES384</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="SU-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>SU-ES512</tt></t>
</li>
<li><t>Algorithm Description: Single-Use JWP using ES512</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="SU-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>BBS-DRAFT-5</tt></t>
</li>
<li><t>Algorithm Description: Corresponds to a ciphersuite identifier of <tt>BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_</tt></t>
</li>
<li><t>Algorithm Usage Location(s): Issued</t>
</li>
<li><t>JWP Implementation Requirements: Required</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="BBS-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>BBS-PROOF-DRAFT-5</tt></t>
</li>
<li><t>Algorithm Description: Corresponds to a ciphersuite identifier of <tt>BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_</tt></t>
</li>
<li><t>Algorithm Usage Location(s): Presented</t>
</li>
<li><t>JWP Implementation Requirements: Required</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="BBS-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-H256</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-H256</tt> uses <tt>HMAC SHA-256</tt> as the MAC and <tt>ECDSA using P-256 and SHA-256</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-H384</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-H384</tt> uses <tt>HMAC SHA-384</tt> as the MAC and <tt>ECDSA using P-384 and SHA-384</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-H512</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-H512</tt> uses <tt>HMAC SHA-512</tt> as the MAC and <tt>ECDSA using P-521 and SHA-512</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-K25519</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-K25519</tt> uses <tt>KMAC SHAKE128</tt> as the MAC and <tt>EdDSA using Curve25519</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-K448</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-K448</tt> uses <tt>KMAC SHAKE256</tt> as the MAC and <tt>EdDSA using Curve448</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
<li><t>Algorithm Name: <tt>MAC-H256K</tt></t>
</li>
<li><t>Algorithm Description: <tt>MAC-H256K</tt> uses <tt>HMAC SHA-256</tt> as the MAC and <tt>ECDSA using secp256k1 and SHA-256</tt> for the signatures</t>
</li>
<li><t>Algorithm Usage Location(s): Issued, Presented</t>
</li>
<li><t>JWP Implementation Requirements: Optional</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="MAC-registration"/> of this specification</t>
</li>
<li><t>Algorithm Analysis Documents(s): n/a</t>
</li>
</ul>
</section>
</section>

<section anchor="HdrReg"><name>Header Parameter Names Registration</name>
<t>This section registers the following Header Parameter names
defined by this specification in the IANA
"JSON Web Proof Header Parameters" registry
established by <xref target="I-D.ietf-jose-json-web-proof"/>.</t>

<section anchor="HdrContents"><name>Registry Contents</name>

<ul>
<li>Header Parameter Name: <tt>proof_jwk</tt></li>
<li>Header Parameter Description: Issuer's Ephemeral Key</li>
<li>Header Parameter Usage Location(s): Issued</li>
<li>Change Controller: IETF</li>
<li><t>Specification Document(s): <xref target="issuer-protected-header"/> of this specification</t>
</li>
<li><t>Header Parameter Name: <tt>presentation_jwk</tt></t>
</li>
<li><t>Header Parameter Description: Holder's Presentation Key</t>
</li>
<li><t>Header Parameter Usage Location(s): Issued</t>
</li>
<li><t>Change Controller: IETF</t>
</li>
<li><t>Specification Document(s): <xref target="issuer-protected-header"/> of this specification</t>
</li>
</ul>
</section>
</section>
</section>

</middle>

<back>
<references><name>References</name>
<references><name>Normative References</name>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-cose-bls-key-representations.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-jose-json-web-proof.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml3/reference.I-D.draft-irtf-cfrg-bbs-signatures-05.xml"/>
</references>
<references><name>Informative References</name>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2104.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5226.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7515.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.7518.xml"/>
<xi:include href="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml"/>
<reference anchor="VC-DATA-MODEL-2.0" target="https://www.w3.org/TR/vc-data-model-2.0">
  <front>
    <title>Verifiable Credentials Data Model 2.0</title>
    <author fullname="Manu Sporny">
      <organization>Digital Bazaar</organization>
    </author>
    <author fullname="Ted Thibodeau Jr">
      <organization>OpenLink Software</organization>
    </author>
    <author fullname="Ivan Herman">
      <organization>W3C</organization>
    </author>
    <author fullname="Michael B. Jones">
      <organization>Invited Expert</organization>
    </author>
    <author fullname="Gabe Cohen">
      <organization>Block</organization>
    </author>
    <date year="2023" month="December" day="27"/>
  </front>
</reference>
</references>
</references>

<section anchor="acknowledgements"><name>Acknowledgements</name>
<t>This work was incubated in the DIF <eref target="https://identity.foundation/working-groups/crypto.html">Applied Cryptography Working Group</eref>.</t>
<t>We would like to thank
Alberto Solavagione
for his valuable contributions to this specification.</t>
<t>The BBS examples were generated using the library at <eref target="https://github.com/mattrglobal/pairing_crypto">https://github.com/mattrglobal/pairing_crypto</eref> .</t>
</section>

<section anchor="document-history"><name>Document History</name>
<t>[[ To be removed from the final specification ]]
  -03</t>

<ul spacing="compact">
<li>Improvements resulting from a full proofreading.</li>
<li>Populated IANA Considerations section.</li>
<li>Updated to use BBS draft -05.</li>
<li>Updated examples.</li>
</ul>
<t>-02</t>

<ul spacing="compact">
<li>Add new <tt>BBS-DRAFT-3</tt> and <tt>BBS-PROOF-DRAFT-3</tt> algorithms based on draft-irtf-cfrg-bbs-signatures-03.</li>
<li>Remove prior <tt>BBS-X</tt> algorithm based on a particular implementation of earlier drafts.</li>
</ul>
<t>-01</t>

<ul spacing="compact">
<li>Correct cross-references within group</li>
<li>Describe <tt>issuer_header</tt> and <tt>presentation_header</tt></li>
<li>Update BBS references to CFRG drafts</li>
<li>Rework reference to HMAC ( RFC2104 )</li>
<li>Remove ZKSnark placeholder</li>
</ul>
<t>-00</t>

<ul spacing="compact">
<li>Created initial working group draft based on draft-jmiller-jose-json-proof-algorithms-01</li>
</ul>
</section>

</back>

</rfc>
