{"id":"W4402288699","doi":"10.1109/sp54263.2024.00078","title":"Certifying Zero-Knowledge Circuits with Refinement Types","year":2024,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Zero-knowledge proof; Computer science; Zero (linguistics); Electronic circuit; Algorithm; Electrical engineering; Engineering; Cryptography","routes":{"ca_aff":true,"ca_fund":false,"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.000174694,0.00007589837,0.00006199702,0.00007689762,0.0001015601,0.0003199257,0.000366121,0.00002455187,0.00005875906],"category_scores_gemma":[0.000007931661,0.00005691043,0.00002293675,0.0004413767,0.00001603609,0.0002198652,0.0001022329,0.0000883383,0.0003767287],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003418229,"about_ca_system_score_gemma":0.00007473875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001007203,"about_ca_topic_score_gemma":0.000006212786,"domain_scores_codex":[0.9992875,0.00001959536,0.0001174374,0.000299196,0.0001254694,0.0001507378],"domain_scores_gemma":[0.9995223,0.00008095116,0.00001517973,0.0002884625,0.00004846641,0.00004461849],"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":[6.812473e-7,0.0000351316,0.0001309618,0.00007638258,0.00002665089,0.00001268546,0.00244499,0.0001089015,0.0003574852,0.7841082,0.006751142,0.2059468],"study_design_scores_gemma":[0.0002299915,0.000137604,0.0008531009,0.0003323256,0.00001438484,0.00007551927,0.00008315012,0.5609438,0.007902327,0.008096423,0.4208637,0.0004677139],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002468863,0.001078075,0.922667,0.001113605,0.0005476756,0.00006027456,2.09597e-7,0.0006259644,0.07143835],"genre_scores_gemma":[0.9843305,0.00001118407,0.01387942,0.0001821253,0.00008244027,0.000007504016,8.148347e-7,0.000006288738,0.001499724],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9818617,"threshold_uncertainty_score":0.4842211,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0470328367302689,"score_gpt":0.2877588124864661,"score_spread":0.2407259757561972,"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."}}