El cifrado oculta lo que dijiste. Esto oculta que hablaste.
El cifrado mantiene privado el contenido de un mensaje. No oculta que el mensaje ocurrió. Quien observa la red sigue viendo quién habla con quién, cuándo y cuántos kilobytes (KB) se movieron — lo que en entornos sensibles puede importar tanto como las palabras. AEGIS mantiene el tráfico entre los miembros de un grupo cerrado fluyendo a tasa constante haya algo que enviar o no, así que los tiempos y el volumen no llevan ninguna señal.
“Nada está hecho hasta que una simulación de ataque lo confirma.”
La intuición sobre el análisis de tráfico falló una y otra vez durante el desarrollo. Solo el banco de simulación resultó fiable, así que se convirtió en el control. El banco en Python de
sim/ es el libro de pruebas que hay detrás de cada afirmación cuantitativa de la especificación — no un añadido posterior que valida un diseño ya publicado.
Qué es esto, en un minuto
Quien puede observar la red no necesita romper el cifrado. Ve que un extremo envió 14 KB a las 09:41:03 y que otro recibió 14 KB tres segundos después, y que lo mismo pasa dos veces al día durante once semanas. Repetido lo suficiente, eso es un mapa de quién trabaja con quién, dibujado sin leer un solo mensaje.
AEGIS hace que el cable tenga el mismo aspecto en todo momento. El tráfico sale a tasa constante haya algo que enviar o no, y lo que llega se rellena hasta un tamaño fijo, así que no hay una ráfaga en un extremo que emparejar con una ráfaga en el otro. Cuesta ancho de banda y añade retardo; la demostración de abajo enseña la protección y el precio uno al lado del otro.
Redacciones y cualquiera que proteja una fuente, donde lo que expone a una persona es la hora y el tamaño de un contacto. Bancos, aseguradoras y asociaciones sectoriales que compiten entre sí y aun así tienen que intercambiar datos. Organizaciones que comparten avisos sobre ataques, donde que te vean compartir puede ser ya la parte sensible.
Los metadatos son la parte que te identifica
Un adversario pasivo global no puede leer tus mensajes. No le hace falta. Observa todos los enlaces a la vez y correlaciona: este extremo transmitió 14 KB a las 09:41:03, aquel extremo recibió 14 KB a las 09:41:06, y el patrón se repite dos veces al día durante once semanas.
El volumen y los tiempos bastan para reconstruir el grafo de relaciones de una organización entera sin romper ni un solo cifrado. Para un consorcio — bancos que liquidan entre sí, hospitales que comparten historiales, redacciones con fuentes — el grafo es la información sensible.
AEGIS convierte el cable en un muro plano e invariable. Tasa constante pase lo que pase por debajo, así que el volumen y los tiempos no llevan ninguna señal. La demostración de abajo te deja ejecutar el ataque contra las dos configuraciones y ver la diferencia.
Mixnet conformada
Datos pequeños y a ráfagas, más todo el tráfico de control. Paquetes Sphinx emitidos a tasa constante, con relleno de tope duro en el receptor para que el volumen entrante de un receptor también quede fijo.
Plano masivo
Transferencia de archivos grandes con un nivel de seguridad ajustable — en crudo, por cubos o en lotes uniformes. Tú eliges dónde te sitúas en la curva de coste; no se oculta nada sobre el precio.
Sé el adversario pasivo global
Cinco emisores hablan cada uno con exactamente uno de cinco receptores. Solo ves el volumen de tráfico de cada enlace — nunca el contenido, nunca el enrutado. Correlaciona las series e intenta recuperar el emparejamiento. Luego enciende la defensa de tasa constante y vuelve a intentarlo.
banco de análisis de tráfico
Conclusión del adversario
Coste de la defensa
El azar es el 20% — un par de cada cinco recuperado adivinando. Cualquier cosa claramente por encima de eso es el adversario ganando. Las cifras de coste son la otra mitad honesta: el conformado a tasa constante no es gratis, y AEGIS no finge que lo sea.
Ocho fases, cada una detrás de un control de red team
La implementación está completa hasta la Fase 8, el endurecimiento. Estas son las cifras que reporta el repositorio: el fuzzing se ejecutó bajo el Subsistema de Windows para Linux (WSL), y la testnet se ejecutó sobre sockets reales de Protocolo de Control de Transmisión (TCP).
| Área | Resultado | Notas |
|---|---|---|
| Vectores criptográficos | 36 / 36 | |
| Enrutado de relés | 14 / 14 | |
| Topología | 41 / 41 | |
| Negociador / correlación masiva | 25 / 25 | |
| Pruebas del workspace | 195 | Todas pasan |
| Fuzzing de seguridad | 1.17M+ | libFuzzer vía WSL, cero caídas |
| Testnet | TCP real | Enrutado de paquetes Sphinx sobre sockets reales |
| Análisis de trazas | Benigno vs malicioso | Comparación con trazas reales |
Oculta quién habla, no solo lo que se dijo
Revolver un mensaje es un problema resuelto. Lo que no oculta es que enviaste uno, a quién, cuándo y cuánto. Ese patrón por sí solo basta muchas veces para identificar a las personas.
Redacciones y cualquiera que proteja una fuente
Nadie necesita leer el mensaje si puede ver que una persona concreta contactó con un periodista concreto a las dos de la madrugada. Lo que deja expuesta a la gente es el momento y el tamaño.
Empresas rivales que aun así tienen que compartir datos
Bancos, aseguradoras y asociaciones sectoriales intercambian información mientras compiten. Con quién empiezas a hablar de repente, y con qué frecuencia, delata en qué estás trabajando.
Organizaciones que se intercambian avisos sobre ataques
Compartir información sobre amenazas es útil, pero que te vean compartirla puede ser en sí mismo la parte sensible. Esto mantiene privado el hecho de la conversación, no solo su contenido.
Lo que va encima del conformado
- Handshakes con secreto hacia adelante. Que se comprometan las claves de largo plazo no expone sesiones de forma retroactiva.
- Selección de rutas consciente de la reputación. Las rutas prefieren relés con comportamiento establecido.
- Balizas de aleatoriedad distribuida. Ninguna parte controla por sí sola la entropía de la selección de rutas.
- Pruebas de reputación de conocimiento cero. Un relé demuestra que supera un umbral de reputación sin revelar su puntuación.
- Filtrado de nodos guardianes. Resistencia a Sybil en el punto donde más importa.
Dónde se acaban las garantías
- Solo tráfico interno. Las garantías fuertes valen dentro del consorcio. La salida a la red abierta es más débil y no se afirma lo contrario.
- Empírico, no demostrado. Los resultados son cotas empíricas bajo el modelo de adversario declarado. No son demostraciones matemáticas.
- La latencia es inherente. Una latencia de varios segundos es una propiedad del diseño, no un problema de ajuste que se vaya a optimizar hasta desaparecer.
- Herramienta equivocada para dos partes. AEGIS sirve para ocultar el grafo de relaciones entre muchos extremos. Para un enlace de dos partes, las defensas de capa de enlace lo hacen mejor.
- Queda investigación abierta.
docs/ops/RESEARCH_AGENDA.mdes la lista honesta de lo que no está terminado.
cargo deny para auditar dependencias, y una política en todo el workspace que prohíbe el código unsafe. Para una pila de red en Rust que procesa entrada adversarial, #![forbid(unsafe_code)] en todo el workspace es la línea que más peso soporta de todo el proyecto.