Fast Proofs for Verifying Computations

Informations projet

FASTPROOF

N° de convention de subvention: 101041208

DOI

10.3030/101041208

Date de signature de la CE 1 Mars 2022

Date de début 1 Avril 2022

Date de fin 31 Mars 2027

Financé au titre de

• European Research Council (ERC)

Coût total

€ 1 435 000,00

Contribution de l’UE

€ 1 435 000,00

Coordonné par

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Livrables

Documents, reports (1)

Data Management Plan

Drafting of Data Management Plan

Publications

Conference proceedings (16)

Distribution-Free Proofs of Proximity

Auteurs: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Publié dans: 2023
Éditeur: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes

Auteurs: Tamer Moud, Alon Rosen, Ron Rothblum
Publié dans: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.189

Combinatorially Homomorphic Encryption

Auteurs: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Publié dans: Cryptology ePrint Archive, Numéro 2023/1973, 2023, ISBN 978-3-031-48617-3
Éditeur: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance

Auteurs: Ron D. Rothblum Prashant Nalini Vasudevan
Publié dans: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Éditeur: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space

Auteurs: Joshua Cook, Ron D. Rothblum
Publié dans: Electronic colloquium on computational complexity, 2023, ISSN 1868-8969
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f""ur Informatik"
DOI: 10.4230/LIPIcs.APPROX/RANDOM.2023.47

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

Auteurs: Noor Athamnah, Eden Florentz – Konopnicki, Ron D. Rothblum
Publié dans: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Éditeur: ACM
DOI: 10.1007/978-3-031-78011-0_11

Unstructured Hardness to Average-Case Randomness

Auteurs: Lijie Chen, Ron D. Rothblum, Roei Tell
Publié dans: Annual IEEE Symposium on Foundations of Computer Science, 2022
Éditeur: 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?)

Auteurs: Lijie Chen, Ron D. Rothblum, Roei Tell
Publié dans: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Éditeur: ACM
DOI: 10.1145/3717823.3718177

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

Auteurs: Noga Ron-Zewi, Ron D. Rothblum
Publié dans: Cryptology ePrint Archive, Numéro 2021/1673, 2022, ISBN 9781450392648
Éditeur: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Auteurs: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Publié dans: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Éditeur: Concur 2023

Delegation for Search Problems

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

Batch Proofs Are Statistically Hiding

Auteurs: Nir Bitansky, Chethan Kamath, Omer Paneth, Ron D. Rothblum, Prashant Nalini Vasudevan
Publié dans: Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2025
Éditeur: ACM
DOI: 10.1145/3618260.3649775

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge

Auteurs: Or Keret, Ron D. Rothblum, Prashant Nalini Vasudevan
Publié dans: Lecture Notes in Computer Science, Theory of Cryptography, 2024
Éditeur: ACM
DOI: 10.1007/978-3-031-78017-2_13

Faster Sounder Succinct Arguments and s

Auteurs: Justin Holmgren, Ron D. Rothblum
Publié dans: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Éditeur: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations

Auteurs: Shafik Nassar, Ron D. Rothblum
Publié dans: Cryptology Eprint Archive, Numéro 2022/281, 2022, ISBN 978-3-031-15801-8
Éditeur: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge

Auteurs: Changrui Mu, Shafik Nassar, Ron D. Rothblum, Prashant Nalini Vasudevan
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – EUROCRYPT 2024, 2024
Éditeur: Springer
DOI: 10.1007/978-3-031-58751-1_9