{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000796904,0.0002006641,0.0002205551,0.0003503441,0.0007827288,0.0005704461,0.0004253578,0.00006939782,0.000002735106],"category_scores_gemma":[0.00001159857,0.0001978449,0.00005843306,0.001548568,0.00009796866,0.0006135463,0.00001954123,0.000289586,0.000003381502],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008089423,"about_ca_system_score_gemma":0.0001223567,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007548377,"about_ca_topic_score_gemma":0.000005779884,"domain_scores_codex":[0.9983923,0.00001937984,0.0002620388,0.0005178486,0.0002954629,0.0005129277],"domain_scores_gemma":[0.9994411,0.0001269204,0.00004950864,0.0001672764,0.00009522727,0.0001199913],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001741349,0.00001895116,0.00001090481,0.00003158164,0.00003593248,0.000005667425,0.0003407519,0.9813387,0.001244837,0.008389427,0.00002287806,0.008558625],"study_design_scores_gemma":[0.0001176618,0.00002226888,0.00003830137,0.0001883996,0.00003226235,0.00002850698,0.00003407729,0.9987442,0.0003817474,0.00000840507,0.0002082408,0.0001959389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0991309,0.0002570577,0.8995084,0.00009706714,0.0004987947,0.00009235679,3.50416e-7,0.0002948376,0.0001202593],"genre_scores_gemma":[0.9623452,0.00003917322,0.03737823,0.0001032852,0.00006112874,0.000005630634,8.926501e-8,0.0000112699,0.00005592515],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8632144,"threshold_uncertainty_score":0.8067882,"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."}}