Seminar Presentation @ETH’s AST Lab (2023): ZK Security and Formal Methods