LayerZero dévoile Akita, un schéma de cryptographie post-quantique désormais intégré au prouveur Jolt de a16z crypto, ramenant la taille des preuves à seulement 65 kilo-octets.
Points clés :
Akita est le premier schéma d’engagement à base de réseaux, prêt pour la production, conçu pour les systèmes de preuve à divulgation nulle de connaissance.
a16z crypto a reconstruit sa machine virtuelle Jolt autour d’Akita et commercialise désormais l’ensemble sous le nom de Lattice Jolt.
Ce remplacement rend la preuve deux à trois fois plus rapide et divise à peu près par deux la mémoire nécessaire au prouveur.
Akita réduit la taille des preuves post-quantiques
La société d’interopérabilité a annoncé Akita le 9 septembre dans un billet de blog, le présentant comme le premier « primitive » de ce type prête pour la production, développée avec des chercheurs de Carnegie Mellon University et de l’University of Southern California.
Le schéma remplit un rôle bien précis au sein d’un système de preuve : il s’engage sur l’historique d’un calcul, puis permet de démontrer à un tiers que cet historique est exact. Remplacer uniquement ce composant par une version résistante au quantique suffit à sécuriser l’ensemble de la pile, les autres briques restant suffisamment robustes par elles-mêmes.
Tout le reste de Jolt est resté inchangé.
a16z crypto a intégré Akita à sa machine virtuelle à divulgation nulle open source et livre cette refonte sous le nom de Lattice Jolt, en abandonnant Dory, le schéma sur courbes elliptiques sur lequel Jolt s’appuyait depuis son lancement. Les preuves pèsent désormais entre 65 et 80 kilo-octets, contre 200 kilo-octets ou plus pour les systèmes basés sur le hachage qui dominent aujourd’hui la preuve post-quantique en production, soit une réduction d’un facteur deux à huit. Le code est en open source et Jolt sert de socle à Zero, la blockchain que LayerZero prépare pour son lancement sur mainnet.
À lire aussi : Ethereum se heurte à un mur d’offre à 2 800 $ après un afflux de 216 M$ dans les ETF
Pourquoi a16z crypto parie sur les réseaux euclidiens
Justin Thaler et trois de ses collègues du fonds de capital-risque défendent l’idée que les hypothèses fondées sur les réseaux surpassent les constructions à base de fonctions de hachage, à la fois en vitesse et en compacité, tout en rappelant que la voie du hachage repose, elle aussi, sur des hypothèses fortes. Akita s’appuie sur Module-SIS, un problème déjà standardisé par le NIST pour les signatures et l’échange de clés post-quantiques.
Les courbes elliptiques imposaient à Jolt de travailler sur des corps finis de 256 bits, alors que les schémas sur réseaux atteignent un niveau de sécurité comparable avec une taille de mot deux fois moindre. Or, la quasi-totalité du temps du prouveur est consacrée à des multiplications sur ces nombres. Lattice Jolt atteint ainsi 2 millions de cycles processeur par seconde sur un ordinateur portable, contre environ 1 million auparavant, et dépasse les 10 millions une fois l’accélération graphique Apple activée. La consommation mémoire par cycle a chuté d’environ 300 octets à 200.
Un angle mort subsiste toutefois : la construction n’est pas encore pleinement à divulgation nulle de connaissance, une propriété indispensable pour les cas d’usage centrés sur la confidentialité.
La crypto face à l’échéance quantique de 2029
Les développeurs d’Ethereum (ETH) ont fixé à décembre 2029 la date butoir pour doter la couche de base du réseau d’une résistance quantique, alignant ainsi leur calendrier sur les objectifs de migration déjà adoptés par Google, Cloudflare et Microsoft. Coinbase a, de son côté, réuni développeurs, dépositaires et fabricants de portefeuilles matériels à Stanford la même semaine pour passer en revue les options de signatures pour Bitcoin (BTC). Cette session à huis clos s’est achevée sans consensus sur une trajectoire unique. Le réseau Bitcoin ne s’est toujours pas doté de calendrier formel, laissant aux systèmes de preuve et aux équipes d’infrastructure le soin d’ouvrir la marche.
À suivre : Jensen Huang (Nvidia) affirme que les éditeurs de cybersécurité profitent de la panique autour des menaces IA