Jonathan Bootle

According to our database, Jonathan Bootle authored at least 30 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Formal Verification of the Sumcheck Protocol.

Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger

CoRR, 2024

The Sumcheck Protocol.

Azucena Garvía Bosshard, Christoph Sprenger, Jonathan Bootle

Arch. Formal Proofs, 2024

2023

A Framework for Practical Anonymous Credentials from Lattices.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Alessandro Sorniotti

IACR Cryptol. ePrint Arch., 2023

Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting Codes.

Jonathan Bootle, Sebastian H. Faller, Julia Hesse, Kristina Hostáková, Johannes Ottenhues

IACR Cryptol. ePrint Arch., 2023

DualDory: Logarithmic-Verifier Linkable Ring Signatures through Preprocessing.

Jonathan Bootle, Kaoutar Elkhiyaoui, Julia Hesse, Yacov Manevich

IACR Cryptol. ePrint Arch., 2023

Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification.

Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki

IACR Cryptol. ePrint Arch., 2023

2022

Gemini: Elastic SNARKs for Diverse Environments.

Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù

IACR Cryptol. ePrint Arch., 2022

Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field.

Jonathan Bootle, Alessandro Chiesa, Ziyi Guan, Siqi Liu

IACR Cryptol. ePrint Arch., 2022

Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier.

Jonathan Bootle, Alessandro Chiesa, Siqi Liu

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

Sumcheck Arguments and their Applications.

Jonathan Bootle, Alessandro Chiesa, Katerina Sotiraki

IACR Cryptol. ePrint Arch., 2021

2020

Foundations of Fully Dynamic Group Signatures.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth

J. Cryptol., 2020

More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler

IACR Cryptol. ePrint Arch., 2020

A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge.

Jonathan Bootle, Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler

IACR Cryptol. ePrint Arch., 2020

Zero-Knowledge Succinct Arguments with a Linear-Time Prover.

Jonathan Bootle, Alessandro Chiesa, Siqi Liu

IACR Cryptol. ePrint Arch., 2020

Linear-Time Arguments with Sublinear Verification from Tensor Codes.

Jonathan Bootle, Alessandro Chiesa, Jens Groth

IACR Cryptol. ePrint Arch., 2020

Compact Privacy Protocols from Post-quantum and Timed Classical Assumptions.

Jonathan Bootle, Anja Lehmann, Vadim Lyubashevsky, Gregor Seiler

Proceedings of the Post-Quantum Cryptography - 11th International Conference, 2020

2019

Designing efficient zero-knowledge proofs in the ideal linear commitment model.

Jonathan Bootle

PhD thesis, 2019

Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs.

Jonathan Bootle, Vadim Lyubashevsky, Gregor Seiler

IACR Cryptol. ePrint Arch., 2019

2018

Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials.

Jonathan Bootle, Jens Groth

IACR Cryptol. ePrint Arch., 2018

LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS.

Jonathan Bootle, Claire Delaplace, Thomas Espitau, Pierre-Alain Fouque, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2018

Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.

Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller

IACR Cryptol. ePrint Arch., 2018

Sub-Linear Lattice-Based Zero-Knowledge Arguments for Arithmetic Circuits.

Carsten Baum, Jonathan Bootle, Andrea Cerulli, Rafaël Del Pino, Jens Groth, Vadim Lyubashevsky

IACR Cryptol. ePrint Arch., 2018

Cryptanalysis of Compact-LWE.

Jonathan Bootle, Mehdi Tibouchi, Keita Xagawa

Proceedings of the Topics in Cryptology - CT-RSA 2018, 2018

Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution.

Jonathan Bootle, Andrea Cerulli, Jens Groth, Sune K. Jakobsen, Mary Maller

Proceedings of the Advances in Cryptology - ASIACRYPT 2018, 2018

2017

Bulletproofs: Short Proofs for Confidential Transactions and More.

Benedikt Bünz, Jonathan Bootle, Dan Boneh, Andrew Poelstra, Pieter Wuille, Gregory Maxwell

IACR Cryptol. ePrint Arch., 2017

Cryptanalysis of Compact-LWE.

Jonathan Bootle, Mehdi Tibouchi

IACR Cryptol. ePrint Arch., 2017

Linear-Time Zero-Knowledge Proofs for Arithmetic Circuit Satisfiability.

Jonathan Bootle, Andrea Cerulli, Essam Ghadafi, Jens Groth, Mohammad Hajiabadi, Sune K. Jakobsen

IACR Cryptol. ePrint Arch., 2017

2016

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth, Christophe Petit

IACR Cryptol. ePrint Arch., 2016

Efficient Zero-Knowledge Proof Systems.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Jens Groth

Proceedings of the Foundations of Security Analysis and Design VIII, 2016

2015

Short Accountable Ring Signatures Based on DDH.

Jonathan Bootle, Andrea Cerulli, Pyrros Chaidos, Essam Ghadafi, Jens Groth, Christophe Petit

IACR Cryptol. ePrint Arch., 2015