{"id":"W4417003986","doi":"10.1109/blockchain67634.2025.00028","title":"RzkFL: a Verifiable, Fast and Privacy-Preserving Framework for Federated Learning Inference Using Recursive Zero-Knowledge Proofs and on-Chain Verification","year":2025,"lang":"","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"TD Bank Group; École de Technologie Supérieure","funders":"","keywords":"Mathematical proof; Verifiable secret sharing; Delegate; Proof of concept; Formal proof; Inference; Scheme (mathematics); Cryptography","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":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0009894338,0.0005300312,0.0005469521,0.0004927932,0.001975488,0.002164738,0.0008894906,0.0004542811,0.00002208735],"category_scores_gemma":[0.002850369,0.0005593207,0.00009979479,0.001859227,0.0003070727,0.001242462,0.001622222,0.0008915912,0.000003417901],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009354419,"about_ca_system_score_gemma":0.0004359029,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001336017,"about_ca_topic_score_gemma":0.00004191673,"domain_scores_codex":[0.9963605,0.0003774566,0.000657423,0.00159984,0.0002558195,0.0007488905],"domain_scores_gemma":[0.996292,0.001631271,0.0003296072,0.0009523598,0.0005393162,0.0002554634],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000389042,0.0003927704,0.004868906,0.001006221,0.0001633506,0.000003699189,0.009442552,0.0006132066,0.001126022,0.8429154,0.0004128716,0.138666],"study_design_scores_gemma":[0.001064343,0.0005257303,0.002530256,0.002240553,0.00007693312,0.000004999069,0.0008146447,0.8136457,0.002164313,0.1728231,0.003435502,0.0006739107],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07385056,0.002097091,0.9200224,0.0006521673,0.0006011679,0.001470284,0.00003425119,0.0001509862,0.001121056],"genre_scores_gemma":[0.8178014,0.0005212827,0.1811614,0.0002111831,0.00007115155,0.0000804293,0.00002797868,0.00002298528,0.000102238],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8130325,"threshold_uncertainty_score":0.9996858,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03536823710981656,"score_gpt":0.3242996731686751,"score_spread":0.2889314360588586,"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."}}