Jonathan Lee

13 papers A* 2A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2023 — conf
Brakedown: Linear-Time and Field-Agnostic SNARKs for R1CS.
CRYPTO (2)
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 J jnl
Brakedown: Linear-time and post-quantum SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Alexander Golovnev, Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2021 J jnl
Linear-time zero-knowledge SNARKs for R1CS.
IACR Cryptol. ePrint Arch.
Jonathan Lee, Srinath T. V. Setty, Justin Thaler, Riad S. Wahby
2020 J jnl
Dory: Efficient, Transparent arguments for Generalised Inner Products and Polynomial Commitments.
IACR Cryptol. ePrint Arch.
Jonathan Lee
2020 J jnl
Quarks: Quadruple-efficient transparent zkSNARKs.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Jonathan Lee
2020 A* conf
Replicated state machines without replicated execution.
SP
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
2020 J jnl
Replicated state machines without replicated execution.
IACR Cryptol. ePrint Arch.
Jonathan Lee, Kirill Nikitin, Srinath T. V. Setty
2020 J jnl
The security of Groups of Unknown Order based on Jacobians of Hyperelliptic Curves.
IACR Cryptol. ePrint Arch.
Jonathan Lee
2020 J jnl
Verifiable state machines: Proofs that untrusted services operate correctly.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
2020 J jnl
Verifiable state machines: Proofs that untrusted services operate correctly.
ACM SIGOPS Oper. Syst. Rev.
Srinath T. V. Setty, Sebastian Angel, Jonathan Lee
2019 A conf
Veritas: Shared Verifiable Databases and Tables in the Cloud.
CIDR
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
2018 A* conf
Proving the correct execution of concurrent services in zero-knowledge.
OSDI
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee
2018 J jnl
Proving the correct execution of concurrent services in zero-knowledge.
IACR Cryptol. ePrint Arch.
Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee