معرفی
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)
۰مقاله ثبتشده
