{"id":"W6891668506","doi":"10.4230/lipics.ccc.2025.34","title":"Witness Encryption and NP-Hardness of Learning","year":2025,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Encryption; Witness; Reduction (mathematics); Complement (music); Probabilistic encryption; 40-bit encryption","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.0005907231,0.0002349431,0.0003542301,0.0003835739,0.000291091,0.0002570496,0.0007866821,0.0001523548,0.000007501123],"category_scores_gemma":[0.00009914035,0.0002203175,0.0001426518,0.0006119007,0.0001779702,0.001774979,0.0005585594,0.0003075165,0.000007745281],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002791044,"about_ca_system_score_gemma":0.00006009359,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001785503,"about_ca_topic_score_gemma":0.000007610251,"domain_scores_codex":[0.9983175,0.00004255536,0.0007246441,0.0002435524,0.0002838564,0.0003878378],"domain_scores_gemma":[0.9986591,0.0001325241,0.0003076966,0.0005666725,0.0002351797,0.0000988059],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001309217,0.0003255219,0.04297918,0.001913002,0.0001929479,0.000002444369,0.01169318,0.00009515136,0.0004144619,0.8877453,0.002151836,0.05235606],"study_design_scores_gemma":[0.01772852,0.001489221,0.05846542,0.001970309,0.0003113414,0.0001729867,0.009149742,0.3344392,0.01436628,0.1259789,0.4329022,0.003025875],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2331858,0.0001297193,0.7626143,0.0001896805,0.0006594219,0.0004527324,0.0001185823,0.0001442825,0.002505485],"genre_scores_gemma":[0.9746646,0.00009986527,0.02462007,0.0003035874,0.00003247206,0.00004560396,0.0001701035,0.00001014512,0.00005359943],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7617664,"threshold_uncertainty_score":0.8984288,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006939146569976057,"score_gpt":0.2462838286090361,"score_spread":0.2393446820390601,"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."}}