{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004240633,0.0008333499,0.000812966,0.001053605,0.001984606,0.003041027,0.002703754,0.002358638,0.02445864],"category_scores_gemma":[0.01826236,0.0006827097,0.0006524956,0.0008709988,0.005275535,0.007406652,0.00291978,0.004609734,0.00154077],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001739594,"about_ca_system_score_gemma":0.001309858,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003067015,"about_ca_topic_score_gemma":0.0003297859,"domain_scores_codex":[0.9961708,0.001647677,0.0001248542,0.0004313976,0.001248939,0.0003763955],"domain_scores_gemma":[0.9845389,0.009175509,0.0007597264,0.003937012,0.001054938,0.0005339487],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00006028284,0.00005489134,0.0001214728,0.00003904939,0.000007583292,0.00001891116,0.00008337489,0.000570995,0.000565962,0.9956275,0.001280855,0.001569236],"study_design_scores_gemma":[0.0000672229,0.00004678749,0.0001693467,0.00002797426,0.00001240723,0.00009271886,0.00005046448,0.005978792,0.002234715,0.9878867,0.00341571,0.00001728557],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.2574863,0.001399823,0.2779133,0.01189995,0.00177537,0.0002532733,0.000822202,0.001462429,0.4469873],"genre_scores_gemma":[0.9569263,0.0003387007,0.02592216,0.0007563886,0.0004209066,0.0001259805,0.0001924841,0.0001833842,0.01513368],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02445864,"threshold_uncertainty_score":0.08182234,"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."}}