Jonathan Bootle

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)