Jonathan Lee

According to our database, Jonathan Lee authored at least 10 papers between 2018 and 2023.

Collaborative distances:

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

2023

Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2021

Linear-time zero-knowledge SNARKs for R1CS.

Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

Brakedown: Linear-time and post-quantum SNARKs for R1CS.

Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2021

2020

Verifiable state machines: Proofs that untrusted services operate correctly.

Srinath T. V. Setty, Sebastian Angel, Jonathan Lee

ACM SIGOPS Oper. Syst. Rev., 2020

Quarks: Quadruple-efficient transparent zkSNARKs.

Srinath T. V. Setty, Jonathan Lee

IACR Cryptol. ePrint Arch., 2020

Replicated state machines without replicated execution.

Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty

IACR Cryptol. ePrint Arch., 2020

Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitments.

Jonathan Lee

IACR Cryptol. ePrint Arch., 2020

The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves.

Jonathan Lee

IACR Cryptol. ePrint Arch., 2020

2019

Veritas: Shared Verifiable Databases and Tables in the Cloud.

Johannes Gehrke, Lindsay Allen, Panagiotis Antonopoulos, Arvind Arasu, Joachim Hammer, James Hunter, Raghav Kaushik, Donald Kossmann, Ravi Ramamurthy, Srinath T. V. Setty, Jakub Szymaszek, Alexander van Renen, Jonathan Lee, Ramarathnam Venkatesan

Proceedings of the 9th Biennial Conference on Innovative Data Systems Research, 2019

2018

Proving the correct execution of concurrent services in zero-knowledge.

Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

IACR Cryptol. ePrint Arch., 2018