| Nova: Recursive Zero-Knowledge Arguments from Folding Schemes A Kothapalli, S Setty, I Tzialla | 275 | 2021 |
| HyperNova: Recursive arguments for customizable constraint systems A Kothapalli, S Setty Annual International Cryptology Conference, 345-379, 2024 | 108 | 2024 |
| Storing and retrieving secrets on a blockchain V Goyal, A Kothapalli, E Masserova, B Parno, Y Song IACR International Conference on Public-Key Cryptography, 252-282, 2022 | 94 | 2022 |
| SuperNova: Proving universal machine executions without universal circuits A Kothapalli, S Setty Cryptology ePrint Archive, 2022 | 72 | 2022 |
| Algebraic reductions of knowledge A Kothapalli, B Parno Annual International Cryptology Conference, 669-701, 2023 | 47 | 2023 |
| Transparency dictionaries with succinct proofs of correct operation I Tzialla, A Kothapalli, B Parno, S Setty Cryptology ePrint Archive, 2021 | 42 | 2021 |
| Cyclefold: Folding-scheme-based recursive arguments over a cycle of elliptic curves A Kothapalli, S Setty Cryptology ePrint Archive, 2023 | 29 | 2023 |
| Smartcast: An incentive compatible consensus protocol using smart contracts A Kothapalli, A Miller, N Borisov International Conference on Financial Cryptography and Data Security, 536-552, 2017 | 27 | 2017 |
| Poppins: A direct construction for asymptotically optimal zkSNARKs A Kothapalli, E Masserova, B Parno Cryptology ePrint Archive, 2020 | 24 | 2020 |
| NeutronNova: Folding everything that reduces to zero-check A Kothapalli, S Setty Cryptology ePrint Archive, 2024 | 18 | 2024 |
| A Theory of Composition for Proofs of Knowledge A Kothapalli Carnegie Mellon University, 2024 | 6 | 2024 |
| A framework for witness encryption from linearly verifiable SNARKs and applications S Garg, M Hajiabadi, D Kolonelos, A Kothapalli, GV Policharla Annual International Cryptology Conference, 504-539, 2025 | 3 | 2025 |
| ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs J Kim, A Kothapalli, O Chardouvelis, RS Wahby, P Grubbs 2025 IEEE Symposium on Security and Privacy (SP), 3364-3382, 2025 | 3 | 2025 |
| A bribery framework using smartcontracts A Kothapalli, C Cordi | 1 | 2017 |
| Regex-Based Linkography Abstraction Refinement for Information Security A Kothapalli, R Mitchell Proceedings of the Fourth ACM International Workshop on Security and Privacy …, 2018 | | 2018 |
Srinath SettySenior Principal Researcher at Microsoft ResearchVerified email at microsoft.com
