Η Binance προσθέτει την επαλήθευση zk-SNARK στο σύστημα απόδειξης αποθεμάτων

Ο Binance έχει αναβαθμιστεί Το σύστημα απόδειξης επιφύλαξης (PoR) με επαληθεύσεις zk-SNARK, μια μορφή αποδείξεων μηδενικής γνώσης που διαφυλάσσει το απόρρητο και την ασφάλεια των ευαίσθητων πληροφοριών χρήστη.

Διευθύνων Σύμβουλος της Binance Changpeng Zhao είπε η βελτίωση εφαρμόστηκε σύμφωνα με τον συνιδρυτή του Ethereum, Vitalik Buterin πρόταση. Ο Μπούτεριν είχε διατυπώσει τις ιδέες του για την προώθηση κεντρικών ανταλλαγών χωρίς εμπιστοσύνη μέσω διαφανών συστημάτων απόδειξης των αποθεματικών τον Νοέμβριο.

Binance δημοσιεύθηκε για πρώτη φορά Το σύστημα PoR του τον Νοέμβριο του 2022, καθώς οι χρήστες άρχισαν να απαιτούν περισσότερη διαφάνεια από τις ανταλλαγές μετά την κατάρρευση του FTX. Εκείνη την εποχή, η Binance χρησιμοποίησε κρυπτογράφηση δέντρου Merkle για να επιτρέψει στους χρήστες να επαληθεύσουν τις εκμεταλλεύσεις τους.

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

Δεύτερον, μια κακόβουλη οντότητα θα μπορούσε ενδεχομένως να προσθέσει ένα αρνητικό υπόλοιπο κάτω από έναν ψεύτικο λογαριασμό κάπου στο δέντρο για να κάνει το μέγεθος των απαιτούμενων αποθεμάτων να φαίνεται μικρότερο.

Η Binance ισχυρίζεται ότι τα zk-SNARK επιλύουν αυτές τις προκλήσεις. Το σύστημα επαλήθευσης μηδενικής γνώσης μπορεί να διασφαλίσει ότι όλοι οι κόμβοι φύλλων στο δέντρο Merkle έχουν συνεισφέρει στο διεκδικημένο συνολικό υπόλοιπο χρήστη κάθε κρυπτονομίσματος από την Binance. Θα διασφαλίσει επίσης ότι δεν υπάρχει χρήστης με αρνητικό υπόλοιπο στο δέντρο.

Η Binance θα δημιουργήσει και θα δημοσιεύσει την απόδειξη zk-SNARK για την κατασκευή του δέντρου Merkle για να αποδείξει τα αποθέματά του. Επαληθεύοντας το Merkle proof, οι χρήστες του Binance μπορούν να ελέγξουν εάν το υπόλοιπό τους περιλαμβάνεται στη ρίζα του δέντρου Merkle. Οι χρήστες μπορούν να επαληθεύσουν την απόδειξη zk-SNARK για να διασφαλίσουν ότι η κατασκευή του δέντρου Merkle ήταν απαλλαγμένη από οποιαδήποτε παραβίαση.

Επειδή το Binance έχει εκατομμύρια χρήστες, δεν είναι δυνατό να αποκτήσετε ούτε μία απόδειξη για την κατασκευή του δέντρου Merkle. Επομένως, το Binance θα χωρίσει τους χρήστες σε παρτίδες των 864 η καθεμία. Θα χρειαστούν 110 δευτερόλεπτα για να δημιουργηθεί zk proof για μία μόνο παρτίδα χρηστών. Η απόδειξη μπορεί να επαληθευτεί σε λιγότερο από 1 χιλιοστό του δευτερολέπτου.

Θα χρειαστούν 2 ώρες για να δημιουργήσει η Binance απόδειξη για όλους τους λογαριασμούς με κόστος περίπου 1,000 $. Η ανταλλαγή εργάζεται για την εφαρμογή των λύσεων που προτείνει η Buterin για τη βελτίωση της αποτελεσματικότητας της διαδικασίας παραγωγής δοκιμών, η οποία αναμένεται να μειώσει το κόστος και να της δώσει τη δυνατότητα να παρέχει αποδείξεις πιο συχνά.

Το σύστημα PoR της Binance υποστηρίζει επί του παρόντος 13 κρυπτονομίσματα, με 4 πρόσφατες προσθήκες και σχεδιάζει να προσθέσει περισσότερα διακριτικά τις επόμενες εβδομάδες.

Η Binance φτιάχνει επίσης τον κώδικα για το σύστημα PoR ανοιχτού κώδικα με στόχο να παρέχει περισσότερη διαφάνεια στους χρήστες της.