Pratyush Mishra

Pratyush Mishra is an Assistant Professor in the Department of Computer and Information Science at the University of Pennsylvania's School of Engineering and Applied Science, where he is a member of the Security and Privacy Laboratory. His academic career bridges theoretical cryptography with practical implementations in secure computation systems.

• University of Pennsylvania (Current)
• UC Berkeley (Alma Mater)

Dr. Mishra's research focuses on cryptography and computer security, particularly zkSNARKs, secure computation, and cryptographic proof systems. His work enables efficient privacy-preserving systems through innovations in zero-knowledge proofs and verifiable computation. He is a co-author and co-maintainer of the arkworks ecosystem, which provides foundational libraries for zkSNARK implementations used across industry and academia.

His recent publications demonstrate significant contributions to proof accumulation, delegation-friendly zkSNARKs, and scalable zero-knowledge systems. These works appear consistently in top-tier security and cryptography venues including CRYPTO, IEEE S&P, and USENIX Security.

• ACM SIGSAC Doctoral Dissertation Award Runner-Up (2022)

Dr. Mishra serves on prestigious program committees including IEEE S&P (2023-2026), CRYPTO (2023, 2025), and FC (2025). He currently advises five PhD students and teaches advanced cryptography courses covering both theoretical foundations and practical implementations of cryptographic systems. His research has practical impact through his role as founding scientist at Aleo, a startup based on his Zexe research project.