Ορισμός
Το aggregated proof είναι ένας κρυπτογραφικός μηχανισμός στον οποίο πολλές ξεχωριστές αποδείξεις, συχνά για διαφορετικές προτάσεις ή συναλλαγές, συγχωνεύονται σε ένα συνοπτικό αντικείμενο απόδειξης. Αυτή η μία απόδειξη μπορεί να επαληθευτεί πιο αποδοτικά από το να ελέγχεται καθεμία από τις αρχικές αποδείξεις ξεχωριστά, διατηρώντας τα ίδια επίπεδα ασφάλειας. Τα aggregated proofs συνήθως κατασκευάζονται έτσι ώστε ο επαληθευτής να χρειάζεται να εκτελέσει μόνο μία διαδικασία επαλήθευσης για να πειστεί ότι όλες οι υποκείμενες προτάσεις είναι έγκυρες.
Στα πλαίσια του blockchain (blockchain), οι τεχνικές aggregated proof χρησιμοποιούνται για τη συμπίεση των δεδομένων επαλήθευσης, τη μείωση του αποτυπώματος on-chain και τον περιορισμό του υπολογιστικού κόστους της επικύρωσης. Μπορούν να εφαρμοστούν σε υπογραφές, zero-knowledge proofs ή άλλα συστήματα αποδείξεων που υποστηρίζουν δομές φιλικές προς aggregation. Η βασική ιδιότητα είναι ότι το aggregated proof παραμένει sound: αν κάποια από τις υποκείμενες προτάσεις ήταν ψευδής, η συνδυασμένη απόδειξη θα αποτύγχανε στην επαλήθευση.
Πλαίσιο και Χρήση
Οι μηχανισμοί aggregated proof είναι ιδιαίτερα σημαντικοί για την κλιμάκωση και την αποδοτικότητα σε κατανεμημένα συστήματα που πρέπει να επαληθεύουν μεγάλους αριθμούς κρυπτογραφικών προτάσεων. Με το aggregation πολλών αποδείξεων σε μία, οι validators ή οι nodes μπορούν να διατηρούν ισχυρή ασφάλεια, μειώνοντας παράλληλα τις απαιτήσεις σε εύρος ζώνης, αποθήκευση και υπολογιστικούς πόρους. Αυτό είναι πολύτιμο για περιβάλλοντα υψηλού ρυθμού συναλλαγών και σύνθετα πρωτόκολλα πολλών μερών.
Διαφορετικά συστήματα αποδείξεων υποστηρίζουν το aggregation με διαφορετικούς τρόπους, όπως το aggregation πολλών υπογραφών από διαφορετικούς συμμετέχοντες ή τον συνδυασμό πολλαπλών zero-knowledge proofs για ξεχωριστούς υπολογισμούς. Ο σχεδιασμός ενός σχήματος aggregated proof πρέπει να ισορροπεί ανάμεσα στη συνοπτικότητα, το κόστος επαλήθευσης και την πολυπλοκότητα δημιουργίας του aggregated αντικειμένου. Ως μηχανισμός, λειτουργεί ως θεμελιώδες δομικό στοιχείο για πιο κλιμακώσιμες κατασκευές συναίνεσης (consensus), διαθεσιμότητας δεδομένων και προστασίας ιδιωτικότητας σε blockchain (blockchain) και συναφή κρυπτογραφικά συστήματα.