Trazabilidad con estándar probatorio

Cualquier analista puede seguir una transacción en un explorador. Un rastreo forense es diferente: puede ser leído por un fiscal que decide si presenta cargos, utilizarse para congelar los bienes de alguien y ser revisado línea por línea por un perito de la otra parte. Esta lección establece qué afirma realmente un rastreo, cómo asignar un grado a cada vínculo, cómo registrar cada salto para que pueda verificarse y cómo una reproducción independiente convierte un rastreo en evidencia.

Qué afirma un rastreo

Un rastreo es una declaración sobre el flujo de valor: el valor que salió de la dirección A llegó a la dirección B por una ruta determinada, según un método de asignación específico y tal como se observó hasta un bloque determinado. No es una declaración sobre la identidad. «El producto del rescate llegó a una dirección de depósito de Exchange K» es un hallazgo de rastreo. «El sospechoso recibió el rescate» combina un hallazgo de rastreo, una atribución y, por lo general, registros obtenidos mediante un proceso legal (véase la lección De la dirección a la entidad y a la persona).

Es importante mantener separadas estas afirmaciones porque pueden fallar de maneras distintas. Cualquier persona que tenga una copia de la cadena puede verificar un flujo. Una atribución se basa en etiquetas, registros o heurísticas que pueden ser incorrectos o estar desactualizados. Cuando un informe las combina en una sola frase, un perito de la defensa solo tiene que refutar la afirmación más débil para desacreditar ambas.

Una práctica útil consiste en dividir cada hallazgo en tres preguntas independientes:

Tres tipos de vínculo

Cada salto de un rastreo se basa en uno de tres tipos de vínculo. La lección de IDFE-BA Rastreo entre cadenas utiliza una idea similar de tres grados para los puentes; aquí se aplica a cada salto.

Un vínculo determinista está escrito en los propios datos de la cadena. En una cadena UTXO, una entrada que gasta una salida anterior establece un vínculo determinista entre las dos transacciones. En una cadena de cuentas, una transacción exitosa que transfiere valor a una dirección, o un evento Transfer emitido por el contrato del token en una transacción exitosa, es determinista. Cualquier persona que ejecute un nodo obtiene la misma respuesta.

Un vínculo heurístico aplica una regla que suele cumplirse, pero que tiene excepciones conocidas. La heurística de propiedad común de las entradas, la detección de cambio y la transferencia de una dirección de depósito a una billetera caliente son heurísticas (véanse las lecciones de IDFE-BA La heurística de propiedad común de las entradas y Heurísticas de detección de cambio). Cada una tiene modos de fallo documentados, como las transacciones CoinJoin o las billeteras que aleatorizan el cambio.

Una inferencia es una conclusión extraída de patrones circunstanciales: un retiro por un monto similar 20 minutos después de un depósito, un patrón coincidente según la hora del día o un financiador de gas compartido. Las inferencias son pistas. Justifican solicitar registros; rara vez bastan por sí solas como hallazgos.

Nótese lo que un vínculo determinista no demuestra. Demuestra que el valor se movió de una dirección a otra. No demuestra que la misma persona controle ambos extremos y, cuando varias entradas se combinan en una transacción, no indica qué parte de una salida es «el dinero robado». Esas son cuestiones de control y asignación.

Asignación de grados de confianza

Un rastreo necesita una escala de grados declarada para que cada vínculo tenga un grado que el lector pueda interpretar. Cada unidad define la suya; el ejemplo siguiente es ilustrativo, no es un estándar publicado.

Dos reglas hacen que la escala sea útil. Primero, una ruta solo es tan sólida como su vínculo más débil: un rastreo de cinco saltos con un salto de grado C es una ruta de grado C para cualquier afirmación que dependa de ese salto. Segundo, se asigna un grado a cada afirmación, no a cada transacción: el mismo salto puede respaldar un flujo de grado A y una afirmación de control de grado C. Para la formulación de la probabilidad y la confianza en el propio informe, véanse la lección de IDFE-BA Confianza, incertidumbre y lenguaje y la lección Redacción del informe forense.

Un recorrido de ejemplo

Una víctima pagó un rescate de 2,50000000 BTC. El examinador lo rastrea hacia adelante:

Los montos cuadran: entran 2,5 + 0,8 = 3,3 BTC; salen 3,2999 más una comisión de 0,0001; luego 1,2 + 2,0998 + 0,0001 = 3,2999. El flujo desde la dirección del rescate hasta bc1q…dx7e es de grado A en todos los saltos y no depende de la heurística de propiedad común de las entradas en H2: el valor se movió, independientemente de quién fuera el propietario de bc1q…x8w2. Lo que sí cambia el panorama es la asignación. Los 2,5 BTC se combinaron con 0,8 BTC de origen desconocido, así que cuánto de los 1,2 BTC depositados cuenta como producto del rescate depende del método (véase la lección Métodos de rastreo y sus consecuencias). Con el método de reducción proporcional, es 1,2 × 2,5 ÷ 3,3 = 0,90909091 BTC; con cualquier método que conserve el valor, no puede superar 1,2 BTC. La etiqueta de dirección de depósito sigue siendo de grado C hasta que los registros de Exchange K la confirmen; entonces sube a B.

Los casos públicos muestran la misma estructura. En junio de 2021, los investigadores anunciaron la incautación de 63,7 BTC de los aproximadamente 75 BTC pagados como rescate tras el ataque a Colonial Pipeline. Según el comunicado oficial, siguieron varias transferencias en el registro público hasta llegar a una dirección cuya clave privada tenían los investigadores. El rastreo estableció adónde había ido el valor; la incautación dependió de evidencia independiente sobre el control de la clave.

Documentación de cada salto

Cada salto se incorpora a un registro estructurado en el momento de examinarlo, no se reconstruye al redactar el informe. Un registro mínimo de salto:

{
  "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"
}

El registro especifica la salida exacta, no solo la transacción, porque una transacción puede pagar a varias partes. Guarda el monto en satoshis como un número entero para evitar errores acumulados por redondeo, y registra tanto el hash del bloque como la altura para poder detectar una reorganización o un error de transcripción. Mantiene la asignación y los grados separados de los hechos observados, cita la base de cada afirmación no determinista mediante una referencia y registra qué fuente de datos se utilizó y cuándo. Las horas están en UTC. Los mismos campos, con un índice de registro o una posición en el rastreo en lugar de una referencia a la salida, sirven para las cadenas de cuentas. Las lecciones Preservación de evidencia en la cadena y Hashing, registro y cadena de custodia explican cómo se calculan los hashes de estos registros y cómo se preservan.

Reproducción independiente

La evidencia de blockchain tiene una ventaja poco habitual: los datos subyacentes son públicos e idénticos para todos los que validan la cadena. Por ello, otra persona puede reproducir un rastreo a partir de los datos sin procesar, y debería hacerlo.

ISO/IEC 27037 distingue entre repetibilidad, obtener los mismos resultados con el mismo procedimiento en el mismo entorno, y reproducibilidad, obtener los mismos resultados con el mismo método en un entorno distinto, por ejemplo, con otro examinador que utilice otro nodo o herramienta. La reproducción pone a prueba la reproducibilidad. Tiene dos niveles:

1. Verificación: un segundo examinador coteja cada registro de salto con su propio nodo: existe el txid, coinciden la salida y el monto, coincide el hash del bloque y el bloque es final.
2. Reproducción independiente: el segundo examinador parte únicamente de las semillas, el alcance, el método y las reglas para detenerse, sin ver la ruta del primer examinador, y vuelve a rastrear. La coincidencia significa entonces más que una comprobación aritmética, y trabajar sin conocer el primer resultado reduce el sesgo de confirmación.

Cuando los resultados difieren, identifique el primer salto en que divergen y registre la causa: una interpretación distinta del cambio, un método de asignación distinto, un bloque de corte posterior o una transferencia interna omitida. Resuélvalo a partir de los datos sin procesar y conserve el desacuerdo y su resolución en el expediente del caso. Un rastreo que un segundo examinador competente no puede reproducir no está listo para utilizarse como fundamento.

Enfoque del examen: un rastreo afirma un flujo de valor, no una identidad; separar las afirmaciones sobre flujo, asignación y control; vínculos deterministas, vínculos heurísticos e inferencias, con ejemplos; qué no demuestra un vínculo determinista; una escala de grados declarada y la regla del vínculo más débil para las rutas; conciliar los montos y las comisiones salto por salto; los campos de un registro de salto (referencia exacta de salida o registro, unidades base enteras, altura y hash del bloque, hora UTC, método, grados, base, fuente); repetibilidad frente a reproducibilidad (ISO/IEC 27037); verificación frente a reproducción independiente y resolución de divergencias.