Lightweight Zero-Knowledge Proof-Based Authentication and Blockchain-Assisted Handover for VANETs (IEEE Open Journal of the Communications Society, 2026)