Le cofondateur d'Ethereum, Vitalik Buterin, a déclaré mercredi qu'il espérait voir une proposition visant à réduire de plus de 99 % le coût des transactions privées à l'épreuve du quantique incluse dans une future mise à niveau du réseau.

L'EIP-8288, qu'il a coécrite en juin, éloignerait la cryptographie la plus lourde du chemin d'exécution du réseau. Les signatures post-quantiques atteignent actuellement 2 ou 3 kilooctets et coûtent entre 150 000 et 200 000 gas à vérifier.

Les preuves STARK sont pires, atteignant plus de 128 kilooctets et jusqu'à 512 kilooctets lorsqu'elles sont générées rapidement, ce qui porte la vérification à des millions de gas. Une transaction privée bien conçue coûte environ 300 000 gas aujourd'hui, a tweeté Buterin, et environ 10 millions si vous la voulez à l'épreuve du quantique. Avec l'EIP-8288, a déclaré Buterin, les deux coûteraient quelques dizaines de milliers.

Cela fonctionne en ne mettant pas du tout la cryptographie on-chain. Une transaction déclare plutôt une "dépendance"—une courte affirmation qu'un message a été signé par une clé, ou que certaines données satisfont une preuve—coûtant 96 octets. Les nœuds du mempool collectent ensuite ces affirmations chaque seconde, génèrent une seule preuve STARK récursive prouvant toutes ces affirmations en une seule fois, et la transmettent. Le bloc contient une preuve couvrant tout ce qu'il contient.

Une décision concernant RISC-V

Les preuves récursives nécessitent un langage commun pour exprimer des déclarations, et le principal candidat est RISC-V, un jeu d'instructions ouvert utilisé dans la conception de puces. L'adoption de cette proposition en ferait le jeu d'instructions canonique de facto d'Ethereum, ce que Buterin a qualifié de « grande décision » qui devrait être prise avec soin, et qu'il estime nécessaire.

Il a évoqué la même démarche en juillet, dans une feuille de route Lean Ethereum qui reconstruirait presque tous les composants majeurs du protocole sur trois ou quatre ans et inscrirait les STARK récursifs au cœur.

Une autre utilisation qu'il a esquissée est l'abstraction de compte privée : maintenir la logique d'un compte cachée on-chain, puis modifier la propriété de chaque position et actif qui y est attaché en une seule transaction, sans révéler lesquels.

L'EIP-8288, que Buterin a coécrite avec Thomas Coratger, dépend de Frames, la refonte des transactions qu'il a promue dimanche – qui n'est elle-même pas encore programmée. Il souhaite inclure les deux dans I-star, la mise à niveau après Hegota, qui, selon lui, sera la dernière d'Ethereum avant le début de l'ère Lean. Aucune des deux n'a été attribuée à un fork.