Συνέντευξη με την StarkWare PM Gal Ron

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

Ενώ οι προγραμματιστές του Ethereum εργάζονται σε τρόπους για να κλιμακώσουν το δίκτυο εγγενώς, η δύναμη των λύσεων επιπέδου δύο μόλις αρχίζει να εκδηλώνεται.

Έννοιες όπως οι αποδείξεις μηδενικής γνώσης γίνονται τώρα μια λειτουργική πραγματικότητα, αλλά για πολλούς εξακολουθούν να είναι πολύ ξένες ιδέες. Για να μας βοηθήσει να καταλάβουμε περισσότερα για το μέλλον της κλιμάκωσης του Ethereum, είναι η Gal Ron – μια διαχείριση προϊόντων και μια ερευνήτρια blockchain στο StarkWare – μια εταιρεία που επικεντρώνεται κυρίως σε αυτό ακριβώς.

Το πρόβλημα με το Ethereum

πριν βουτήξουμε σε ορισμένες από τις λεπτομέρειες, είναι σημαντικό να καταλάβουμε τι κλιμάκωση Ethereum ουσιαστικά σημαίνει. Με τους όρους του Layman, αυτή είναι η διαδικασία επέκτασης των δυνατοτήτων επεξεργασίας του δικτύου έτσι ώστε κάθε κόμβος του να μπορεί να χειριστεί υψηλότερη απόδοση συναλλαγών.

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

Το ίδιο ισχύει και για το Ethereum στην τρέχουσα κατάστασή του. Η αναγκαιότητα για αυτό προέρχεται από το γεγονός ότι το Ethereum πρέπει να ικανοποιήσει την απαίτηση «εμπιστοσύνης».

Μιλώντας για το θέμα, ο Ρον εξηγεί:

Για να ικανοποιηθούν όλες οι υποθέσεις εμπιστοσύνης και οι απαιτήσεις εμπιστοσύνης, όλοι οι κόμβοι (στο Ethereum) πρέπει να κάνουν το ίδιο πράγμα. Εξ ορισμού, αυτό θέτει έναν περιορισμό στη διεκπεραίωση του συστήματος, επειδή εάν αυξήσουμε το TPS ή το μέγεθος του μπλοκ πάνω από ένα ορισμένο κατώφλι, θα ξεκινούσαμε να εμποδίζουμε τη συμμετοχή των μικρότερων (διαβάστε: με λιγότερη υπολογιστική ισχύ) κόμβων.

Ουσιαστικά, αυτό καθιστά το Ethereum, εξ ορισμού, περιορισμένο στην ικανότητά του.

Προσέγγιση StarkWare: Τι είναι το ZK-Proof;

Ο Ron εξηγεί ότι υπάρχουν μερικές επιλογές για να χειριστείτε τα ζητήματα περιορισμού του Ethereum. Ένα από αυτά είναι να εφεύρουμε κάτι άλλο.

Η StarkWare, ωστόσο, έχει υιοθετήσει μια διαφορετική προσέγγιση «κλιμάκωσης του Ethereum από το Ethereum και μη δημιουργίας άλλης αλυσίδας». Το κάνουν μέσω του StarkNet και του StarkEx, οπότε ας ρίξουμε μια ματιά.

Το StarkNet περιγράφεται ως «αποκεντρωμένη συλλογή εγκυρότητας χωρίς άδεια, γνωστή και ως α ZK-Σύλληψη.» Λειτουργεί ως δίκτυο L2 (επίπεδο δύο) μέσω του Ethereum και στοχεύει στο να επιτρέψει σε οποιαδήποτε αποκεντρωμένη εφαρμογή (dApp) να επιτύχει απεριόριστη κλίμακα για τον υπολογισμό της. Αυτό γίνεται χωρίς να θυσιάζεται η ασφάλεια και η δυνατότητα σύνθεσης του κύριου επιπέδου - Ethereum - επειδή το StarkNet βασίζεται στο σύστημα κρυπτογραφικής απόδειξης γνωστό ως STARK.

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

«Με το Ethereum, όλοι οι κόμβοι πρέπει να εκτελούν ξανά όλες τις συναλλαγές. Πριν από το ZK (zero-knowledge), δεν υπήρχε άλλος τρόπος να εμπιστευτούμε ότι κάποιος άλλος έκανε τους υπολογισμούς με ακεραιότητα. Αν είμαι κόμβος στο Ethereum, βλέπω ποιοι άλλοι κόμβοι μου αναφέρουν σε σχέση με την κατάσταση του συστήματος. Δεν υπάρχει τρόπος για μένα να τους εμπιστευτώ, εκτός από το να ξανατρέξω τους ίδιους υπολογισμούς που μόλις έκαναν.

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

Ουσιαστικά, οι συνάθροιση ZK όπως το StarkNet μειώνουν σημαντικά τον όγκο της υπολογιστικής εργασίας που πρέπει να καταβάλουν οι κόμβοι στο Ethereum, αυξάνοντας έτσι την απόδοση του δικτύου.

Όλα αυτά γίνονται χωρίς να θυσιάζεται η ασφάλεια του κύριου στρώματος. Για να το κάνει αυτό, η StarkWare εφηύρε τα ZK-STARK, τα οποία επιτρέπουν στα blockchain να μετακινούν υπολογισμούς σε έναν ενιαίο STARK prover εκτός αλυσίδας και στη συνέχεια να επαληθεύουν την ακεραιότητα αυτών των υπολογισμών χρησιμοποιώντας έναν on-chain STARK Verifier.

Η Gal Ron εξήγησε πώς λειτουργούν τόσο το Prover όσο και το Sequencer, οπότε για περισσότερες λεπτομέρειες σχετικά με αυτό, ρίξτε μια ματιά στο παραπάνω βίντεο.

Εξετάζουμε επίσης πιο προσεκτικά τι είναι οι συνάθροιση, τι είναι το StarkEx και ποια είναι τα σχέδια της StarkWare για το μέλλον.