VeriLoRA: Fine-Tuning Large Language Models with Verifiable Security via Zero-Knowledge Proofs