{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00236746,0.0009004616,0.001131298,0.000660001,0.001226518,0.003474674,0.002706234,0.002201705,0.008146503],"category_scores_gemma":[0.01654964,0.0006362874,0.00234991,0.001006198,0.003739694,0.01307779,0.005053447,0.009091835,0.0007226181],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002985794,"about_ca_system_score_gemma":0.001421596,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009667391,"about_ca_topic_score_gemma":0.0009546389,"domain_scores_codex":[0.9967811,0.0009533886,0.0001447598,0.0008385676,0.0007408884,0.000541328],"domain_scores_gemma":[0.9742406,0.02127632,0.0009816507,0.002489296,0.0005202462,0.0004919092],"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.0003740415,0.0004644003,0.002688111,0.0004820345,0.0001225223,0.0003911346,0.0009724256,0.0745286,0.003226171,0.8791152,0.006618039,0.03101738],"study_design_scores_gemma":[0.0000668708,0.00006427199,0.0004709547,0.00003439064,0.00003294943,0.0001822192,0.0001602783,0.1344785,0.002585825,0.8590756,0.00282436,0.00002374286],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2718296,0.001129298,0.6690329,0.02008093,0.0002033871,0.000298202,0.001564882,0.001117096,0.03474371],"genre_scores_gemma":[0.9120369,0.0007225753,0.07317398,0.001713465,0.0003659297,0.0002753225,0.001211226,0.0002195209,0.01028114],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008146503,"threshold_uncertainty_score":0.02725273,"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."}}