{"id":"W2949137963","doi":"","title":"Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications","year":2015,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Google (Canada)","funders":"","keywords":"Soundness; Mathematical proof; Random oracle; Constant (computer programming); Zero-knowledge proof; Computer science; Security parameter; Cryptography; Theoretical computer science; Mathematics; Gas meter prover; Group (periodic table); Discrete mathematics; Algorithm; 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","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.004296102,0.0004866196,0.0005352101,0.0002646987,0.0006559516,0.001222818,0.002371058,0.0003871344,0.00004412342],"category_scores_gemma":[0.001040724,0.0005181144,0.0001916507,0.000701538,0.000441372,0.0005852542,0.002777049,0.0009172044,0.00003744648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001142644,"about_ca_system_score_gemma":0.0005016463,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000296011,"about_ca_topic_score_gemma":0.0007541029,"domain_scores_codex":[0.994468,0.002404877,0.0007050442,0.001308737,0.0006429933,0.0004703134],"domain_scores_gemma":[0.9899134,0.002970401,0.0006713979,0.003349424,0.002657749,0.0004376074],"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.00001808919,0.0006908844,0.002859215,0.0003490192,0.0001460664,0.000007306259,0.01414643,0.00121962,0.0002142375,0.9583578,0.001342569,0.02064883],"study_design_scores_gemma":[0.001911655,0.000002585013,0.002336256,0.001843657,0.0001420612,0.00004357645,0.0002795065,0.5150971,0.002526503,0.354858,0.1191536,0.001805592],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01178257,0.002306011,0.9654485,0.003184681,0.0002331655,0.001183887,0.0003557747,0.0005777999,0.0149276],"genre_scores_gemma":[0.8140705,0.0003526611,0.1843312,0.0001468287,0.00007649637,0.000145617,0.0005834223,0.0000399364,0.0002533609],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8022879,"threshold_uncertainty_score":0.999814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02289564730509037,"score_gpt":0.259055910327477,"score_spread":0.2361602630223866,"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."}}