{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004860057,0.000854112,0.001115653,0.0009609267,0.002014996,0.003629399,0.002237706,0.00198029,0.007916732],"category_scores_gemma":[0.01661646,0.001071847,0.002225004,0.0008582989,0.00600081,0.01428079,0.007668796,0.01126215,0.001262226],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003202701,"about_ca_system_score_gemma":0.003302685,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00137147,"about_ca_topic_score_gemma":0.0008714346,"domain_scores_codex":[0.9925114,0.002043956,0.0003625623,0.001782207,0.002354761,0.0009452206],"domain_scores_gemma":[0.9771141,0.01445401,0.001575359,0.004679648,0.001486875,0.0006898838],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004303655,0.00002067141,0.00009466465,0.00009589196,0.00001338673,0.00004415102,0.000203502,0.002385743,0.001027388,0.9900198,0.001205235,0.004846585],"study_design_scores_gemma":[0.000043758,0.00004089647,0.0001206384,0.0000345548,0.00002305744,0.0001133181,0.00006068289,0.03700935,0.005936582,0.946722,0.00985698,0.00003831586],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03053912,0.0007557897,0.9085237,0.00573594,0.00022791,0.0002312109,0.0003900231,0.0009679547,0.05262827],"genre_scores_gemma":[0.7450467,0.0007712108,0.2286643,0.002569894,0.0003544837,0.0007727936,0.0006072611,0.0003683434,0.02084495],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007916732,"threshold_uncertainty_score":0.02648407,"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."}}