{"id":"W4408323756","doi":"10.1109/tnse.2025.3550290","title":"Self-Tallying E-Voting Using Homomorphic Time-Lock Puzzles and ZK-SNARKs","year":2025,"lang":"en","type":"article","venue":"IEEE Transactions on Network Science and Engineering","topic":"Internet Traffic Analysis and Secure E-voting","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Homomorphic encryption; Lock (firearm); Scalability; Computer science; Voting; Mathematics; Discrete mathematics; Encryption; Computer security; Engineering; Operating system","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003072748,0.0004213348,0.0007907456,0.0007069989,0.001316503,0.002591566,0.001906009,0.001254713,0.003954352],"category_scores_gemma":[0.008994929,0.0004185925,0.0008302302,0.0008089707,0.002336764,0.006913329,0.005571568,0.002163866,0.0008908372],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001056701,"about_ca_system_score_gemma":0.001847829,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008231943,"about_ca_topic_score_gemma":0.000763575,"domain_scores_codex":[0.9963766,0.001070427,0.0003130112,0.000556294,0.001238794,0.0004448328],"domain_scores_gemma":[0.9940861,0.002178196,0.0007450975,0.002274752,0.0004470536,0.000268686],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001220455,0.0002371901,0.001954862,0.0002680435,0.00009117358,0.000547625,0.0008082798,0.06709344,0.04542012,0.7473148,0.002173362,0.1328708],"study_design_scores_gemma":[0.000346884,0.0004152465,0.0005326504,0.00005934604,0.00008373077,0.0004247119,0.0002247289,0.5082376,0.07463704,0.400532,0.01438955,0.0001165574],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08899706,0.0001382648,0.9021758,0.0005485044,0.00007130143,0.0002741288,0.0001420304,0.001464748,0.006188165],"genre_scores_gemma":[0.888528,0.0001377161,0.1059214,0.0001331949,0.00003855136,0.0002061465,0.0001960524,0.00009909957,0.004739694],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003954352,"threshold_uncertainty_score":0.01625049,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007183898816568459,"score_gpt":0.2062554243888201,"score_spread":0.1990715255722517,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}