{"id":"W7092295697","doi":"10.5281/zenodo.17381316","title":"Towards Practical Zero-Knowledge Proof for PSPACE","year":2025,"lang":"en","type":"other","venue":"Zenodo (CERN European Organization for Nuclear Research)","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"PSPACE; Code (set theory); Cryptographic protocol; Key (lock); Source code","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.005054403,0.001332769,0.001176055,0.002220654,0.00155866,0.0047882,0.003653313,0.001847587,0.07260303],"category_scores_gemma":[0.01810141,0.001207993,0.001475477,0.002966983,0.002819797,0.008452562,0.00756994,0.007299201,0.04183917],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002665783,"about_ca_system_score_gemma":0.004114507,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001659739,"about_ca_topic_score_gemma":0.002077885,"domain_scores_codex":[0.9932656,0.001245903,0.0003338643,0.0007195675,0.003840421,0.0005945599],"domain_scores_gemma":[0.9853879,0.00620321,0.0003006219,0.003980269,0.003653954,0.0004741056],"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.0002503368,0.0001578095,0.0001531619,0.00069498,0.00003770904,0.000140527,0.0002079328,0.01286725,0.005021056,0.7000907,0.1387424,0.1416361],"study_design_scores_gemma":[0.0001697469,0.00006477262,0.00009481896,0.0002352831,0.00002989062,0.0002622778,0.00005028805,0.06337173,0.01121552,0.715865,0.2085814,0.00005928743],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002371636,0.0007537049,0.8842839,0.004765593,0.0008755933,0.0003838824,0.00204665,0.01388121,0.09063791],"genre_scores_gemma":[0.1367245,0.003509265,0.7300605,0.003845813,0.001399453,0.001221376,0.0158301,0.01378776,0.09362125],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.07260303,"threshold_uncertainty_score":0.2428814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04087906106923742,"score_gpt":0.3010078348906972,"score_spread":0.2601287738214597,"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."}}