Linked Presentation: Mystique: Efficient Conversions for Zero-Knowledge Proofs with Applications to Machine Learning
