{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01057984,0.001256233,0.002223153,0.001325232,0.002898864,0.003068366,0.003713339,0.0019526,0.008911068],"category_scores_gemma":[0.03355222,0.002187832,0.002679584,0.001441624,0.006889556,0.01363187,0.01028723,0.004390723,0.002388941],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002810181,"about_ca_system_score_gemma":0.004565932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002263295,"about_ca_topic_score_gemma":0.002105108,"domain_scores_codex":[0.9873753,0.004262132,0.0007137517,0.002066234,0.004225418,0.001357179],"domain_scores_gemma":[0.9683737,0.02146794,0.001243863,0.006425536,0.001770072,0.0007189341],"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.001739555,0.0004509656,0.001262829,0.0005315057,0.0001483931,0.0006948091,0.001772321,0.08787153,0.01488372,0.8286127,0.002561397,0.05947024],"study_design_scores_gemma":[0.000320696,0.0001360458,0.0001332898,0.00007020912,0.00009969702,0.000167461,0.0001107378,0.2754678,0.02377969,0.6936696,0.005978579,0.00006618536],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04902072,0.0002241506,0.9325758,0.0009327481,0.000135859,0.0005947903,0.00009015536,0.003311282,0.01311443],"genre_scores_gemma":[0.3945365,0.0002705755,0.5933278,0.0005266399,0.0001302576,0.0008267395,0.000208,0.001019328,0.009154148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01057984,"threshold_uncertainty_score":0.05595219,"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."}}