Une solution à 7 cents ? Un chercheur d’Ethereum partage son plan de sécurité quantique

Tel que rapporté par Wu Blockchain, Kohaku, responsable du projet de confidentialité de la Fondation Ethereum, Nico, a déclaré qu’Ethereum pouvait commencer à préparer des comptes pour l’ère post-quantique dès aujourd’hui sans nécessiter de hard fork.

Selon Nico, la solution proposée au niveau du compte coûte environ 0,07 $ par compte à déployer. La conception a fait l’objet d’un examen initial avec Fable, et des audits supplémentaires sont prévus.

“Ethereum peut déjà commencer à préparer des comptes pour un monde post-quantique, sans attendre un hard fork. Aujourd’hui, ce ne serait que de 0,07 $. D’autres audits arrivent. Bien que j’aie fait une revue avec Fable avant que l’Oncle Sam n’écrase ma fête. Verity preuve formelle incluse pour mes maigres amateurs”, a tweeté Kohaku.

Les ordinateurs quantiques finiront par briser l’ECDSA, le système de signature qui sécurise aujourd’hui les comptes Ethereum et Bitcoin. De récentes estimations des ressources réalisées par Babbush et al. rapprocher ce calendrier que prévu, faisant de la vérification post-quantique de la signature au niveau de la couche d’exécution un problème urgent.

Puis vient SPHINCS-

Les chercheurs d’Ethereum proposent SPHINCS-, qui introduit une vérification efficace de signature post-quantique sans état sur l’EVM.

Les variantes SPHINCS+, une famille de variantes optimisées pour EVM, sont dérivées de SPHINCS+ et de travaux récents sur les signatures compactes basées sur le hachage. L’objectif reste simple : minimiser le coût de la vérification pure en chaîne sans recourir à une précompilation ou à un changement de protocole.

Les chercheurs d’Ethereum suggèrent qu’une implémentation Solidity d’une variante SPHINCS, alignée sur le projet du NIST pour les ensembles de paramètres de signature limitée, peut déjà vérifier une signature post-quantique de style standardisé sur Ethereum à un coût pratique (150 000 gaz). Une preuve formelle du vérificateur est fournie en utilisant Lean 4 avec Verity.

Des variantes non standard plus agressives qui remplacent les composants de hachage standard par une construction basée sur keccak natif EVM et réduisent le budget de signature à la plage pertinente pour les portefeuilles blockchain seront par conséquent explorées. Parmi ces variantes, le compromis entre le gaz du vérificateur, le travail du signataire, la taille de la signature et le budget de signature par clé est étudié.