Κύρια σημεία αναφοράς
Το Starknet είναι μια λύση κλιμάκωσης επιπέδου 2 για το Ethereum που χρησιμοποιεί αποδείξεις εγκυρότητας για να προσφέρει γρήγορες, χαμηλού κόστους συναλλαγές, διατηρώντας παράλληλα την ασφάλεια του Ethereum.
Το δίκτυο διεκπεραιώνει τις συναλλαγές εκτός αλυσίδας και στέλνει κρυπτογραφικές αποδείξεις στο Ethereum για τελική επαλήθευση.
Οι προγραμματιστές χρησιμοποιούν την Cairo, μια προσαρμοσμένη γλώσσα προγραμματισμού, για να αναπτύσσουν κλιμακούμενες αποκεντρωμένες εφαρμογές (dApp) στο Starknet.
Εισαγωγή
Το Starknet είναι μια λύση επιπέδου 2 που χρησιμοποιεί αποδείξεις Scalable Transparent Arguments of Knowledge (STARK) για την παροχή ταχύτερων, οικονομικότερων και πιο κλιμακούμενων συναλλαγών. Αυτό δίνει τη δυνατότητα στους προγραμματιστές να αναπτύσσουν αποκεντρωμένες εφαρμογές (dApp) υψηλής απόδοσης με χαμηλότερο κόστος και ισχυρές κρυπτογραφικές εγγυήσεις, χωρίς να θυσιάζουν την ασφάλεια ή την αποκέντρωση.
Τι είναι τα STARK;
Τα STARK, συντομογραφία του Scalable Transparent Arguments of Knowledge, είναι ένας τύπος κρυπτογραφικής απόδειξης που χρησιμοποιείται για την επαλήθευση της σωστής εκτέλεσης υπολογισμών, χωρίς να είναι απαραίτητη η επανάληψη του ίδιου του υπολογισμού.
Στο πλαίσιο του Starknet, τα STARK χρησιμοποιούνται για να αποδείξουν ότι οι συναλλαγές εκτός αλυσίδας έχουν υποβληθεί σωστά πριν από την υποβολή μιας συνοπτικής απόδειξης προς το Ethereum. Αυτό βοηθά το Ethereum να ολοκληρώνει μεγάλες παρτίδες συναλλαγών με μεγαλύτερη αποτελεσματικότητα και χαμηλότερο κόστος.
Τα STARK δεν παρέχουν εγγενώς προστασία απορρήτου και διαφέρουν από τις παραδοσιακές αποδείξεις μηδενικής γνώσης (ZKP), καθώς εστιάζουν στην απόδειξη της υπολογιστικής ακεραιότητας. Αυτό που κάνει τα STARK ιδιαίτερα ισχυρά είναι ότι δεν βασίζονται σε μια αξιόπιστη διαμόρφωση, κλιμακώνονται αποτελεσματικά ακόμη και όταν οι υπολογισμοί γίνονται πιο περίπλοκοι και έχουν σχεδιαστεί για να αντιστέκονται σε μελλοντικές απειλές, όπως πιθανές κβαντικές επιθέσεις.
Τι είναι το Starknet;
Το Starknet είναι μια λύση κλιμάκωσης επιπέδου 2 που έχει σχεδιαστεί για να κάνει τις συναλλαγές Ethereum ταχύτερες και οικονομικότερες. Αντί να διεκπεραιώνει κάθε συναλλαγή απευθείας στην κύρια αλυσίδα του Ethereum, το Starknet τις διαχειρίζεται εκτός αλυσίδας.
Στη συνέχεια, το δίκτυο δημιουργεί μια απόδειξη STARK για να αποδείξει με μαθηματικό τρόπο ότι οι συναλλαγές εκτελέστηκαν σωστά. Αυτή η απόδειξη, μαζί με μια σύνοψη των αλλαγών, αποστέλλεται ξανά στο Ethereum, όπου επαληθεύεται και οριστικοποιείται στην αλυσίδα.
Πώς λειτουργεί το Starknet;
1. Sequencer: διαχείριση συναλλαγών
Ο sequencer είναι υπεύθυνος για τη λήψη και την οργάνωση των συναλλαγών. Ομαδοποιεί αυτές τις συναλλαγές, ελέγχει ποιες συναλλαγές είναι έγκυρες και απορρίπτει αυτές που αποτυγχάνουν (όπως ανεπαρκή κεφάλαια ή σφάλματα).
Μόνο οι έγκυρες συναλλαγές περιλαμβάνονται σε block, τα οποία στη συνέχεια διαβιβάζονται για περαιτέρω επικύρωση. Καθώς αυτή η διαδικασία πραγματοποιείται εκτός αλυσίδας, ο sequencer μπορεί να επιτύχει υψηλότερη διεκπεραιωτική ικανότητα.
2. Prover: δημιουργία της απόδειξης
Ο prover λαμβάνει το επεξεργασμένο block και καταγράφει κάθε βήμα της εκτέλεσης της συναλλαγής (γνωστό ως ιχνηλάτηση εκτέλεσης) και τις αλλαγές που προκύπτουν στην κατάσταση του συστήματος (ονομάζεται διαφορά κατάστασης). Στη συνέχεια, ο prover αλλάζει αυτά τα δεδομένα και επιλέγει τυχαία τμήματα για να δημιουργήσει την τελική απόδειξη STARK, η οποία χρησιμεύει ως μαθηματική εγγύηση ότι όλες οι συναλλαγές εκτελέστηκαν σωστά.
3. Διακανονισμός στο Ethereum
Η απόδειξη και οι τελικές αλλαγές κατάστασης αποστέλλονται στο Ethereum, όπου δύο έξυπνες συμβάσεις διαχειρίζονται την επαλήθευση:
Η σύμβαση Verifier ελέγχει την ακρίβεια της απόδειξης. Εάν τα δεδομένα είναι συνεπή και έγκυρα, εγκρίνονται.
Στη συνέχεια, η σύμβαση Starknet Core ενημερώνει την κατάσταση του Starknet στο Ethereum με βάση την επαληθευμένη απόδειξη.
Μόλις γίνει αποδεκτή, αυτή η ενημερωμένη κατάσταση προστίθεται σε ένα block Ethereum, όπου γίνεται μέρος του μόνιμου αρχείου. Καθώς η απόδειξη επιβεβαιώνει την εγκυρότητα των υπολογισμών εκτός αλυσίδας, δεν υπάρχει ανάγκη να εκτελεστούν εκ νέου οι συναλλαγές στο Ethereum, γεγονός που συμβάλλει στη μείωση της συμφόρησης και του κόστους.
Βασικά χαρακτηριστικά του Starknet
Cairo: Η γλώσσα προγραμματισμού του Starknet
Το Starknet χρησιμοποιεί μια προσαρμοσμένη γλώσσα έξυπνων συμβάσεων που ονομάζεται Cairo, η οποία έχει σχεδιαστεί ειδικά για τη σύνταξη προγραμμάτων που μπορούν να επαληθευτούν με αποδείξεις STARK. Δίνει τη δυνατότητα στους προγραμματιστές να αναπτύσσουν κλιμακούμενες εφαρμογές στο Starknet χωρίς να χρειάζεται να είναι ειδικοί στην κρυπτογράφηση.
Το οικοσύστημα Cairo περιλαμβάνει εργαλεία προγραμματιστών όπως το Dojo, έναν μηχανισμό παιχνιδιών ανοιχτού κώδικα για τη δημιουργία παιχνιδιών που λειτουργούν αποκλειστικά στην αλυσίδα, καθώς και το Starknet React, μια βιβλιοθήκη που απλοποιεί τη δημιουργία διεπαφών διαδικτύου για τις dApp του Starknet.
Εγγενής αφαίρεση λογαριασμών
Το Starknet υποστηρίζει εγγενή αφαίρεση λογαριασμών, η οποία επιτρέπει στους προγραμματιστές να προσφέρουν εμπειρίες χρήστη που μοιάζουν με αυτές του Web2, σε εφαρμογές Web3. Αυτό περιλαμβάνει λειτουργίες όπως κλειδιά πρόσβασης, όπου οι χρήστες μπορούν να συνδεθούν χωρίς φράσεις-κλειδιά και κλειδιά συνεδρίας, τα οποία επιτρέπουν στους χρήστες να εγκρίνουν πολλαπλές συναλλαγές ταυτόχρονα. Η λειτουργία paymasters δίνει τη δυνατότητα για συναλλαγές χωρίς προμήθεια Gas, όπου οι χρήστες μπορούν να πληρώνουν με Token ERC-20 ή να ζητούν από κάποιον άλλο να καλύψει το κόστος του Gas.
Το Cartridge Controller είναι ένα παράδειγμα ενός πορτοφολιού έξυπνων συμβάσεων Starknet που φέρνει αυτές τις λειτουργίες στα παιχνίδια. Υποστηρίζει ενσωμάτωση με ένα κλικ, ταυτότητες παικτών και επιτεύγματα, και λειτουργεί με μηχανισμούς παιχνιδιών και εργαλεία frontend.
Εγκυρότητα vs. Optimistic Rollup
Σε αντίθεση με τα optimistic rollup, τα οποία προϋποθέτουν ότι οι συναλλαγές είναι έγκυρες εκτός αν αμφισβητηθούν, το Starknet χρησιμοποιεί αποδείξεις εγκυρότητας για να επιβεβαιώσει τη σωστή λειτουργία. Αυτό παρέχει γρήγορη οριστικοποίηση (δεδομένου ότι δεν χρειάζεται να περιμένετε την περίοδο αμφισβήτησης) και ισχυρές κρυπτογραφικές εγγυήσεις.
Ωστόσο, η εφαρμογή των optimistic rollup μπορεί να είναι απλούστερη και να έχει ευρύτερη συμβατότητα με τα υπάρχοντα εργαλεία Ethereum. Και οι δύο προσεγγίσεις έχουν τα πλεονεκτήματα και τα μειονεκτήματά τους, και η επιλογή του rollup θα εξαρτηθεί από συγκεκριμένους στόχους, όπως τον χρόνο αδράνειας, τη συμβατότητα και τις υποθέσεις εμπιστοσύνης.
Προκλήσεις
Το Starknet δεν προσφέρει εγγενή συμβατότητα με την εικονική μηχανή Ethereum (EVM), γεγονός που το διαφοροποιεί από τα επίπεδα 2 όπως το zkSync Era και το Scroll, τα οποία επιτρέπουν στους προγραμματιστές να επαναχρησιμοποιούν εύκολα τον υπάρχοντα κώδικα Solidity και τα εργαλεία Ethereum.
Αντ' αυτού, το Starknet απαιτεί από τους προγραμματιστές να αναπτύσσουν, χρησιμοποιώντας την Cairo, μια προσαρμοσμένη γλώσσα που έχει σχεδιαστεί για κλιμάκωση μέσω αποδείξεων STARK. Ενώ η Cairo προσφέρει τεχνικά πλεονεκτήματα, παρουσιάζει μια νέα καμπύλη μάθησης, η οποία μπορεί να επιβραδύνει την ενσωμάτωση και να δυσκολέψει τη μετεγκατάσταση των υφιστάμενων εφαρμογών.
Token STRK
Το Token STRK είναι το εγγενές βοηθητικό Token του πρωτοκόλλου Starknet. Το Token χρησιμοποιείται για διάφορους σκοπούς, όπως διακυβέρνηση, προμήθειες συναλλαγών και ενέργεια Staking.
Διακυβέρνηση: Οι κάτοχοι STRK μπορούν να συμμετέχουν στη διακυβέρνηση του πρωτοκόλλου ψηφίζοντας για προτάσεις, όπως αναβαθμίσεις του συστήματος ή αλλαγές στο λειτουργικό σύστημα Starknet. Ορισμένες προτάσεις ενδέχεται να απαιτούν ένα ελάχιστο ποσό STRK για την υποστήριξη ή την εκκίνηση τους.
Προμήθειες συναλλαγών: Το STRK μπορεί να χρησιμοποιηθεί για την πληρωμή προμηθειών συναλλαγών στο Starknet. Όταν χρησιμοποιείται το STRK, ένα ποσό μετατρέπεται σε ETH από τον sequencer για να καλύψει τα έξοδα gas του Ethereum.
Ενέργεια Staking: η ενέργεια Staking στο STRK γίνεται με δύο τρόπους:
Ως επικυρωτής: Κάντε stake σε ένα ελάχιστο ποσό STRK και αναλάβετε ευθύνες στο δίκτυο για να κερδίσετε ανταμοιβές.
Ως εντολοδόχος: Αναθέστε Token σε έναν επικυρωτή και κερδίστε ένα μερίδιο από τις ανταμοιβές χωρίς να χρειάζεται να εκτελέσετε έναν κόμβο επικύρωσης.
Συμπεράσματα
Το Starknet προσφέρει μια διαφορετική προσέγγιση στην κλιμάκωση του Ethereum μέσω της χρήσης αποδείξεων εγκυρότητας, συγκεκριμένα STARK. Ο στόχος του rollup είναι να αυξήσει τη διεκπεραιωτική ικανότητα και να μειώσει το κόστος, διατηρώντας παράλληλα τις εγγυήσεις ασφάλειας του Ethereum. Με λειτουργίες όπως η γλώσσα προγραμματισμού Cairo και η εγγενής αφαίρεση λογαριασμών, το Starknet δημιουργεί νέες ευκαιρίες για προγραμματιστές, ιδιαίτερα σε τομείς όπως τα παιχνίδια και η υποδομή στην αλυσίδα.
Για περαιτέρω ανάγνωση
Αποποίηση ευθυνών: Αυτό το περιεχόμενο παρουσιάζεται σε εσάς "ως έχει" μόνο για γενική ενημέρωση και εκπαιδευτικούς σκοπούς, χωρίς καμία δήλωση ή εγγύηση οποιουδήποτε είδους. Δεν θα πρέπει να ερμηνεύεται ως οικονομική, νομική ή άλλη επαγγελματική συμβουλή, ούτε σκοπεύει να προτείνει την αγορά οποιουδήποτε συγκεκριμένου προϊόντος ή υπηρεσίας. Θα πρέπει να αναζητήσετε μόνοι σας συμβουλές από κατάλληλους επαγγελματίες συμβούλους. Όταν το άρθρο αποτελεί συνεισφορά τρίτου, λάβετε υπόψη ότι οι απόψεις που εκφράζονται ανήκουν στον τρίτο συνεισφέροντα και δεν αντικατοπτρίζουν απαραίτητα εκείνες της Ακαδημίας Binance. Διαβάστε ολόκληρη την αποποίηση ευθυνών για περισσότερες λεπτομέρειες. Οι τιμές των ψηφιακών περιουσιακών στοιχείων ενδέχεται να είναι ασταθείς. Η αξία της επένδυσής σας μπορεί να μειωθεί ή να αυξηθεί και μπορεί να μην σας επιστραφεί το ποσό που επενδύσατε. Είστε αποκλειστικά υπεύθυνοι για τις επενδυτικές σας αποφάσεις και η Ακαδημία Binance δεν ευθύνεται για τυχόν ζημίες που μπορεί να υποστείτε. Το παρόν υλικό δεν πρέπει να εκλαμβάνεται ως χρηματοοικονομική, νομική ή άλλη επαγγελματική συμβουλή. Για περισσότερες πληροφορίες, ανατρέξτε στους Όρους χρήσης και στην Προειδοποίηση κινδύνου.