Fast Proofs for Verifying Computations

Projektinformationen

FASTPROOF

ID Finanzhilfevereinbarung: 101041208

DOI

10.3030/101041208

EK-Unterschriftsdatum 1 März 2022

Startdatum 1 April 2022

Enddatum 31 März 2027

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 435 000,00

EU-Beitrag

€ 1 435 000,00

Koordiniert durch

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Documents, reports (1)

Data Management Plan

Drafting of Data Management Plan

Veröffentlichungen

Conference proceedings (16)

Distribution-Free Proofs of Proximity

Autoren: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Veröffentlicht in: 2023
Herausgeber: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes

Autoren: Tamer Moud, Alon Rosen, Ron Rothblum
Veröffentlicht in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.189

Combinatorially Homomorphic Encryption

Autoren: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Veröffentlicht in: Cryptology ePrint Archive, Ausgabe 2023/1973, 2023, ISBN 978-3-031-48617-3
Herausgeber: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance

Autoren: Ron D. Rothblum Prashant Nalini Vasudevan
Veröffentlicht in: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Herausgeber: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space

Autoren: Joshua Cook, Ron D. Rothblum
Veröffentlicht in: Electronic colloquium on computational complexity, 2023, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.47

Rate-1 Zero-Knowledge Proofs from One-Way Functions

Autoren: Noor Athamnah, Eden Florentz – Konopnicki, Ron D. Rothblum
Veröffentlicht in: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Herausgeber: ACM
DOI: 10.1007/978-3-031-78011-0_11

Unstructured Hardness to Average-Case Randomness

Autoren: Lijie Chen, Ron D. Rothblum, Roei Tell
Veröffentlicht in: Annual IEEE Symposium on Foundations of Computer Science, 2022
Herausgeber: IEEE Computer Society
DOI: 10.1109/FOCS54457.2022.00048

Fiat-Shamir in the Plain Model from Derandomization (Or: Do Efficient Algorithms Believe that NP = PSPACE?)

Autoren: Lijie Chen, Ron D. Rothblum, Roei Tell
Veröffentlicht in: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Herausgeber: ACM
DOI: 10.1145/3717823.3718177

Proving as fast as computing: succinct arguments with constant prover overhead

Autoren: Noga Ron-Zewi, Ron D. Rothblum
Veröffentlicht in: Cryptology ePrint Archive, Ausgabe 2021/1673, 2022, ISBN 9781450392648
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Autoren: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Veröffentlicht in: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Herausgeber: Concur 2023

Delegation for Search Problems

Autoren: Justin Holmgren, Andrea Lincoln, Ron D. Rothblum
Veröffentlicht in: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022), 2022, ISSN 1868-8969
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.ICALP.2022.73

Batch Proofs Are Statistically Hiding

Autoren: Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Veröffentlicht in: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2025
Herausgeber: ACM
DOI: 10.1145/3618260.3649775

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge

Autoren: Or Keret, Ron D. Rothblum, Prashant Nalini Vasudevan
Veröffentlicht in: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Herausgeber: ACM
DOI: 10.1007/978-3-031-78017-2_13

Faster Sounder Succinct Arguments and s

Autoren: Justin Holmgren, Ron D. Rothblum
Veröffentlicht in: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Herausgeber: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations

Autoren: Shafik Nassar, Ron D. Rothblum
Veröffentlicht in: Cryptology Eprint Archive, Ausgabe 2022/281, 2022, ISBN 978-3-031-15801-8
Herausgeber: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge

Autoren: Changrui Mu, Shafik Nassar, Ron D. Rothblum, Prashant Nalini Vasudevan
Veröffentlicht in: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2024, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-58751-1_9