Confidentialité : Vitalik Buterin relance le défi de l’obfuscation cryptographique

La confidentialité devient un terrain de recherche toujours plus important pour la cryptographie moderne désormais. Vendredi, Vitalik Buterin a publié le troisième volet de sa série consacrée à l’obfuscation cryptographique. Cette fois, il étudie le « mélange local », méthode qui abandonne les réseaux et les courbes elliptiques. Son approche s’inspire plutôt des fonctions de hachage et de la cryptographie symétrique. Cette piste masque la logique interne d’un programme tout en conservant son fonctionnement, avec des implications pour la confidentialité sur blockchain.

Une autre voie cryptographique pour l’obfuscation

Dans ses deux premiers textes, Vitalik Buterin, fondateur d’Ethereum, avait étudié des constructions fondées sur les réseaux. La première partie est parue le 29 juin. La seconde, consacrée au diamant iO, est sortie le 28 juillet. Avec ce volet, il change de direction. Le mélange local n’utilise ni courbes elliptiques, ni factorisation en nombres premiers, ni réseaux dans sa conception.

Selon lui, cette méthode se rapproche de la cryptographie symétrique. Elle sert de base au chiffrement et aux fonctions de hachage. Le principe consiste à travailler sur un circuit formé de portes logiques comme XOR, AND et NOT. Le processus conserve la sortie, tout en effaçant les traces de la logique interne.

Le circuit traverse plusieurs étapes avant l’obfuscation. Vitalik Buterin décrit, dans son dernier article, notamment la réversibilité, le durcissement, la gadgetisation et le mélange. Durant cette phase, des portes inutiles compliquent son analyse. L’agencement change, tandis que certains blocs sont remplacés par d’autres produisant le même calcul.

Vitalik Buterin mise sur la réversibilité et le brouillage

La réversibilité joue un rôle central dans le fonctionnement présenté. Une porte réversible peut être réécrite avec un autre ensemble de portes réversibles au comportement identique. Elle facilite ces transformations. À l’inverse, une porte ET ou OU offre moins de possibilités pour appliquer ce type de réécriture.

Le mélange seul ne suffit pas à masquer la structure du programme. Les autres étapes doivent donc accomplir une grande partie du travail. Le durcissement et la gadgetisation renforcent la transformation avant son obscurcissement final. L’objectif reste de préserver le calcul, tout en rendant sa logique interne difficile à retrouver.

Cette méthode cherche à dépasser une simple modification visuelle du code. Le circuit devient progressivement plus complexe à examiner. La confidentialité repose alors sur la difficulté de comprendre son organisation malgré la conservation de ses sorties. Cette logique place la transformation du circuit au cœur de l’approche.

Une piste encore risquée pour l’obfuscation

Vitalik Buterin décrit le mélange local comme un « pari risqué et audacieux ». Cette réserve vient notamment de son lien avec de nombreuses tentatives échouées en cryptographie en boîte blanche. Les auteurs estiment que des efforts supplémentaires pourraient renforcer cette approche. Ils acceptent aussi un coût plus élevé pour une construction plus robuste.

L’intelligence artificielle apparaît dans cette réflexion. Elle pourrait condenser trois décennies de développement des fonctions de hachage en seulement quelques années. Cette possibilité distingue le mélange local des approches fondées sur les réseaux. Dans ces approches, le compromis repose sur les hypothèses de sécurité.

Pour lui, l’obfuscation représente ainsi une frontière particulièrement difficile de la cryptographie. Il l’avait qualifiée de « boss final de la cryptographie » dans sa publication de juin. Certaines constructions très rigoureuses affichent aussi des temps d’exécution supérieurs à la durée de vie de l’univers. La question porte donc sur la sécurité et la faisabilité.

L’intérêt de cette recherche vient surtout de ses applications. L’obfuscation peut transformer un programme en version chiffrée, tout en conservant des entrées classiques et les mêmes sorties. Associée à une blockchain, elle pourrait contribuer à des votes privés résistants à la collusion. Elle pourrait alors réduire la nécessité de faire confiance à un comité M-sur-N pour garantir le processus.

La suite permettra surtout d’évaluer si le mélange local peut dépasser ses limites actuelles. Vitalik Buterin maintient une approche prudente face à une technique encore associée à plusieurs difficultés. Les progrès de la cryptographie et de l’IA pourraient toutefois modifier les capacités disponibles. La viabilité dépendra donc de sa sécurité, de son coût et de son efficacité.