constant-time-testing

Überblick über constant-time-testing

constant-time-testing ist ein praktisches Skill für die Prüfung kryptografischen Codes auf Timing-Seitenkanäle. Verwende das constant-time-testing Skill, wenn du prüfen musst, ob secret-abhängige Verzweigungen, Speicherzugriffsmuster oder mikroarchitektonisches Verhalten Schlüssel, Nonces oder andere sensible Werte preisgeben könnten.

Wer constant-time-testing nutzen sollte

Dieses Skill eignet sich vor allem für Security-Auditors, Crypto Engineers und Reviewer von kryptografischen Implementierungen auf Code-Ebene. Besonders hilfreich ist es, wenn du bereits Code, ein Test-Harness oder einen verdächtigen Hot Path hast und einen gezielten constant-time-testing-Leitfaden brauchst statt einer allgemeinen Secure-Coding-Checkliste.

Welches Problem es löst

Die eigentliche Aufgabe ist nicht „Timing-Angriffe in der Theorie verstehen“, sondern „herausfinden, ob sich dieser Code anders verhält, wenn sich Secrets ändern“. constant-time-testing hilft dir dabei, diese Frage in einen wiederholbaren Review-Workflow zu übersetzen: sensible Eingaben identifizieren, die von ihnen beeinflussten Codepfade prüfen und Tests entwerfen, die Leakage sichtbar machen können.

Warum es nützlich ist

Der Hauptwert liegt in der Präzision. Ein gutes constant-time-testing Skill sollte dich zu Folgendem führen:

• den genau relevanten Codebereichen,
• den Arten von Vergleichen und Lookups, die häufig leaken,
• und den Nachweisen, die du brauchst, bevor du entscheidest, ob ein Befund echt ist.

So verwendest du das constant-time-testing Skill

Installieren und die Quelltexte öffnen

Für die constant-time-testing Installation fügst du das Skill aus trailofbits/skills hinzu und liest dann zuerst SKILL.md. Wenn du das in einem Agent-Workflow nutzt, prüfe außerdem benachbarte Repo-Dateien, die Verhalten oder Konventionen definieren, bevor du deinen Prompt schreibst.

Mit der richtigen Eingabeform starten

Das Skill funktioniert am besten mit einem konkreten Ziel, nicht mit einer vagen Anfrage. Gute Eingaben sind zum Beispiel:

• das Repository oder der Dateipfad, der geprüft werden soll,
• die Secret-Werte oder API-Aufrufe, die verborgen bleiben müssen,
• das Threat Model, etwa lokaler Angreifer, Remote-Timing-Beobachter oder Benchmark-Rauschen,
• und Sprache oder Plattform, weil C, Rust, Assembly und High-Level-Code unterschiedlich leaken.

Ein starker Prompt sieht etwa so aus: „Nutze constant-time-testing für src/crypto.rs, um zu prüfen, ob verify_tag() auf Secret-Bytes verzweigt. Nimm einen Remote-Angreifer an und berichte wahrscheinliche Leakage-Stellen, Testideen und mögliche False Positives.“

Empfohlener Review-Workflow

Ein praktisches constant-time-testing Nutzungsmuster ist:

1. Secrets und alle Codepfade identifizieren, die sie beeinflussen.
2. Auf Verzweigungen, Early Returns, Tabellenzugriffe und Primitive mit variabler Laufzeit achten.
3. Testen, ob sich das Verhalten mit secret-abhängigen Eingaben ändert.
4. Echte Leakage von Compiler-, Runtime- oder Messrauschen trennen.
5. Befunde mit den exakten Eingaben, Codepositionen und der Vertrauensstufe berichten.

Vorab lesen für bessere Ergebnisse

Priorisiere SKILL.md, dann alle Repo-Beispiele für Constant-Time-Checks, Messskripte oder Policy-Notizen. Wenn das Repo mehrere Implementierungsziele enthält, lies zuerst dasjenige, das deinem Produktions-Stack am nächsten ist, damit der constant-time-testing-Leitfaden zu deiner Umgebung passt.

Häufige Fragen zu constant-time-testing

Ist constant-time-testing nur für Kryptobibliotheken gedacht?

Nein. Es ist für jeden Code gedacht, bei dem secret-abhängiges Timing relevant sein kann, einschließlich Authentifizierungsprüfungen, Schlüsselvergleichen, Parsing von Formaten mit sensiblen Daten und Protokiklogik. Der constant-time-testing-Einsatz für Security Audits ist breiter als reine Kryptografie.

Brauche ich vorab ein Benchmark-Setup?

Nicht immer. Du kannst mit statischem Review und gezielten Tests anfangen und Timing-Messungen erst ergänzen, wenn der Codepfad verdächtig wirkt. Bei vielen Audits geht es im ersten Durchlauf darum, die potenzielle Leakage-Stelle einzugrenzen.

Worin unterscheidet sich das von einem normalen Prompt?

Ein normaler Prompt fragt oft nach einer allgemeinen Erklärung von Timing-Angriffen. constant-time-testing ist handlungsorientierter: Es ist darauf ausgelegt, einen konkreten Codebestand, ein konkretes Secret und ein konkretes Threat Model zu prüfen, was in der Regel bessere Audit-Ergebnisse liefert.

Wann sollte ich es nicht verwenden?

Verlasse dich nicht darauf, wenn du vollständige Infrastruktur für dynamische Analyse, formale Verifikation oder hardware-spezifische Zertifizierung brauchst. Es ist am nützlichsten als gezielter Review- und Testleitfaden, nicht als Ersatz für tiefere Assurance-Methoden.

So verbesserst du das constant-time-testing Skill

Gib dem Skill die Secrets und Invarianten

Der größte Qualitätssprung entsteht, wenn klar benannt ist, was geheim bleiben muss und was sich nicht ändern darf. Sag dem Modell, welche Werte sensibel sind, welche Operationen variieren dürfen und welche Codepfade sicherheitskritisch sind. Das macht das constant-time-testing Skill deutlich präziser.

Teile Code-Stellen und verdächtige Muster mit

Wenn du bereits eine Funktion, eine Verzweigung oder eine Lookup-Tabelle vermutest, nenne sie direkt. Beispiel: „Prüfe verify(), ct_eq() und den S-Box-Lookup in src/aes.c.“ Das reduziert Rätselraten und hilft dabei, den Output auf die riskantesten Leakage-Pfade zu konzentrieren.

Bitte um Belege, nicht nur um ein Urteil

Gute Ergebnisse enthalten meist einen konkreten Testplan: zu vergleichende Eingabepaare, Messpunkte, Kriterien für Leakage und die Interpretation von Rauschmessungen. Fordere diese Artefakte ausdrücklich an, damit die Antwort über „sieht constant-time aus“ oder „ist nicht constant-time“ hinausgeht.

Nach dem ersten Durchlauf nachschärfen

Nutze das erste Ergebnis, um den Scope zu verfeinern. Wenn eine Verzweigung markiert wird, bitte um eine engere constant-time-testing-Prüfung nur für diese Funktion; wenn alles sauber wirkt, prüfe benachbarte Helfer, Compiler-Effekte oder plattformspezifisches Verhalten, das dennoch leaken könnte.