Verifiable Split Learning via zk-SNARKs. - Rana Alaa; Darío González-Ferreiro; Carlos Beis-Penedo; Manuel Fernández-Veiga; Rebeca P. Díaz Redondo; Ana Fernández Vilas (CoRR, 2025)