Comment fonctionne la vérification

Les cinq étapes

1. 1Téléchargez le justificatif

   Chaque page de passeport propose son justificatif sous forme de jeton signé, une seule ligne de texte. Téléchargez-le. Tout ce qui suit opère sur ce fichier, jamais sur la page qui l'affiche.

   Cela établit que vous détenez le même artefact que celui que l'émetteur a publié. Cela n'établit pas que quoi que ce soit dedans est vrai.

2. 2Vérifiez la signature de l'émetteur

   Le jeton porte une signature sur son contenu. Un vérificateur refait le calcul avec la clé publique de l'émetteur ; changez un caractère du contenu et la vérification échoue.

   Cela établit que le contenu n'a pas changé depuis que le détenteur de cette clé l'a signé. Cela n'établit pas qui détient la clé : c'est l'étape suivante.

3. 3Vérifiez l'identité de l'émetteur

   L'émetteur est nommé did:web:anydpp.eu, ce qui se résout en un document public d'identification sur anydpp.eu. La clé utilisée à l'étape deux doit y figurer, sous le nom et le domaine propres de l'émetteur.

   Cela établit que la clé appartient à qui contrôle ce domaine. Cela n'établit pas que le propriétaire du domaine est, dans le monde réel, celui qu'il prétend être.

4. 4Vérifiez la liste de statut

   Le justificatif nomme une liste de statut, publiée et signée par le même émetteur, et sa propre position dans cette liste. Lisez le bit à cette position : 0 signifie non révoqué, 1 signifie révoqué.

   Cela établit si l'émetteur a retiré le justificatif depuis son émission. Cela n'établit pas pourquoi, et ne revérifie rien de ce que le justificatif dit.

5. 5Examinez les références de preuve

   Le justificatif liste les documents sources à partir desquels il a été construit, chacun par identifiant et par une empreinte de l'enregistrement, et nomme le document source derrière chaque attribut ainsi que son niveau de confiance. Il ne contient pas les documents eux-mêmes.

   Cela établit quels documents l'émetteur déclare avoir lus, et permet à qui en détient un de prouver que c'est le même. Cela n'établit pas que ces documents sont authentiques ni que leur contenu est vrai.

Ouvrir le passeport de démonstration

Comment fonctionne la vérification

Du document source à une signature qu'un tiers peut contrôler. La méthode, au niveau où nous la publions.

Ce film : production assistée par IA, contenu vérifié par des humains. Voix de synthèse en anglais, sous-titres en cinq langues. Accessibilité et transparence de l'IA

Ce qui a changé

Ce que la vérification n'établit pas

• La vérité de chaque énoncé d'un document source. Une empreinte prouve qu'un document est celui qui a été lu, pas que ce qu'il dit est exact.
• La conformité juridique. Le justificatif consigne des preuves et ne rend aucun verdict sur la possibilité de mettre des marchandises sur un marché quelconque.
• L'exhaustivité de la diligence raisonnée. Il liste les documents qui ont été lus, pas les documents que les obligations propres d'un opérateur peuvent encore exiger.
• Une certification de quelque nature que ce soit. Personne n'a audité le producteur, la parcelle ou l'envoi sur la foi de ce justificatif.
• Une approbation réglementaire. Aucune autorité compétente n'a examiné ni cautionné le justificatif, l'émetteur ou la méthode.

Pour les ingénieurs : la même vérification, en commandes

Copy and paste

1. 1. Download the three artefacts

   # 1. the credential, as a compact JWS (application/vc+jwt)
   curl -s https://anylai.eu/api/corridor/passports/DEMO26-000001/credential.jwt -o DEMO26-000001.jwt
   
   # 2. the issuer's DID document (the public key lives HERE, not in the credential)
   curl -s https://anydpp.eu/.well-known/did.json -o did.json
   
   # 3. the status list credential (an EnvelopedVerifiableCredential around its own JWS)
   curl -s https://anylai.eu/api/corridor/status-list/1 -o status-list-1.json
   
   # what you downloaded
   sha256sum DEMO26-000001.jwt

   The credential is one line of text: header, payload and signature, base64url-encoded and dot-separated. The DID document is fetched from the issuer's own domain, never taken from inside the credential: a forged credential must not be allowed to vouch for itself.

2. 2. Verify it in Node (one file, one dependency)

   // verify.mjs  --  npm i jose  --  node verify.mjs
   import { compactVerify, importJWK } from "jose";
   import { gunzipSync } from "node:zlib";
   
   const b64 = (s) => Buffer.from(s, "base64url");
   const jws = (await (await fetch("https://anylai.eu/api/corridor/passports/DEMO26-000001/credential.jwt")).text()).trim();
   const header = JSON.parse(b64(jws.split(".")[0]));
   if (header.typ !== "vc+jwt" || header.cty !== "vc") throw new Error("not a vc+jwt");
   
   const did = header.kid.split("#")[0];
   const didDoc = await (await fetch(`https://${did.replace("did:web:", "")}/.well-known/did.json`)).json();
   const method = didDoc.verificationMethod.find((m) => m.id === header.kid);
   if (!method || !didDoc.assertionMethod.includes(header.kid)) throw new Error("kid not under assertionMethod");
   
   const key = await importJWK(method.publicKeyJwk, header.alg);
   const { payload } = await compactVerify(jws, key); // throws JWSSignatureVerificationFailed on a bad signature
   const vc = JSON.parse(Buffer.from(payload).toString("utf8"));
   if (vc.issuer.id !== method.controller) throw new Error("key controller is not the issuer");
   console.log("signature: valid | issuer:", vc.issuer.id, "| kid:", header.kid);
   
   const wrapper = await (await fetch(vc.credentialStatus.statusListCredential)).json();
   const listJws = wrapper.id.replace("data:application/vc+jwt,", "");
   const listHeader = JSON.parse(b64(listJws.split(".")[0]));
   const listMethod = didDoc.verificationMethod.find((m) => m.id === listHeader.kid);
   const listKey = await importJWK(listMethod.publicKeyJwk, listHeader.alg);
   const list = JSON.parse(Buffer.from((await compactVerify(listJws, listKey)).payload).toString("utf8"));
   const encoded = list.credentialSubject.encodedList;
   if (!encoded.startsWith("u")) throw new Error("encodedList is not multibase base64url");
   const bits = gunzipSync(b64(encoded.slice(1)));
   const index = Number(vc.credentialStatus.statusListIndex);
   const revoked = (bits[index >> 3] >> (7 - (index & 7))) & 1;
   console.log("status:", revoked ? "revoked" : "active", "| status list signature: valid");

   Steps two to four of the page above, as code. It throws on a bad signature, on a key that is not listed under the issuer's assertionMethod, on a controller that is not the issuer, and on a status list that is not signed by the same key.

3. 3. Or in Python

   # verify.py  --  pip install pyjwt cryptography requests  --  python verify.py
   import base64, gzip, json, jwt, requests
   
   jws = requests.get("https://anylai.eu/api/corridor/passports/DEMO26-000001/credential.jwt").text.strip()
   header = jwt.get_unverified_header(jws)
   assert header["typ"] == "vc+jwt" and header["cty"] == "vc"
   
   did = header["kid"].split("#")[0]
   did_doc = requests.get(f"https://{did.removeprefix('did:web:')}/.well-known/did.json").json()
   method = next(m for m in did_doc["verificationMethod"] if m["id"] == header["kid"])
   assert header["kid"] in did_doc["assertionMethod"]
   
   key = jwt.algorithms.OKPAlgorithm.from_jwk(json.dumps(method["publicKeyJwk"]))
   vc = jwt.decode(jws, key=key, algorithms=["EdDSA"])  # raises InvalidSignatureError on a bad signature
   assert vc["issuer"]["id"] == method["controller"], "key controller is not the issuer"
   print("signature: valid | issuer:", vc["issuer"]["id"], "| kid:", header["kid"])
   
   wrapper = requests.get(vc["credentialStatus"]["statusListCredential"]).json()
   list_jws = wrapper["id"].removeprefix("data:application/vc+jwt,")
   list_header = jwt.get_unverified_header(list_jws)
   list_method = next(m for m in did_doc["verificationMethod"] if m["id"] == list_header["kid"])
   list_key = jwt.algorithms.OKPAlgorithm.from_jwk(json.dumps(list_method["publicKeyJwk"]))
   status_list = jwt.decode(list_jws, key=list_key, algorithms=["EdDSA"])
   encoded = status_list["credentialSubject"]["encodedList"]
   assert encoded.startswith("u"), "encodedList is not multibase base64url"
   body = encoded[1:]
   bits = gzip.decompress(base64.urlsafe_b64decode(body + "=" * (-len(body) % 4)))
   index = int(vc["credentialStatus"]["statusListIndex"])
   print("status:", "revoked" if bits[index // 8] >> (7 - index % 8) & 1 else "active", "| status list signature: valid")

   The same check with PyJWT and cryptography. Both verifiers are the reader's own code calling an open-source library; neither calls anything of AnyLAI's except the three public downloads.

4. 4. Prove the check has teeth

   // tamper.mjs -- change ONE character of the payload segment and the signature check must fail
   import { compactVerify, importJWK } from "jose";
   const jws = (await (await fetch("https://anylai.eu/api/corridor/passports/DEMO26-000001/credential.jwt")).text()).trim();
   const [h, p, s] = jws.split(".");
   const flipped = p.slice(0, 10) + (p[10] === "A" ? "B" : "A") + p.slice(11);
   const didDoc = await (await fetch("https://anydpp.eu/.well-known/did.json")).json();
   const key = await importJWK(didDoc.verificationMethod[0].publicKeyJwk, "EdDSA");
   await compactVerify(`${h}.${flipped}.${s}`, key)
     .then(() => { throw new Error("TAMPERED CREDENTIAL VERIFIED: stop trusting this check"); })
     .catch((e) => console.log("tampered credential rejected:", e.code ?? e.message));

   Feed a credential with one character of its payload changed to the same verifier. If it still passes, the verification is not doing anything and you should stop trusting it. That is the test worth running first.

Published values

The digest is read from the live passport API when this page is viewed, so it names the artefact actually being served; compare it with the output of sha256sum above.