{"id":"W2990094262","doi":"10.1145/3335741.3335750","title":"The knowledge complexity of interactive proof-systems","year":2019,"lang":"en","type":"book-chapter","venue":"Association for Computing Machinery eBooks","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":134,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Citation; Computer science; Cryptography; World Wide Web; Computer security","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.00646708,0.0009487311,0.001495878,0.002718037,0.003470851,0.0118618,0.002927187,0.002721904,0.01978053],"category_scores_gemma":[0.04269318,0.001352609,0.002127672,0.003396365,0.007688845,0.03126076,0.008961952,0.006979968,0.003005019],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007634287,"about_ca_system_score_gemma":0.003204914,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003326159,"about_ca_topic_score_gemma":0.001574524,"domain_scores_codex":[0.9828531,0.005234519,0.0009760691,0.001832108,0.007713419,0.00139067],"domain_scores_gemma":[0.931765,0.05389629,0.00189107,0.007711805,0.00357011,0.001165696],"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.00004309129,0.00002467443,0.0002636924,0.0001547317,0.000026894,0.00007238807,0.0003763166,0.005833126,0.000239178,0.9744756,0.004156306,0.01433408],"study_design_scores_gemma":[0.00001138806,0.00000630824,0.0001210101,0.0000378341,0.00001294162,0.00004825636,0.00004430069,0.009559408,0.0003323366,0.9831688,0.006644201,0.00001318974],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08222189,0.009437764,0.6902354,0.02209583,0.0004903947,0.000263214,0.001799729,0.00187811,0.1915776],"genre_scores_gemma":[0.8663976,0.005375697,0.09396508,0.001198835,0.001121296,0.000364182,0.001585303,0.0007825044,0.02920945],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01978053,"threshold_uncertainty_score":0.06617242,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0388709443907372,"score_gpt":0.2749463209911082,"score_spread":0.236075376600371,"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."}}