Η Linea Τερματίζει την Άμεση Αριθμητικοποίηση EVM, Μεταβαίνει σε RISC-V για να Ευθυγραμμιστεί με τον Οδικό Χάρτη Απόδειξης του Ethereum

TLDR:

• Η μετάβαση της Linea στο RISC-V μειώνει την πολυπλοκότητα των εντολών από το πλήρες σύνολο opcode του EVM σε περίπου 40 εντολές.
• Κάθε hard fork του Ethereum ανάγκαζε προηγουμένως σε πλήρεις επαναγραφές των ZK constraint modules της Linea στο παλιό σύστημα.
• Το RISC-V επιτρέπει την αυτόματη συμβατότητα Type-1 Ethereum μέσω τυπικών εργαλείων μεταγλώττισης, αντικαθιστώντας τη χειροκίνητη εργασία περιορισμών.
• Η Linea διατηρεί τα zkC, Vortex και Arcane στη νέα στοίβα, διασώζοντας χρόνια κρυπτογραφικής έρευνας και εμπειρίας παραγωγής.

Η Linea, το δίκτυο Ethereum Layer 2 που αναπτύχθηκε από την ConsenSys, μεταβαίνει από την άμεση αριθμητικοποίηση EVM σε μια αρχιτεκτονική απόδειξης βασισμένη σε RISC-V.

Η ομάδα πέρασε τρία χρόνια κατασκευάζοντας ένα από τα πιο αυστηρά συστήματα απόδειξης ZK σε παραγωγή. Αυτή η εργασία παρήγαγε μια προδιαγραφή 1.000 σελίδων που έγινε αναφορά για το οικοσύστημα.

Ωστόσο, η προσέγγιση δημιούργησε προκλήσεις συντήρησης που επιβράδυναν την πρόοδο. Η μετάβαση στο RISC-V σηματοδοτεί μια στρατηγική επανεκκίνηση που εστιάζει στην απόδοση, τη modularity και την ευθυγράμμιση με το Ethereum.

Ένα Απλούστερο Σύνολο Εντολών Αλλάζει τα Πάντα

Το EVM λειτουργεί με ένα πολύπλοκο, δυναμικό μοντέλο κατάστασης που είναι δύσκολο να μεταφραστεί σε μαθηματικούς περιορισμούς. Το RISC-V, αντίθετα, προσφέρει περίπου 40 εντολές και 32 καταχωρητές.

Αυτή η απλότητα κάνει τα ίχνη πιο στενά και επιτρέπει στον αποδεικτή να αρχίσει να εργάζεται σε κομμάτια απόδειξης αμέσως. Τα κέρδη απόδοσης είναι δομικά, όχι προσαυξητικά.

Κάθε hard fork του Ethereum απαιτούσε προηγουμένως πλήρεις επαναγραφές των constraint modules της Linea. Αυτό το φορτίο συντήρησης κατανάλωνε σημαντική ερευνητική ικανότητα.

Η ομάδα διαχειριζόταν πολυπλοκότητα αντί να προωθεί την κρυπτογραφική απόδοση. Η μετάβαση στο RISC-V αφαιρεί εντελώς αυτόν τον κύκλο.

Η συμβατότητα Type-1 Ethereum ήταν ένα άλλο σημαντικό εμπόδιο στην παλιά αρχιτεκτονική. Η επίτευξή της απαιτούσε την εφαρμογή Keccak, RLP και Merkle Patricia Trie χειροκίνητα μέσα στους περιορισμούς.

Με το RISC-V, ένας τυπικός EVM client μεταγλωττίζεται απευθείας σε δυαδικό RISC-V και ο μεταγλωττιστής χειρίζεται αυτόματα τη συμβατότητα.

Ο κρυπτογραφικός ερευνητής της Linea Alexandre Belling παρουσίασε τη μετάβαση στο συνέδριο eth_proofs. Όπως ανήρτησε η Linea στο X, η ομάδα κινείται προς την "αληθινή modularity", όπου κάθε επίπεδο μπορεί να αξιολογηθεί, να ελεγχθεί ή να αντικατασταθεί ανεξάρτητα. Αυτό δεν ήταν εφικτό με το στενά συνδεδεμένο σύστημα που χρησιμοποιούνταν προηγουμένως.

Το Ethereum Foundation έχει επίσης δεσμευτεί στο RISC-V ως μέρος του χάρτη πορείας του proving layer. Η Linea ανέφερε αυτό ως καθοριστικό παράγοντα. Η συνέχιση στην προηγούμενη πορεία θα σήμαινε απόκλιση από τη μακροπρόθεσμη τεχνική κατεύθυνση του Ethereum.

Τι Μεταφέρεται στη Νέα Στοίβα

Η Linea δεν απορρίπτει χρόνια εργασίας. Η γλώσσα constraint-native της ομάδας, zkC, θα χρησιμοποιηθεί για να γραφεί η εικονική μηχανή RISC-V. Τα Vortex και Arcane, που χειρίζονται την απόδειξη και τη συγκέντρωση, είναι ανεξάρτητα αρχιτεκτονικής και μεταφέρονται απευθείας.

Η επίσημη επαλήθευση ενσωματώνεται στο νέο σύστημα από την αρχή. Οι περιορισμοί σχεδιάζονται για εξαγωγή σε εργαλεία όπως το Lean. Αυτή η προσέγγιση καθιστά τη στοίβα ελέγξιμη από πολύ ευρύτερο κοινό από πριν.

Η Linea διατηρεί επίσης την πλήρη ιδιοκτησία στοίβας σε όλη την υποδομή της. Αυτό περιλαμβάνει τον Besu execution client, το Maru consensus layer, τον ZK prover και την gateway. Δεν υπάρχουν κρίσιμες εξαρτήσεις τρίτων στην αρχιτεκτονική.

Όπως σημείωσε η Linea σε ανάρτηση παρακολούθησης στο X, η άμεση αριθμητικοποίηση EVM ήταν "δύσκολο να ελεγχθεί χωρίς βαθιά κρυπτογραφική εμπειρογνωμοσύνη."

Το RISC-V διδάσκεται ευρέως, είναι καλά τεκμηριωμένο και υποστηρίζεται από ένα αναπτυσσόμενο οικοσύστημα προγραμματιστών. Η μετάβαση καθιστά τη στοίβα απόδειξης προσβάσιμη πέρα από την εσωτερική ομάδα της Linea.

Η μετάβαση τοποθετεί τη Linea ως πρώιμο κινητήριο σε έναν χώρο όπου το ευρύτερο οικοσύστημα Ethereum συγκλίνει τώρα.

Χρόνια εμπειρίας απόδειξης παραγωγής εφαρμόζονται τώρα σε μια απλούστερη, ταχύτερη αρχιτεκτονική. Η ομάδα έχει υποδείξει ότι περισσότερες τεχνικές λεπτομέρειες θα ακολουθήσουν τις επόμενες εβδομάδες.

Η ανάρτηση Linea Ends Direct EVM Arithmetization, Moves to RISC-V to Match Ethereum's Proving Roadmap εμφανίστηκε πρώτα στο Blockonomi.