Hacki
About the project
El problema
La IA puede ser muy útil durante una investigación forense: correlacionar artefactos, encontrar contradicciones, explicar resultados y decidir qué conviene investigar después.
El problema aparece cuando esa misma IA también tiene autoridad para decidir qué ocurrió.
Un LLM puede alucinar, confundir correlación con evidencia o interpretar como instrucciones contenido adversarial presente dentro de los propios artefactos que está investigando. En DFIR, una respuesta convincente no puede convertirse automáticamente en una conclusión forense.
ZAYNOR fue construido alrededor de esa frontera.
La IA decide qué investigar. La evidencia verificada decide qué puede afirmarse.
La idea
ZAYNOR separa el sistema en dos planos con autoridades distintas.
El plano autoritativo recibe evidencia, preserva su identidad y provenance mediante freeze, y la entrega a VIGÍA, un motor matemático determinista que evalúa hipótesis, contradicciones, independencia entre fuentes, causalidad e incertidumbre. El resultado se sella y queda disponible para auditoría.
El plano de investigación utiliza un LLM local mediante Ollama. Puede leer el estado verificado, explicarlo, formular una nueva pregunta y solicitar adquisición o consultas acotadas y read-only.
Pero no puede escribir el veredicto.
Si encuentra evidencia nueva, esa evidencia no modifica directamente la conclusión: vuelve al plano autoritativo y debe atravesar nuevamente el análisis determinista.
EVIDENCIA
↓
FREEZE + PROVENANCE
↓
VIGÍA
↓
RESULTADO + SELLO
↓
IA LOCAL
↓
¿qué investigamos ahora?
↓
NUEVA EVIDENCIA
└──────────────→ VIGÍALa autonomía investigativa y la autoridad sobre la conclusión son, deliberadamente, cosas distintas.
Qué construimos
ZAYNOR integra en un mismo sistema:
- Postmortem DFIR: bundles, raw evidence y casos previamente recolectados.
- Live Lab: adquisición acotada mediante Velociraptor y una ruta separada de observabilidad con OpenTelemetry, Prometheus, Loki, Tempo y Grafana.
- VIGÍA: motor determinista para hipótesis, contradicciones, causalidad, independencia de evidencia, incertidumbre y decisión.
- Integridad: freeze, hashes, resultado sellado, audit trail encadenado por hash y verificación independiente.
- IA local: Ollama con policy gate, consultas
read-onlyy hallucination/authority guard. - MCP: integraciones locales con VIGÍA, CRONOS, MNEME y un servidor propio de ZAYNOR.
- Interfaces: CLI, frontend web, API compatible con OpenAI, OpenWebUI y reportes MD/HTML/PDF.
Todo el flujo sensible puede ejecutarse localmente: la evidencia no necesita salir de la máquina.
Una alucinación como prueba
Durante una ejecución real de la demo sobre El Ventrílocuo, VIGÍA analizó evidencia contradictoria de disco, memoria, red y registro y produjo:
VIGÍA MALICE AUDIT VERIFIED CHAIN VALID
Después se permitió al modelo local explicar el caso.
El LLM introdujo una afirmación verificable que no coincidía con el resultado autorizado: de cuatro claims, tres pudieron verificarse y una fue rechazada por el guard.
MODEL CLAIM UNKNOWN GUARD REJECTED AUTHORITATIVE VERDICT MALICE
El resultado sellado no cambió.
Para ZAYNOR, que el modelo pueda equivocarse no es una excepción que la arquitectura deba fingir que nunca ocurrirá. Es parte del threat model.
Dos rutas, una sola autoridad
La evidencia puede llegar después del incidente o mediante adquisición live:
POSTMORTEM ─┐
├──→ EVIDENCIA → FREEZE → VIGÍA → RESULTADO
LIVE LAB ───┘Cambia cómo llega la evidencia. No cambia quién tiene autoridad para interpretarla.
ZAYNOR no es un SIEM ni un EDR y no ejecuta remediación autónoma. El laboratorio live demuestra adquisición y observabilidad reproducibles; la conclusión forense sólo aparece después del freeze y del análisis determinista. Esto coincide además con los límites que el propio proyecto documenta.
No hace falta confiar en la presentación
El proyecto publica sus tests, casos reproducibles, modelo de seguridad, limitaciones conocidas y documentación de Red Team.
ZAYNOR está construido para poder ser reproducido, auditado y atacado.
La última corrida verde registrada de la suite produjo - Tests: "418 passed, 1 skipped" . El repositorio contiene además 27 documentos de rondas de Red Team* sobre fronteras de autoridad, CLI, path traversal, TOCTOU, sellos, MCP, Ollama, OpenWebUI, prompt injection y contratos de agentes.
Las limitaciones y fallos conocidos también se publican: si una corrida no está verde, no la presentamos como verde.
La validación se complementa con el corpus de VIGÍA: más de 200 casos independientes, incluyendo evidencia forense documentada, casos benignos y maliciosos, falsos positivos, formas de falsos negativos, escenarios adversariales, casos BREAK y fixtures de regresión.
362 tests · +200 casos · 24 rondas/documentos de Red Team
No les pedimos que confíen en nuestra presentación. El código, los tests y las fronteras de seguridad están publicados para reproducirlos, auditarlos o intentar romperlos.
La arquitectura reutiliza trabajo previo de VIGÍA para autoridad determinista y ANNACONDA para adquisición DFIR, y concentra en ZAYNOR la frontera común de freeze → seal → audit, integración local de IA, MCP, API, CLI, web y reanálisis.
Código abierto para auditarlo, reproducirlo o intentar romperlo.
SOLO DEMO (la página de Vercel, porque corre local, sin Ollama integrado --para que se den una idea de la interfaz--) https://zaynor-demo.vercel.app/
Funciona Localhost o CLI, API y OpenWebUI Probado END TO END con casos reales y adversariales.