Linked Presentation: MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs
