{"id":"W4385654123","doi":"10.1007/978-3-031-38554-4_17","title":"LaBRADOR: Compact Proofs for R1CS from Module-SIS","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":50,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Mathematical proof; Hash function; Computer science; Cryptography; Combinatorial proof; Lattice (music); Proof of concept; Theoretical computer science; Discrete mathematics; Algorithm; Mathematics; Programming language; Physics","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.0008590214,0.0006746638,0.0007429338,0.001081034,0.0004015431,0.0009272749,0.005163441,0.0004262775,0.00002388991],"category_scores_gemma":[0.0001208516,0.0006266772,0.0003504088,0.001151996,0.0006497249,0.0008999684,0.001395423,0.000788937,0.00007821964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001702464,"about_ca_system_score_gemma":0.0003543502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002131583,"about_ca_topic_score_gemma":0.0005422306,"domain_scores_codex":[0.9951173,0.00003431196,0.0006006767,0.002271299,0.001070818,0.0009055744],"domain_scores_gemma":[0.99571,0.001141847,0.0003169683,0.00230591,0.0002523053,0.0002729832],"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.00002488926,0.00008068725,0.0001121204,0.00007761717,0.0000590807,0.00007419712,0.001359174,0.007345438,0.0001047617,0.1841498,0.001093538,0.8055187],"study_design_scores_gemma":[0.0003747182,0.0001633889,0.0004843724,0.0002582181,0.00001536487,0.000009722919,2.034933e-7,0.3425611,0.0006550619,0.6484804,0.006225407,0.0007719806],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001280558,0.0003456718,0.9930706,0.001101305,0.002962567,0.0008140034,0.0003809213,0.0005242269,0.0006726205],"genre_scores_gemma":[0.07058792,0.0001052507,0.9243895,0.002495777,0.001717694,0.0000451893,0.0003054202,0.000127038,0.0002262115],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8047467,"threshold_uncertainty_score":0.9996185,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02655264426282843,"score_gpt":0.2574774854964146,"score_spread":0.2309248412335862,"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."}}