Fast Proofs for Verifying Computations

Información del proyecto

FASTPROOF

Identificador del acuerdo de subvención: 101041208

DOI

10.3030/101041208

Fecha de la firma de la CE 1 Marzo 2022

Fecha de inicio 1 Abril 2022

Fecha de finalización 31 Marzo 2027

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 435 000,00

Aportación de la UE

€ 1 435 000,00

Coordinado por

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Resultado final

Documents, reports (1)

Data Management Plan

Drafting of Data Management Plan

Publicaciones

Conference proceedings (16)

Distribution-Free Proofs of Proximity

Autores: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Publicado en: 2023
Editor: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes

Autores: Tamer Moud, Alon Rosen, Ron Rothblum
Publicado en: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.189

Combinatorially Homomorphic Encryption

Autores: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, Edición 2023/1973, 2023, ISBN 978-3-031-48617-3
Editor: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance

Autores: Ron D. Rothblum Prashant Nalini Vasudevan
Publicado en: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Editor: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space

Autores: Joshua Cook, Ron D. Rothblum
Publicado en: Electronic colloquium on computational complexity, 2023, ISSN 1868-8969
Editor: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.47

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

Autores: Noor Athamnah, Eden Florentz – Konopnicki, Ron D. Rothblum
Publicado en: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Editor: ACM
DOI: 10.1007/978-3-031-78011-0_11

Unstructured Hardness to Average-Case Randomness

Autores: Lijie Chen, Ron D. Rothblum, Roei Tell
Publicado en: Annual IEEE Symposium on Foundations of Computer Science, 2022
Editor: 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?)

Autores: Lijie Chen, Ron D. Rothblum, Roei Tell
Publicado en: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Editor: ACM
DOI: 10.1145/3717823.3718177

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

Autores: Noga Ron-Zewi, Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, Edición 2021/1673, 2022, ISBN 9781450392648
Editor: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Autores: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Publicado en: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Editor: Concur 2023

Delegation for Search Problems

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

Batch Proofs Are Statistically Hiding

Autores: Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2025
Editor: ACM
DOI: 10.1145/3618260.3649775

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge

Autores: Or Keret, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Editor: ACM
DOI: 10.1007/978-3-031-78017-2_13

Faster Sounder Succinct Arguments and s

Autores: Justin Holmgren, Ron D. Rothblum
Publicado en: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Editor: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations

Autores: Shafik Nassar, Ron D. Rothblum
Publicado en: Cryptology Eprint Archive, Edición 2022/281, 2022, ISBN 978-3-031-15801-8
Editor: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge

Autores: Changrui Mu, Shafik Nassar, Ron D. Rothblum, Prashant Nalini Vasudevan
Publicado en: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2024, 2024
Editor: Springer
DOI: 10.1007/978-3-031-58751-1_9