Linea a déclaré qu’elle évoluait vers une nouvelle architecture d’essai construite autour de RISC-V, marquant un changement majeur dans la façon dont le projet Ethereum de couche 2 prévoit de mettre à l’échelle, de vérifier et de faire évoluer sa pile technologique. Pendant des années, l’équipe de cryptographie de Linea a choisi ce qu’elle décrit comme la voie difficile : arithmétiquer directement la machine virtuelle Ethereum, ou EVM, en traduisant manuellement chaque opcode en contraintes mathématiques qu’un prouveur pouvait valider.
Cette approche a aidé le projet à atteindre le réseau principal et a produit une spécification de plus de 1 000 pages qui est devenue un point de référence pour l’écosystème au sens large. Cela a également donné à l’équipe une compréhension approfondie et pratique des composants internes d’EVM que peu de projets peuvent égaler. Mais selon Linea, la même conception qui l’a amené jusqu’ici est également devenue un fardeau.
Chaque hard fork d’Ethereum nécessitait la réécriture de modules de contraintes. Les mises à niveau de routine étaient ralenties par des composants étroitement connectés et difficiles à modifier sans introduire d’erreurs. Au lieu de consacrer du temps à de nouvelles idées et à des gains de performances, l’équipe de recherche était souvent occupée à gérer la complexité. De l’avis de Linea, ce modèle n’était plus la meilleure voie à suivre.
La société affirme désormais que RISC-V offre un moyen plus propre et plus rapide de créer la couche de preuve. Comparé au modèle d’état plus complexe et dynamique de l’EVM, RISC-V est un jeu d’instructions beaucoup plus simple, avec 32 registres et environ 40 instructions. Pour un système de démonstration, Linea soutient que la 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 plus tôt sur les éléments de preuve. Concrètement, l’architecture est conçue pour être plus légère, plus facile à traiter et plus efficace à exploiter à grande échelle. RISC-V comble également un écart de compatibilité qui, selon Linea, avait été difficile à résoudre grâce à l’arithmétisation EVM directe.
Aujourd’hui, Linea utilise Poséidon plutôt que Keccak et maintient sa propre représentation étatique. Pour atteindre la compatibilité Ethereum de type 1 à l’ancienne, il aurait fallu intégrer manuellement Keccak, RLP et Merkle Patricia Trie dans le système de contraintes. Avec RISC-V, Linea indique qu’un client EVM standard peut être compilé en un binaire RISC-V, laissant le compilateur gérer ces détails et permettant la compatibilité de type 1 dès le départ.
Cette décision reflète également la lecture par Linea de la propre direction d’Ethereum. Le projet indique que l’engagement de la Fondation Ethereum envers RISC-V est le signe le plus clair à ce jour de ce à quoi la couche d’essai d’Ethereum pourrait ressembler à l’avenir et quels systèmes sont les plus susceptibles de s’adapter à un modèle de cumul consacré. Selon Linea, continuer sur sa voie précédente l’aurait éloigné de la feuille de route de la L1, ce qu’il n’était pas prêt à faire.
Changement de preuve stratégique
Linea estime que le moment est bien choisi car une grande partie du travail le plus dur a déjà été accompli. L’équipe a livré un système de production, comprend le jeu d’instructions cible et connaît les exigences de sécurité et d’architecture de l’environnement pour lequel elle est construite. Alors que l’écosystème au sens large évolue vers les mêmes fondations, Linea estime que ses années d’expérience se traduisent désormais directement par une opportunité d’avancer plus rapidement et de construire avec un meilleur alignement.
Il est important de noter que le projet affirme que le changement n’écarte pas ce qu’il a déjà créé. Son langage natif de contraintes, zkC, sera utilisé pour é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 également dès le départ une compatibilité formelle en matière de vérification, avec des contraintes conçues pour être exportables vers des outils tels que Lean.
La société affirme que la nouvelle pile sera globalement plus modulaire, permettant à chaque couche d’être comparée, auditée ou remplacée indépendamment. Cela signifie que les optimisations du prouveur peuvent avoir lieu sans forcer les modifications de 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 l’accent sur son contrôle technique plus large. Linea affirme disposer de l’une des équipes de démonstration les plus expérimentées de l’écosystème Ethereum et faire partie des rares projets à posséder la pile complète, du client d’exécution et de la couche de consensus au prouveur et à la passerelle ZK. Sans dépendance critique envers des tiers, l’équipe affirme qu’elle est bien placée pour s’adapter rapidement à mesure que le paysage d’essai d’Ethereum évolue.
Le message de Linea est clair : le projet estime que RISC-V n’est pas seulement une mise à niveau des performances, mais une base plus ouverte et plus durable pour la prochaine étape de mise à l’échelle d’Ethereum. Il soutient que la nouvelle architecture est plus facile à maintenir, plus facile à auditer et plus facile à comprendre et à laquelle la communauté au sens large peut contribuer.
L’entreprise affirme que cette décision va au-delà de la simple vitesse. Il s’agit de construire une pile qui peut survivre au-delà de n’importe quelle équipe. Plus de détails sont attendus prochainement, 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 l’orientation à long terme d’Ethereum.
