{"id":"W1814335797","doi":"10.26421/qic9.5-6-11","title":"On parallel composition of zero-knowledge proofs with black-box quantum","year":2009,"lang":"en","type":"article","venue":"Quantum Information and Computation","topic":"Quantum Computing Algorithms and Architecture","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Soundness; Black box; Quantum algorithm; Computer science; Quantum information; Quantum error correction; Mathematical proof; Quantum computer; Quantum; Mathematics; Theoretical computer science; Discrete mathematics; Algorithm; Quantum mechanics; Physics; Programming language; Geometry","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.0002316972,0.0002036036,0.000226815,0.0002885112,0.0001848055,0.0001823955,0.0002397859,0.00006947642,0.000001384697],"category_scores_gemma":[0.00001224634,0.0001633647,0.00004726831,0.0004288429,0.00006938547,0.0009025183,0.00004283557,0.0001699073,0.00002877549],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002564936,"about_ca_system_score_gemma":0.00006230772,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005811279,"about_ca_topic_score_gemma":4.112099e-7,"domain_scores_codex":[0.9987151,0.00007084296,0.0004673169,0.0002080564,0.0003221896,0.0002164964],"domain_scores_gemma":[0.9990384,0.0001030129,0.0003377368,0.0002138178,0.0002152036,0.00009185287],"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":[0.00008931385,0.0002081947,0.00004280513,0.00008984662,0.0000190223,0.000002186686,0.005385803,0.2463602,0.0001054907,0.5445863,0.00055463,0.2025562],"study_design_scores_gemma":[0.0008972544,0.001272248,0.00578674,0.0001248941,0.000006464447,0.00002887875,0.00005023132,0.9493281,0.0002025254,0.04192463,0.0001658094,0.0002122611],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2759803,0.00002905097,0.7222251,0.0006072656,0.00009089849,0.0002256911,0.000002536044,0.0001539335,0.0006852262],"genre_scores_gemma":[0.9792202,0.000008838536,0.02022509,0.0004642693,0.00002283352,0.000004277433,0.00004441578,0.000004980949,0.000005107805],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7032399,"threshold_uncertainty_score":0.6661819,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.008054922050868881,"score_gpt":0.2395742102757454,"score_spread":0.2315192882248765,"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."}}