Το να γίνουν οι αποδείξεις μηδενικής γνώσης (ZKP) «κατανοητές και προσβάσιμες» στους ανθρώπους είναι απαραίτητο για να παραμείνει το οικοσύστημα Ethereum «ανοιχτό και φιλόξενο» σε άτομα χωρίς πτυχίο μαθηματικών, έγραψε ο συνιδρυτής του Ethereum Vitalik Buterin στις 26 Οκτωβρίου.
Τα ZKP συχνά αναφέρονται ως «μαθηματικά του φεγγαριού» λόγω της πολυπλοκότητάς τους.
Είμαι τόσο χαρούμενος που το Ethereum έχει μια τόσο ισχυρή κουλτούρα να προσπαθεί σκληρά να κάνει όλα τα μαθηματικά του φεγγαριού μας όσο το δυνατόν πιο κατανοητά και προσβάσιμα στους ανθρώπους. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Οκτώβριος 26, 2022
Ο Μπούτεριν πρόσθεσε ότι «η αποκέντρωση ΔΕΝ απαιτεί να τα παρατήσεις και να κουνήσεις ένα διδακτορικό λέγοντας «είναι ένα μαύρο κουτί, είμαστε έξυπνοι, εμπιστεύσου μας».
Scroll, μια λύση κλιμάκωσης Ethereum επιπέδου 2 μηδενικής γνώσης, που εξηγείται σε blog πώς λειτουργούν τα σχήματα πολυωνυμικών δεσμεύσεων, ένα κρίσιμο μέρος πολλών ZKP, και πώς μπορούν να βοηθήσουν στην κλίμακα του Ethereum.
Τα πολυώνυμα είναι μαθηματικές εκφράσεις που αντιπροσωπεύουν περισσότερους από δύο αλγεβρικούς όρους. Σύμφωνα με το Scroll blog, τα πολυώνυμα μπορούν να βοηθήσουν στην αποτελεσματική αναπαράσταση μεγάλων δεδομένων.
Ένα σχήμα δεσμεύσεων είναι ένα κρυπτογραφικό πρωτόκολλο στο οποίο κάποιος δεσμεύεται σε ένα μήνυμα και το κρατά κρυφό, αλλά μπορεί να αποκαλύψει το μήνυμα αργότερα. Ωστόσο, ο δεσμευτής δεν μπορεί να αλλάξει το μήνυμα αφού δεσμευτεί σε αυτό, γεγονός που καθιστά τα σχήματα δεσμεύσεων δεσμευτικά.
Σε ένα σχήμα πολυωνυμικής δέσμευσης, κάποιος δεσμεύεται σε ένα πολυώνυμο αντί για ένα μήνυμα. Το σχήμα πολυωνυμικής δέσμευσης πληροί όλες τις ιδιότητες των κανονικών σχημάτων δεσμεύσεων. Αλλά έχει ένα πρόσθετο χαρακτηριστικό που επιτρέπει στο committer να αποδείξει ότι δεσμεύτηκε σε ένα συγκεκριμένο πολυώνυμο που ικανοποιεί τις απαιτούμενες ιδιότητες χωρίς να αποκαλύπτει το ίδιο το πολυώνυμο.
KZG στο Scaling Ethereum
Ενώ υπάρχουν διαφορετικά σχήματα πολυωνυμικών δεσμεύσεων, Kate-Zaverucha-Goldberg (KZG) είναι δημοφιλές στον χώρο του blockchain και χρησιμοποιείται από τα συστήματα proof της Scroll. Το KZG πρόκειται επίσης να ενσωματωθεί στο Ethereum με το Proto-Danksharding, που θα υλοποιηθεί μέσω EIP-4844, η οποία προτάθηκε τον Φεβρουάριο του 2022.
Το Proto-Danksharding είναι μια λύση στοπ έως ότου εφαρμοστεί το Danksharding, το οποίο θα μπορούσε να καταστήσει φθηνότερη τη χρήση συνάθροισης. Η Proto-Danksharding εισάγει έναν νέο τύπο συναλλαγής που ονομάζεται "blob-carrying trading". Αυτές οι συναλλαγές φέρουν μια μάζα δεδομένων 128 kb, η οποία δεν είναι προσβάσιμη από το επίπεδο εκτέλεσης Ethereum. Αντίθετα, μόνο η δέσμευση για το blob δεδομένων θα είναι προσβάσιμη από το Ethereum.
Η κηλίδα δεδομένων αναπαρίσταται ως πολυώνυμο και το σχήμα πολυωνυμικής δέσμευσης KZG χρησιμοποιείται για τη δημιουργία δέσμευσης στα δεδομένα. Αυτό επιτρέπει την επαλήθευση των ιδιοτήτων της κηλίδας δεδομένων χωρίς να αποκαλύπτεται ολόκληρη η κηλίδα δεδομένων.
Η χρήση του KZG μπορεί, επομένως, να ενεργοποιήσει τη δειγματοληψία διαθεσιμότητας δεδομένων (DAS), η οποία θα εφαρμοστεί στην πορεία προς το πλήρες Danksharding. Το DAS ουσιαστικά δίνει τη δυνατότητα στους επικυρωτές να διασφαλίσουν ότι η κηλίδα δεδομένων είναι διαθέσιμη και σωστή, χωρίς να χρειάζεται να διαβάσουν ολόκληρη την κηλίδα δεδομένων.
Αυτό, με τη σειρά του, μπορεί να βοηθήσει σημαντικά στην ενίσχυση της επεκτασιμότητας του Ethereum, καθώς οι επικυρωτές πρέπει να ασχολούνται με λιγότερα δεδομένα.
Πηγή: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/