ZK Voting — Semaphore

ZK ψηφοφορία σε παύση (έλεγχος ασφαλείας) · Tier-1 κανονικά

Τι είναι το ZK Voting;

Φανταστείτε έναν κρυπτογραφικό κασσετίνα: αποδεικνύει ότι ψηφίσατε, χωρίς να αποκαλύπτει τι ψηφίσατε ή ποιος είστε. Αυτό κάνει ένα Zero-Knowledge Proof.

Tier 1 — Σήμερα

HMAC-Nullifier-Chain + Ed25519 + Arweave

Η ψηφοφορία σήμερα χρησιμοποιεί κρυπτογραφικές υπογραφές Ed25519 και HMAC Nullifiers. Το κλειδί δημιουργείται στον server κατά την επαλήθευση, παραδίδεται μία φορά στη συσκευή σας και δεν αποθηκεύεται στον server. Τα συγκεντρωτικά αποτελέσματα αρχειοθετούνται στο Arweave (blockchain).

Tier 2 — guarded Parliament rollout σε παύση

Semaphore ZK Proofs + Arweave Bulletin Board

Κάθε ZK ψήφος λαμβάνει μια κρυπτογραφική απόδειξη (Semaphore) που αποδεικνύει ότι ανήκετε στην ομάδα επαληθευμένων ψηφοφόρων — χωρίς να αποκαλύπτει ποιος είστε. Το πρώτο δημόσιο scoped rollout ολοκληρώθηκε για ένα συγκεκριμένο νομοσχέδιο. Η δημοσίευση verifier payloads στο Arweave είναι σε παύση μαζί με τις ZK ψηφοφορίες· αν επανενεργοποιηθεί το rollout, ισχύει μόνο για επιλέξιμα δημόσια Parliament scopes με ομάδα τουλάχιστον 5 ατόμων.

Κατάσταση: Ο native Android prover, το κρυφό S10 canary, το security review και το πρώτο δημόσιο scoped rollout έχουν περάσει. Η ZK ψηφοφορία ενεργοποιείται μόνο ανά συγκεκριμένη ψηφοφορία με explicit allowlist, backup και monitoring. Το guarded Parliament rollout είναι σε παύση από 03/10/2026 για έλεγχο ασφαλείας· test, canary, hidden και μη-Parliament scopes παραμένουν αποκλεισμένα.

Τι ανεβαίνει στο Arweave;

Η κανονική Arweave αρχειοθέτηση αποτελεσμάτων συνεχίζει να λειτουργεί. Κατά την παύση δεν γίνονται δεκτές νέες ZK ψήφοι. Αν επανενεργοποιηθεί το rollout, τα ZK verifier payloads μπορούν να δημοσιεύονται αυτόματα στο Arweave μόνο για επιλέξιμα δημόσια Parliament scopes με group size τουλάχιστον 5. Μικρότερες ομάδες μένουν pending για προστασία ιδιωτικότητας. Όταν ενεργοποιηθεί, μόνο δημόσια verifier payloads θα είναι υποψήφια για Arweave: proof/public signals, Merkle root, Semaphore nullifier, circuit/verifier version και group size/publication bucket. Ποτέ δεν δημοσιεύονται phone, IP, HLR, identity_record_id, tier_guard_hash, Tier-1 nullifier ή Semaphore secret.

Γιατί όχι Helios;

Το Helios απαιτεί Treuhänder (εμπιστευτές) για την αποκρυπτογράφηση αποτελεσμάτων. Ως μοναδικός εμπιστευτής, θα έπρεπε να εμπιστεύεστε πλήρως το ekklesia — κάτι που αντιβαίνει στην αρχή Privacy-by-Design. Το Semaphore δεν χρειάζεται εμπιστευτές: η απόδειξη γίνεται τοπικά στη συσκευή σας.

Τι αποδεικνύει ένα ZK Proof (και τι όχι)

Αποδεικνύει:

Ότι η ψήφος προέρχεται από μέλος της ομάδας επαληθευμένων ψηφοφόρων
Ότι δεν ψήφισε δύο φορές για το ίδιο νομοσχέδιο
Ότι τα αποτελέσματα μπορούν να επανυπολογιστούν δημόσια

ΔΕΝ αποδεικνύει:

Ότι η συσκευή του ψηφοφόρου δεν έχει παραβιαστεί
Ότι η διαδικασία εγγραφής ήταν τέλεια

Εμπιστοσύνη στο Trusted Setup

Το Semaphore χρησιμοποιεί αρχεία Groth16 από την τελετή PSE (Privacy and Scaling Explorations). Το ekklesia δεν διεξάγει δική του τελετή. Η ασφάλεια εξαρτάται από τη δημόσια τελετή του PSE.