Changelog

Todos los cambios notables de este proyecto se documentan en este archivo.

El formato se basa en Keep a Changelog 1.1.0 y este proyecto se adhiere a Semantic Versioning 2.0.0.

Unreleased

Modelo formal del protocolo en Tamarin Prover (formal/aavp.spthy, formal/aavp-unlinkability.spthy). Verifica matemáticamente: unforgeability (un token válido requiere participación del IM), unlinkability (dos tokens del mismo DA son indistinguibles), unicidad de nonce, y vinculación de metadatos.
Workflow de GitHub Actions para verificación formal (formal-verification.yml) con Docker (infsec/tamarin-prover).

SECURITY-ANALYSIS.md: estudio exhaustivo de vulnerabilidades y análisis de seguridad del protocolo, con supuestos de seguridad, vectores de ataque no documentados, análisis de esquemas criptográficos, vulnerabilidades del token, modelo de implementación para plataformas, protocolo de auditoría, verificación de segmentación de contenido, escenarios de ataque compuestos y recomendaciones priorizadas.

Estructura del token AAVP: adopción de Partially Blind RSA (RSAPBSSA-SHA384) como esquema criptográfico. age_bracket y expires_at pasan a ser metadatos públicos de la firma parcialmente ciega. Añadidos campos token_type (2 bytes, agilidad criptográfica) y token_key_id (32 bytes, identificación de clave del IM). Eliminado issued_at. Tamaño fijo del token: 331 bytes.
Vulnerabilidades T-4.1 a T-4.5 de SECURITY-ANALYSIS.md marcadas como resueltas. Estado del área “Estructura del token” actualizado de rojo a amarillo.
Frase sobre firmas ciegas en README.md ajustada para reflejar firmas parcialmente ciegas.
Página /seguridad/ en el sitio web que renderiza SECURITY-ANALYSIS.md con soporte de diagramas Mermaid.
Enlace a análisis de seguridad en la navegación del sitio y en la landing page.
SECURITY-ANALYSIS.md añadido como trigger del workflow de deploy del sitio.

Sitio web público con Astro desplegado en GitHub Pages (site/).
Landing page con hero, sección del problema, cómo funciona, principios y CTA.
Páginas que renderizan README.md, PROTOCOL.md y CHANGELOG.md con soporte de diagramas Mermaid (SVG en build time).
Modo claro/oscuro con detección de preferencia del sistema y persistencia en localStorage.
Workflow de GitHub Actions para deploy automático del sitio (deploy-site.yml).
Sección de documentación del sitio web en CLAUDE.md.

Ortografía castellana corregida en todos los documentos: tildes, eñes y signos de puntuación.
Regla de ortografía actualizada en CLAUDE.md: el proyecto usa ortografía castellana correcta.

PROTOCOL.md: nuevo documento de especificación técnica separado del white paper divulgativo.
CLAUDE.md: guía de contribución con normas de estilo, terminología obligatoria y principios inviolables.
CHANGELOG.md: registro de cambios con Semantic Versioning.
VERSION: archivo fuente de verdad para el versionado del proyecto.
.github/workflows/bump-version.yml: workflow de GitHub Actions para bump automático de versión, actualización de cabeceras y creación de tags.
Distinción explícita entre Device Agent (rol del protocolo) y sus vehículos de implementación (control parental, SO, extensión, etc.).
Tabla de vehículos de implementación del DA en PROTOCOL.md.
Dos amenazas nuevas en el modelo de amenazas: colusión IM+plataforma y replay de tokens.
Esquemas criptográficos candidatos documentados (RSA Blind Signatures RFC 9474, BLS, zk-SNARKs, zk-STARKs, Bulletproofs).
Sección de prevención de fingerprinting con tabla de medidas.
Estructura futura del repositorio documentada en CLAUDE.md.

Separación de audiencias: el contenido se divide en README.md (divulgativo, audiencia general) y PROTOCOL.md (técnico, audiencia implementadora).
README.md reescrito con lenguaje accesible, analogías y diagramas simplificados.
PROTOCOL.md contiene toda la arquitectura, criptografía, modelo de amenazas y flujo operativo detallado.
Terminología corregida: Device Agent ya no se equipara con “control parental” en ningún documento.
Definición del DA actualizada a “rol abstracto del protocolo” en lugar de “sistema de control parental o componente del SO”.
Glosario ampliado con nuevos términos: Unlinkability, vehículo de implementación.
Diagramas Mermaid reorganizados según la audiencia de cada documento.

White paper inicial de AAVP (Anonymous Age Verification Protocol) v0.1.
Definición del problema de verificación de edad en plataformas digitales.
Arquitectura del protocolo con tres actores: Device Agent, Verification Gate, Implementador.
Estructura del token AAVP con cinco campos: age_bracket, issued_at, expires_at, nonce, implementer_sig.
Cuatro franjas de edad: UNDER_13, AGE_13_15, AGE_16_17, OVER_18.
Fundamentos criptográficos: firmas ciegas y pruebas de conocimiento cero.
Modelo de confianza descentralizado inspirado en DMARC/DKIM.
Modelo de amenazas con seis vectores analizados.
Comparativa con soluciones existentes (DNI, biometría, tarjeta de crédito, autodeclaración).
Compatibilidad regulatoria (RGPD, DSA, COPPA, Age Appropriate Design Code UK).
Hoja de ruta en tres fases (2026-2029+).
Diagramas Mermaid de arquitectura, flujos, ciclo de vida del token y hoja de ruta.