Ron Rothblum

Orcid: 0000-0001-5481-7276

According to our database1, Ron Rothblum authored at least 77 papers between 2005 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Jagged Polynomial Commitments (or: How to Stack Multilinears).
IACR Cryptol. ePrint Arch., 2025

Tree PCPs.
Electron. Colloquium Comput. Complex., 2025

Linear Prover IOPs in Log Star Rounds.
Electron. Colloquium Comput. Complex., 2025

Fiat-Shamir in the Plain Model from Derandomization (Or: Do Efficient Algorithms Believe that NP = PSPACE?).
Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

Locally Testable Tree Codes.
Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, 2025

Blaze: Fast SNARKs from Interleaved RAA Codes.
Proceedings of the Advances in Cryptology - EUROCRYPT 2025, 2025

How to Prove False Statements: Practical Attacks on Fiat-Shamir.
Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

Zero-Knowledge in Streaming Interactive Proofs.
Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024
A Note on Efficient Computation of the Multilinear Extension.
IACR Cryptol. ePrint Arch., 2024

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge.
Proceedings of the Theory of Cryptography - 22nd International Conference, 2024

Rate-1 Zero-Knowledge Proofs from One-Way Functions.
Proceedings of the Theory of Cryptography - 22nd International Conference, 2024

Batch Proofs Are Statistically Hiding.
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

Dot-Product Proofs and Their Applications.
Proceedings of the 65th IEEE Annual Symposium on Foundations of Computer Science, 2024

Strong Batching for Non-interactive Statistical Zero-Knowledge.
Proceedings of the Advances in Cryptology - EUROCRYPT 2024, 2024

Linear-Size Boolean Circuits for Multiselection.
Proceedings of the 39th Computational Complexity Conference, 2024

Distribution-Free Proofs of Proximity.
Proceedings of the 39th Computational Complexity Conference, 2024

2023
Combinatorially Homomorphic Encryption.
Proceedings of the Theory of Cryptography - 21st International Conference, 2023

Efficient Interactive Proofs for Non-Deterministic Bounded Space.
Proceedings of the Approximation, 2023

2022
Faster Sounder Succinct Arguments and IOPs.
IACR Cryptol. ePrint Arch., 2022

PPAD is as Hard as LWE and Iterated Squaring.
Proceedings of the Theory of Cryptography - 20th International Conference, 2022

Proving as fast as computing: succinct arguments with constant prover overhead.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Small Circuits Imply Efficient Arthur-Merlin Protocols.
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

PCPs and Instance Compression from a Cryptographic Lens.
Proceedings of the 13th Innovations in Theoretical Computer Science Conference, 2022

Delegation for Search Problems.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

Unstructured Hardness to Average-Case Randomness.
Proceedings of the 63rd IEEE Annual Symposium on Foundations of Computer Science, 2022

Collision-Resistance from Multi-Collision-Resistance.
Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Succinct Interactive Oracle Proofs: Applications and Limitations.
Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Faster Sounder Succinct Arguments and sfIOPs.
Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

2021
Toward Non-interactive Zero-Knowledge Proofs for NP from LWE.
J. Cryptol., 2021

Fiat-Shamir via list-recoverable codes (or: parallel repetition of GMW is not zero-knowledge).
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

Public-Coin Statistical Zero-Knowledge Batch Verification Against Malicious Verifiers.
Proceedings of the Advances in Cryptology - EUROCRYPT 2021, 2021

Time- and Space-Efficient Arguments from Groups of Unknown Order.
Proceedings of the Advances in Cryptology - CRYPTO 2021, 2021

2020
Batch Verification and Proofs of Proximity with Polylog Overhead.
Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Batch Verification for Statistical Zero Knowledge Proofs.
Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Public-Coin Zero-Knowledge Arguments with (almost) Minimal Time and Space Overheads.
Proceedings of the Theory of Cryptography - 18th International Conference, 2020

Hard Properties with (Very) Short PCPPs and Their Applications.
Proceedings of the 11th Innovations in Theoretical Computer Science Conference, 2020

Local Proofs Approaching the Witness Length [Extended Abstract].
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds: Extended Abstract.
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020

2019
Local Proofs Approaching the Witness Length.
Electron. Colloquium Comput. Complex., 2019

On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds.
Electron. Colloquium Comput. Complex., 2019

Statistical Difference Beyond the Polarizing Regime.
Proceedings of the Theory of Cryptography - 17th International Conference, 2019

On the (In)security of Kilian-Based SNARGs.
Proceedings of the Theory of Cryptography - 17th International Conference, 2019

Fiat-Shamir: from practice to theory.
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019

Towards Non-Interactive Zero-Knowledge for NP from LWE.
Proceedings of the Public-Key Cryptography - PKC 2019, 2019

Reusable Designated-Verifier NIZKs for all NP from CDH.
Proceedings of the Advances in Cryptology - EUROCRYPT 2019, 2019

New Constructions of Reusable Designated-Verifier NIZKs.
Proceedings of the Advances in Cryptology - CRYPTO 2019, 2019

2018
Fiat-Shamir From Simpler Assumptions.
IACR Cryptol. ePrint Arch., 2018

Relaxed Locally Correctable Codes.
Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

Zero-Knowledge Proofs of Proximity.
Proceedings of the 9th Innovations in Theoretical Computer Science Conference, 2018

An Exponential Separation Between MA and AM Proofs of Proximity.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Delegating Computations with (Almost) Minimal Time and Space Overhead.
Proceedings of the 59th IEEE Annual Symposium on Foundations of Computer Science, 2018

Fiat-Shamir and Correlation Intractability from Strong KDM-Secure Encryption.
Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

Multi-Collision Resistant Hash Functions and Their Applications.
Proceedings of the Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29, 2018

From Laconic Zero-Knowledge to Public-Key Cryptography - Extended Abstract.
Proceedings of the Advances in Cryptology - CRYPTO 2018, 2018

Efficient Batch Verification for UP.
Proceedings of the 33rd Computational Complexity Conference, 2018

2017
From Laconic Zero-Knowledge to Public-Key Cryptography.
Electron. Colloquium Comput. Complex., 2017

A Hierarchy Theorem for Interactive Proofs of Proximity.
Proceedings of the 8th Innovations in Theoretical Computer Science Conference, 2017

From Obfuscation to the Security of Fiat-Shamir for Proofs.
Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

Distinguisher-Dependent Simulation in Two Rounds and its Applications.
Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

2016
Constant-round interactive proofs for delegating computation.
Proceedings of the 48th Annual ACM SIGACT Symposium on Theory of Computing, 2016

Spooky Encryption and Its Applications.
Proceedings of the Advances in Cryptology - CRYPTO 2016, 2016

2015
Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs.
Electron. Colloquium Comput. Complex., 2015

Non-Interactive Proofs of Proximity.
Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, 2015

Proofs of Proximity for Context-Free Languages and Read-Once Branching Programs - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Arguments of Proximity - [Extended Abstract].
Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

2014
How to delegate computations: the power of no-signaling proofs.
Proceedings of the Symposium on Theory of Computing, 2014

Pseudorandom Graphs in Data Structures.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Fast Pseudorandomness for Independence and Load Balancing - (Extended Abstract).
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013
Efficient Multiparty Protocols via Log-Depth Threshold Formulae.
Electron. Colloquium Comput. Complex., 2013

On the Circular Security of Bit-Encryption.
Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Delegation for bounded space.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Efficient Multiparty Protocols via Log-Depth Threshold Formulae - (Extended Abstract).
Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

2011
Enhancements of Trapdoor Permutations.
Electron. Colloquium Comput. Complex., 2011

Homomorphic Encryption: From Private-Key to Public-Key.
Proceedings of the Theory of Cryptography - 8th Theory of Cryptography Conference, 2011

2010
A Taxonomy of Enhanced Trapdoor Permutations.
Electron. Colloquium Comput. Complex., 2010

2005
Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Modeling and Monitoring Dynamic Dependency Environments.
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005


  Loading...