fix: no atribuir al actor direcciones del otro lado de un CoinJoin

El informe decía 'el rastro se rompe en un CoinJoin, no se puede atribuir con
honestidad más allá de este punto' y acto seguido listaba 10 direcciones
atribuidas al actor, cinco de ellas salidas de esa misma mezcla — es decir,
de otros participantes, señalados en un documento para una denuncia.

CIOH no aplica dentro de un CoinJoin (es su excepción clásica: la mezcla
existe para romper la suposición de dueño común) y la huella de software sale
estable por construcción, porque todos usan el mismo programa.

finalizeForensicGraph excluye las tx marcadas como mixer del conjunto del
actor y del union-find; la atribución por huella salta esos nodos.

Verificado contra el nodo con un Whirlpool real: de 10 atribuciones a 0.
This commit is contained in:
2026-07-27 13:29:08 +02:00
parent 020f9318aa
commit 6f721a535c
2 changed files with 37 additions and 1 deletions
+18
View File
@@ -42,6 +42,24 @@ y el versionado sigue [Versionado Semántico](https://semver.org/lang/es/):
`system-metrics.js` en el servidor.
- Medido: repetir un rastreo forense ya explorado cuesta **cero peticiones**.
### Corregido
- **El informe ya no atribuye al actor direcciones del otro lado de un
CoinJoin.** Detectado probando un rastro que atraviesa un Whirlpool real: el
informe declaraba *"el rastro se rompe en un CoinJoin — no se puede atribuir
con honestidad más allá de este punto"* y, tres líneas más abajo, listaba
**10 direcciones atribuidas al actor**, cinco de ellas salidas de esa misma
mezcla. Eran direcciones de otros participantes, señaladas en un documento
pensado para acompañar una denuncia.
- Los dos fundamentos que las colaban fallan precisamente ahí: **CIOH** asume
que quien gasta varios inputs juntos los controla, y un CoinJoin existe para
romper esa suposición (es la excepción clásica a la heurística); y la
**huella de software** sale estable por construcción, porque todos los
participantes usan el mismo programa.
- `finalizeForensicGraph` excluye ahora las transacciones marcadas como
`mixer` del conjunto de direcciones del actor y del union-find, y la
atribución por huella salta esos nodos.
- Verificado con el mismo caso: de 10 direcciones atribuidas a 0.
---
## [1.10.1] — 2026-07-27
### Añadido