Skip to content
KitploitKITPLOIT
HerramientasBlog
Enviar
HerramientasBlog
Enviar

¡Herramientas de Hacking, PenTest y Ciberseguridad para tu Arsenal de Seguridad!

Kitploit es un directorio de herramientas de hacking, ciberseguridad y pentesting. Descubre las últimas actualizaciones de proyectos para encontrar vulnerabilidades, analizar sistemas, automatizar pruebas y fortalecer tu seguridad.

··Feeds·Contacto·Privacidad·© 2026 Kitploit

Directorio de Herramientas

Categorías

Ver todas las categorías
Loading categories
c4-meta-system — Defensa de IA en producción con protección de 7 capas: restricciones matemáticas, acceso por capacidades de objetos, consenso O2 distribuido, ética SVETILO. Primera defensa de código abierto contra ThoughtVirus. BSL 1.1. | Kitploit
Herramientas/GitLabGitLab/cognitive-functors/c4-meta-system
Autenticación y AutorizaciónHerramientas DefensivasAprendizaje AutomáticoRed TeamingSeguridad de IADetección de AnomalíasAtaque Adversario
GitLabcognitive-functors/c4-meta-system

Más Populares

Ver todos →

Descubre las herramientas más usadas por nuestra comunidad.

Explora todas las herramientas

Explora nuestra colección de herramientas

Ver todas las herramientas →
Compartir

c4-meta-system

Defensa de IA en producción con protección de 7 capas: restricciones matemáticas, acceso por capacidades de objetos, consenso O2 distribuido, ética SVETILO. Primera defensa de código abierto contra ThoughtVirus. BSL 1.1.

Ver Repositorio
hace 15 díasAún no revisado

C4-META System v1.0.0 (prototipo de investigación)

Prototipo de investigación para la defensa multicapa de IA: explicabilidad C4, clasificadores ensemble, desofuscación, motor de seguridad O₂, defensa ThoughtVirus y alineación de valores SVETILO. Grado alfa: validado internamente, auditoría externa pendiente.

License: BSL 1.1 Docker ThoughtVirus SVETILO Site AoC

Versión: 1.0.0-alpha | Estado: Prototipo de investigación | Licencia: BSL 1.1 (gratuita para no producción; producción → comercial)

Autor: I.G. Selyutin. Coautor del modelo C4-META: N.I. Kovalev.
Identidad del producto (2026-08): prototipo de investigación BSL / de profundidad comercial de una pila de defensa C4 multicapa más robusta (ensemble, andamiaje O₂, laboratorio red-team) construida sobre c4protocol con licencia Apache-2.0.
No es un segundo protocolo abierto. No es una defensa AGI certificada para producción. No es «v8 FINAL».
Auditoría de honestidad: docs/AUDIT-c4-meta-system-2026-08.md.
Ruta de promoción: docs/PROMOTE-FROM-PROTOCOL.md (consumir/fijar c4protocol; sin volcado del ensemble en el SDK ligero).
GitLab Pages = public/ (EN + public/ru/). Comprobante del runtime abierto: make conformance en c4protocol.


🎯 Descripción general

C4-META System es un prototipo de investigación para la defensa multicapa de IA que implementa:

Arquitectura de defensa en 4 capas

root@kitploit:~
Input Sanitization → Semantic Analysis → Behavioral Analysis → Meta-Observer (O₂)
  • Capa 1 — Saneamiento de entrada: pipeline de desofuscación (leet speak, más de 90 homoglifos Unicode, caracteres de ancho cero, anulación RTL, Base64/ROT13)
  • Capa 2 — Análisis semántico: votación de ensemble de 4 clasificadores (ONNX BERT + RuleBased + Heuristic + LLM Semantic)
  • Capa 3 — Análisis de comportamiento: módulos de defensa AoC, coincidencia de patrones, detección de anomalías de trayectoria
  • Capa 4 — Meta-Observador (O₂): entropía de transferencia, consenso BFT, entrelazamiento semántico, análisis de grafos causales

Capacidades clave

  • Votación de ensemble de 4 clasificadores — ONNX BERT + RuleBased (más de 80 patrones) + Heuristic (32 palabras de peligro) + LLM Semantic (Ollama/DeepSeek)
  • Lógica OR de doble clasificador: clasificador semántico BERT + clasificador por palabras clave RuleBased con respaldo OR: sin punto único de fallo
  • 16 módulos de defensa AoC — 11 clásicos + 5 ampliados (heurísticos/de laboratorio; no es una afirmación de que «todos los fallos multi-agente estén resueltos»)
  • Defensa ThoughtVirus — defensa de dos capas (detección de patrones regex + análisis de trayectoria C4). Inspirada en arXiv:2603.00131 (Iniciativa de Seguridad Multi-Agente; no Microsoft)(https://arxiv.org/abs/2603.00131)
  • SVETILO — 7 sellos heurísticos mediante value_verification.py (no es un modelo de ética entrenado)
  • Explicabilidad C4 (T,S,A) — análisis de coordenadas cognitivas mediante modelo ONNX cuantizado (737KB, ~50ms)
  • Andamiaje O₂ — módulos de investigación; la vía BFT es una simulación consultiva, no tolerancia a fallos bizantinos de producción
  • Desofuscación — leet speak, más de 90 homoglifos Unicode, caracteres de ancho cero, anulación RTL, Base64/ROT13
  • Laboratorio Red Team — diseño científico control/tratamiento, prueba exacta de Fisher, d de Cohen, IC por bootstrap
  • Escáner de contenido subliminal — detecta mapeos token→concepto
  • Detección de jailbreak multiturno — seguimiento de escalada basado en sesiones
  • Despliegue Docker/K8s — despliegue multinodo contenerizado

🏗 Arquitectura

root@kitploit:~
┌──────────────────────────────────────────────┐
│  LAYER 1: Input Sanitization                 │
│  Deobfuscation (homoglyphs, leetspeak, etc.) │
├──────────────────────────────────────────────┤
│  LAYER 2: Semantic Analysis                  │
│  4-Classifier Ensemble: ONNX_BERT (~50ms)    │
│  + RuleBased + Heuristic + LLM_SEMANTIC      │
│  Dual classifier OR-logic (BERT+RuleBased)   │
├──────────────────────────────────────────────┤
│  LAYER 3: Behavioral Analysis                │
│  16 AoC Defense Modules (11 original + 5     │
│  extended), Pattern matching, Trajectory     │
│  anomaly detection, ThoughtVirus defense     │
├──────────────────────────────────────────────┤
│  LAYER 4: Meta-Observer (O₂)                 │
│  Transfer entropy, BFT consensus,            │
│  semantic entanglement, causal graphs,       │
│  Kill-Switch, SVETILO value verification     │
├──────────────────────────────────────────────┤
│  C4 Core Engine (Z₃³)                        │
│  pipeline_orchestrator.py, event_bus.py      │
│  c4_meta_monitor.py — self-awareness deque  │
├──────────────────────────────────────────────┤
│  Defenses: Anti-Deadlock, Anti-Emergence,    │
│  Anti-Hijack, Circuit Breaker, O₂ Kill-Switch│
├──────────────────────────────────────────────┤
│  Red Team Lab: AOC scenarios, experiment     │
│  runner, LLM client, adapters                │
├──────────────────────────────────────────────┤
│  Routing: Smart Router, Quarantine,          │
│  Antifragile Scoring (capped growth)         │
└──────────────────────────────────────────────┘

Votación de los 4 clasificadores:

  • ONNX_BERT: coordenadas cognitivas C4 (T,S,A) mediante modelo cuantizado (737KB, ~50ms)
  • RuleBased: más de 80 patrones regex que cubren inyección, jailbreak, juegos de rol y bypass de autoridad
  • Heuristic: 32 palabras de peligro + análisis de ejes C4 + métrica de densidad semántica
  • LLM_SEMANTIC: Ollama/DeepSeek — clasificación semántica de ataques (~300ms)

Lógica OR de doble clasificador: BERT + RuleBased operan como puerta principal con respaldo OR: si cualquiera de los dos marca la entrada, esta pasa a las capas de defensa. Ningún clasificador individual es un cuello de botella.


📁 Estructura del proyecto

root@kitploit:~
c4-meta-system/
├── v4_1/
│   ├── core/
│   │   ├── pipeline.py                  # Main entry points (re-exports)
│   │   ├── __main__.py                  # HTTP server entrypoint for Docker
│   │   ├── pipeline_stages.py           # Individual processing stages
│   │   ├── pipeline_orchestrator.py      # Main orchestration (thread-safe)
│   │   ├── result_factory.py             # Standardized C4v4Result factory
│   │   ├── event_bus.py                  # Organic event bus (atexit cleanup)
│   │   └── c4_meta_monitor.py            # Z³ self-awareness (deque bounded)
│   ├── security/
│   │   ├── o2_engine.py                  # O₂ defense (kill-switch self-DoS fixed)
│   │   ├── explainable_o2.py             # O₂ explainability (sampling inverted)
│   │   ├── o2_shared.py                  # Window structures (@mention comms)
│   │   ├── semantic_detector.py          # Concept graphs (normalized entanglement)
│   │   ├── secure_debug_endpoints.py     # Debug endpoints (UTC + rate limits)
│   │   ├── hardening.py                  # Model signing / admin token verification
│   │   ├── behavioral_profiler.py        # Drift detection (thread-safe singleton)
│   │   ├── distributed_o2.py             # SQLite/Redis backend (BEGIN IMMEDIATE)
│   │   ├── swarm_orchestrator.py         # Anti-virus swarm
│   │   └── ...
│   ├── defenses/
│   │   ├── anti_deadlock.py              # Resource deadlock prevention
│   │   ├── anti_emergence.py             # State convergence (async release fixed)
│   │   └── ...
│   ├── redteam/
│   │   ├── orchestrator.py              # Main orchestrator (target_callback parsing)
│   │   ├── scenario_manager.py           # AOC scenarios management
│   │   ├── adapters/                     # LLM backend adapters
│   │   ├── experiment_executor.py        # Async execution (FPR logic fixed)
│   │   ├── experiment_services.py       # Service locator
│   │   ├── experiment_runner.py         # Web UI + REST API
│   │   ├── llm_client.py                 # Async-safe LLM client (empty choices guarded)
│   │   └── ...
│   ├── classifiers/                      # 4-classifier ensemble
│   ├── config/                           # Configuration management
│   ├── access/                           # Access control
│   ├── explainability/                   # C4 explainability
│   ├── learning/                         # Learning loop
│   ├── plugins/                          # Plugin system
│   ├── quarantine/                       # Quarantine management
│   ├── router/                           # Smart routing
│   ├── scoring/                          # Antifragile scoring
│   └── tests/                            # 240 tests (19 test files)
├── formal/                               # TLA+ specifications
├── models/                               # ONNX model + tokenizer
├── archive/Dockerfile.prepared          # Multi-stage production build (archived)
├── Dockerfile.distroless                # Distroless-ready builder pattern
├── archive/docker-compose.yml.prepared  # Full stack (Ollama + UI + Monitoring) (archived)
├── .dockerignore                        # Security-hardened exclusion list
├── infra/k8s/                           # Kubernetes manifests (hardened)
└── README.md                            # This file

🐳 Despliegue con Docker

El sistema está totalmente preparado para la contenerización, con configuración sensible al entorno.

Opciones de despliegue:

root@kitploit:~
# Full stack (C4-META + Ollama + UI)
docker compose --profile experiment up -d

# Build image
docker build -t c4-meta-system -f archive/Dockerfile.prepared .

# Run with local Ollama
OLLAMA_BASE_URL=http://host.docker.internal:11434 docker run -p 8080:8080 c4-meta-system

# Red Team runner
docker build -t c4-redteam -f redteam/Dockerfile.redteam.prepared .
docker run -p 8081:8081 c4-redteam

Endpoints de salud

  • Contenedor principal: GET /health en el puerto 8080
  • Ejecutor de Red Team: GET /health en el puerto 8081

🚀 Inicio rápido

Instalación

root@kitploit:~
pip install -r requirements.txt
# Optional Docker deps
pip install -r requirements-docker.txt

Ejecutar el servidor principal

root@kitploit:~
python -m v4_1.core
# or explicitly
python -m v4_1.core.__main__

Ejecutar el panel de Red Team

root@kitploit:~
python -m v4_1.redteam.experiment_runner --web --port 8080

🏗️ Historial de correcciones de errores

Correcciones clave (60 resueltas en las rondas de auditoría)

  1. Auto-DoS del Kill-Switch — o2_engine.py ya no bloquea todo el tráfico cuando O2 está deshabilitado.
  2. Contención de bloqueo BFT — el consenso BFT se ejecuta fuera de la sección crítica, evitando el bloqueo de cabeza de línea.
  3. Fugas del bus de eventos — ThreadPoolExecutor ahora se limpia mediante atexit; las devoluciones de llamada asíncronas usan run_coroutine_threadsafe().
  4. Inversión del muestreo de O2 — explainable_o2.py ahora muestrea correctamente la fracción sample_rate en lugar de 1 - sample_rate.
  5. Malla de comunicación falsa — o2_shared.py solo registra menciones explícitas @agent en lugar de un clique totalmente conectado.
  6. Falsos positivos de entrelazamiento — semantic_detector.py normaliza los recuentos de conceptos antes de la comparación con el umbral.
  7. Lógica de devolución de llamada de destino — el orquestador y el ejecutor de Redteam ahora analizan correctamente / de las respuestas de defensa en lugar de asumir que éxito = bloqueado.

📊 Resultados de benchmark

Resultados completos de benchmark en 4 conjuntos de datos y 2000 variantes adversariales del pipeline de defensa C4.

Consulta c4protocol/BENCHMARK_RESULTS.md para ver el informe completo.

Nota: el O₂ distribuido requiere un clúster de Redis para producción. El modo de un solo nodo está disponible para desarrollo (consulta la guía de despliegue).


📊 Estado


Reto Red Team

Las defensas de C4-META son sólidas, pero ningún sistema es perfecto. Si encuentras un prompt que evada el clasificador ensemble, los módulos de defensa AoC o el motor O₂, queremos saberlo.

Informa de las evasiones:

  • Incidencias de GitLab: https://gitlab.com/cognitive-functors/c4-meta-system/-/issues
  • Correo electrónico: [email protected]

Lo que necesitamos: el prompt evasor, la respuesta esperada y qué capa de defensa falló. Reconocemos a todos los informantes en nuestro salón de la fama de seguridad.


C4-META v1.0.0-alpha — prototipo de investigación de defensa de IA multicapa. Validación interna completa. Auditoría externa pendiente.

Descargar herramienta
blocked
quarantined
  • Endurecimiento de los endpoints de depuración — sesiones limitadas por IP, marcas de tiempo en UTC y limpieza con una base temporal coherente.
  • Unificación del hash del token de administrador — tanto access/capabilities.py como security/hardening.py admiten bcrypt y SHA256.
  • Firma de modelo con fallo cerrado — ModelIntegrityVerifier lanza RuntimeError si C4_MODEL_SIGNING_KEY no está definida.
  • Corrección de regresión de la ronda 5 — se eliminó el deadlock en explainable_o2.py (ya no bloquea el hilo del bucle de eventos).
  • Validación de URL de Redis — se corrigió la regex de distributed_o2.py para que realmente aplique URL de Redis solo para localhost.
  • Entrega del ejecutor del bus de eventos — captura la referencia del bucle principal en init/publicación para que las devoluciones de llamada asíncronas se entreguen correctamente desde el pool de hilos.
  • Condición de carrera en O₂ — la lectura de _active_threat en process_message() ahora está protegida por un bloqueo.
  • Límites del detector subliminal — las cachés de token/contexto/co-ocurrencia ahora tienen tamaños máximos configurables para evitar un crecimiento de memoria sin límite.
  • Seguridad de rutas del registro de prompts — save_to_file / load_from_file ahora resuelven contra un directorio base seguro en lugar de una comprobación de prefijo defectuosa.
  • Comparación en tiempo constante — phase3.py siempre aplica hash a ambos operandos, eliminando el canal lateral temporal de la rama de longitud.
  • Persistencia atómica — todas las escrituras JSON/JSONL/texto en experiment_reporter, decision_logger, orchestrator, experiment_runner y hardening.py usan archivo temporal + renombrado atómico.
  • Fijación de UID en Docker — archive/Dockerfile.prepared ahora crea explícitamente el usuario/grupo con UID/GID 1000, en correspondencia con runAsUser de K8s.
  • Gestión de secretos en K8s — deployment.yaml referencia el Secret c4-meta-api-keys para la inyección de claves API; se añadió un manifiesto de ejemplo en secrets.yaml.
  • Jitter del interruptor automático — el tiempo de recuperación ahora usa jitter real de ±50 % en lugar de solo extenderlo.
  • Autenticación del interruptor automático — disable() y reenable() requieren el hash de CIRCUIT_BREAKER_AUTH_TOKEN.
  • Autenticación de depuración del ensemble — vote_debug() verifica C4_ADMIN_TOKEN_HASH con comparación en tiempo constante.
  • Correcciones del extractor de características — SentimentExtractor ya no elimina palabras duplicadas; ComplexityExtractor limita a [0, 1].
  • Stubs de adversario adaptativo — las estrategias de mutación por ofuscación Unicode, homoglifos y ancho cero ahora tienen implementaciones reales.
  • Limpieza de Anti-Hijack — se eliminó _goal_history, que no se usaba; OmegaPrioritizer usa deque(maxlen=1000) para desalojo en O(1).
  • Orden de bloqueo del monitor de convergencia — se eliminó el bloqueo anidado entre ConvergenceMonitor y PhiAttractorCalculator.
  • Conciencia de zona horaria — o2_shared.py usa datetime.now(timezone.utc) en lugar de fechas y horas naive.
  • Código muerto del router inteligente — se eliminó el método privado _regenerate_session, que no se usaba.
  • Stubs del ejecutor de experimentos — los ejecutores de categorías AOC ahora despachan a implementaciones de ataque reales en lugar de {"status": "simulated"}.
  • Limpieza de la amenaza activa en O₂ — _active_threat ahora se limpia cuando el análisis de ventana es seguro; ya no queda fijado permanentemente tras la primera detección.
  • Gestión de solicitudes peligrosas en el pipeline — vote_result.is_dangerous=True ahora devuelve un resultado de bloqueo en lugar de pasar directamente a ALLOW.
  • Aislamiento de sesiones anónimas — cada sesión no válida recibe un ID anónimo único; se acabó la contaminación de estado entre usuarios mediante el anon_anonymous compartido.
  • Singleton del controlador de acceso — get_access_controller() ahora usa bloqueo de doble comprobación para evitar condiciones de carrera en la inicialización.
  • Singleton del bucle de aprendizaje — get_learning_loop() ahora usa bloqueo de doble comprobación para evitar condiciones de carrera en la inicialización.
  • Seguridad de hilos de la regla de dos personas — pending_operations y approved_operations protegidos por threading.Lock.
  • Seguridad de hilos de la ejecución diferida — el dict pending protegido por threading.Lock.
  • URL de respaldo de Ollama — corregida a /v1/chat/completions en lugar del simple /chat/completions.
  • Latencia monotónica — todos los cálculos de latencia usan time.monotonic() en lugar de time.time() para evitar latencia negativa en los ajustes de NTP.
  • API obsoleta del bus de eventos — se eliminó el respaldo al obsoleto asyncio.get_event_loop().
  • Condición de carrera del último resultado de O₂ — la escritura de _last_result en _analyze_window() ahora está protegida por un bloqueo.
  • Patrones personalizados del filtro de seguridad — _compile_*_regex() ahora usa el parámetro de patrones recibido en lugar de ignorarlo.
  • Doble llamada del filtro de seguridad — filter_attack_prompt() ahora hace una sola llamada de filtrado en lugar de contar las estadísticas dos veces.
  • Bloqueo del singleton del cliente LLM — _get_lock() usa un bloqueo de hilos para evitar la condición de carrera en la creación de asyncio.Lock.
  • Inmutabilidad de la instantánea cognitiva — snapshot_cognition() almacena una copia de C4Coordinate en lugar de una referencia mutable.
  • Inmutabilidad de la transición de estado — transition_to() copia el C4Coordinate entrante en lugar de conservar una referencia.
  • Corrección de path traversal — _save_results() comprueba el traversal ANTES de resolver y garantiza que la ruta permanezca dentro del directorio base.
  • Corrección de propiedad de sesión — create_session() verifica la propiedad del usuario antes de devolver un ID de sesión existente.
  • Excepciones de reintento — el valor predeterminado de retryable_exceptions cambió de (Exception,) a (ConnectionError, TimeoutError, OSError).
  • Registro de auditoría del validador de tokens — _audit_log ahora usa deque(maxlen=10000) para evitar un crecimiento sin límite.
  • Deadlock del validador de tokens — revoke_all_for_subject() usa un orden de bloqueo coherente (revocados → usados).
  • Token de administrador de un solo uso — verify_admin_token() pasa consume_single_use=False para evitar gastar tokens en la verificación.
  • Bloqueo del consenso BFT — reach_consensus() ahora está protegido por threading.Lock.
  • RNG de fuzzing — generate_random_string() usa secrets.SystemRandom() en lugar de random.
  • KeyError del registrador de decisiones — _describe_z_state() maneja T=-1 correctamente.
  • Consulta del registrador de decisiones — el filtro de rango temporal ahora se aplica sobre resultados ya filtrados en lugar de descartar los filtros previos.
  • Restablecimiento del kill switch de O₂ — reset_threat_state() ahora limpia realmente manual_quarantine y el estado de emergencia.
  • Auditoría del kill switch de O₂ — unquarantine_agent() solo registra en auditoría cuando el agente estaba realmente en cuarentena.
  • Protección del reporter de experimentos — build_report() protege treatment_metrics vacío con el mismo patrón que control_metrics.
  • Límite de crecimiento antifrágil — antifragile_growth limitado a 1,000,000.0 para evitar un crecimiento flotante sin límite.
  • MétricaValor
    Tasa de detección adversarial80.3%
    Puntuación de robustez1.25
    Detección limpia (AoC)70.9%
    Tasa de falsos positivos14.6%
    Tasa de bloqueo C4 por LLM96.7%
    Reducción de ASR en GPT-4o-mini10.7% → 0.7% (93.2%)
    Reducción de ASR en Mistral 7B22.5% → 0.5% (97.6%)
    MétricaValor
    Versión1.0.0 FINAL
    EstadoPrototipo de investigación (validación interna completa)
    Pruebas240 pruebas (19 archivos de prueba)
    Clasificadores4 (ONNX_BERT, RuleBased, Heuristic, LLM_SEMANTIC)
    Capas de defensa4 (Saneamiento de entrada → Semántico → Comportamiento → Meta-Observador)
    Defensas AoC16 (11 originales + 5 ampliadas)
    ThoughtVirusdefensa de 2 capas (regex + trayectoria C4)
    SVETILO7 sellos integrados
    Correcciones de erroresMás de 60 resueltas en las rondas de auditoría
    Build de DockerCorrecto (multi-etapa, listo para distroless)
    Manifiestos K8sListos (endurecidos con secretKeyRef)
    LicenciaBSL 1.1