-
Linear Prover IOPs in Log Star Rounds
Noor Athamnah, Noga Ron-Zewi and Ron D. Rothblum
TCC 2025
-
How to Prove False Statements: Practical Attacks on Fiat-Shamir
Dmitry Khovratovich, Ron D. Rothblum and Lev Soukhanov
CRYPTO 2025
-
Zero-Knowledge in Streaming Interactive Proofs
Tomer Gewirtzman and Ron D. Rothblum
CRYPTO 2025
-
Blaze: Fast SNARKs from Interleaved RAA Codes
Martijn Brehm, Binyi Chen, Ben Fisch, Nicolas Resch, Ron D. Rothblum and Hadas Zeilberger
Eurocrypt 2025
-
Fiat-Shamir in the Plain Model from Derandomization (Or: Do Efficient Algorithms Believe that NP = PSPACE?)
Lijie Chen, Ron D. Rothblum and Roei Tell
STOC 2025
-
Locally Testable Tree Codes
Tamer Mour, Alon Rosen, Ron D. Rothblum
SODA 2025
-
Doubly-Efficient Batch Verification in Statistical Zero-Knowledge
Or Keret, Ron D. Rothblum and Prashant Nalini Vasudevan
TCC 2024
-
Rate-1 Zero-Knowledge Proofs from One-Way Functions
Noor Athamnah, Eden Florentz-Konopnicki, Ron D. Rothblum
TCC 2024
-
Dot-Product Proofs and Their Applications
Nir Bitansky, Prahladh Harsha, Yuval Ishai, Ron D. Rothblum and David J. Wu
FOCS 2024 · Journal Version: invited to SICOMP, 2024
-
Distribution-Free Proofs of Proximity
Hugo Aaronson, Tom Gur, Ninad Rajgopal and Ron D. Rothblum
CCC 2024
-
Linear-Size Circuits for Multiselection
Justin Holmgren and Ron D. Rothblum
CCC 2024
-
Batch Proofs are Statistically Hiding
Nir Bitansky, Chetan Kamath, Omer Paneth, Ron D. Rothblum and Prashant Nalini Vasudevan
STOC 2024
-
Strong Batching for Non-Interactive Statistical Zero-Knowledge
Changrui Mu, Shafik Nassar, Ron D. Rothblum and Prashant Nalini Vasudevan
Eurocrypt 2024
-
PPAD is as Hard as LWE and Iterated Squaring
Nir Bitansky, Arka Rai Choudhuri, Justin Holmgren, Chethan Kamath, Alex Lombardi, Omer Paneth and Ron D. Rothblum
TCC 2022
-
Unstructured Hardness to Average-Case Randomness
Lijie Chen, Ron D. Rothblum and Roei Tell
FOCS 2022
-
Collision-Resistance from Multi-Collision-Resistance
Ron D. Rothblum and Prashant Nalini Vasudevan
Crypto 2022 · Journal Version: invited to Journal of Cryptology 2022
-
Succinct Interactive Oracle Proofs: Applications and Limitations
Shafik Nassar and Ron D. Rothblum
Crypto 2022
-
Faster Sounder Succinct Arguments and IOPs
Justin Holmgren and Ron D. Rothblum
Crypto 2022
-
Delegation for Search Problems
Justin Holmgren, Andrea Lincoln and Ron D. Rothblum
ICALP 2022
-
Proving as Fast as Computing: Succinct Arguments with Constant Prover Overhead
Noga Ron-Zewi and Ron D. Rothblum
STOC 2022 · Journal Version: JACM 2025
-
PCPs and Instance Compression from a Cryptographic Lens
Liron Bronfman and Ron D. Rothblum
ITCS 2022
-
Small Circuits Imply Efficient Arthur-Merlin Protocols
Michael Ezra and Ron D. Rothblum
ITCS 2022
-
Batch Verification for Statistical Zero Knowledge Proofs
Inbar Kaslasi, Guy N. Rothblum, Ron D. Rothblum, Adam Sealfon and Prashant Nalini Vasudevan
TCC 2020
-
Batch Verification and Proofs of Proximity with Polylog Overhead
Guy N. Rothblum and Ron D. Rothblum
TCC 2020
-
Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overhead
Alexander R. Block, Justin Holmgren, Alon Rosen, Ron D. Rothblum and Pratik Soni
TCC 2020
-
On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds
Lijie Chen, Ron D. Rothblum, Roei Tell and Eylon Yogev
FOCS 2020 · Journal Version: JACM 2023
-
Local Proofs Approaching the Witness Length
Noga Ron-Zewi and Ron D. Rothblum
FOCS 2020 · Journal Version: JACM 2024
-
Hard Properties with (very) Short PCPPs and their Applications
Omri Ben-Eliezer, Eldar Fischer, Amit Levi and Ron D. Rothblum
ITCS 2020
-
On the (In)security of Kilian-Based SNARGs
James Bartusek, Liron Bronfman, Justin Holmgren, Fermi Ma and Ron D. Rothblum
TCC 2019
-
Statistical Difference Beyond the Polarizing Regime
Itay Berman, Akshay Degwekar, Ron D. Rothblum and Prashant Nalini Vasudevan
TCC 2019
-
New Constructions of Reusable Designated-Verifier NIZKs
Alex Lombardi, Willy Quach, Ron D. Rothblum, Daniel Wichs and David Wu
Crypto 2019
-
Fiat-Shamir: from Practice to Theory
Ran Canetti, Yilei Chen, Justin Holmgren, Alex Lombardi, Guy N. Rothblum, Ron D. Rothblum and Daniel Wichs
STOC 2019
Merge of CCHLRR and CLW
-
Reusable Designated-Verifier NIZKs for all NP from CDH
Willy Quach, Ron D. Rothblum and Daniel Wichs
Eurocrypt 2019
-
Towards Non-Interactive Zero-Knowledge for NP from LWE
Ron D. Rothblum, Adam Sealfon and Katerina Sotiraki
PKC 2019 · Journal Version: invited to Journal of Cryptology, 2021
-
Delegating Computations with (almost) Minimal Time and Space Overhead
Justin Holmgren and Ron D. Rothblum
FOCS 2018
-
From Laconic Zero-Knowledge to Public-Key Cryptography
Itay Berman, Akshay Degwekar, Ron D. Rothblum and Prashant Nalini Vasudevan
CRYPTO 2018
-
An Exponential Separation Between MA and AM Proofs of Proximity
Tom Gur, Yang P. Liu and Ron D. Rothblum
ICALP 2018
-
Efficient Batch Verification for UP
Omer Reingold, Guy N. Rothblum and Ron D. Rothblum
CCC 2018
-
Fiat-Shamir and Correlation Intractability from Strong KDM-Secure Encryption
Ran Canetti, Yilei Chen, Leonid Reyzin and Ron D. Rothblum
Eurocrypt 2018
-
Multi Collision Resistant Hash Functions and their Applications
Itay Berman, Akshay Degwekar, Ron D. Rothblum and Prashant Nalini Vasudevan
Eurocrypt 2018
-
Zero-Knowledge Proofs of Proximity
Itay Berman, Ron D. Rothblum and Vinod Vaikuntanathan
ITCS 2018
-
Relaxed Locally Correctable Codes
Tom Gur, Govind Ramnarayan and Ron D. Rothblum
ITCS 2018 · Journal Version: Theory of Computing, 2020