Jonathan BootleView profile
Researcher
Jonathan Bootle is a cryptography researcher in the Foundational Cryptography group at IBM Research – Zurich , specializing in efficient zero-knowledge proofs. He holds a PhD from University College London and a Mathematics degree from Clare College, University of Cambridge . Education : PhD (UCL), Mathematics (Part III, Cambridge) His research focuses on zero-knowledge proofs , lattice-based cryptography , and error-correcting codes , with applications in post-quantum security. Recent work includes formal verification of protocols, elastic SNARKs, and generalized key exchange mechanisms. Key publication trends: 2024: Formal verification of sumcheck protocol 2023: Lattice-based credentials and succinct arguments 2022: Gemini SNARKs and DualDory linkable signatures He teaches the 2024 ETH Zurich course on Zero-Knowledge Proofs , covering sigma protocols, Fiat-Shamir transformations, and polynomial commitments. Labs/Teams: Foundational Cryptography group, IBM Security Department Collaborations with UC Berkeley (Alessandro Chiesa) and UCL (Jens Groth)










