Enable efficient zero-knowledge proofs based post-quantum digital signature schemes (MITACS - BTQ Project, 2024-2025)