Μια βιβλιοθήκη Ethereum που επιτρέπει την ανώνυμη ψηφοφορία – Cryptopolitan

Ο Andreessen Horowitz αποκαλύπτει το «Cicada», μια βιβλιοθήκη που επιτρέπει τη μη ανιχνεύσιμη ψηφοφορία στο Ethereum. Μια ανώνυμη βιβλιοθήκη Solidity για το Ethereum διατέθηκε από την εταιρεία επιχειρηματικών κεφαλαίων Andreessen Horowitz, ευρέως γνωστή ως A16z. Η βιβλιοθήκη, με το όνομα «Τζιτζίκι», κρατά μυστικές τις επιλογές των εκλογικών σημείων μέχρι το κλείσιμο των εκλογών. 

Ανώνυμη ψηφοφορία στο Ethereum με τη βιβλιοθήκη "Cicada" του A16z

Σύμφωνα με μια ανάρτηση ιστολογίου από τον μηχανικό του A16z Michael Zhu στις 24 Μαΐου, μπορεί επίσης να καταστήσει την ταυτότητα του ψηφοφόρου αιώνια άγνωστη όταν συνδυάζεται με συστήματα μελών ομάδων μηδενικής γνώσης όπως το Semaphore.

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

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

Ο Giulio Malavolta και ο Aravind Thyagarajan, δύο κρυπτογράφοι, εισήγαγαν την ιδέα των «ομομορφικών» γρίφων με χρονική κλείδωμα το 2019. Αυτό κατέστησε δυνατό να συνδυαστούν οι γρίφοι σε ένα που ήταν πιο απλό στην επίλυση από το σύνολο των διαφορετικών γρίφων. Ο τελευταίος γρίφος μπορεί να λυθεί μόνο γνωρίζοντας το άθροισμα των διαφόρων τιμών και όχι των μεμονωμένων.

Η ανάρτηση A16z ισχυρίζεται ότι το Cicada χρησιμοποιεί αυτά τα ομομορφικά προβλήματα για να παρακολουθεί τις ψήφους ακόμα και όταν οι χρήστες δεν είναι συνδεδεμένοι.

Το Cicada εφαρμόζει επαλήθευση απόδειξης μηδενικής γνώσης, προστατεύοντας την ακεραιότητα της ψήφου

Οι ερευνητές του A16z αντιμετώπισαν μια πρόκληση όταν προσπάθησαν να προσαρμόσουν την προσέγγιση των Malavolta και Thyagarajan στο blockchain: Κάθε επιλογή πρέπει να κωδικοποιείται ως μια δυαδική τιμή "1" ή "0". Ως αποτέλεσμα, οι επιτιθέμενοι θα μπορούσαν να επιχειρήσουν να ενισχύσουν την ψηφοφορία τους κωδικοποιώντας τις ψήφους εσφαλμένα, για όσο, κωδικοποιώντας το "100" ως τιμή.

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

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

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

Ο Zhu έστειλε τη διεύθυνση URL σε ένα δείγμα σύμβασης Cicada που χρησιμοποιεί το Semaphore για να επικυρώσει την καταλληλότητα των ψηφοφόρων ως παράδειγμα.

Οι αποκεντρωμένοι αυτόνομοι οργανισμοί (DAO), τα όργανα διοίκησης που επιβλέπουν συχνά τις εφαρμογές blockchain, έχουν εδώ και καιρό συμπεριλάβει μεθόδους ψηφοφορίας στις δομές τους. Ωστόσο, καθώς οι DAO χρησιμοποιούν συνήθως διακριτικά για την αντιπροσώπευση ψήφων, η ισχύς ενός χρήστη μπορεί να είναι υπερβολική εάν ελέγχει σημαντικό αριθμό κουπονιών. 

Για παράδειγμα, στις 22 Μαΐου, ένας χάκερ απέκτησε τον έλεγχο του Tornado Cash δίνοντας επιπλέον ψήφους σε μια άθλια πρόταση, την οποία στη συνέχεια χρησιμοποίησε για να αφαιρέσει όλα τα χρήματα από το συμβόλαιο διακυβέρνησης. Αργότερα, ο εισβολέας έκανε την προσφορά να επιστρέψει τον έλεγχο στους χρήστες.

Ο Σάσα Ιβάνοφ, ο ιδρυτής της Waves, έχει προτείνει ότι, εάν πρόκειται να αποτραπούν hacks διακυβέρνησης όπως αυτές, οι DAO πρέπει να στραφούν σε μια πιο δημοκρατική μέθοδο ψηφοφορίας. Στο Twitter, ο Zhu παράδεκτος ότι η ψηφοφορία εντός της αλυσίδας «δεν είναι ακόμη έτοιμη για περιπτώσεις χρήσης υψηλού στοιχήματος σε πραγματικό κόσμο», αλλά εξέφρασε αισιοδοξία για περαιτέρω ανάπτυξη.

Πολλά έργα blockchain διαθέτουν πλέον δομές διακυβέρνησης που εξαρτώνται από την ψηφοφορία εντός της αλυσίδας. Για παράδειγμα, το stablecoin project Maker χρησιμοποιεί ψηφοφορία on-chain για να επιλέξει τη σύνθεση των αποθεματικών του και άλλες αποφάσεις. Αντίθετα, το Uniswap και άλλες πλατφόρμες DeFi χρησιμοποιούν διακυβέρνηση on-chain για να αποφασίσουν ποιες αλυσίδες μπλοκ θα αναπτύξουν.

Το A16z μπαίνει στο Optimism Collective με το Rollup Client Magi

Η A16z, ένα ταμείο επιχειρηματικού κεφαλαίου κρυπτογράφησης, παρουσίασε επίσης τη Magi, μια λύση OP Stack στο επίπεδο 2. Ένας πελάτης roll-up (consensus layer) που αναπτύχθηκε στο Rust είναι η νεότερη προσφορά από την a16z και αντιπροσωπεύει την είσοδο της εταιρείας στο Optimism Collective.

Το Magi χρησιμεύει ως πελάτης συναίνεσης και τροφοδοτεί νέα μπλοκ στον πελάτη εκτέλεσης στο επίπεδο εκτέλεσης του Ethereum για να προωθήσει την αλυσίδα. Το Magi δημιουργήθηκε ανεξάρτητα για να αυξήσει την ποικιλομορφία των πελατών της συνάθροισης και να αντικαταστήσει τους op-nodes. Επιπλέον, η ομάδα του a16z σκοπεύει να βελτιώσει το Magi με νέες τεχνικές συγχρονισμού, υποστήριξη για εναλλακτικά επίπεδα διαθεσιμότητας δεδομένων, παρακολούθηση της μη ασφαλούς κεφαλής (μη επιβεβαιωμένα μπλοκ) και καλύτερα πλαίσια.

Η ομάδα του a16z ελπίζει ότι το Magi, ακόμη και ως νέα προσέγγιση, μπορεί να γίνει ένα εφαρμόσιμο υποκατάστατο του op-node μετά από μερικούς μήνες ανάπτυξης. Ο κόμβος Op είναι μια υλοποίηση που βασίζεται στο Go για πελάτες κυλίνδρων που υποστηρίζεται από την Op Labs.