Apple ha publicado la biblioteca de criptografía corecrypto junto con las pruebas matemáticas formales de sus algoritmos cuántico-resistentes. Esta iniciativa busca blindar los sistemas de la compañía, como iMessage y VPN, contra los futuros ordenadores cuánticos que podrían comprometer la seguridad actual. La empresa ha desarrollado implementaciones de los estándares NIST ML-KEM y ML-DSA (FIPS 203 y 204), asegurando que el código sea fiel a las especificaciones oficiales. Este lanzamiento es relevante porque corecrypto es fundamental para la seguridad de más de 2.500 millones de dispositivos activos. Para garantizar la máxima seguridad, Apple ha utilizado verificación formal, un método que utiliza pruebas matemáticas para demostrar la corrección del código, superando las pruebas convencionales. Esta transición asegura que las comunicaciones sensibles permanezcan seguras a largo plazo en el ecosistema de Apple.
Apple lanza biblioteca corecrypto con pruebas formales de seguridad cuántica
