ECCFROG522PP: An Enhanced 522 bit Weierstrass Elliptic Curve

Resumen Técnico: ECCFROG522PP

1. Planteamiento del Problema

La criptografía de curvas elípticas (ECC) es fundamental en los sistemas modernos, pero la confianza en parámetros predefinidos (como NIST P-256, secp256k1 o NIST P-521) a menudo depende de la autoridad del emisor original. En muchos casos, la generación de parámetros históricos carece de documentación transparente sobre cómo se seleccionaron los valores semilla o los índices de búsqueda, lo que genera desconfianza en la comunidad de seguridad sobre posibles "puertas traseras" o debilidades estructurales no intencionadas.

El problema central abordado por el autor es la necesidad de una curva elíptica de alto nivel de seguridad (equivalente a 128 bits clásicos, similar a P-521) que priorice la transparencia, la verificabilidad y la auditabilidad sobre la velocidad de ejecución. Se busca eliminar la ambigüedad en el origen de los parámetros mediante un proceso de generación completamente determinista y reproducible.

2. Metodología

El diseño de ECCFROG522PP se basa en una filosofía de "generación determinista" estricta. La curva se define sobre un campo primo ($F_p$) en forma de Weierstrass corta ($y^2 = x^3 - 9x + b$). Los pasos metodológicos clave son:

• Semilla Pública Fija: Todo el proceso comienza con una cadena de texto pública y fija: ECCFrog522PP|v1.
• Pipeline Determinista (BLAKE3): Se utiliza la función hash BLAKE3 para derivar los parámetros críticos.
  • Coeficiente $b$: Se calcula mediante la regla $b = (\text{BLAKE3}(\text{seed} \parallel b \parallel i) \mod (p-3)) + 2$, donde $i$ es un índice de búsqueda publicado ($1,294,798$).
  • Punto Base $G$: La coordenada $x$ se genera como $G_x = \text{BLAKE3}(\text{seed} \parallel G \parallel j) \mod p$, con un índice $j=0$.
• Validación Automática: El proceso busca el primer candidato que cumpla con criterios estrictos de seguridad. Una vez encontrado, los índices de búsqueda se publican para permitir que cualquier tercero regenere la curva exactamente igual.
• Herramientas: La implementación de referencia utiliza scripts en SageMath integrados con BLAKE3 para la reproducción y verificación.

3. Contribuciones Clave

El artículo presenta la siguiente curva y sus características técnicas:

• Parámetros de la Curva:
  • Tamaño: 522 bits (campo primo).
  • Orden del Subgrupo: Primo ($N$), lo que implica un cofactor de 1. Esto elimina preocupaciones sobre subgrupos pequeños.
  • Punto Base: Determinístico, con orden completo $N$.
  • Coeficientes: $a = -9$ y $b$ derivado determinísticamente.
• Verificaciones de Seguridad Estructural:
  • Grado de Incrustación (Embedding Degree): Se establece un límite inferior de 14 y se verifica que no hay reducciones de tipo MOV para $k \le 200$.
  • Discriminante CM: Se realiza una verificación de "sanidad" (sanity check) contra anomalías de discriminantes de Curva Modular (CM) hasta 100k.
  • Twist Cuadrático: El orden del twist cuadrático tiene un factor primo probado de aproximadamente 505 bits, protegiendo contra ataques de curvas inválidas.
• Integración Práctica: La curva se ha integrado en una herramienta de cifrado de archivos de código abierto llamada HippoFrog, demostrando que una curva centrada en la transparencia puede funcionar en sistemas reales (usando ECDH efímero, HKDF-SHA256 y AES-256-GCM).

4. Resultados

• Reproducibilidad Total: Se ha demostrado que la curva completa puede ser regenerada desde cero utilizando únicamente la semilla pública, los índices publicados y el algoritmo BLAKE3, sin necesidad de confiar en la autoridad original.
• Rendimiento: Las pruebas de rendimiento (benchmarking) muestran que ECCFROG522PP tiene un rendimiento comparable a otras curvas de tamaño similar (como P-521). El artículo no reclama superioridad en velocidad; de hecho, el diseño sacrifica optimizaciones de velocidad a favor de la transparencia.
• Validación: Los scripts de validación confirman que el punto base tiene el orden correcto, que la curva es no singular y que cumple con todas las restricciones de seguridad estructural mencionadas.

5. Significado e Impacto

El valor principal de ECCFROG522PP no radica en un nuevo avance matemático o en un récord de velocidad, sino en un cambio de paradigma en la confianza criptográfica:

1. Reducción de la Confianza: Permite que la confianza se desplace de la autoridad que publica los parámetros hacia un proceso verificable por cualquiera.
2. Alternativa Transparente: Ofrece una alternativa viable a las curvas estándar (como NIST P-521) para entornos donde la auditabilidad y el origen de los parámetros son criterios de selección críticos (ej. investigación, software experimental, sistemas de alta seguridad).
3. Modelo Reproducible: Establece un estándar para cómo deben documentarse y generarse las curvas elípticas en el futuro, priorizando la claridad del proceso sobre la opacidad histórica.

En conclusión, ECCFROG522PP es una curva de 522 bits que demuestra que es posible construir una infraestructura criptográfica robusta y segura donde cada paso de la generación de parámetros es público, determinista y verificable, eliminando la necesidad de "confiar en la caja negra" de los generadores de parámetros tradicionales.