Συστήματα αποδείξεων μηδενικής γνώσης
Συνήθως, για την απόδειξη της ορθότητας ενός ισχυρισμού, καλούμαστε να παρουσιάσουμε μία διαδικασία η οποία χρησιμοποιεί κάποια αρχικά δεδομένα για να καθορίζει μία σειρά από "λογικά" βήματα , τα οποία μας οδηγούν στο συμπέρασμα ότι ο ισχυρισμός αληθεύει. Διαισθητικά, ένα συμβατικό σύστημ...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | el_GR |
| Published: |
2022
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11610/24164 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!