Zusammenfassung

  • RFC 3607 erschien 2003 als Informational RFC. Das Dokument untersucht mit damaligen Größenordnungen und Annahmen, wie eine sehr große Zahl allgemeiner Internetrechner die Ökonomie kryptanalytischer Arbeit verändern könnte.
  • Gesamtleistung ist nicht eindeutige Abdeckung. Dafür braucht es nicht überlappende Arbeitseinheiten, Zuweisung, Bestätigung, Validierung, Fehler, Duplikate, Timeouts und Neuzuweisungen sowie einen separaten Nachweis der Ressourcenbefugnis.

Auf der Übersichtsseite war die Rechnung geschlossen. Eine Million Teilnehmer mal eine Million Prüfungen ergab eine eindrucksvolle Menge. Im Detailprotokoll stellte sich heraus, dass schnelle Rechner dieselben Einheiten nach einem Timeout erneut erhalten hatten, langsame Rechner nie fertig wurden und manche Teilnehmer nur eine lokale Bestätigung gesendet hatten. Die arithmetische Summe war korrekt und die Aussage über die Abdeckung falsch.

RFC 3607 wurde im September 2003 unter dem Titel „Chinese Lottery Cryptanalysis Revisited: The Internet as a Codebreaking Tool“ veröffentlicht. Als Informational-Dokument griff es die Idee auf, eine riesige Menge allgemeiner Rechner für kryptanalytische Aufgaben zu betrachten. Die schnelle historische Ausbreitung von Code Red machte die Größenordnung anschaulich. Der RFC standardisierte weder eine Implementierung noch genehmigte er eine Operation oder dokumentierte eine tatsächlich gemessene Arbeitsflotte.

Das Modell bleibt konditional. Es setzt Population, Beteiligungsanteil, Leistung je Rechner, Nutzungsdauer, Koordinationskosten und Ziel voraus. Daraus folgt ein Szenario, wenn die Werte gelten. Viele Nachkommastellen im Ergebnis verwandeln eine Annahme nicht in Messung.

Die erste Grenze liegt zwischen beobachteter Infektion und nutzbarer Kapazität. CAIDA dokumentierte historisch mehr als 359.000 durch Code Red infizierte Hosts in weniger als vierzehn Stunden. Das ist Evidenz über einen bestimmten Wurm, Zeitraum und Beobachtungsansatz. Es beweist keine gleichzeitige Verfügbarkeit, einheitliche Hardware, stabile Erreichbarkeit oder zuverlässige Ausführung einer anderen Last.

Adressen sind keine stabilen Worker. Ein Rechner kann mehrere Adressen haben, mehrere Rechner können eine Adresse teilen. Ein Host verschwindet vor der Zuweisung, fällt während der Arbeit aus oder liefert ungültige Daten. Population mal Benchmark ist eine Abschätzung und kein Laufzeitbeleg.

Die zweite Grenze ist Autorität. Eine öffentliche Challenge macht den Erfolgstest öffentlich. Sie erteilt niemandem das Recht, fremde Prozessoren einzusetzen. Wer die Aufgabe formulieren darf, darf nicht automatisch Ressourcen eines Dritten binden.

Freiwillige, vertraglich beschaffte Cloud, eigene Infrastruktur und kompromittierte Systeme können denselben mathematischen Kandidaten erzeugen. Im Kandidaten steht nicht, welche Klasse ihn berechnet hat. Korrekte Verifikation schafft keine rückwirkende Zustimmung. Vertrag, Einwilligung, Betriebsmandat und Haftung brauchen getrennte Belege.

Die dritte Grenze ist eindeutige Arbeit. Eine Abdeckungsbehauptung verlangt identifizierte Einheiten, kontrollierte Überschneidung, Ausgabedatum, Annahme, Abschluss, Validierung, Timeout und Neuzuweisung. Ein Durchsatzzähler verschluckt doppelte Bereiche, ausgelassene Bereiche und erfundene Abschlüsse.

Ein gültiger Kandidat ergänzt das fehlende Ledger nicht. Eine Suche kann beim ersten Treffer enden und sagt dann nichts über Vollständigkeit. Das Ergebnis kann aus Vorwissen, einem anderen Kanal oder von einem unabhängigen Akteur stammen. Der Prüfer bestätigt den Kandidaten, nicht seinen Weg.

Die vierte Grenze ist Zuordnung. Ein verschlüsselter oder anonymer Rückkanal schützt möglicherweise den Einsender. Dann ist er aber ohne Zusatzbelege kein Herkunftsnachweis. Eine Organisation kann der Antwort vertrauen und trotzdem nicht wissen, wer beauftragte, koordinierte, Ressourcen stellte oder geschädigt wurde.

Der erste Veröffentlichende ist nicht zwingend der Entdecker. Der Koordinator besitzt nicht zwingend die Rechner. Eigentümer können die Nutzung nicht kennen, Prüfer an der Erzeugung unbeteiligt sein. Anerkennung, Schaden und Verantwortlichkeit lassen sich aus dem Besitz des Ergebnisses nicht ableiten.

Die fünfte Grenze ist Zeit. RFC 3607 gehört zur Kryptografie- und Hardwarelage von 2003. NIST zog DES später zurück; heutiges AES hat andere Schlüssellängen und Voraussetzungen; spätere RFCs änderten die Bewertung von MD5 und SHA-1. Eine alte Hostzahl mit neuem Algorithmusnamen ergibt keine aktuelle Analyse.

Spezialhardware, algorithmischer Fortschritt, Energie, Speicher, Netz, Koordination und defensive Migration verändern Kosten. Zufällige Schlüssel, passwortbasierte Geheimnisse, Protokolltranskripte und Implementierungsfehler sind verschiedene Ziele. „Internetmaßstab“ ist kein universeller Faktor.

RFC 3766 ordnet Schlüssellänge den Angriffskosten und dem Systemkontext zu. RFC 4086 bindet Zufall an Quelle und Konstruktion. RFC 7696 verlangt Algorithmusagilität, wenn Annahmen erodieren. Das historische Szenario kann eine Prüfung auslösen, aber kein pauschales Gegenwartsurteil fällen.

Eine Beweiskette beginnt mit Challenge-Text, Kennungen, Zielmaterial, Erfolgskriterium und Datum. Danach kommen Befugnis zur Veröffentlichung, Befugnis zur Ressourcennutzung, Beteiligungsklassen, Laufzeit und Widerruf. Die Ausführung benötigt eindeutige Einheiten, Worker oder begrenzte Attestierung, Zuweisung, Abschluss, Validierung, Fehler, Duplikat und Wiederholung.

Die Ergebnisebene speichert Kandidat, Prüfsoftware und Version, Prüfer, Umgebung und Transkript. Die Entscheidungsebene hält Umfang, betroffene Systeme, Maßnahme und Restunsicherheit fest. Ein Status „gebrochen“ ersetzt diese Ebenen nicht.

Unbekanntes bleibt sichtbar. Ohne Hostidentität: unbekannt. Ohne Zustimmung: nicht belegt. Ohne rekonstruierbare Abdeckung: Schätzung neben fehlendem Ledger. Bei anonymem Kanal: keine erfundene Zuordnung aus Zeitpunkt oder Besitz.

Öffentliche Verifikation ist dennoch stark. Sie verwirft falsche Antworten, ohne dem Einsender zu vertrauen. Ihre Domäne ist nur die Beziehung zwischen Kandidat und Prüfkriterium. Die soziale, operative und rechtliche Rechengeschichte zertifiziert sie nicht.

Die dauerhafte Einsicht des RFC lautet, dass viele allgemeine Rechner die Kostengrenze spezialisierter Arbeit verschieben können. Sie bleibt belastbar, wenn Voraussetzungen erhalten bleiben. Kandidat gültig, Rechenhistorie ungeklärt: Beide Zustände dürfen gleichzeitig wahr sein.