Si no puedes probarlo, no puedes defenderlo.

Gobernanza IA con seguridad de
reactores nucleares.

El regulador ya tiene la pregunta.
Hoy nadie en tu industria tiene la respuesta.
DOF la genera en cada decisión.

Verificación determinística · Pruebas matemáticas · Historial auditable

🏆 Synthesis 2026 🏙️ Ruta N · StartCo ⛓️ 7 Chains · Mainnet ✅ 4/4 Z3 PROVEN
Scroll

Prueba en Vivo

Una decisión. Una prueba verificable.

Cada acción es validada con constraints formales antes de ejecutarse.

DOF · Verification Engine · live
Ver en blockchain →

Validación Externa · Winston Experiment

Probamos 10 modelos frontier.
Ninguno pudo gobernarse solo.

Con DOF activo: mejora promedio de +26.1%. Scorer determinístico, 0 LLMs. Validado externamente en Adaline (200M+ llamadas API/día).

Modelo Con DOF Sin DOF Delta
DeepSeek-V3 88.7 38.7 +50.0
GLM-4.5 90.0 42.7 +47.3
Mistral Large 78.7 41.3 +37.4
Claude Sonnet ✦ 90.0 56.0 +34.0
ChatGPT-4o 88.7 63.0 +25.7
Gemini 2.5 Pro 84.7 71.3 +13.4

✦ Incluyendo este modelo. Datos completos en experiments/winston_vs_baseline/

El problema

Los reguladores preguntan algo que nadie puede responder hoy.

"¿Cómo prueba que su agente de IA actuó correctamente?" La Superintendencia Financiera ya exige la respuesta. Hoy ninguna empresa colombiana la tiene. Los logs son editables y alucinan.

IA vigilando a IA no es prueba

La industria usa un LLM para supervisar a otro. Es testimonio editable, no evidencia. El vigilante también alucina y puede ser manipulado.

Los logs son editables

Cualquier registro que un sistema escribe sobre sí mismo puede borrarse o modificarse. Ante auditoría regulatoria eso vale cero.

Sin prueba, sin autonomía real

Empresas que dan autonomía a su IA sin evidencia criptográfica quedan expuestas a sanciones, demandas y pérdida de licencias regulatorias.

DOF-MESH es la respuesta técnica

Una cámara de seguridad ineditable para agentes de IA. Verificación matemática Z3, registros criptográficos en blockchain. Imposible de borrar o editar.

La Solución

DOF no monitorea.
DOF prueba.

Tu agente está a punto de ejecutar una acción. DOF intercepta esa decisión antes de que ocurra, la convierte en restricciones matemáticas y la pasa por Z3 en milisegundos. Sin LLM. Sin interpretación. Si pasa las reglas, se ejecuta y genera un hash en blockchain. Si no, se bloquea. Ese hash es lo que presentas ante un regulador. No un log. Una prueba.

Decisión → restricciones → Z3 → recibo criptográfico
Hash inmutable on-chain en menos de 30ms, sin tokens LLM
Integración en una línea para cualquier agente existente
Agnóstico: Python, Node, cualquier framework
Governance ANTES de ejecutar — no después

La mayoría de frameworks verifica lo que pasó. DOF verifica lo que está a punto de pasar.

Ver Framework →
L1 Constitution Core
L2 AST Validator Parse
PRE Tool Hook Gate Pre-Exec
L3 Supervisor Engine Monitor
L4 Adversarial Guard Defense
L5 Memory Layer Store
L6 Z3 SMT Verifier Formal
L7 Oracle Layer Chain

El Estándar DOF-MESH

Testimonio vs Prueba.

La diferencia no es de calidad. Es de categoría.

Dimensión Estándar Actual
IA vigilando IA
DOF-MESH
Evidencia Logs escritos por la misma IA ✓ Prueba matemática inmutable
Vulnerabilidad El vigilante alucina o es manipulado ✓ Inmunidad matemática (100% determinista)
Auditoría Archivos editables internamente ✓ Registro público en blockchain independiente
Eficiencia Consume tokens LLM por decisión ✓ 0 tokens LLM · decisión en <30ms

DOF Multichain

DOF Multichain.
Pruebas sin fronteras.

DOFProofRegistry en 7 chains: 6 mainnets + 1 testnet. 30+ attestations verificables públicamente. Sin fees en SKALE Europa.

Avalanche
Base
Celo
Polygon
SKALE
Conflux

ERC-8004 Identity Registry · Avalanche C-Chain

0x8004A169FB4a3325136EB29fA0ceB6D2e539a432
DOF
PROOF
Avax
Base
Celo
Poly
SKALE
Conflux

Quick Install

En producción en 24 horas.

pip install y listo. O lanza el mesh completo con Docker en un solo comando.

python
$ pip install dof-sdk

from dof import DOFVerifier

verifier = DOFVerifier()
result = verifier.verify_action(
    agent_id="apex-1687",
    action="transfer",
    params={"amount": 500, "token": "USDC"}
)
# → verdict: "APPROVED"
# → z3_proof: "4/4 VERIFIED"
# → latency_ms: 8.2
# → attestation: "0x44b45cd026916c..."
$ git clone https://github.com/Cyberpaisa/DOF-MESH.git
$ cd DOF-MESH && cp .env.example .env
$ docker-compose up -d --build

# A2A Server activo en localhost:8000
# 9 agentes · 11 crews · governance activo
# {"status":"ok","agents":9,"crews":11}
dof verify-states
$ dof verify-states
PROVEN GCR_INVARIANT # Governance score = 1.0 always
PROVEN SS_FORMULA # SS(f) = 1 - f^3 for r=2
PROVEN SS_MONOTONICITY # Lower failure = higher score
PROVEN SS_BOUNDARIES # Score always in [0, 1]
4/4 theorems verified · Z3 proof time: 2.1ms
$ dof attest --chain avalanche --agent 1687
ON-CHAIN TX: 0x88f604...02C052 · Block 54,291,007
Proof registered on Avalanche C-Chain · $0.003 gas

Métricas de Producción

Una Red a Escala

La infraestructura DOF-MESH opera en producción. Cada número está respaldado por attestations on-chain verificables.

0
Líneas de Código
0
Módulos Activos
0
Tests Verificados
0
Chains con Proofs
0
Rust Gate Latencia
0
Agentes A2A Activos
0
Crews CrewAI
0
Attestations On-Chain

Proyectos Activos

Lo Activo en DOF-MESH

9 componentes en producción.

● Live
DOF-MESH
Framework principal. 57K+ LOC, 142 módulos, governance 7 capas, Z3 verifier, Rust gate 7µs, Docker Citadel.
● Live
equipo-de-agentes
Multi-agente CrewAI. 8 agentes, 11 crews, DOF SDK v0.5, Telegram Bot, Streamlit, A2A Server activo en :8000.
Dev
DOF SDK v0.5
Librería TypeScript/Python para integrar governance DOF en cualquier agente externo. ACP Evaluator incluido.
● Live
Apex Arbitrage #1687
Agente Python. Arbitraje triangular Bellman-Ford en Avalanche. Whale monitor, new pair detection, señales x402.
● Live
AvaRiskScan #1686
Agente Node+Python. Análisis de riesgo DeFi en Avalanche. Registrado como AvaBuilder en ERC-8004.
● Live
dof-governance
Frontend governance on-chain. ethers.js + Node.js. Visualización DOFProofRegistry en 5 chains. Vercel.
● Mainnet
ERC-8004 Identity
Contrato on-chain para identidad de agentes. Avalanche C-Chain mainnet. Registro de metadata y reputación.
● 5 Chains
DOFProofRegistry
Registro de pruebas DOF en 5 chains. Cada ejecución genera hash inmutable. Attestations verificables on-chain.

La pregunta que cambia todo

¿Puedes probar que tu IA
decidió bien?

Hoy nadie en tu industria puede responder esa pregunta. El primero que pueda no solo evita el problema. Lo convierte en ventaja.

Construido por Cyber Paisa, Enigma Group, Medellín.

Matemáticas, no promesas.