{"id":"W4416866370","doi":"10.1007/978-3-032-12287-2_12","title":"Linear Prover IOPs in Log Star Rounds","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Environment and Climate Change Canada; Israel Science Foundation; European Commission","keywords":"Gas meter prover; Oracle; Cryptography; Boolean function; Mathematical proof; Iterated function; Time complexity; Random oracle; Boolean circuit","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.00103769,0.0005690739,0.0005970827,0.001603188,0.0001900605,0.0005461423,0.004552023,0.0004320206,0.00002380503],"category_scores_gemma":[0.0001146371,0.0005373579,0.0001702305,0.001658696,0.0006357513,0.001003087,0.002405852,0.001308013,0.00002824919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002775666,"about_ca_system_score_gemma":0.0008893532,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001180511,"about_ca_topic_score_gemma":0.0006793013,"domain_scores_codex":[0.9956418,0.00004684208,0.0006227177,0.001961213,0.0009345157,0.0007929534],"domain_scores_gemma":[0.9969698,0.0004639268,0.000206148,0.0020197,0.0001841532,0.0001563398],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00002341709,0.0001495018,0.0005087645,0.0001631647,0.00002038464,0.0003197487,0.001329121,0.005263816,0.00005857807,0.3893616,0.0002790299,0.6025229],"study_design_scores_gemma":[0.000594291,0.0002230191,0.0006654521,0.0007934359,0.000009118322,0.00003348726,2.62669e-7,0.4217842,0.0004379968,0.5533381,0.02099262,0.001127982],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001344657,0.000577295,0.9908221,0.0007192753,0.001872976,0.0004718698,0.00002874092,0.0001572922,0.00521596],"genre_scores_gemma":[0.06658901,0.0001752939,0.9275976,0.004416062,0.00070925,0.00002638137,0.00004037181,0.00004081052,0.0004052659],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6013949,"threshold_uncertainty_score":0.9997078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01272941339624337,"score_gpt":0.2454670793359723,"score_spread":0.2327376659397289,"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."}}