{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004804404,0.0001905849,0.0002927548,0.0006682689,0.0003201931,0.00009770658,0.004155698,0.0001827136,0.0000110333],"category_scores_gemma":[0.0002664148,0.0002047119,0.0001028553,0.001720483,0.0002736531,0.0005821752,0.002107075,0.000558825,0.000120994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001303547,"about_ca_system_score_gemma":0.0001800179,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001765018,"about_ca_topic_score_gemma":0.001363894,"domain_scores_codex":[0.9981519,0.0004228776,0.0005107736,0.0004976487,0.00008803787,0.0003287678],"domain_scores_gemma":[0.9939203,0.001411064,0.0001588521,0.004237487,0.0002162973,0.0000559588],"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.00001867056,0.0006499398,0.01173195,0.0000220614,0.00003230239,0.000001587621,0.001844056,0.00001728189,0.0003320657,0.9579328,0.00283868,0.02457855],"study_design_scores_gemma":[0.002330313,0.0001153965,0.08696219,0.0001998518,0.00003560699,0.00003374152,0.0003272734,0.1022777,0.00158545,0.5982274,0.2072521,0.0006529721],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007779789,0.001931291,0.9576731,0.008338929,0.0004320916,0.0006657615,0.00002015041,0.0002258025,0.02293313],"genre_scores_gemma":[0.8009666,0.0002918034,0.1980818,0.0002560664,0.00001156468,0.0003034456,0.00006046304,0.000006918536,0.00002133559],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7931868,"threshold_uncertainty_score":0.8347908,"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."}}