Linked Presentation: MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKsSEAL: Attack Mitigation for Encrypted Databases via Adjustable Leakage