Seminar Credo TypeScript – AnonCreds Issuance, Proofs und Revocation

Das dreitägige Seminar behandelt die Entwicklung vollständiger AnonCreds-Prozesse mit Credo. Schemas, Credential Definitions, Link Secrets, Ausgabe, selektive Offenlegung, Prädikate, Revocation, Registry-Anbindung, Tests und Betriebsanforderungen werden Schritt für Schritt umgesetzt.

Inhaltsverzeichnis

• Lernziele und fachliche Einordnung
• Schrittweise Seminarinhalte
• Praxisübungen und Laborszenarien
• Zielgruppe und Voraussetzungen
• Didaktik und Arbeitsweise

Lernziele

• AnonCreds-Datenobjekte und kryptografische Rollen sicher einordnen.
• Schemas und Credential Definitions kontrolliert erstellen und veröffentlichen.
• Credential-Ausgabe zwischen Issuer und Holder implementieren.
• Proof Requests mit selektiver Offenlegung und Prädikaten entwickeln.
• Revocation, Statusprüfung, Fehleranalyse und Interoperabilität beherrschen.

Schrittweise Seminarinhalte

1. AnonCreds-Architektur und Vertrauensmodell

Schwerpunkt: Issuer, Holder, Verifier, Link Secret, Schema, Credential Definition, Registry, Revocation Registry, kryptografische Bindung und Datenschutz.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „AnonCreds-Architektur und Vertrauensmodell“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Issuer, Holder, Verifier, Link Secret, Schema, Credential Definition, Registry, Revocation Registry, kryptografische Bindung und Datenschutz modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis ein konsistentes AnonCreds-Objekt- und Rollenmodell dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

2. Module, Bibliotheken und Agentenkonfiguration

Schwerpunkt: AnonCreds-Modul, kryptografische Implementierung, Registry-Provider, Wallet Storage, KMS, Logger, Fehlerbehandlung und Testkonfiguration.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Module, Bibliotheken und Agentenkonfiguration“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von AnonCreds-Modul, kryptografische Implementierung, Registry-Provider, Wallet Storage, KMS, Logger, Fehlerbehandlung und Testkonfiguration modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis eine lauffähige Credo-AnonCreds-Umgebung dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

3. Schemas und Credential Definitions

Schwerpunkt: Attributdesign, Versionierung, Namensräume, Governance, Schlüsselmaterial, Veröffentlichungsprozess, Auflösung und Änderungsgrenzen.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Schemas und Credential Definitions“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Attributdesign, Versionierung, Namensräume, Governance, Schlüsselmaterial, Veröffentlichungsprozess, Auflösung und Änderungsgrenzen modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis eine veröffentlichte und überprüfte Issuer-Konfiguration dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

4. Credential Offer, Request und Issuance

Schwerpunkt: Holder-Bindung, Link Secret, Offer, Request, Attributwerte, Encodings, Signatur, Speicherung, Protokollstatus und Abbruchfälle.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Credential Offer, Request und Issuance“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Holder-Bindung, Link Secret, Offer, Request, Attributwerte, Encodings, Signatur, Speicherung, Protokollstatus und Abbruchfälle modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis einen vollständigen Ausgabeprozess dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

5. Proof Requests und selektive Offenlegung

Schwerpunkt: Referents, Attribute, Gruppen, Einschränkungen, Prädikate, Nonce, Credential-Auswahl, Proof-Erstellung, Verifikation und Ergebnisinterpretation.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Proof Requests und selektive Offenlegung“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Referents, Attribute, Gruppen, Einschränkungen, Prädikate, Nonce, Credential-Auswahl, Proof-Erstellung, Verifikation und Ergebnisinterpretation modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis einen datensparsamen Nachweisprozess dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

6. Revocation und Statuszustände

Schwerpunkt: Revocation Registry, Tails-Daten, Zeitpunkte, Intervalle, Delta-Verarbeitung, Sperrung, Statusaktualisierung, Cache und Offline-Grenzen.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Revocation und Statuszustände“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Revocation Registry, Tails-Daten, Zeitpunkte, Intervalle, Delta-Verarbeitung, Sperrung, Statusaktualisierung, Cache und Offline-Grenzen modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis einen nachvollziehbaren Revocation-Prozess dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

7. Tests, Interoperabilität und Betrieb

Schwerpunkt: Testdaten, Positiv- und Negativfälle, Registry-Ausfall, ungültige Proofs, Zeitabweichungen, Performance, Logs, Monitoring und Runbooks.

1. Anwendungsfall, Schutzbedarf, Eingaben, Ausgaben und messbare Abnahmekriterien für den Themenblock „Tests, Interoperabilität und Betrieb“ erfassen.
2. Die relevanten Objekte, Rollen, Datenflüsse und Abhängigkeiten anhand von Testdaten, Positiv- und Negativfälle, Registry-Ausfall, ungültige Proofs, Zeitabweichungen, Performance, Logs, Monitoring und Runbooks modellieren und verbindliche Konfigurationsentscheidungen festlegen.
3. Die erforderlichen TypeScript-Komponenten, Credo-Module, Provider, Konfigurationen oder Prozessschritte in einer kontrollierten Laborumgebung implementieren.
4. Funktion, Berechtigungen, Schlüsselverwendung, Protokollzustände, Datenpersistenz und Fehlerverhalten mit definierten Positiv- und Negativfällen prüfen.
5. Als Arbeitsergebnis einen belastbaren Test- und Betriebsleitfaden dokumentieren, fachlich abnehmen und als wiederholbaren Entwicklungs- oder Betriebsstandard festhalten.

Praxisübungen und Laborszenarien

• Erstellung eines Schemas und einer Credential Definition für einen definierten Fachfall.
• Ausgabe und Speicherung eines AnonCreds-Credentials mit kontrollierten Attributwerten.
• Erstellung eines Proof Requests mit selektiver Offenlegung und Altersprädikat.
• Sperrung eines Credentials und Vergleich gültiger sowie ungültiger Nachweise.
• Analyse vorbereiteter Registry-, Encoding-, Zeit- und Revocation-Fehler.

Zielgruppe und Voraussetzungen

Zielgruppe: TypeScript- und SSI-Entwicklung, IAM-Architektur, Credential Engineering, Integrationsentwicklung und technische Testteams.

Voraussetzungen: Gute TypeScript-Grundlagen; Verständnis von Public-Key-Kryptografie und Credential-Lebenszyklen; Credo-Grundkenntnisse sind hilfreich.

Didaktik und Arbeitsweise

Kurze Fachimpulse werden unmittelbar mit Demonstrationen, strukturierten Implementierungsschritten, Code-Reviews, praktischen Übungen und kontrollierten Fehlerfällen verbunden. Jede Übung verwendet definierte Ausgangswerte, Prüfpunkte und Dokumentationsanforderungen, damit die erarbeiteten Lösungen reproduzierbar weiterentwickelt und in den Betrieb überführt werden können.