Avance innovador: Compilando C a Rust de forma segura

Investigadores han desarrollado un nuevo método para compilar código C a Rust de forma segura. Esta técnica utiliza análisis estático y traducción dirigida por tipos para evitar la dependencia de bloques `unsafe` de Rust, garantizando así la seguridad de memoria. El método se ha aplicado con éxito a código de la biblioteca criptográfica HACL* y de las bibliotecas EverParse, resultando en una biblioteca criptográfica moderna verificada de 80.000 líneas en Rust puro, la primera de su tipo.