Linea lõpetab otsese EVM-aritmeetilise esituse ja liigub RISC-V-le, et sobida Ethereumi tõestuste teekonnaga

KOKKUVÕTE:

• Linea üleminek RISC-V-le vähendab käskude keerukust EVM-i täielikust opcode’ite komplektist umbes 40 käsklusele.
• Iga Ethereumi hard fork nõudis varem täielikku Linea ZK-i piirangumoodulite ümberkirjutamist vanas süsteemis.
• RISC-V võimaldab Type-1 Ethereumi ühilduvuse automaatselt standardsete kompilaatoritööriistade abil, asendades käsitsi tehtava piirangutöö.
• Linea säilitab uues stakis zkC, Vortex ja Arcane, säilitades aastaid kestnud krüptograafilist teadusuuringut ja tootmisoptimeerimist.

Linea – ConsenSysi arendatud Ethereumi Layer 2-võrk – läheb üle otsestest EVM-i aritmeetilistest esitlustest RISC-V-põhisele tõestusarhitektuurile.

Meeskond kulutas kolm aastat ühe tootmisvalmis kõige rangeima ZK-tõestussüsteemi ehitamisele. Selle töö tulemusena sündis 1000-le leheküljele ulatuv spetsifikatsioon, mis sai ekosüsteemi viidatavaks dokumendiks.

Siiski tekitas see lähenemisviis hooldusprobleeme, mis aeglustasid edusamme. Üleminek RISC-V-le tähistab strateegilist nullimist, mille eesmärk on jõudlus, moodulaarsus ja Ethereumiga kooskõla.

Lihtsam käskude komplekt muudab kõike

EVM töötab keerukas, dünaamilises olekumudelis, mida on raske matemaatilisteks piiranguteks tõlgendada. RISC-V pakub vastupidi umbes 40 käsku ja 32 registrit.

See lihtsus teeb jäljed kitsamaks ja võimaldab tõestajal kohe alustada tõestusosaliste töötlemisega. Jõudluskasv on struktuuriline, mitte väikese sammuga saavutatav.

Iga Ethereumi hard fork nõudis varem täielikku Linea piirangumoodulite ümberkirjutamist. See hoolduskoormus nõudis olulist teadusuuringute võimekust.

Meeskond haldas keerukust, mitte et oleks edasi liikunud krüptograafilise jõudluse parandamisel. Üleminek RISC-V-le eemaldab selle tsükli täielikult.

Type-1 Ethereumi ühilduvus oli veel üks suur takistus vanas arhitektuuris. Selle saavutamiseks tuli Keccak, RLP ja Merkle Patricia Trie käsitsi rakendada piirangutesse.

RISC-V-ga kompileerib standardne EVM-klient otse RISC-V-binaarfailiks ja kompilaator haldab ühilduvust automaatselt.

Linea krüptograafiline teadlane Alexandre Belling esitas ülemineku eth_proofs konverentsil. Nagu Linea postitas X-is, liiguvad nad „täieliku moodulaarsuse“ poole, kus iga kiht saab eraldi testida, auditeerida või asendada. See ei olnud saavutatav varem kasutatud tihedalt seotud süsteemis.

Ethereumi fond on ka ise kohustunud RISC-V-ga oma tõestuskihi tegevuskavas. Linea viitas sellele otsustavaks teguriks. Jätkamine varasemas suunas oleks tähendanud Ethereumi pikaajalist tehnilist suunda lahkuma.

Mis jääb uue staki osaks

Linea ei viska aastaid kestnud tööd ära. Meeskonna piirangupõhine keel zkC kasutatakse RISC-V virtuaalmasina kirjutamiseks. Vortex ja Arcane, mis tegelevad tõestuste ja kogumisega, on arhitektuurilt sõltumatud ning neid saab otse üle kanda.

Formaalne verifitseerimine on uues süsteemis ehitatud algusest peale. Piiranguid disainitakse selliselt, et neid saaks eksportida tööriistadesse nagu Lean. See lähenemisviis muudab staki auditeeritavaks palju laiemas publikus kui varem.

Linea säilitab ka täieliku kontrolli oma infrastruktuuri kogu staki üle. See hõlmab Besu täitmisklienti, Maru konsensuse kihti, ZK-tõestajat ja väravat. Arhitektuuris puuduvad kriitilised kolmandate osapoolte sõltuvused.

Nagu Linea mainis järgmise postituse X-is, oli otsest EVM-i aritmeetilist esitlust „raske auditeerida ilma sügava krüptograafilise eksperditeadmisteta”.

RISC-V-d õpetatakse laialdaselt, seda on hästi dokumenteeritud ja seda toetab kasvav arendajate ekosüsteem. See üleminek muudab tõestusstaki ligipääsetavaks ka väljaspool Linea sisemist meeskonda.

See üleminek seab Linea esimeseks liikujaks valdkonnas, kus laiem Ethereumi ekosüsteem on nüüd kokku leppinud.

Aastaid kestnud tootmisel saadud tõestuskogemus rakendub nüüd lihtsamale ja kiiremale arhitektuurile. Meeskond on andnud märku, et tehnilisi üksikasju avaldatakse järgmistel nädalatel.

The post Linea Ends Direct EVM Arithmetization, Moves to RISC-V to Match Ethereum’s Proving Roadmap appeared first on Blockonomi.