Verifiable Split Learning via zk-SNARKs