{"id":"W4414869624","doi":"10.62056/angy11fgx","title":"zkMaP: Zero-Knowledge Succinct Non-Interactive Matrix Multiplication Proofs","year":2025,"lang":"en","type":"article","venue":"IACR Communications in Cryptology","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Mathematical proof; Matrix multiplication; Reduction (mathematics); Multiplication (music); Scalability; Matrix (chemical analysis); Speedup; Pairing","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.003607611,0.0008991868,0.0007445939,0.000868876,0.001040913,0.003322451,0.00389167,0.00118447,0.0166066],"category_scores_gemma":[0.01214657,0.00105967,0.0009919462,0.0008237895,0.002043688,0.007921811,0.007614361,0.003444732,0.004898983],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009081941,"about_ca_system_score_gemma":0.003240425,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006192913,"about_ca_topic_score_gemma":0.0008611513,"domain_scores_codex":[0.9953582,0.001269216,0.0003026832,0.0005629904,0.002026165,0.0004807963],"domain_scores_gemma":[0.9914393,0.003527274,0.0006797598,0.003196703,0.0008732331,0.0002837452],"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.001192349,0.0003311069,0.001260583,0.001435874,0.0001667879,0.0008760588,0.0009310295,0.04531139,0.05281619,0.6037438,0.02675971,0.2651752],"study_design_scores_gemma":[0.0003764701,0.000459766,0.0005402872,0.0002024544,0.00009193487,0.0009104636,0.0001850742,0.4198863,0.1781585,0.3306802,0.06832583,0.0001827304],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00670358,0.0001486359,0.9808772,0.0003414912,0.00009819927,0.0002552718,0.0004416174,0.006512655,0.004621343],"genre_scores_gemma":[0.5026084,0.0005738078,0.4810437,0.0004866144,0.0001643635,0.0006591094,0.001710438,0.001412278,0.01134135],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0166066,"threshold_uncertainty_score":0.05555463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02046300906745037,"score_gpt":0.3656531668869679,"score_spread":0.3451901578195176,"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."}}