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