Declaración de Cumplimiento de Bienes Públicos Digitales¶

English Version

MIESC - Evaluación Inteligente Multicapa para Contratos Inteligentes

Este documento demuestra el cumplimiento de MIESC con el Estándar de Bienes Públicos Digitales (v1.1.6) establecido por la Alianza de Bienes Públicos Digitales (DPGA).

Estado de la Aplicación¶

Los dos identificadores corresponden al mismo envío: 13478 es el número de aplicación DPGA (usado en la URL de app.digitalpublicgoods.net) y GID0092948 es su ID Global (GID). No son una discrepancia.

Resumen Ejecutivo¶

MIESC es un framework de análisis de seguridad de código abierto para contratos inteligentes que avanza el ODS 9 (Industria, Innovación e Infraestructura) y el ODS 16 (Paz, Justicia e Instituciones Sólidas) proporcionando herramientas de ciberseguridad accesibles y transparentes para ecosistemas blockchain.

Indicador 1: Relevancia ODS¶

Alineación Primaria con ODS¶

ODS 9: Industria, Innovación e Infraestructura - Meta 9.b: Apoyar el desarrollo tecnológico nacional, la investigación y la innovación en países en desarrollo - Contribución: MIESC democratiza el acceso a herramientas de seguridad de contratos inteligentes de nivel empresarial, permitiendo a desarrolladores de todo el mundo construir aplicaciones blockchain seguras sin licencias comerciales costosas

ODS 16: Paz, Justicia e Instituciones Sólidas - Meta 16.5: Reducir sustancialmente la corrupción y el soborno en todas sus formas - Meta 16.6: Desarrollar instituciones efectivas, responsables y transparentes - Contribución: La verificación de seguridad automatizada de contratos inteligentes aumenta la transparencia y reduce las oportunidades de fraude financiero en sistemas blockchain

Alineación Secundaria con ODS¶

ODS 8: Trabajo Decente y Crecimiento Económico - Meta 8.10: Fortalecer la capacidad de las instituciones financieras nacionales para fomentar y ampliar el acceso a servicios bancarios, de seguros y financieros - Contribución: Los protocolos DeFi seguros permiten una mayor inclusión financiera a través de finanzas descentralizadas confiables

ODS 17: Alianzas para los Objetivos - Meta 17.6: Mejorar la cooperación Norte-Sur, Sur-Sur y triangular regional e internacional en ciencia, tecnología e innovación - Contribución: El framework de código abierto permite la colaboración global en investigación de seguridad blockchain

Métricas de Impacto¶

Casos de Uso para el Desarrollo¶

1. Proyectos Blockchain Gubernamentales: Verificación de seguridad para implementaciones blockchain del sector público
2. DeFi en Mercados Emergentes: Habilitando finanzas descentralizadas seguras en regiones sub-bancarizadas
3. Investigación Académica: Análisis de seguridad reproducible para investigación blockchain
4. Transparencia de ONGs: Auditoría de contratos inteligentes para seguimiento de donaciones caritativas

Indicador 2: Licencia Abierta¶

Tipo de Licencia¶

GNU Affero General Public License v3.0 (AGPL-3.0)

Esta licencia está aprobada por OSI y asegura: - Libertad para usar, estudiar, modificar y distribuir - El uso en red activa el copyleft (las modificaciones deben compartirse) - Las obras derivadas permanecen de código abierto - Se permite uso comercial con atribución

Archivo de Licencia¶

Texto completo de la licencia: LICENSE

Componentes de Terceros¶

Todas las dependencias usan licencias de código abierto compatibles:

Indicador 3: Propiedad Clara¶

Propiedad del Proyecto¶

Propiedad Intelectual¶

• Código Fuente: Copyright 2024-2026 Fernando Boiero, licenciado bajo AGPL-3.0
• Documentación: Copyright 2024-2026 Fernando Boiero, licenciado bajo CC-BY-4.0
• Marcas Registradas: Nombre y logo "MIESC" propiedad de Fernando Boiero
• Patentes: No se han solicitado patentes; compromiso con desarrollo libre de patentes

Contexto Académico¶

MIESC se originó como una tesis de Maestría en Ciberdefensa en la Universidad de la Defensa Nacional (UNDEF), Argentina, y continúa como proyecto de investigación en la Universidad Tecnológica Nacional, Facultad Regional Villa María (UTN-FRVM). Ambas instituciones apoyan la publicación de código abierto de los resultados de investigación.

Indicador 4: Independencia de Plataforma¶

Arquitectura Core¶

MIESC está diseñado para la independencia de plataforma:

┌─────────────────────────────────────────────────┐
│                    MIESC Core                    │
│  (Python 3.12+ - Multiplataforma)               │
├─────────────────────────────────────────────────┤
│  Adaptadores de Herramientas (Arquitectura      │
│                               Pluggable)        │
│  - Cada herramienta es opcional                 │
│  - Degradación elegante cuando herramientas     │
│    no están disponibles                         │
├─────────────────────────────────────────────────┤
│  Estándares Abiertos                            │
│  - JSON-RPC (Protocolo MCP)                     │
│  - SARIF (Resultados de Análisis Estático)      │
│  - OpenAPI (REST API)                           │
└─────────────────────────────────────────────────┘

Análisis de Dependencias¶

Sin Vendor Lock-in¶

• Modelos de IA: Usa LLMs locales (Ollama) por defecto; no requiere API en la nube
• Base de datos: SQLite por defecto; PostgreSQL opcional
• Servicios en la Nube: Totalmente funcional offline; sin dependencias de nube
• Herramientas Propietarias: Integraciones opcionales (ej., Certora) no requeridas para funcionalidad core

Indicador 5: Documentación¶

Estructura de Documentación¶

Inicio Rápido¶

# Clonar repositorio
git clone https://github.com/fboiero/MIESC.git
cd MIESC

# Instalar dependencias
pip install -r requirements.txt

# Ejecutar smoke local
miesc scan tests/fixtures/reentrancy.sol --fp-strictness off

Soporte Multilingüe¶

• Inglés: README.md
• Español: README_ES.md

Indicador 6: Extracción de Datos¶

Formatos de Exportación¶

MIESC soporta múltiples formatos de exportación abiertos y no propietarios:

Portabilidad de Datos¶

from miesc import MiescFramework

auditor = MiescFramework()
report = auditor.analyze("contract.sol")

# Exportar a múltiples formatos
report.export("results.json", format="json")
report.export("results.sarif", format="sarif")
report.export("results.md", format="markdown")
report.export("results.csv", format="csv")

Sin Data Lock-in¶

• Todos los resultados de análisis exportables en formatos abiertos
• Sin formatos binarios propietarios
• Propiedad total de datos retenida por el usuario
• Acceso API a todas las estructuras de datos internas

Indicador 7: Privacidad y Leyes Aplicables¶

Declaración de Privacidad¶

Ver política completa: PRIVACY_ES.md

Principios Clave: 1. Procesamiento Local: Todo el análisis se ejecuta localmente; el código nunca sale de la máquina del usuario 2. Sin Telemetría: Sin recopilación de datos de uso sin consentimiento explícito 3. IA Soberana: El LLM por defecto (Ollama) se ejecuta localmente; sin llamadas a API externas 4. Minimización de Datos: Solo procesa archivos explícitamente proporcionados por el usuario

Cumplimiento Legal¶

Divulgación Responsable¶

Vulnerabilidades de seguridad: fboiero@frvm.utn.edu.ar (respuesta dentro de 48 horas)

Indicador 8: Estándares y Mejores Prácticas¶

Adherencia a Estándares Abiertos¶

Mapeo de Estándares de Seguridad¶

MIESC mapea hallazgos a 12 estándares internacionales: - ISO/IEC 27001:2022 - ISO/IEC 42001:2023 (Gobernanza de IA) - NIST SP 800-218 - OWASP Smart Contract Security - EU DORA (Resiliencia Operacional Digital)

Mejores Prácticas de Desarrollo¶

Indicador 9: No Dañar¶

Evaluación de Riesgos¶

Consideraciones de Doble Uso¶

MIESC es una herramienta de análisis de vulnerabilidades, y la información de vulnerabilidades es inherentemente de doble uso: un hallazgo que ayuda a un desarrollador a corregir un bug podría, en principio, informar a un atacante. Lo abordamos de forma directa en lugar de ignorarlo:

• Orientación defensiva: MIESC está diseñado para triage previo al despliegue de los contratos propios del usuario. Sus salidas —hallazgos con guía de remediación, parches, tests y especificaciones formales generadas— se orientan a cerrar vulnerabilidades, no a explotarlas.
• Sin escaneo masivo ni ofensivo: MIESC analiza el código fuente que el usuario provee explícitamente. No rastrea ni escanea a escala contratos desplegados de terceros, y no incluye herramientas de explotación o extracción de fondos.
• Prueba de concepto acotada: la generación de tests de exploit se limita a confirmar una vulnerabilidad en el contrato propio del usuario y a verificar que un parche la bloquea—no a producir ataques desplegables.
• Base de conocimiento pública: los patrones que MIESC detecta ya son públicos (SWC Registry, CWE, literatura revisada por pares, reportes post-mortem). MIESC democratiza el acceso a la defensa; no crea capacidad ofensiva nueva.
• Corrección de asimetría: las auditorías profesionales cuestan $20K–60K y son inaccesibles para la mayoría de los equipos, mientras los atacantes ya están bien financiados. Bajar el costo del análisis defensivo hacia cero corre la asimetría de seguridad hacia los defensores, que es la razón de bien-público del proyecto.
• Divulgación responsable: MIESC ofrece un contacto de seguridad con compromiso de respuesta en 48 horas para problemas en MIESC, y su documentación fomenta la divulgación responsable de vulnerabilidades encontradas en código de terceros.

Salvaguardas¶

1. Disclaimers Claros: La documentación establece que MIESC es una herramienta de triaje pre-auditoría, no un reemplazo de auditorías profesionales
2. Sin Arreglos Automáticos: No modifica código del usuario; solo reporta hallazgos
3. IA Responsable: Uso de LLM local previene fuga de datos
4. Enfoque Educativo: Incluye explicaciones y guía de remediación

Moderación de Contenido¶

No aplica - MIESC no aloja contenido generado por usuarios ni características sociales.

Seguridad Infantil¶

No aplica - MIESC es una herramienta de desarrollo que no interactúa con menores.

Contenido Dañino¶

Los componentes de IA de MIESC están restringidos al análisis de seguridad y no pueden generar: - Código malicioso o exploits (más allá de prueba de concepto para propósitos educativos) - Contenido dañino - Salidas sesgadas

Gobernanza¶

Gobernanza del Proyecto¶

Ver: GOVERNANCE_ES.md

• Mantenedor: Fernando Boiero
• Proceso de Decisión: Propuestas estilo RFC para cambios mayores
• Comunidad: GitHub Discussions para solicitudes de características
• Código de Conducta: CODE_OF_CONDUCT.md

Plan de Sostenibilidad¶

1. Soporte Académico: Desarrollo continuo como parte de investigación en curso
2. Contribuciones de la Comunidad: Abierto a contribuidores externos
3. Financiamiento por Grants: Buscando financiamiento DPGA pathfinder
4. Adopción Institucional: Alianzas con universidades e instituciones de investigación

Información de Contacto¶

Solicitud de Certificación¶

Este documento sirve como la aplicación de MIESC para reconocimiento como Bien Público Digital bajo el Estándar DPGA v1.1.6.

Enviado por: Fernando Boiero Envío DPGA: 5 de Diciembre de 2025 (aplicación #13478 / GID0092948) Última actualización: Junio 2026

Referencias¶

• Alianza de Bienes Públicos Digitales
• Estándar DPG v1.1.6
• Guía de Envío DPGA
• Hoja de Ruta del Secretario General de la ONU para la Cooperación Digital