Linea passe à RISC-V alors qu'elle repense l'avenir de la preuve Ethereum.

Linea a déclaré qu’elle passait à une nouvelle architecture de prouveur construite autour de RISC-V, marquant un changement majeur dans la façon dont le projet Ethereum de couche 2 prévoit de faire évoluer, vérifier et faire grandir sa pile technologique. Pendant des années, l’équipe de cryptographie de Linea a emprunté, selon elle, la voie la plus difficile : arithmétiser directement la machine virtuelle Ethereum, ou EVM, en traduisant manuellement chaque opcode en contraintes mathématiques qu’un prouveur pourrait valider.

Cette approche a aidé le projet à atteindre le mainnet et a produit une spécification de plus de 1 000 pages, devenue un point de référence pour l’écosystème au sens large. Elle a aussi donné à l’équipe une compréhension profonde et pratique des entrailles de l’EVM que peu de projets peuvent égaler. Mais, d’après Linea, la même conception qui l’a menée jusque-là est aussi devenue un fardeau.

Chaque hard fork d’Ethereum a nécessité de réécrire les modules de contraintes. Les mises à niveau de routine ont été ralenties par des composants fortement couplés, difficiles à modifier sans introduire d’erreurs. Au lieu de consacrer du temps à de nouvelles idées et à des gains de performance, l’équipe de recherche a souvent été accaparée par la gestion de la complexité. Selon la vision de Linea, ce modèle n’était plus la meilleure voie à suivre.

L’entreprise dit désormais que RISC-V offre une manière plus propre et plus rapide de construire la couche de preuve. Par rapport au modèle d’état plus complexe et dynamique de l’EVM, RISC-V présente un jeu d’instructions beaucoup plus simple, avec 32 registres et environ 40 instructions. Pour un système de preuve, Linea soutient que cette différence compte immédiatement.

Les traces deviennent plus étroites, peuvent être générées en temps réel et permettent au prouveur de commencer à travailler sur des morceaux de preuve plus tôt. Concrètement, l’architecture est conçue pour être plus légère, plus facile à traiter et plus efficace à grande échelle. RISC-V comble aussi un manque de compatibilité que Linea affirme avoir été difficile à résoudre via une arithmétisation directe de l’EVM.

Aujourd’hui, Linea utilise Poseidon plutôt que Keccak et conserve sa propre représentation d’état. Obtenir une compatibilité Ethereum de type 1 selon l’ancienne méthode aurait exigé de construire à la main Keccak, RLP et le Merkle Patricia Trie dans le système de contraintes. Avec RISC-V, Linea affirme qu’un client EVM standard peut être compilé en binaire RISC-V, laissant le compilateur gérer ces détails et permettant une compatibilité de type 1 dès le départ.

Le changement reflète aussi la lecture faite par Linea de la direction suivie par Ethereum. Le projet indique que l’engagement de la Ethereum Foundation en faveur de RISC-V est le signe le plus clair à ce jour de ce à quoi pourrait ressembler, à l’avenir, la couche de preuve d’Ethereum, et quels systèmes sont les plus susceptibles de s’inscrire dans un modèle de rollup consacré. En continuant à suivre son chemin précédent, soutient Linea, il l’aurait éloignée de la feuille de route L1, quelque chose qu’elle n’était pas prête à faire.

Changement stratégique de la preuve

Linea dit que le timing est favorable, car une grande partie du travail le plus difficile a déjà été réalisée. L’équipe a livré un système de production, comprend l’ensemble d’instructions visé, et connaît les exigences de sécurité et d’architecture de l’environnement pour lequel elle construit. Avec l’écosystème plus large qui s’oriente vers la même base, Linea estime que ses années d’expérience en matière de preuve se traduisent désormais directement par une opportunité d’aller plus vite et de construire avec une meilleure cohérence.

Il est important de noter que le projet indique que le changement ne supprime pas ce qu’il a déjà créé. Son langage natif de contraintes, zkC, servira à écrire la machine virtuelle RISC-V. Vortex et Arcane, les couches de preuve et d’agrégation, sont décrites comme indépendantes de l’architecture, ce qui signifie qu’elles peuvent continuer à servir la pile sous la nouvelle conception. Linea construit aussi dès le départ une compatibilité de vérification formelle, avec des contraintes conçues pour être exportables vers des outils comme Lean.

L’entreprise affirme que la nouvelle pile sera plus modulaire dans l’ensemble, ce qui permettra d’évaluer, auditer ou remplacer chaque couche indépendamment. Cela signifie que des optimisations du prouveur peuvent se produire sans forcer des changements dans l’arithmétisation sous-jacente, et que des améliorations du hachage ou d’autres composants peuvent être introduites sans déclencher de réécritures en cascade. Linea présente cela comme une avancée majeure par rapport au système étroitement couplé qu’elle utilisait jusqu’à présent.

Le projet met également en avant son contrôle technique plus large. Linea affirme disposer de l’une des équipes de preuve les plus expérimentées de l’écosystème Ethereum et faire partie des rares projets qui possèdent l’ensemble de la pile, depuis le client d’exécution et la couche de consensus jusqu’au prouveur ZK et à la passerelle. Sans dépendance critique envers un tiers, l’équipe dit être bien positionnée pour s’adapter rapidement à mesure que le paysage de la preuve d’Ethereum évolue.

Le message de Linea est clair : le projet estime que RISC-V n’est pas seulement une amélioration des performances, mais une base plus ouverte et durable pour l’étape suivante de la mise à l’échelle d’Ethereum. Il soutient que la nouvelle architecture est plus facile à maintenir, plus facile à auditer et plus facile pour la communauté au sens large à comprendre et à laquelle contribuer.

L’entreprise indique que le changement ne concerne pas uniquement la vitesse. Il s’agit de construire une pile qui peut vivre au-delà d’une seule équipe. On s’attend à plus de détails bientôt, mais pour l’instant, Linea signale que son prochain chapitre sera défini moins par la complexité que par la modularité, la compatibilité et l’alignement avec la direction à long terme d’Ethereum.