Partager cet article
Le système de cryptographie Fiat du MIT automatise le processus de sécurisation de presque tout
L'époque du cryptage manuel est révolue : les chercheurs du MIT ont créé un moyen de générer automatiquement des algorithmes de sécurité.
Par Daniel Kuhn
Le laboratoire d'informatique et d'intelligence artificielle (CSAIL) du MITconçu un systèmepour exécuter des algorithmes mathématiques complexes afin de sécuriser les communications en ligne. Ce code, appelé « Fiat Cryptography », sécurise actuellement environ 90 % des communications Google Chrome.
Les chercheurs ont présenté leurspapierauSymposium EEE sur la sécurité et la Politique de confidentialité en mai, bien que la Technologies ait été initialement théorisée et déployée dans les laboratoires du MIT en 2018.
La Suite Ci-Dessous
Ne manquez pas une autre histoire.Abonnez vous à la newsletter Crypto Daybook Americas aujourd. Voir toutes les newsletters
Fiat Cryptography est conçu pour générer automatiquement - et vérifier simultanément - des algorithmes cryptographiques optimisés pour toutes les plates-formes matérielles, un processus qui était auparavant effectué à la main.
Vous avez bien entendu : il y a à peine un an, le cryptage des données sur Internet était réalisé par une poignée de cryptographes qui écrivaient et réécrivaient des algorithmes, en évaluant manuellement diverses techniques mathématiques et architectures de puces pour optimiser les performances.
Outre le problème évident des bugs introduits par l'homme et des algorithmes non optimaux, au fil du temps, les mathématiques ou l'architecture de la puce pour laquelle les algorithmes ont été écrits deviendraient obsolètes, ce qui signifie que le stylo devrait à nouveau gratter le papier.
Les chercheurs ont d’abord cherché une solution dans les langages de programmation C et d’assemblage, et ont transféré ces techniques dans leur bibliothèque de code – une liste des algorithmes les plus performants pour chaque architecture.
À l'aide d'un compilateur pour convertir les langages de programmation en code, les algorithmes sont ensuite automatiquement validés avec Coq, un démonstrateur de théorèmes mathématiques. Chaque itération est testée avant que la plus ONE soit sélectionnée pour une architecture de puce donnée.
Au cours du processus, les chercheurs ont exploité le corpus de code écrit par Human déjà existant et ont découvert que le processus automatisé de génération de clés et de certificats pour le cryptage des données correspond aux performances du meilleur code manuscrit, mais le termine beaucoup plus rapidement.
« C'est fondamentalement comme prendre un processus qui s'exécutait dans le cerveau Human et le comprendre suffisamment bien pour écrire du code qui imite ce processus », a déclaré Adam Chlipala, un chercheur du CSAIL qui a travaillé sur le projet, dans une interview avec MIT News.
La cryptographie Fiat a depuis été déployée par BoringSSL de Google, une bibliothèque cryptographique open source utilisée par Google Chrome, les applications Android et d'autres programmes.
Chlipala a été rejoint par les étudiants diplômés du CSAIL Andres Erbsen en tant que premier auteur et Jade Philipoom et Jason Gross en tant que co-auteurs, ainsi que Robert Sloan, un étudiant diplômé en ingénierie.
Les chercheurs travaillent actuellement sur des moyens de rendre leur compilateur encore plus rapide dans la recherche d’algorithmes optimisés.
Image via ShutterStock
Plus pour vous
Ce qu'il:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
Plus pour vous
Barclays prévoit une « année difficile » pour la crypto en 2026 sans catalyseurs majeurs
Les volumes de trading au comptant ralentissent, et l'enthousiasme des investisseurs s'estompe en raison d'un manque de moteurs de croissance structurels, ont écrit les analystes dans un nouveau rapport.
Ce qu'il:
- Barclays prévoit une baisse des volumes de trading de cryptomonnaies en 2026, sans catalyseurs clairs pour relancer l'activité du marché.
- Les ralentissements du marché au comptant posent des défis de revenus pour les plateformes orientées vers le grand public telles que Coinbase et Robinhood, a indiqué la banque.
- La clarté réglementaire, y compris la législation en attente sur la structure du marché, pourrait façonner la croissance à long terme du marché malgré des vents contraires à court terme.
À la une
