{"id":"W3114894140","doi":"10.1038/s41586-021-03998-y","title":"Experimental relativistic zero-knowledge proofs","year":2021,"lang":"en","type":"article","venue":"Nature","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University; McGill University","funders":"","keywords":"Mathematical proof; Gas meter prover; Statement (logic); Identification (biology); Realization (probability); Protocol (science); Key (lock); Automated theorem proving","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.00007814081,0.00009117427,0.00008912086,0.00004105924,0.0001000507,0.0001040473,0.0004071376,0.0003757958,0.00004229933],"category_scores_gemma":[0.00005817739,0.00008373629,0.00006599003,0.0005039746,0.000026853,0.0003090956,0.0002857189,0.001023491,0.00006307153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001858998,"about_ca_system_score_gemma":0.00006962366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":6.130675e-7,"about_ca_topic_score_gemma":0.000002568003,"domain_scores_codex":[0.9992249,0.00004694048,0.00008563336,0.0003280795,0.0001546948,0.0001597211],"domain_scores_gemma":[0.9993006,0.0000503813,0.00002440752,0.0004877039,0.00006967648,0.00006720555],"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.000002955362,0.0002219691,0.0002263506,0.00001142966,0.0000116606,0.00007399008,0.0009639788,5.838632e-7,0.003110916,0.9681352,0.02362431,0.003616687],"study_design_scores_gemma":[0.00132726,0.0001598748,0.01038233,0.0001032672,0.00001772496,0.0002249349,0.000153025,0.003364028,0.2801302,0.2264247,0.4768707,0.0008419738],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0648564,0.07750526,0.7009153,0.003091163,0.005296675,0.0004537329,0.00007608539,0.0009813496,0.146824],"genre_scores_gemma":[0.9805648,0.000005444123,0.01870456,0.0003995789,0.00007366795,0.000006447196,0.00002123929,0.000004514276,0.0002197502],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9157084,"threshold_uncertainty_score":0.4446616,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01054483970606873,"score_gpt":0.2786765133970456,"score_spread":0.2681316736909768,"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."}}