Foundations of Verifiable Computing

Informations projet

VERICOMP

N° de convention de subvention: 819702

DOI

10.3030/819702

Projet clôturé le 16 Octobre 2024

Date de signature de la CE 13 Decembre 2018

Date de début 1 Janvier 2019

Date de fin 31 Decembre 2024

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 882 460,00

Contribution de l’UE

€ 1 882 460,00

Coordonné par

WEIZMANN INSTITUTE OF SCIENCE
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 .

Publications

Book chapters (3)

Batch Verification and Proofs of Proximity with Polylog Overhead

Auteurs: Guy N. Rothblum, Ron D. Rothblum
Publié dans: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Numéro 12551, 2020, Page(s) 108-138, ISBN 978-3-030-64377-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-64378-2_5

Constant-Round Arguments for Batch-Verification and Bounded-Space Computations from One-Way Functions

Auteurs: Noga Amit, Guy N. Rothblum
Publié dans: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024, Page(s) 3-37
Éditeur: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68403-6_1

Batch Verification for Statistical Zero Knowledge Proofs

Auteurs: Inbar Kaslasi, Guy N. Rothblum, Ron D. Rothblum, Adam Sealfon, Prashant Nalini Vasudevan
Publié dans: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Numéro 12551, 2020, Page(s) 139-167, ISBN 978-3-030-64377-5
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-64378-2_6

Conference proceedings (25)

Simple and fast derandomization from very hard functions: eliminating randomness at almost no cost

Auteurs: Lijie Chen, Roei Tell
Publié dans: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2023, Page(s) 283-291
Éditeur: ACM
DOI: 10.1145/3406325.3451059

Verifying the unseen: interactive proofs for label-invariant distribution properties

Auteurs: Tal Herman, Guy N. Rothblum
Publié dans: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2023, Page(s) 1208-1219
Éditeur: ACM
DOI: 10.1145/3519935.3519987

Doubley-Efficient Interactive Proofs for Distribution Properties

Auteurs: Tal Herman, Guy Rothblum
Publié dans: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Page(s) 743-751
Éditeur: IEEE
DOI: 10.1109/focs57990.2023.00049

Sample-Based Proofs of Proximity

Auteurs: Guy Goldberg, Guy N. Rothblum
Publié dans: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Page(s) 77:1--77:19, ISBN 978-3-95977-217-4
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.77

Randomness Extraction from Somewhat Dependent Sources

Auteurs: Marshall Ball, Oded Goldreich, Tal Malkin
Publié dans: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Page(s) 12:1--12:14, ISBN 978-3-95977-217-4
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.12

Decision-Making under Miscalibration

Auteurs: Rothblum, Guy N.; Yona, Gal
Publié dans: Numéro 14, 2023
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.92

From the Real Towards the Ideal: Risk Prediction in a Better World

Auteurs: Dwork, Cynthia; Reingold, Omer; Rothblum, Guy N.
Publié dans: Symposium on Foundations of Responsible Computing, Numéro 1, 2023
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.forc.2023.1

Outcome indistinguishability

Auteurs: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Publié dans: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, Page(s) 1095-1108, ISBN 9781450380539
Éditeur: ACM
DOI: 10.1145/3406325.3451064

Constant-Round Arguments from One-Way Functions

Auteurs: Noga Amit, Guy N. Rothblum
Publié dans: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Page(s) 1537-1544
Éditeur: ACM
DOI: 10.1145/3564246.3585244

Multi-group Agnostic {PAC} Learnability

Auteurs: Guy N. Rothblum, Gal Yona
Publié dans: Proceedings of the 38th International Conference on Machine Learning (ICML) 2021, Numéro 18-24 July 2021, 2021, Page(s) 9107--9115
Éditeur: PMLR

Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing

Auteurs: Oded Goldreich, Avi Wigderson
Publié dans: 36th Computational Complexity Conference, {CCC} 2021, Numéro July 20-23, 2021, 2021, Page(s) 12:1--12:74
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.12

Fiat-Shamir: from practice to theory

Auteurs: Ran Canetti, Yilei Chen, Justin Holmgren, Alex Lombardi, Guy N. Rothblum, Ron D. Rothblum, Daniel Wichs
Publié dans: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Page(s) 1082-1090, ISBN 9781-450367059
Éditeur: ACM Press
DOI: 10.1145/3313276.3316380

Finding a Nash equilibrium is no easier than breaking Fiat-Shamir

Auteurs: Arka Rai Choudhuri, Pavel Hubáček, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum
Publié dans: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Page(s) 1103-1114, ISBN 9781-450367059
Éditeur: ACM Press
DOI: 10.1145/3313276.3316400

Incrementally Verifiable Computation via Incremental PCPs

Auteurs: Moni Naor, Omer Paneth, Guy N. Rothblum
Publié dans: Theory of Cryptography - 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II, Numéro 11892, 2019, Page(s) 552-576, ISBN 978-3-030-36032-0
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-030-36033-7_21

On Prover-Efficient Public-Coin Emulation of Interactive Proofs

Auteurs: Gal Arnon, Guy N. Rothblum
Publié dans: 2nd Conference on Information-Theoretic Cryptography (ITC 2021), 2021, Page(s) 3:1–3:15, ISBN 978-3-95977-197-9
Éditeur: LIPIcs - Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.itc.2021.3

Interactive Proofs for Verifying Machine Learning

Auteurs: Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff
Publié dans: 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), 2021, Page(s) 41:1--41:19
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.itcs.2021.41

On Exponential-Time Hypotheses, Derandomization, and Circuit Lower Bounds: Extended Abstract

Auteurs: Lijie Chen, Ron D. Rothblum, Roei Tell, Eylon Yogev
Publié dans: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 2020, Page(s) 13-23, ISBN 978-1-7281-9621-3
Éditeur: IEEE
DOI: 10.1109/focs46700.2020.00010

On Hitting-Set Generators for Polynomials that Vanish Rarely

Auteurs: Dean Doron, Amnon Ta-Shma, Roei Tell
Publié dans: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, {APPROX/RANDOM} 2020, 2020
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Learning from Outcomes: Evidence-Based Rankings

Auteurs: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Publié dans: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Page(s) 106-125, ISBN 978-1-7281-4952-3
Éditeur: IEEE
DOI: 10.1109/focs.2019.00016

Abstracting Fairness: Oracles, Metrics, and Interpretability

Auteurs: Dwork, Cynthia; Ilvento, Christina; Rothblum, Guy N.; Sur, Pragya
Publié dans: 1st Symposium on Foundations of Responsible Computing, {FORC} 2020, 2020
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.forc.2020.8

Communication Complexity with Defective Randomness

Auteurs: Marshall Ball, Oded Goldreich, Tal Malkin
Publié dans: 36th Computational Complexity Conference, {CCC} 2021, Numéro July 20-23, 2021, 2021, Page(s) 14:1--14:10
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.14

On Interactive Proofs of Proximity with Proof-Oblivious Queries

Auteurs: Goldreich, Oded; Rothblum, Guy N.; Skverer, Tal
Publié dans: Innovations in Theoretical Computer Science Conference, {ITCS}, Numéro 1, 2023
Éditeur: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.59

Testing Distributions of Huge Objects

Auteurs: Oded Goldreich, Dana Ron
Publié dans: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Page(s) 78:1--78:19, ISBN 978-3-95977-217-4
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.78

On Fairness and Stability in Two-Sided Matchings

Auteurs: Gili Karni, Guy N. Rothblum, Gal Yona
Publié dans: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Page(s) 92:1--92:17, ISBN 978-3-95977-217-4
Éditeur: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.92

Interactive Proofs for General Distribution Properties

Auteurs: Tal Herman, Guy Rothblum
Publié dans: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Page(s) 528-538
Éditeur: IEEE
DOI: 10.1109/focs61266.2024.00041

Other (6)

A tight bound for the clique query problem in two rounds

Auteurs: Uriel Feige, Tom Ferster
Publié dans: Arxiv, 2021
Éditeur: Arxiv

A Lower Bound on the Complexity of Testing Grained Distributions

Auteurs: Oded Goldreich , Dana Ron
Publié dans: Electronic Colloquium on Computational Complexity (ECCC), 2021
Éditeur: Electronic Colloquium on Computational Complexity (ECCC)

Testing Bipartitness in an Augmented VDF Bounded-Degree Graph Model

Auteurs: Goldreich, Oded
Publié dans: 2019
Éditeur: arXiv

On the Complexity of Estimating the Effective Support Size

Auteurs: Oded Goldreich
Publié dans: Electronic Colloquium on Computational Complexity {(ECCC)}, 2019
Éditeur: Electronic Colloquium on Computational Complexity {(ECCC)}

CHIP and CRISP: Protecting All Parties Against Compromise through Identity-Binding PAKEs

Auteurs: Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen
Publié dans: 2020
Éditeur: {IACR} Cryptol. ePrint Arch.

A tight bound for the clique query problem in two rounds

Auteurs: Feige, Uriel; Ferster, Tom
Publié dans: CoRR, 2021, ISSN 2331-8422
Éditeur: ArXiv

Peer reviewed articles (2)

Proving that prBPP = prP is as hard as proving that “almost NP” is not contained in P/poly

Auteurs: Roei Tell
Publié dans: Information Processing Letters, Numéro 152, 2019, Page(s) 105841, ISSN 0020-0190
Éditeur: Elsevier BV
DOI: 10.1016/j.ipl.2019.105841

Good permutation codes based on the shuffle-exchange network

Auteurs: Oded Goldreich, Avi Wigderson
Publié dans: Israel Journal of Mathematics, Numéro 256, 2023, Page(s) 283-296, ISSN 0021-2172
Éditeur: Magnes Press
DOI: 10.1007/s11856-023-2498-4

Non-peer reviewed articles (3)

Local Algorithms for Sparse Spanning Graphs

Auteurs: Reut Levi, Dana Ron, Ronitt Rubinfeld
Publié dans: Algorithmica, Numéro 82/4, 2020, Page(s) 747-786, ISSN 0178-4617
Éditeur: Springer Verlag
DOI: 10.1007/s00453-019-00612-6

Testing Bounded Arboricity

Auteurs: Talya Eden, Reut Levi, Dana Ron
Publié dans: ACM Transactions on Algorithms, Numéro 16/2, 2020, Page(s) 1-22, ISSN 1549-6325
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3381418

Property testing of planarity in the CONGEST model

Auteurs: Reut Levi, Moti Medina, Dana Ron
Publié dans: Distributed Computing, 2020, ISSN 0178-2770
Éditeur: Springer Verlag
DOI: 10.1007/s00446-020-00382-3