Fast Proofs for Verifying Computations

Informazioni relative al progetto

FASTPROOF

ID dell’accordo di sovvenzione: 101041208

DOI

10.3030/101041208

Data della firma CE 1 Marzo 2022

Data di avvio 1 Aprile 2022

Data di completamento 31 Marzo 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 435 000,00

Contributo UE

€ 1 435 000,00

Coordinato da

TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Documents, reports (1)

Data Management Plan

Drafting of Data Management Plan

Pubblicazioni

Conference proceedings (16)

Distribution-Free Proofs of Proximity

Autori: Gur, Tom; Aaronson, Hugo; Rajgopal, Ninad; Rothblum, Ron
Pubblicato in: 2023
Editore: CCC 2024
DOI: 10.48550/arxiv.2308.08874

Locally Testable Tree Codes

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

Combinatorially Homomorphic Encryption

Autori: Yuval Ishai, Eyal Kushnir, and Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, Numero 2023/1973, 2023, ISBN 978-3-031-48617-3
Editore: Springer
DOI: 10.1007/978-3-031-48618-0_9

Collision-Resistance from Multi-Collision-Resistance

Autori: Ron D. Rothblum Prashant Nalini Vasudevan
Pubblicato in: Journal of Cryptology, 2022, ISBN 978-3-031-15981-7
Editore: Springer
DOI: 10.1007/978-3-031-15982-4_17

Efficient Interactive Proofs for Non-Deterministic Bounded Space

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

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

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

Unstructured Hardness to Average-Case Randomness

Autori: Lijie Chen, Ron D. Rothblum, Roei Tell
Pubblicato in: Annual IEEE Symposium on Foundations of Computer Science, 2022
Editore: 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?)

Autori: Lijie Chen, Ron D. Rothblum, Roei Tell
Pubblicato in: Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025
Editore: ACM
DOI: 10.1145/3717823.3718177

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

Autori: Noga Ron-Zewi, Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, Numero 2021/1673, 2022, ISBN 9781450392648
Editore: Association for Computing Machinery
DOI: 10.1145/3519935.3519956

Faithful Simulation of Randomized BFT Protocols on Block DAGs

Autori: Attiya, Hagit; Enea, Constantin; Nassar, Shafik
Pubblicato in: 34th International Conference on Concurrency Theory, {CONCUR} 2023,, 2023
Editore: Concur 2023

Delegation for Search Problems

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

Batch Proofs Are Statistically Hiding

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

Doubly-Efficient Batch Verification in Statistical Zero-Knowledge

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

Faster Sounder Succinct Arguments and s

Autori: Justin Holmgren, Ron D. Rothblum
Pubblicato in: Cryptology ePrint Archive, 2022, ISBN 978-3-031-15801-8
Editore: Springer

Succinct Interactive Oracle Proofs: Applications and Limitations

Autori: Shafik Nassar, Ron D. Rothblum
Pubblicato in: Cryptology Eprint Archive, Numero 2022/281, 2022, ISBN 978-3-031-15801-8
Editore: Springer
DOI: 10.1007/978-3-031-15802-5_18

Strong Batching for Non-interactive Statistical Zero-Knowledge

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