Crypto Seminar - John Kolesar Zero-Knowledge Proofs for SMT Theorems and Regular Expression Equivalence