TetraVote — Research Prototype for Post-Quantum-Resilient, Zero-Knowledge Election Models
Notice bibliographique
Résumé
TetraVote is an experimental voting-system prototype developed to explore how post-quantum algorithms, zero-knowledge proofs, and offline-first distributed systems can support secure, privacy-preserving election workflows in low-infrastructure environments. This framework is not a production voting system.It is a simulation environment designed for: academic research prototyping testing of post-quantum design ideas distributed computing coursework exploration of secure election protocols The project does not implement real cryptographic security guarantees and should not be used for administration of actual elections. Purpose TetraVote was created as part of an exploratory submission to the University of Saskatchewan (UofS) / SK-NEIHR Spring Institute 2025.Its purpose is to demonstrate how emerging cryptographic approaches—such as zk-proofs and PQC—could be modeled in small-scale election simulations. The prototype specifically supports research into: privacy-preserving credential generation anonymous vote submission local-only ledger validation offline-first deployment using containerization distributed verification without centralized infrastructure Research Context This prototype is intended for: secure computing research distributed systems education academic exploration of post-quantum concepts The framework models how small or remote communities could explore secure voting workflows without cloud dependencies, relying solely on local devices or air-gapped networks. No real-world elections should rely on this prototype. Architecture Overview TetraVote integrates several research components from the broader Tetra ecosystem: 1. Credential & Identity Simulation Scripts prototype: anonymous credential derivation hash-based identity proof generation zero-knowledge witness creation offline-verifiable vote tokens These mechanisms use classical cryptography and are not PQC-secure; the PQC modules remain conceptual placeholders for future R&D. 2. Ledger & Audit Model Votes are written to a local encrypted JSON-based ledger: TetraChain.json The ledger structure enables: transparent counting offline audit non-linkability (simulated) 3. Zero-Knowledge Proof Experiments The ZK/ directory includes: a Groth16 example circuit sample proof scripts verification routines This module allows exploration of how ZKPs can separate identity from voter action. 4. Mesh & Distributed System Simulation The /Mesh and /Core modules provide early-stage, non-functional prototypes exploring: peer-to-peer message passing potential integration with TetraYggdrasil-Nexus state propagation in partially connected environments These components are conceptual and not operational. 5. Optional Podman Deployment The deploy_codex_podman.sh script demonstrates: local-only, isolated container deployment reproducible execution environments safe experimentation on offline machines Included Files File Purpose generate_credential.py Creates anonymous credential hashes submit_vote.py Submits simulated votes audit_votes.py Verifies ledger totals TetraChain.json Local ledger file check_zk_env.sh Ensures ZK module prerequisites run_zk_trust_proof.sh Executes sample ZK workflow start.sh Launches prototype interface Intended Applications (Research Only) This prototype may be useful for studying: digital governance in remote communities voting-system data flows offline-first secure computing proof-of-concept election workflows zero-knowledge and PQC interactions decentralized auditability mechanisms It is ideal for simulation exercises related to: small organizations or councils local board elections community advisory voting campus research experiments Again: not for real-world operational elections. License MIT License (software) Encourages research, modification, and academic reuse. No warranties or security guarantees. Important Disclaimer TetraVote v1.0/v1.1 is: a research prototype non-audited not suitable for real elections not intended for government, defense, or security operations not designed for legal, political, or institutional deployment All responsibility for use lies with the experimental user.The author develops Baramay Station research projects exclusively for civilian, academic, and scientific exploration. How the Tetra Ecosystem Relates TetraVote is built on top of early R&D modules, including: TetraCrypt-PQC-Nexus (experimental PQC-inspired hashing/encoding) TetraYggdrasil_Nexus (experimental P2P mesh simulation) TetraCrypt_Yggdrasil_Unified (integrated prototype) TetraNexus (coordination layer prototype) All of these are research tools, not functional security systems.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,001 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,001 | 0,002 |
| Études des sciences et des technologies | 0,003 | 0,000 |
| Communication savante | 0,001 | 0,001 |
| Science ouverte | 0,002 | 0,001 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,001 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule tête enseignante, pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».