{"id":123602,"date":"2025-04-19T15:05:06","date_gmt":"2025-04-19T13:05:06","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti"},"modified":"2025-04-19T15:05:06","modified_gmt":"2025-04-19T13:05:06","slug":"v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","status":"publish","type":"post","link":"https:\/\/prohoster.info\/es\/blog\/news\/v-python-zadejstvovany-kriptofunkczii-s-matematicheskim-dokazatelstvom-nadyozhnosti","title":{"rendered":"Python ha implementado funciones criptogr\u00e1ficas con prueba matem\u00e1tica de seguridad","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Se ha anunciado la finalizaci\u00f3n exitosa de la iniciativa para reemplazar las implementaciones de algoritmos criptogr\u00e1ficos en Python, ofrecidas en los m\u00f3dulos hashlib y hmac, por variantes con prueba matem\u00e1tica de fiabilidad, desarrolladas por el proyecto \u00abHACL*\u00bb. El trabajo para la transici\u00f3n a funciones con prueba matem\u00e1tica de fiabilidad comenz\u00f3 en 2022, tras identificar un desbordamiento de buffer en la implementaci\u00f3n del algoritmo SHA3 utilizado en el m\u00f3dulo hashlib de Python. <\/p>\n
Se ha aceptado en el repositorio principal del proyecto CPython el c\u00f3digo con las nuevas implementaciones de funciones hash criptogr\u00e1ficas y algoritmos HMAC (mecanismo de autenticaci\u00f3n de mensajes). Todas las funciones hash y HMAC proporcionadas por defecto en Python han sido reemplazadas por variantes verificadas. Entre otras cosas, se ha a\u00f1adido la implementaci\u00f3n HMAC-BLAKE2, que utiliza instrucciones SIMD AVX2 para acelerar los c\u00e1lculos. Se espera que el c\u00f3digo verificado forme parte de la versi\u00f3n de oto\u00f1o de Python 3.14. <\/p>\n
Las nuevas implementaciones de funciones criptogr\u00e1ficas han sido trasladadas desde la biblioteca HACL*, desarrollada por investigadores del Instituto Nacional de Investigaci\u00f3n en Inform\u00e1tica y Automatizaci\u00f3n de Francia (INRIA), la divisi\u00f3n de Microsoft Research y la Universidad Carnegie Mellon. La biblioteca HACL* soporta funciones criptogr\u00e1ficas est\u00e1ndar que son suficientes para trabajar con TLS 1.3 y ofrecer soporte completo para la API NaCl (Networking and Cryptography library), tales como Curve25519, Ed25519, AES-GCM, Chacha20, Poly1305, SHA-2, SHA-3, HMAC y HKDF. En t\u00e9rminos de rendimiento, la biblioteca HACL* se aproxima a OpenSSL, pero a diferencia de esta \u00faltima, proporciona garant\u00edas adicionales de fiabilidad y seguridad. <\/p>\n
El c\u00f3digo de HACL* est\u00e1 escrito en un subconjunto del lenguaje funcional F*, que ofrece un sistema de tipos dependientes y refinamientos que permiten especificar especificaciones precisas (modelo matem\u00e1tico) y garantizar la ausencia de errores en la implementaci\u00f3n mediante f\u00f3rmulas SMT y herramientas auxiliares de prueba. El c\u00f3digo de referencia en F* se traduce a c\u00f3digo en lenguaje C mediante el compilador KaRaMeL y est\u00e1 disponible para su integraci\u00f3n con otros proyectos. <\/p>\n
La verificaci\u00f3n implica la determinaci\u00f3n de especificaciones detalladas que describen todos los posibles comportamientos del programa y la formulaci\u00f3n de una prueba matem\u00e1tica que demuestre que el c\u00f3digo escrito cumple completamente con las especificaciones preparadas. La verificaci\u00f3n garantiza que el programa se ejecutar\u00e1 \u00fanicamente como lo previeron los desarrolladores y que no contiene ciertas clases de errores, como el desbordamiento de buffer, la desreferenciaci\u00f3n de punteros, el acceso a \u00e1reas de memoria ya liberadas o la doble liberaci\u00f3n de bloques de memoria. Durante el proceso de compilaci\u00f3n, se asegura una verificaci\u00f3n rigurosa de tipos y valores: un componente nunca pasar\u00e1 a otro componente par\u00e1metros que no se ajusten a la especificaci\u00f3n y no tendr\u00e1 acceso a los estados internos de otros componentes. <\/p>\n
El proceso de transici\u00f3n al c\u00f3digo verificado tom\u00f3 dos a\u00f1os y medio y requiri\u00f3 la modificaci\u00f3n de la biblioteca HACL*, cuya funcionalidad se ampli\u00f3 con capacidades necesarias para la sustituci\u00f3n transparente de la funcionalidad existente de hashlib. Por ejemplo, en HACL* se agreg\u00f3 soporte para el modo de operaci\u00f3n de flujo de HMAC, se proporcionaron modos adicionales para los algoritmos Blake2, se implement\u00f3 una nueva API para SHA3 que abarca todas las variaciones de los algoritmos de la familia Keccak, y se proporcionaron los medios necesarios para la notificaci\u00f3n de errores (por ejemplo, en caso de problemas de asignaci\u00f3n de memoria), se desarrollaron scripts para automatizar la transferencia de nuevas versiones de HACL* al repositorio de Python. \n Fuente: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"