Devcon (2024): What don’t we know? Understanding Security Vulnerabilities in SNARKs