Linea wechselt zu RISC-V, während es die Zukunft des Ethereum-Proofs neu überdenkt.

Linea hat gesagt, dass es zu einer neuen Proving-Architektur wechselt, die auf RISC-V basiert, was einen großen Wandel in der Art und Weise markiert, wie das Ethereum Layer-2-Projekt plant, seine Technologie zu skalieren, zu verifizieren und weiterzuentwickeln. Jahrelang hat Lineas Kryptographie-Team das, was es als den steinigen Weg beschreibt, eingeschlagen: die Ethereum Virtual Machine, oder EVM, direkt zu arithmetisieren, indem jede Opcode manuell in mathematische Einschränkungen übersetzt wurde, die ein Prover validieren konnte.

Dieser Ansatz half dem Projekt, das Mainnet zu erreichen, und produzierte eine Spezifikation von mehr als 1.000 Seiten, die zu einem Referenzpunkt für das breitere Ökosystem geworden ist. Er gab dem Team auch ein tiefes, praktisches Verständnis der EVM-Interna, das nur wenige Projekte erreichen können. Aber laut Linea wurde das gleiche Design, das es so weit gebracht hat, auch zur Last.

Jeder Ethereum Hard Fork erforderte das Neu-Schreiben von Constraints-Modulen. Routinemäßige Updates wurden durch eng verbundene Komponenten verlangsamt, die schwer zu ändern waren, ohne Fehler einzuführen. Anstatt Zeit mit neuen Ideen und Leistungssteigerungen zu verbringen, war das Forschungsteam oft damit beschäftigt, die Komplexität zu managen. Aus Lineas Sicht war dieses Modell nicht mehr der beste Weg nach vorne.

Das Unternehmen sagt jetzt, dass RISC-V eine sauberere und schnellere Möglichkeit bietet, die Proving-Schicht aufzubauen. Im Vergleich zum komplexeren und dynamischeren Zustandsmodell der EVM ist RISC-V ein viel einfacherer Befehlssatz mit 32 Registern und ungefähr 40 Anweisungen. Für ein Proving-System argumentiert Linea, dass dieser Unterschied sofort von Bedeutung ist.

Traces werden schmaler, können in Echtzeit erzeugt werden und ermöglichen es dem Prover, früher an Proof-Chunks zu arbeiten. Praktisch gesehen ist die Architektur so gestaltet, dass sie leichter, einfacher zu verarbeiten und effizienter im Betrieb im großen Maßstab ist. RISC-V schließt auch eine Kompatibilitätslücke, die Linea sagt, dass sie schwer durch direkte EVM-Arithmetisierung zu lösen war.

Heute verwendet Linea Poseidon anstelle von Keccak und pflegt seine eigene Zustandsdarstellung. Die Erreichung der Type-1 Ethereum-Kompatibilität auf die alte Art hätte erfordert, Keccak, RLP und den Merkle Patricia Trie manuell in das Constraints-System einzubauen. Mit RISC-V sagt Linea, kann ein standardmäßiger EVM-Client in eine RISC-V-Binärdatei kompiliert werden, wobei der Compiler diese Details übernimmt und die Type-1-Kompatibilität von Anfang an ermöglicht.

Der Schritt spiegelt auch Lineas Einschätzung der eigenen Richtung von Ethereum wider. Das Projekt sagt, dass das Engagement der Ethereum Foundation für RISC-V das klarste Zeichen dafür ist, wie die Proving-Schicht von Ethereum in Zukunft aussehen könnte und welche Systeme am wahrscheinlichsten in ein verankertes Rollup-Modell passen. Weiterhin dem vorherigen Weg zu folgen, argumentiert Linea, hätte es von der L1-Roadmap weggeführt, was es nicht bereit war zu tun.

Strategische Proving-Verschiebung

Linea sagt, dass der Zeitpunkt richtig ist, weil ein Großteil der schwierigsten Arbeit bereits erledigt ist. Das Team hat ein Produktionssystem ausgeliefert, versteht den Ziel-Befehlssatz und kennt die Sicherheits- und Architekturanforderungen der Umgebung, für die es baut. Da das breitere Ökosystem sich in die gleiche Richtung bewegt, glaubt Linea, dass seine jahrelange Erfahrung im Proving jetzt direkt in eine Gelegenheit übersetzt wird, schneller voranzukommen und mit größerer Übereinstimmung zu bauen.

Wichtig ist, dass das Projekt sagt, dass der Wechsel nicht das, was es bereits geschaffen hat, verwirft. Seine constraints-native Sprache, zkC, wird verwendet, um die RISC-V virtuelle Maschine zu schreiben. Vortex und Arcane, die Proving- und Aggregationsschichten, werden als architekturunabhängig beschrieben, was bedeutet, dass sie weiterhin den Stack unter dem neuen Design bedienen können. Linea baut auch von Anfang an die Kompatibilität zur formalen Verifizierung auf, mit Einschränkungen, die so gestaltet sind, dass sie exportierbar zu Werkzeugen wie Lean sind.

Das Unternehmen sagt, dass der neue Stack insgesamt modularer sein wird, was es ermöglicht, jede Schicht unabhängig zu benchmarken, zu auditieren oder zu ersetzen. Das bedeutet, dass Prover-Optimierungen stattfinden können, ohne Änderungen an der zugrunde liegenden Arithmetisierung zu erzwingen, und Verbesserungen bei Hashing oder anderen Komponenten eingeführt werden können, ohne kaskadierende Neuschreibungen auszulösen. Linea präsentiert das als einen großen Fortschritt im Vergleich zu dem eng gekoppelten System, das es bis jetzt verwendet hat.

Das Projekt betont auch seine breitere technische Kontrolle. Linea sagt, dass es eines der erfahrensten Proving-Teams im Ethereum-Ökosystem hat und zu den wenigen Projekten gehört, die den gesamten Stack besitzen, vom Ausführungsclient und Konsensschicht bis hin zum ZK-Prover und Gateway. Ohne kritische Abhängigkeit von Dritten sagt das Team, dass es gut positioniert ist, sich schnell anzupassen, während sich die Proving-Landschaft von Ethereum ändert.

Lineas Botschaft ist klar: Das Projekt glaubt, dass RISC-V nicht nur ein Leistungsupgrade ist, sondern eine offenere und nachhaltigere Grundlage für die nächste Stufe der Ethereum-Skalierung. Es argumentiert, dass die neue Architektur einfacher zu warten, einfacher zu prüfen und einfacher für die breitere Gemeinschaft zu verstehen und zu unterstützen ist.

Das Unternehmen sagt, dass der Schritt mehr ist als nur Geschwindigkeit. Es geht darum, einen Stack zu bauen, der über jedes einzelne Team hinaus leben kann. Weitere Details werden bald erwartet, aber vorerst signalisiert Linea, dass sein nächstes Kapitel weniger durch Komplexität und mehr durch Modularität, Kompatibilität und Übereinstimmung mit der langfristigen Richtung von Ethereum definiert wird.