Short Accountable Ring Signatures Based on DDH. - Jonathan Bootle; Andrea Cerulli; Pyrros Chaidos; Essam Ghadafi; Jens Groth; Christophe Petit 001 (IACR Cryptol. ePrint Arch., 2015)

Efficient Zero-Knowledge Proof Systems. - Jonathan Bootle; Andrea Cerulli; Pyrros Chaidos; Jens Groth (FOSAD, 2016)

Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting. - Jonathan Bootle; Andrea Cerulli; Pyrros Chaidos; Jens Groth; Christophe Petit 001 (IACR Cryptol. ePrint Arch., 2016)

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)

Cryptanalysis of Compact-LWE. - Jonathan Bootle; Mehdi Tibouchi (IACR Cryptol. ePrint Arch., 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)

Arya: Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution. - Jonathan Bootle; Andrea Cerulli; Jens Groth; Sune K. Jakobsen; Mary Maller (ASIACRYPT (1), 2018)

Cryptanalysis of Compact-LWE. - Jonathan Bootle; Mehdi Tibouchi; Keita Xagawa (CT-RSA, 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)

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)

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)

Efficient Batch Zero-Knowledge Arguments for Low Degree Polynomials. - Jonathan Bootle; Jens Groth (IACR Cryptol. ePrint Arch., 2018)

Algebraic Techniques for Short(er) Exact Lattice-Based Zero-Knowledge Proofs. - Jonathan Bootle; Vadim Lyubashevsky; Gregor Seiler (IACR Cryptol. ePrint Arch., 2019)

Designing efficient zero-knowledge proofs in the ideal linear commitment model. - Jonathan Bootle (2019)

Compact Privacy Protocols from Post-quantum and Timed Classical Assumptions. - Jonathan Bootle; Anja Lehmann; Vadim Lyubashevsky; Gregor Seiler (PQCrypto, 2020)

Linear-Time Arguments with Sublinear Verification from Tensor Codes. - Jonathan Bootle; Alessandro Chiesa; Jens Groth (IACR Cryptol. ePrint Arch., 2020)

Zero-Knowledge Succinct Arguments with a Linear-Time Prover. - Jonathan Bootle; Alessandro Chiesa; Siqi Liu 005 (IACR Cryptol. ePrint Arch., 2020)

A non-PCP Approach to Succinct Quantum-Safe Zero-Knowledge. - Jonathan Bootle; Vadim Lyubashevsky; Ngoc Khanh Nguyen 001; Gregor Seiler (IACR Cryptol. ePrint Arch., 2020)

More Efficient Amortization of Exact Zero-Knowledge Proofs for LWE. - Jonathan Bootle; Vadim Lyubashevsky; Ngoc Khanh Nguyen 001; Gregor Seiler (IACR Cryptol. ePrint Arch., 2020)

Foundations of Fully Dynamic Group Signatures. - Jonathan Bootle; Andrea Cerulli; Pyrros Chaidos; Essam Ghadafi; Jens Groth (J. Cryptol., 2020)

Sumcheck Arguments and their Applications. - Jonathan Bootle; Alessandro Chiesa; Katerina Sotiraki (IACR Cryptol. ePrint Arch., 2021)

Zero-Knowledge IOPs with Linear-Time Prover and Polylogarithmic-Time Verifier. - Jonathan Bootle; Alessandro Chiesa; Siqi Liu 005 (EUROCRYPT (2), 2022)

Linear-Time Probabilistic Proofs with Sublinear Verification for Algebraic Automata Over Every Field. - Jonathan Bootle; Alessandro Chiesa; Ziyi Guan; Siqi Liu 005 (IACR Cryptol. ePrint Arch., 2022)

Gemini: Elastic SNARKs for Diverse Environments. - Jonathan Bootle; Alessandro Chiesa; Yuncong Hu; Michele Orrù (IACR Cryptol. ePrint Arch., 2022)

Lattice-Based Succinct Arguments for NP with Polylogarithmic-Time Verification. - Jonathan Bootle; Alessandro Chiesa; Katerina Sotiraki (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)

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)

A Framework for Practical Anonymous Credentials from Lattices. - Jonathan Bootle; Vadim Lyubashevsky; Ngoc Khanh Nguyen 001; Alessandro Sorniotti (IACR Cryptol. ePrint Arch., 2023)

Formal Verification of the Sumcheck Protocol. - Azucena Garvía Bosshard; Jonathan Bootle; Christoph Sprenger 001 (CSF, 2024)

The Sumcheck Protocol. - Azucena Garvía Bosshard; Christoph Sprenger 001; Jonathan Bootle (Arch. Formal Proofs, 2024)

Efficient Verifiable Mixnets from Lattices, Revisited. - Jonathan Bootle; Vadim Lyubashevsky; Antonio Merino-Gallardo (IACR Cryptol. ePrint Arch., 2025)