Vitalik Buterin a publié un nouveau billet de blog dans lequel il qualifie l'obfuscation cryptographique de « boss final de la cryptographie » et retrace des décennies de travaux sur l'obfuscation indistinguable, ou iO.
Buterin a désigné l'iO à base de réseaux (lattices) comme la voie la plus rigoureuse produite par les chercheurs, tout en avertissant que les constructions actuelles restent wildly impractical. Leurs besoins en calcul, écrit-il, sont « littéralement galactiques », à des ordres de grandeur au-delà de ce que le matériel actuel peut absorber.
Why it matters
Un schéma iO efficace permettrait à un programme de masquer sa propre logique tout en restant vérifiable, faisant tenir toute une pile de primitives cryptographiques dans un seul outil. Les chercheurs poursuivent cette construction depuis plus de deux décennies parce qu'elle débloquerait le chiffrement fonctionnel, l'exécution trustless de contrats intelligents sur des entrées privées, et des systèmes de preuve qui ne dévoilent pas leur structure interne.
Market impact
Le cadrage de Buterin compte plus que son pessimisme. Qualifier l'obfuscation de « boss final » du domaine signale que le cœur de la communauté de recherche d'Ethereum la traite comme le grand problème canonique non résolu, ce qui oriente les subventions, les collaborations académiques et les hypothèses de la feuille de route protocolaire. La voie réaliste à court terme qu'il a esquissée, optimisation incrémentale des réseaux, hypothèses plus audacieuses, ou alternatives hors réseaux, maintient la porte ouverte sans s'engager sur un calendrier.
Questions fréquemment posées
-
Qu'est-ce que l'obfuscation indistinguable (iO) ?
L'obfuscation indistinguable est une primitive cryptographique qui permet à un programme de cacher sa propre logique tout en restant vérifiable. Si elle devenait pratique, elle condenserait toute une pile de primitives en un seul outil, notamment le chiffrement fonctionnel et l'exécution privée de contrats…
-
Pourquoi Vitalik Buterin a-t-il qualifié l'obfuscation de « boss final de la cryptographie » ?
Buterin a présenté l'iO comme le grand problème canonique non résolu que le domaine poursuit depuis plus de deux décennies, parce qu'un schéma fonctionnel débloquerait le chiffrement fonctionnel, l'exécution trustless sur entrées privées, et des systèmes de preuve qui ne dévoilent pas leur structure interne.
-
Pourquoi les constructions iO actuelles sont-elles impraticables ?
Buterin écrit que les schémas actuels les plus rigoureux, basés sur la cryptographie à base de réseaux (lattices), présentent des besoins en calcul qu'il qualifie de « littéralement galactiques », à des ordres de grandeur au-delà de ce que le matériel actuel peut absorber.
-
Quelles pistes Buterin a-t-il esquissées ?
Il en a identifié trois : optimiser les designs à base de réseaux existants, poser des hypothèses cryptographiques plus audacieuses pour réduire le coût, ou découvrir des méthodes alternatives hors réseaux. Aucune ne comporte de calendrier.
-
Pourquoi est-ce important pour Ethereum ?
Qualifier l'obfuscation de « boss final » signale que le cœur de la communauté de recherche d'Ethereum la traite comme le grand problème canonique non résolu, ce qui influe sur l'allocation des subventions, les collaborations académiques et les hypothèses qui sous-tendent le design protocolaire à long horizon.