{"id":"W2952003592","doi":"10.48550/arxiv.1404.6898","title":"Quantum Attacks on Classical Proof Systems - The Hardness of Quantum Rewinding","year":2014,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Army Research Office; European Regional Development Fund; Latvijas Universitate; European Commission; National Science Foundation","keywords":"Mathematical proof; Quantum; Computer science; Random oracle; Oracle; Theoretical computer science; Adversary; Discrete mathematics; Mathematics; Computer security; Quantum mechanics; Physics; Encryption; Public-key cryptography; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0008329394,0.000383063,0.0005601897,0.0003181873,0.000277662,0.0002101134,0.003605479,0.0003810921,0.000006881201],"category_scores_gemma":[0.0000723238,0.0003179866,0.0003823751,0.0007561919,0.0003175354,0.0003067501,0.002147306,0.00100226,0.00003397],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001001171,"about_ca_system_score_gemma":0.0001651194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001617179,"about_ca_topic_score_gemma":0.00001353278,"domain_scores_codex":[0.9972489,0.0004889229,0.000364771,0.001210992,0.0002533831,0.0004330056],"domain_scores_gemma":[0.9961346,0.0003523755,0.0005578691,0.002609308,0.0001799675,0.0001658339],"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.00004671033,0.000150478,0.001127685,0.0002244441,0.00008546787,0.00005440955,0.0002600152,0.01979187,0.00001317645,0.9764944,0.001663783,0.00008760999],"study_design_scores_gemma":[0.0003694618,0.0001608091,0.0009867413,0.0004340973,0.00007635503,0.000006046243,0.0001479463,0.9283023,0.0001158373,0.06411728,0.004823588,0.0004595774],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2275575,0.00008531749,0.7679421,0.0001851332,0.00235426,0.0005124694,0.00007286502,0.0001588518,0.001131535],"genre_scores_gemma":[0.9995164,0.00005078244,0.0001226911,0.00005217837,0.0001442291,0.000002485231,0.000025221,0.00001673217,0.00006923314],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9123771,"threshold_uncertainty_score":0.9999272,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08635545933498931,"score_gpt":0.2095555288584577,"score_spread":0.1232000695234684,"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."}}