Τι είναι το zero-knowledge proof;

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

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

Γιατί έχει σημασία

Σε ένα δημόσιο blockchain, η δυνατότητα επαλήθευσης συνήθως συνοδεύεται από έκθεση δεδομένων. Με κατάλληλη χρήση zero-knowledge proofs, μια εφαρμογή μπορεί, για παράδειγμα, να αποδεικνύει ότι μια συναλλαγή ακολουθεί τους κανόνες, χωρίς να δημοσιοποιεί το ποσό της. Το τι ακριβώς παραμένει κρυφό εξαρτάται από τον σχεδιασμό της εφαρμογής.

Η τεχνολογία συνδέεται επίσης με τα ZK rollups, δίκτυα δεύτερου επιπέδου (Layer 2) που συγκεντρώνουν συναλλαγές και υποβάλλουν αποδείξεις εγκυρότητας στο βασικό blockchain. Έτσι, το βασικό δίκτυο μπορεί να ελέγχει μια απόδειξη αντί να επανεκτελεί κάθε συναλλαγή. Η εγκυρότητα και η ιδιωτικότητα είναι διαφορετικά πράγματα: ένα ZK rollup δεν κρύβει υποχρεωτικά τις συναλλαγές σου.

Τι να προσέξεις

Τα zk-SNARKs είναι μια οικογένεια τέτοιων αποδείξεων, όχι συνώνυμο ολόκληρης της τεχνολογίας. Ορισμένα συστήματα χρειάζονται μια αρχική διαδικασία δημιουργίας έμπιστων παραμέτρων, γνωστή ως trusted setup. Αν αυτή παραβιαστεί, μπορεί να υπονομευτεί η ασφάλεια των αποδείξεων.

Εμείς κρατάμε κυρίως το εξής: μια σωστή απόδειξη ελέγχει τους κανόνες που έχουν οριστεί, όχι αν ολόκληρη η εφαρμογή είναι ασφαλής. Λάθη στον κώδικα, προβλήματα σε γέφυρες μεταφοράς crypto ή διαρροές από άλλα δεδομένα παραμένουν πιθανά. Η ετικέτα «zero-knowledge» από μόνη της δεν εγγυάται ούτε ανωνυμία ούτε προστασία των χρημάτων σου.