Seminar Presentation @QMUL Theory Group (2024): SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs