Χρήση Camenisch - Lysyanskaya ψηφιακών υπογραφών και αποδεικτικών πρωτοκόλλων μηδενικής γνώσης σε ψηφιακά πιστοποιητικά

Abstract

Η συγκεκριμένη εργασία αφορά την χρήση των Camenisch - Lysyanskaya (CL) Ψηφιακών Υπογραφών και των Αποδεικτικών Πρωτοκόλλων Μηδενικής Γνώσης (Zero Knowledge Proof (zkp) Protocols) σε Ψηφιακά Πιστοποιητικά. Συγκεκριμένα μελετάται ο τρόπος με τον οποίο εφαρμόζεται το προηγούμενο σχήμα υπογραφών σε ηλεκτρονικά πιστοποιητικά, από μια αρμόδια Αρχή που τα εκδίδει. Αυτά χρησιμοποιούνται σε ηλεκτρονικές συναλλαγές των νομίμων κατόχων τους με διάφορους φορείς. Επίσης περιγράφονται αναλυτικά διάφορα zkp πρωτόκολλα που εκτελούνται σε τέτοιες ηλεκτρονικές συναλλαγές και αποδεικνύουν την ισχύ προτάσεων σχετικών με το περιεχόμενο των παραπάνω πιστοποιητικών, χωρίς όμως το τελευταίο να αποκαλύπτεται. Στην ενότητα 2 παρουσιάζεται η έννοια του πιστοποιητικού, καθώς και ο τρόπος με τον οποίο συμμετέχει σε συναλλαγές του νομίμου κατόχου του. Στην ενότητα 3 αναφέρονται σχολαστικά διάφορα μαθηματικά εργαλεία που είναι απαραίτητα για τη θεμελίωση των CL υπογραφών και των zkp πρωτοκόλλων που θα χρησιμοποιηθούν. Στην ενότητα 4 αναλύεται αυτό το σχήμα ψηφιακών υπογραφών και τέλος στην πέμπτη ενότητα περιγράφονται διεξοδικά τα παραπάνω zkp πρωτόκολλα.