Crypto Seminar - John Kolesar November 21, 2024 Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence