Crypto : ce qui change après le papier d'OpenAI sur l'ETH

OpenAI a mis en ligne un document de 67 pages intitulé « The Exponential Time Hypothesis is False ». Le sigle de cette hypothèse d'informatique théorique est ETH. Sur X, plusieurs internautes y ont vu une attaque contre l'ether et ont cherché une réaction de Vitalik Buterin.

Le cours n'a pas suivi. Selon CoinGecko, l'ether s'échangeait autour de 2 350 dollars le mercredi 28 octobre à 14 heures, quasi stable sur 24 heures. Pendant ce temps, les développeurs d'Ethereum travaillaient sur le correctif de Glamsterdam lié aux dépôts de staking.

Le seul ETH qui a reculé cette semaine est donc une hypothèse mathématique, pas la deuxième monnaie du marché.

Chez les informaticiens, l'Exponential Time Hypothesis est une conjecture formulée en 1999 par Russell Impagliazzo et Ramamohan Paturi. Elle postule qu'un problème logique appelé 3-SAT ne se résout pas beaucoup plus vite qu'en essayant toutes les combinaisons.

Le papier d'OpenAI soutient l'inverse. Ses auteurs décrivent une méthode déterministe capable de compter les solutions de problèmes 3-SAT en un temps qualifié de sous-exponentiel. La découverte remonte au 16 octobre, et sa vérification dans l'assistant de preuve Lean au 17. La version révisée du 25 octobre figure sur le dépôt GitHub d'OpenAI.

Le document ne dit pas que tous les problèmes NP se résolvent vite. La question P contre NP reste ouverte, et OpenAI l'écrit elle-même.

La cryptographie d'Ethereum ne repose pas sur l'ETH des théoriciens. Les signatures ECDSA tiennent à la difficulté du logarithme discret sur courbes elliptiques. Les preuves à divulgation nulle de connaissance reposent sur d'autres hypothèses encore.

Un algorithme plus rapide pour compter les solutions de 3-SAT ne donne à personne ta clé privée. Le vrai sujet de fond pour la blockchain reste l'ordinateur quantique.

La sécurité des courbes elliptiques et des preuves ZK d'Ethereum ne dépend pas de cette hypothèse.

Impagliazzo, Paturi et Ryan Williams du MIT pilotent l'examen indépendant. Ils ont publié une lettre intitulée « Message to the TCS Community on ETH ». Ils y écrivent que leur implication ne doit pas être prise pour une certification de l'affirmation.

Ils ajoutent qu'un résultat de cette importance exige un examen attentif et indépendant, selon les extraits rapportés par Decrypt. OpenAI a de son côté publié des données brutes, sans accord de confidentialité, avec des participants non rémunérés, et a donné 5 millions de dollars à la Simons Foundation.

Le 26 octobre, Anthropic a mis en ligne un papier concurrent sur le 3-SAT. D'après le dépôt, un modèle Claude de recherche interne a trouvé l'algorithme. Le papier prévient que le résultat est purement asymptotique et ne dit rien sur la résolution de formules en pratique.

La réfutation n'est pas encore validée par la communauté. Tant que l'examen indépendant n'a pas rendu son verdict, le statut du résultat reste provisoire.

Pour un détenteur d'ether, la conséquence pratique est simple : aucune action à tirer de cette annonce. Le cours n'a pas réagi, et la cryptographie du réseau ne dépend pas de cette conjecture.