X-Wing: el mecanismo de KEM híbrido que estabas buscando

Resumen

X-Wing es un mecanismo de encapsulación de claves híbrido basado en X25519 y ML-KEM-768. Está diseñado para ser la opción sensata para la mayoría de las aplicaciones. La elección concreta de X25519 y ML-KEM-768 permite que X-Wing logre una eficiencia mejorada en comparación con el uso de un combinador de KEM genérico. En este artículo de investigación, se presenta la construcción del KEM híbrido X-Wing y se proporciona una prueba de seguridad. Se muestra (1) que X-Wing es un KEM IND-CCA seguro clásico si se mantiene la suposición de Diffie-Hellman fuerte en el grupo nominal X25519, y (2) que X-Wing es un KEM IND-CCA seguro post-cuántico si ML-KEM-768 es en sí mismo un KEM IND-CCA seguro y SHA3-256 es seguro cuando se utiliza como una función pseudorandom. El primer resultado se prueba en el ROM, mientras que el segundo se mantiene en el modelo estándar. En términos generales, esto significa que X-Wing es seguro si X25519 o ML-KEM-768 es seguro. Se destaca que estas garantías de seguridad y optimizaciones solo son posibles debido a las elecciones concretas que se hicieron, y puede que no se apliquen en el caso general.