Seminar Zero-Knowledge Range Proofs und Prädikatsnachweise

Ein Altersnachweis als Bereichs- oder Vergleichsprädikat klingt einfach, enthält aber zahlreiche Sicherheitsdetails: Datumsinterpretation, Wertebereich, Bindung an ein Credential, öffentliche Parameter und Kontext müssen exakt festgelegt sein.

Die Schulung führt von der formalen Relation über Verfahren und Schaltungsdesign bis zu Performance- und Negativtests.

Inhaltsübersicht

• Zielsetzung
• Zielgruppe und Voraussetzungen
• Format und Schwerpunkte
• Seminarinhalte
• Praxisübungen
• Arbeitsunterlagen

Zielsetzung

Das Seminar vertieft kryptografische Bereichs- und Prädikatsnachweise für Alters- und Schwellenentscheidungen. Es behandelt formale Relationen, Datumsnormalisierung, Commitments, Bit- und Intervallbeweise, Bulletproof-nahe Konzepte, SNARK- und PLONK-artige Schaltungen, vertrauenswürdige Parameter, Proof-Bindung, Performance, Bibliotheksauswahl und Sicherheitsprüfung.

Zielgruppe und Voraussetzungen

Zielgruppe: Kryptografie-nahe Entwicklung, Security Research, technische Architektur, Wallet- und Credential-Engineering, Protokollentwicklung und technische Auditoren.

Voraussetzungen: Gute Kenntnisse von Commitments, modularer Arithmetik, Hashfunktionen und Zero-Knowledge-Grundbegriffen. Sichere Programmierkenntnisse werden vorausgesetzt.

Format und Schwerpunkte

Drei Tage sind erforderlich, weil mehrere Range-Proof-Familien, Schaltungsmodellierung, Parameter- und Bibliotheksfragen sowie praktische Sicherheits- und Performanceprüfungen behandelt werden. Das Format richtet sich ausdrücklich an technische Spezialisten.

Seminarinhalte

Modul 1: Altersrelation formal spezifizieren

1. Schritt 1: Geheimen Geburtswert, öffentlichen Stichtag, Schwelle und zulässigen Wertebereich definieren.
2. Schritt 2: Kalender, Zeitzone, Schaltjahr, Tagesgrenze und Kodierung eindeutig normalisieren.
3. Schritt 3: Relation gegen negative Werte, Überlauf, alternative Kodierung und ungebundene Eingaben absichern.

Modul 2: Commitment-Bindung zum Credential herstellen

1. Schritt 1: Nachweisen, dass der im Prädikat verwendete Wert tatsächlich aus einem gültigen Credential stammt.
2. Schritt 2: Commitment, Signatur- oder Credential-Proof und Range Proof in ein gemeinsames Transkript binden.
3. Schritt 3: Substitution, Mix-and-Match und Wiederverwendung von Teilbeweisen mit Negativtests ausschließen.

Modul 3: Bitzerlegung und klassische Bereichsnachweise verstehen

1. Schritt 1: Wert in Bits zerlegen und Booleanity- sowie Rekonstruktionsbedingungen modellieren.
2. Schritt 2: Beweisgröße und Verifikationsaufwand in Abhängigkeit von Bitlänge und Aggregation bewerten.
3. Schritt 3: Randwerte, offene und geschlossene Intervalle sowie Off-by-one-Fehler systematisch testen.

Modul 4: Bulletproof-nahe Verfahren einordnen

1. Schritt 1: Inner-Product-Argumente und logarithmische Beweisgrößen konzeptionell nachvollziehen.
2. Schritt 2: Aggregierte Range Proofs für mehrere Werte und ihre Datenschutzwirkung bewerten.
3. Schritt 3: Parameter, Generatorableitung, Transkript und Bibliotheksannahmen kritisch prüfen.

Modul 5: SNARK- und PLONK-artige Schaltungen entwerfen

1. Schritt 1: Altersvergleich als arithmetische Schaltung mit Constraints darstellen.
2. Schritt 2: Range Checks, Lookup-Tabellen, Datumsberechnung und Credential-Bindung modellieren.
3. Schritt 3: Trusted Setup, universelle Parameter, Proof-Größe, Verifikationszeit und Prover-Aufwand vergleichen.

Modul 6: Öffentliche Eingaben und Kontext binden

1. Schritt 1: Verifier-Domäne, Challenge, Zweck, Schwelle, Stichtag, Schema und Policy-Version in die Aussage aufnehmen.
2. Schritt 2: Kanonische Kodierung und Domänentrennung für alle Hash- und Fiat-Shamir-Schritte festlegen.
3. Schritt 3: Cross-Protocol- und Replay-Angriffe durch eindeutige Protokollkennzeichnung verhindern.

Modul 7: Datenschutz und Unverknüpfbarkeit bewerten

1. Schritt 1: Prüfen, ob Proofs frische Zufälligkeit verwenden und keine stabilen Commitments offenlegen.
2. Schritt 2: Informationsleckage durch exakte Schwellenabfragen, adaptive Queries und seltene Kontextkombinationen analysieren.
3. Schritt 3: Rate Limits, Policy-Grenzen und minimale Schwellenprofile gegen Ausforschung einsetzen.

Modul 8: Bibliotheken und Parameter prüfen

1. Schritt 1: Implementierungsreife, Auditstatus, Kurven, Parameterherkunft, API-Sicherheit und Wartung bewerten.
2. Schritt 2: Subgruppen-, Punkt-, Feld- und Deserialisierungsprüfungen nachvollziehen.
3. Schritt 3: Unsichere Defaults, ungebundene optionale Felder und inkonsistente Fehlerbehandlung identifizieren.

Modul 9: Performance und Skalierung messen

1. Schritt 1: Prover-Zeit, Verifier-Zeit, Proof-Größe, Speicher und Parallelisierung messen.
2. Schritt 2: Mobile Wallet, Browser, Server und Offline-Verifier als unterschiedliche Zielumgebungen testen.
3. Schritt 3: Caching, Batch-Verifikation und Ressourcenlimits ohne Verlust von Frische oder Kontextbindung planen.

Modul 10: Sicherheits- und Interoperabilitätstests durchführen

1. Schritt 1: Testvektoren für Randwerte, falsche Schwellen, manipulierte Parameter, abweichende Kodierung und beschädigte Proofs erstellen.
2. Schritt 2: Cross-Library-Verifikation und deterministische Fixtures für Regressionen nutzen.
3. Schritt 3: Fuzzing, Property-Based Tests und unabhängige Reviewpunkte in den Entwicklungsprozess integrieren.

Praxisübungen

1. Übung 1: Formale Altersrelation und Wertebereich spezifizieren.
2. Übung 2: Range-Proof-Schaltung oder Bibliotheksprototyp für eine Mindestalterprüfung umsetzen.
3. Übung 3: Credential-Bindung und Transkript mit Challenge und Domäne testen.
4. Übung 4: Randwert-, Manipulations- und Cross-Library-Testvektoren erstellen.
5. Übung 5: Performance auf zwei Zielplattformen messen und bewerten.

Arbeitsunterlagen

• Spezifikationsvorlage für Range-Proof-Relationen
• Constraint- und Transkript-Checkliste
• Bibliotheks- und Parameterbewertung
• Randwert- und Negativtestkatalog
• Performance-Messplan
• Security-Review-Vorlage