Το πρωτόκολλο Mina είναι μια μίνιμαλ "συνοπτική blockchain" που χτίστηκε για να περιορίσει τις απαιτήσεις υπολογισμού, προκειμένου να λειτουργούν οι αποκεντρωμένες εφαρμογές (DApps) πιο αποδοτικά. Το Mina έχει χαρακτηριστεί ως η ελαφρύτερη blockchain στον κόσμο, καθώς το μέγεθός της είναι σχεδιασμένο να παραμένει σταθερό παρά την αύξηση της χρήσης. Επιπλέον, παραμένει ισορροπημένη όσον αφορά την ασφάλεια και την αποκέντρωση. Το έργο μετονομάστηκε από Coda Protocol σε Mina τον Οκτώβριο του 2020. Για να μάθετε περισσότερα σχετικά με αυτό το έργο, ανατρέξτε στην εκτενή ανάλυσή μας για το Mina Protocol. Το δίκτυο Mina έχει μέγεθος μόνο 22 KB, το οποίο είναι ελάχιστο σε σύγκριση με την blockchain του Bitcoin, που είναι 300 GB.

Η Mina εργάζεται για την επίτευξη ενός αποδοτικού αποκεντρωμένου συστήματος πληρωμών, που επιτρέπει στους χρήστες να επαληθεύουν εγγενώς την πλατφόρμα απευθείας από το αρχικό μπλοκ. Η τεχνική της λευκή βίβλος αναφέρεται σε αυτό ως μια "συνοπτική αλυσίδα μπλοκ". Το πρωτόκολλο χρησιμοποιεί Μη Διαδραστικά Επιχειρήματα Γνώσης με Συνοπτικά Μηδενικά Γνώσης (zk-SNARKs), μια κρυπτογραφική απόδειξη που επιτρέπει σε κάποιον να πιστοποιήσει πληροφορίες χωρίς να αποκαλύψει τις ίδιες τις πληροφορίες. Παρόλα αυτά, η δυνατότητα ενός χρήστη να παρακολουθήσει την πλατφόρμα μέχρι το αρχικό μπλοκ μπορεί να είναι ανέφικτη σε ένα μεγάλο δίκτυο. Έτσι, η Mina υπολογίζει σταδιακά SNARKs που επικεντρώνονται μόνο στα τελευταία μπλοκ — πράγμα που σημαίνει ότι οι τελικοί χρήστες ελέγχουν εκείνη τη συνοπτική απόδειξη zk-SNARK, αντί ολόκληρου του ιστορικού συναλλαγών ενός μπλοκ. Στην καρδιά του πρωτοκόλλου Mina βρίσκεται το MINA, το εγγενές της νόμισμα, το οποίο λειτουργεί ως χρηστικό νόμισμα και μέσο ανταλλαγής.

Το Mina είναι παρόμοιο με το Bitcoin, εκτός από τον τρόπο με τον οποίο διαχειρίζεται τις συναλλαγές, αλλά χρησιμοποιεί επίσης το μοντέλο λογαριασμού που εφαρμόζεται στο Ethereum. Στο συγκεκριμένο πλαίσιο, η διαφορά μεταξύ του Bitcoin και του Ethereum έγκειται στο ότι η κατάσταση του blockchain του Bitcoin περιέχει μια λίστα με μη κατεστραμμένα νομίσματα, ενώ η κατάσταση του Ethereum αποτελείται από υπόλοιπα λογαριασμών. Το Mina, από την άλλη πλευρά, χρησιμοποιεί έναν αποδεικτή (ή αλλιώς snarker), που είναι το αντίστοιχο του μεταλλωρύχου, για να εξασφαλίσει ότι κάθε μπλοκ δεσμεύεται για την κατάσταση. Το Mina εφαρμόζει το Ouroboros Samasika, έναν τύπο μηχανισμού PoS που έχει σχεδιαστεί ειδικά για περιεκτικά αποκεντρωμένα δίκτυα, καθώς παρέχει δυνατότητα εκκίνησης από ένα μπλοκ γένεσης. Τα περιεκτικά blockchains περιλαμβάνουν δύο κύριες λειτουργίες: επαλήθευση και ενημέρωση. Η επαλήθευση ασχολείται με τη συναίνεση, την περίληψη του blockchain και τα μπλοκ, ενώ η λειτουργία ενημέρωσης αλληλεπιδρά με τη συναίνεση και την περίληψη της αλυσίδας. Εκτός από τις παραπάνω εφαρμογές, το έργο χρησιμοποιεί μια κατάσταση παράλληλης σάρωσης για τη βελτιστοποίηση της ταχύτητας επεξεργασίας συναλλαγών, η οποία λειτουργεί ομαδοποιώντας μη αποδεδειγμένα μπλοκ και αναθέτοντας τη διαδικασία σε παράλληλους αποδεικτές.

Η Mina αφορά την επανάσταση στον τρέχοντα χώρο του blockchain, όπου οι περισσότερες πλατφόρμες διαθέτουν ελεγκτές όπως οι miners/stakers και light clients που λειτουργούν ως τρίτοι κατά την επαλήθευση συναλλαγών. Η Mina ακολουθεί μια διαφορετική προσέγγιση, με πολλούς συμμετέχοντες, καθένας από τους οποίους αναλαμβάνει μια συγκεκριμένη λειτουργία στο αποκεντρωμένο δίκτυο. Οι τρεις κύριοι ρόλοι περιλαμβάνουν τους ελεγκτές (verifiers), τους παραγωγούς μπλοκ (block producers) και τους snarkers. * Ελεγκτές (Verifiers) * Οι ελεγκτές αλληλεπιδρούν με τα zk-SNARKS που ασχολούνται με την πιστοποίηση των πληροφοριών συναίνεσης. Κάθε χρήστης του πρωτοκόλλου Mina θεωρείται ελεγκτής, υπό την προϋπόθεση ότι οι συσκευές τους μπορούν να διαχειριστούν μια αλυσίδα 22 KB και να αντέξουν μερικά χιλιοστά του δευτερολέπτου χρόνου επεξεργασίας.

Οι παραγωγοί μπλοκ εμφανίζονται με τη μορφή "stakers" ή "miners" και κερδίζουν ανταμοιβές μπλοκ καθώς και πληρωμές τέλους συναλλαγών. Ενδιαφέρον παρουσιάζει το γεγονός ότι το πρωτόκολλο δεν μειώνει τα κίνητρα που κατευθύνονται στους παραγωγούς μπλοκ. Αυτή η κατηγορία συμμετεχόντων επιτρέπει στους χρήστες του Mina να αναθέτουν τα νομίσματά τους σε αυτούς. Εκτός από την ομαδοποίηση των συναλλαγών σε μπλοκ, οι παραγωγοί μπλοκ πρέπει επίσης να παράγουν SNARKs για έναν ισοδύναμο αριθμό προηγουμένως διεκπεραιωμένων συναλλαγών. Αν αποτύχουν να το κάνουν αυτό κατά την παραγωγή του μπλοκ, μπορεί να οδηγήσει σε ατελή μπλοκ και άλλοι κόμβοι να απορρίψουν την εγκυρότητά τους. Αν ένας παραγωγός μπλοκ θέλει να ενσωματώσει 10 συναλλαγές στην αλυσίδα, πρέπει επίσης να παράγει SNARKs για τις συναλλαγές από την αρχή της ουράς. Ωστόσο, έχει την επιλογή να δημιουργήσει το SNARK ή να χρησιμοποιήσει αυτά που παράγονται από μια ειδική ομάδα συμμετεχόντων που ονομάζονται snarkers. ## Snarkers Οι snarkers, γνωστοί και ως πρωτοδημιουργοί (provers), παράγουν zk-SNARKs που χρησιμοποιούνται στην επαλήθευση συναλλαγών. Οι παραγωγοί μπλοκ πληρώνουν τους snarkers από το συνολικό τέλος συναλλαγής που λαμβάνουν για την προσθήκη νέων μπλοκ. Ωστόσο, για να πληρούν τις προϋποθέσεις για τις αμοιβές, πρέπει να υποβάλουν προσφορές. Σημειώστε ότι το zk-SNARK ενός snarker χρειάζεται να χρησιμοποιηθεί σε ένα μπλοκ ενώ ο παραγωγός μπλοκ που το χρησιμοποιεί είναι υπεύθυνος για την παροχή κινήτρων στον snarker. Αυτό δημιουργεί μια επιχειρηματική οικονομία όπου πολλοί snarkers μπορούν να υποβάλουν προσφορές συνδεδεμένες με την ίδια συναλλαγή. Οι παραγωγοί μπλοκ, από την άλλη πλευρά, επιδιώκουν τα κέρδη και θα επιλέξουν την προσφορά με τα χαμηλότερα τέλη. Συνεπώς, οι snarkers έχουν την πρόκληση να παράγουν SNARKs χαμηλού κόστους.

Η διαδικασία ξεκινά με έναν χρήστη που προχωρά σε μια συναλλαγή, η οποία στη συνέχεια μεταφέρεται στο mempool, μια δεξαμενή έγκυρων αλλά ανεπιβεβαίωτων συναλλαγών. Στη συνέχεια, οι snarkers αναλαμβάνουν δημιουργώντας αποδείξεις ή SNARKS. Η διαδικασία συνεχίζεται με την επιλογή ενός παραγωγού μπλοκ (BP) για να συγκεντρώσει τις συναλλαγές σε ένα μπλοκ. Σημειώστε ότι ένας BP διαλέγει τις πιο κερδοφόρες συναλλαγές από το mempool. Έπειτα, ο BP επιλέγει ένα SNARK σύμφωνα με τους κανόνες του μηχανισμού συναίνεσης. Σημειώστε ότι ένας παραγωγός μπλοκ εξετάζει τις προσφορές για το SNARK με τη χαμηλότερη τιμή. Επιπλέον, οι πρόσφατα προστιθέμενες συναλλαγές έχουν ένα ενημερωμένο βιβλίο εντολών SNARKS. Στη συνέχεια, είναι ώρα να συμπεριληφθούν τα SNARKS σε ένα μπλοκ, να προστεθεί το μπλοκ στην αλυσίδα και να ενημερωθεί το δίκτυο. Οι συναλλαγές που έχουν snarked αφαιρούνται από την αλυσίδα για να διατηρηθεί το μέγεθος του πρωτοκόλλου σταθερό. Έπειτα, ο παραγωγός μπλοκ αναβαθμίζει τα zk-SNARKS του πρωτοκόλλου. Τελικά, το νέο μπλοκ γίνεται άρρηκτο μέρος της αλυσίδας.