Isogeny-Based Zero-Knowledge Proofs and Their Applications