Section outline

    • Το σύστημα ηλεκτρονικών ψηφοφοριών Helios
    • Προβλήματα κατά την κατασκευή μη αλληλεπιδραστικών αποδείξεων μηδενικής γνώσης λόγω χρήσης του weak Fiat Shamir Transform και συνέπειες στην επαληθευσιμότητα.
    • Μοντέλα επαληθευσιμότητας.
    • Απόδειξη weak verifiability του Helios
    • Παραλλαγές για strong verifiability

    Διαφάνειες