Nachverfolgung nach Beweismaßstab

Jede Analystin und jeder Analyst kann eine Transaktion in einem Explorer nachverfolgen. Eine forensische Nachverfolgung ist etwas anderes: Eine Staatsanwältin oder ein Staatsanwalt kann sie bei der Entscheidung über Anklagepunkte heranziehen, sie kann dazu dienen, das Vermögen einer Person einzufrieren, und eine sachverständige Person der Gegenseite kann sie Zeile für Zeile erneut durchführen. Diese Lektion erläutert, was eine Nachverfolgung tatsächlich aussagt, wie jeder einzelne Link darin eingestuft wird, wie jeder Schritt so dokumentiert wird, dass er überprüft werden kann, und wie eine unabhängige erneute Durchführung eine Nachverfolgung zu einem Beweismittel macht.

Was eine Nachverfolgung aussagt

Eine Nachverfolgung ist eine Aussage über den Wertfluss: Der Wert, der Adresse A verlassen hat, hat Adresse B über einen angegebenen Pfad und nach einer angegebenen Zuteilungsmethode erreicht, wie bis zu einem angegebenen Block beobachtet. Sie ist keine Aussage über die Identität. „Der Ertrag aus der Lösegeldzahlung ist bei einer Einzahlungsadresse der Börse K eingegangen“ ist ein Ergebnis der Nachverfolgung. „Der Verdächtige hat das Lösegeld erhalten“ verbindet ein Ergebnis der Nachverfolgung mit einer Zuordnung und stützt sich in der Regel auf Unterlagen, die im Rahmen eines rechtlichen Verfahrens erlangt wurden (siehe die Lektion Von der Adresse zur Entität zur Person).

Es ist wichtig, diese Aussagen getrennt zu halten, weil sie auf unterschiedliche Weise scheitern können. Ein Wertfluss lässt sich von allen überprüfen, die eine Kopie der Blockchain haben. Eine Zuordnung stützt sich auf Bezeichnungen, Unterlagen oder Heuristiken, die falsch oder veraltet sein können. Wenn ein Bericht beides in einem Satz vermischt, muss eine Sachverständige oder ein Sachverständiger der Verteidigung nur die schwächere Aussage widerlegen, um beide unglaubwürdig zu machen.

Eine hilfreiche Vorgehensweise ist es, jedes Ergebnis in drei getrennte Fragen aufzuteilen:

Drei Arten von Links

Jeder Schritt einer Nachverfolgung beruht auf einer von drei Arten von Links. Die IDFE-BA-Lektion Chain-übergreifende Nachverfolgung verwendet eine ähnliche dreistufige Einteilung für Bridges; hier wird sie auf jeden Schritt angewendet.

Ein deterministischer Link ist direkt in den Blockchain-Daten enthalten. In einer UTXO-Blockchain ist ein Input, der ein früheres Output ausgibt, ein deterministischer Link zwischen den beiden Transaktionen. In einer Account-Blockchain ist eine erfolgreiche Transaktion, die Wert an eine Adresse überträgt, oder ein Transfer-Ereignis, das der Token-Contract in einer erfolgreichen Transaktion ausgibt, deterministisch. Alle, die einen Knoten betreiben, erhalten dasselbe Ergebnis.

Ein heuristischer Link wendet eine Regel an, die normalerweise gilt, aber bekannte Ausnahmen hat. Die Heuristik der gemeinsamen Input-Zugehörigkeit, das Change-Erkennen und die Weiterleitung einer Einzahlungsadresse an eine Hot Wallet sind Heuristiken (siehe die IDFE-BA-Lektionen Die Heuristik der gemeinsamen Input-Zugehörigkeit und Heuristiken zum Change-Erkennen). Für jede davon sind Fehlermöglichkeiten dokumentiert, etwa CoinJoin-Transaktionen oder Wallets, die Change-Ausgaben zufällig bestimmen.

Eine Inferenz ist eine Schlussfolgerung aus Indizienmustern: eine Auszahlung eines ähnlichen Betrags 20 Minuten nach einer Einzahlung, ein übereinstimmendes Muster der Tageszeit oder ein gemeinsamer Gas-Finanzierer. Inferenzen sind Ansatzpunkte. Sie können eine Anfrage nach Unterlagen rechtfertigen; selten sind sie allein eine ausreichende Grundlage für Feststellungen.

Beachten Sie, was ein deterministischer Link nicht beweist. Er beweist, dass Wert von einer Adresse zu einer anderen geflossen ist. Er beweist nicht, dass dieselbe Person beide Seiten kontrolliert; und wenn mehrere Inputs in einer Transaktion zusammengeführt werden, sagt er nicht aus, welcher Teil eines Outputs „das gestohlene Geld“ ist. Das sind Fragen der Kontrolle und der Zuteilung.

Einstufung der Verlässlichkeit

Eine Nachverfolgung benötigt eine erklärte Einstufungsskala, damit Leserinnen und Leser den Grad jedes Links einordnen können. Die einzelnen Stellen legen ihre Skalen selbst fest; das folgende Beispiel dient der Veranschaulichung und ist kein veröffentlichter Standard.

Zwei Regeln machen die Skala nützlich. Erstens ist ein Pfad nur so belastbar wie sein schwächster Link: Eine Nachverfolgung über fünf Schritte, von denen einer Grad C hat, ist für jede von diesem Schritt abhängige Aussage ein Pfad des Grads C. Zweitens wird jede Aussage eingestuft, nicht jede Transaktion: Derselbe Schritt kann für den Wertfluss Grad A und für eine Aussage zur Kontrolle Grad C haben. Informationen zur Formulierung von Wahrscheinlichkeit und Verlässlichkeit im Bericht selbst finden Sie in der IDFE-BA-Lektion Verlässlichkeit, Unsicherheit und Ausdrucksweise und in der Lektion Den forensischen Bericht verfassen.

Ein durchgearbeitetes Beispiel

Ein Opfer zahlte ein Lösegeld von 2,50000000 BTC. Die untersuchende Person verfolgt den Wertfluss:

Die Beträge stimmen überein: 2,5 + 0,8 = 3,3 BTC eingegangen, 3,2999 ausgegeben plus 0,0001 Gebühr; anschließend 1,2 + 2,0998 + 0,0001 = 3,2999. Der Wertfluss von der Lösegeldadresse zu bc1q…dx7e hat bei jedem Schritt Grad A und hängt nicht von der Heuristik der gemeinsamen Input-Zugehörigkeit in H2 ab: Wert ist geflossen, ganz gleich, wer bc1q…x8w2 besaß. Was sich ändert, ist die Zuteilung. Die 2,5 BTC wurden mit 0,8 BTC unbekannter Herkunft zusammengeführt. Wie viel von der Einzahlung von 1,2 BTC als Lösegeld gilt, hängt daher von der Methode ab (siehe die Lektion Nachverfolgungsmethoden und ihre Folgen). Nach der Haircut-Methode sind es 1,2 × 2,5 ÷ 3,3 = 0,90909091 BTC; nach jeder wertbewahrenden Methode können es höchstens 1,2 BTC sein. Die Bezeichnung als Einzahlungsadresse bleibt bei Grad C, bis die Unterlagen der Börse K sie bestätigen; dann steigt sie auf Grad B.

Auch öffentliche Fälle weisen dieselbe Struktur auf. Im Juni 2021 gaben Ermittler die Beschlagnahme von 63,7 BTC aus den rund 75 BTC bekannt, die nach dem Angriff auf Colonial Pipeline als Lösegeld gezahlt worden waren. Der offiziellen Mitteilung zufolge verfolgten sie mehrere Transfers im öffentlichen Ledger bis zu einer Adresse, deren privaten Schlüssel die Ermittler besaßen. Die Nachverfolgung belegte, wohin der Wert geflossen war; die Beschlagnahme stützte sich auf separate Belege zur Kontrolle des Schlüssels.

Jeden Schritt dokumentieren

Jeder Schritt wird in einem strukturierten Datensatz festgehalten, und zwar zum Zeitpunkt seiner Untersuchung und nicht erst nachträglich bei der Erstellung des Berichts. Ein minimaler Datensatz für einen Schritt:

{
  "case_id": "CF-2026-0142",
  "hop_id": "H3",
  "chain": "bitcoin-mainnet",
  "txid": "9c1e…44ab",
  "spends": "5d07…e310:0",
  "output_ref": "9c1e…44ab:0",
  "block_height": 939874,
  "block_hash": "0000…3f9a",
  "block_time_utc": "2026-03-02T14:07:51Z",
  "from": "bc1q…c0n1",
  "to": "bc1q…dx7e",
  "amount_sat": 120000000,
  "allocation": {"method": "haircut", "traced_sat": 90909091},
  "grades": {"flow": "A", "control": "C"},
  "basis": "output 0; recipient swept with known K deposits (see ATTR-11)",
  "source": "own node, Bitcoin Core 29.0, checked 2026-03-05T09:12Z",
  "examiner": "EX-07"
}

Im Datensatz wird das genaue Output angegeben, nicht nur die Transaktion, weil eine Transaktion an mehrere Empfänger zahlen kann. Der Betrag wird als ganze Zahl in Satoshis gespeichert, um Rundungsabweichungen zu vermeiden; außerdem wird zusätzlich zur Blockhöhe der Block-Hash angegeben, damit eine Reorganisation oder ein Eingabefehler erkennbar ist. Zuteilung und Einstufungen werden von den beobachteten Fakten getrennt gehalten. Für jede nichtdeterministische Aussage wird die Grundlage anhand eines Verweises angegeben; außerdem werden die verwendete Datenquelle und der Zeitpunkt ihrer Nutzung dokumentiert. Zeitangaben erfolgen in UTC. Für Account-Blockchains eignen sich dieselben Felder, wobei ein Log-Index oder eine Position im Trace anstelle eines Output-Verweises verwendet wird. Wie diese Datensätze gehasht und aufbewahrt werden, wird in den Lektionen On-Chain-Beweise sichern und Hashing, Protokollierung und Beweismittelkette behandelt.

Unabhängige erneute Durchführung

Blockchain-Beweise haben einen ungewöhnlichen Vorteil: Die zugrunde liegenden Daten sind öffentlich und für alle, die die Blockchain validieren, identisch. Eine andere Person kann eine Nachverfolgung daher anhand der Rohdaten erneut durchführen – und sollte es auch.

ISO/IEC 27037 unterscheidet Wiederholbarkeit, also das Erreichen derselben Ergebnisse mit demselben Verfahren in derselben Umgebung, von Reproduzierbarkeit, also dem Erreichen derselben Ergebnisse mit derselben Methode in einer anderen Umgebung, etwa durch eine andere untersuchende Person mit einem anderen Knoten oder Tool. Eine erneute Durchführung prüft die Reproduzierbarkeit. Sie kann auf zwei Arten erfolgen:

1. Verifizierung: Eine zweite untersuchende Person gleicht jeden Datensatz eines Schritts mit dem eigenen Knoten ab: Die txid existiert, Output und Betrag stimmen überein, der Block-Hash stimmt überein und der Block ist endgültig.
2. Unabhängige erneute Durchführung: Die zweite untersuchende Person beginnt nur mit den Ausgangspunkten, dem Umfang, der Methode und den Abbruchregeln – ohne den Pfad der ersten Person zu sehen – und führt die Nachverfolgung erneut durch. Die Übereinstimmung bedeutet dann mehr als eine bloße Prüfung der Arithmetik. Zudem verringert die Arbeit ohne Kenntnis des ersten Ergebnisses eine Bestätigungsverzerrung.

Wenn die Ergebnisse voneinander abweichen, wird der erste Schritt ermittelt, an dem sie auseinanderlaufen, und die Ursache dokumentiert: eine andere Entscheidung zum Change, eine andere Zuteilungsmethode, ein späterer Grenzblock oder eine übersehene interne Übertragung. Die Abweichung wird anhand der Rohdaten geklärt. Die Meinungsverschiedenheit und ihre Klärung bleiben in der Fallakte festgehalten. Eine Nachverfolgung, die eine zweite sachkundige Person nicht reproduzieren kann, ist noch nicht verlässlich genug, um sich auf sie zu stützen.

Prüfungsschwerpunkt: Eine Nachverfolgung behauptet einen Wertfluss, keine Identität; Wertfluss, Zuteilung und Aussagen zur Kontrolle voneinander trennen; deterministische Links, heuristische Links und Inferenzen mit Beispielen; was ein deterministischer Link nicht beweist; eine erklärte Einstufungsskala und die Regel des schwächsten Links für Pfade; Beträge und Gebühren Schritt für Schritt abgleichen; die Felder eines Datensatzes für einen Schritt (genaue Output- oder Log-Referenz, ganzzahlige Basiseinheiten, Blockhöhe und Hash, UTC-Zeit, Methode, Einstufungen, Grundlage, Quelle); Wiederholbarkeit gegenüber Reproduzierbarkeit (ISO/IEC 27037); Verifizierung gegenüber unabhängiger erneuter Durchführung und Klärung von Abweichungen.