{"id":"W4399521217","doi":"10.1145/3618260.3649702","title":"Two Prover Perfect Zero Knowledge for MIP*","year":2024,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Gas meter prover; Soundness; Zero-knowledge proof; Computer science; Theoretical computer science; Discrete mathematics; Protocol (science); Boolean satisfiability problem; Mathematics; Algorithm; Cryptography; Programming language; Mathematical proof","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.0003173781,0.0001007105,0.0001060196,0.00005628599,0.00007001985,0.0003989221,0.000385965,0.00003819912,0.0000247941],"category_scores_gemma":[0.00001847763,0.00006806317,0.0001043343,0.0002074667,0.00001789052,0.0002476493,0.0001101688,0.00005768639,0.0006569813],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002886193,"about_ca_system_score_gemma":0.0000827164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003773821,"about_ca_topic_score_gemma":0.00003734467,"domain_scores_codex":[0.9991714,0.00002502425,0.0001257064,0.0003461073,0.00009121701,0.0002405642],"domain_scores_gemma":[0.9994861,0.0001072005,0.00001458719,0.0002825336,0.00005122592,0.00005827499],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001001596,0.00002565014,0.00006360385,0.00009559302,0.00001583344,0.000004479726,0.0005716307,0.000001144334,0.0001148465,0.8807865,0.02251325,0.09580645],"study_design_scores_gemma":[0.0002290783,0.0001728285,0.00002463749,0.000007102044,0.000007666767,0.00001984381,0.00001586271,0.05792998,0.001219775,0.05266521,0.8875315,0.0001765596],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0001982777,0.001199039,0.8809233,0.0001912249,0.001993851,0.0003966756,3.667419e-7,0.0005489452,0.1145483],"genre_scores_gemma":[0.9516621,0.000002314934,0.007221817,0.00007772019,0.0002892028,0.000094452,0.000001323614,0.00001024,0.04064089],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9514638,"threshold_uncertainty_score":0.8444384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02918565372457892,"score_gpt":0.2959888312361643,"score_spread":0.2668031775115853,"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."}}