Foundations of Verifiable Computing

Projektinformationen

VERICOMP

ID Finanzhilfevereinbarung: 819702

DOI

10.3030/819702

Das Projekt endete am 16 Oktober 2024

EK-Unterschriftsdatum 13 Dezember 2018

Startdatum 1 Januar 2019

Enddatum 31 Dezember 2024

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 882 460,00

EU-Beitrag

€ 1 882 460,00

Koordiniert durch

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

Veröffentlichungen

Book chapters (3)

Batch Verification and Proofs of Proximity with Polylog Overhead

Autoren: Guy N. Rothblum, Ron D. Rothblum
Veröffentlicht in: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Ausgabe 12551, 2020, Seite(n) 108-138, ISBN 978-3-030-64377-5
Herausgeber: 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

Autoren: Noga Amit, Guy N. Rothblum
Veröffentlicht in: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024, Seite(n) 3-37
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68403-6_1

Batch Verification for Statistical Zero Knowledge Proofs

Autoren: Inbar Kaslasi, Guy N. Rothblum, Ron D. Rothblum, Adam Sealfon, Prashant Nalini Vasudevan
Veröffentlicht in: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Ausgabe 12551, 2020, Seite(n) 139-167, ISBN 978-3-030-64377-5
Herausgeber: 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

Autoren: Lijie Chen, Roei Tell
Veröffentlicht in: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2023, Seite(n) 283-291
Herausgeber: ACM
DOI: 10.1145/3406325.3451059

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

Autoren: Tal Herman, Guy N. Rothblum
Veröffentlicht in: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2023, Seite(n) 1208-1219
Herausgeber: ACM
DOI: 10.1145/3519935.3519987

Doubley-Efficient Interactive Proofs for Distribution Properties

Autoren: Tal Herman, Guy Rothblum
Veröffentlicht in: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Seite(n) 743-751
Herausgeber: IEEE
DOI: 10.1109/focs57990.2023.00049

Sample-Based Proofs of Proximity

Autoren: Guy Goldberg, Guy N. Rothblum
Veröffentlicht in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Seite(n) 77:1--77:19, ISBN 978-3-95977-217-4
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.77

Randomness Extraction from Somewhat Dependent Sources

Autoren: Marshall Ball, Oded Goldreich, Tal Malkin
Veröffentlicht in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Seite(n) 12:1--12:14, ISBN 978-3-95977-217-4
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.12

Decision-Making under Miscalibration

Autoren: Rothblum, Guy N.; Yona, Gal
Veröffentlicht in: Ausgabe 14, 2023
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.92

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

Autoren: Dwork, Cynthia; Reingold, Omer; Rothblum, Guy N.
Veröffentlicht in: Symposium on Foundations of Responsible Computing, Ausgabe 1, 2023
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/lipics.forc.2023.1

Outcome indistinguishability

Autoren: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Veröffentlicht in: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, Seite(n) 1095-1108, ISBN 9781450380539
Herausgeber: ACM
DOI: 10.1145/3406325.3451064

Constant-Round Arguments from One-Way Functions

Autoren: Noga Amit, Guy N. Rothblum
Veröffentlicht in: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Seite(n) 1537-1544
Herausgeber: ACM
DOI: 10.1145/3564246.3585244

Multi-group Agnostic {PAC} Learnability

Autoren: Guy N. Rothblum, Gal Yona
Veröffentlicht in: Proceedings of the 38th International Conference on Machine Learning (ICML) 2021, Ausgabe 18-24 July 2021, 2021, Seite(n) 9107--9115
Herausgeber: PMLR

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

Autoren: Oded Goldreich, Avi Wigderson
Veröffentlicht in: 36th Computational Complexity Conference, {CCC} 2021, Ausgabe July 20-23, 2021, 2021, Seite(n) 12:1--12:74
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.12

Fiat-Shamir: from practice to theory

Autoren: Ran Canetti, Yilei Chen, Justin Holmgren, Alex Lombardi, Guy N. Rothblum, Ron D. Rothblum, Daniel Wichs
Veröffentlicht in: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Seite(n) 1082-1090, ISBN 9781-450367059
Herausgeber: ACM Press
DOI: 10.1145/3313276.3316380

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

Autoren: Arka Rai Choudhuri, Pavel Hubáček, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum
Veröffentlicht in: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Seite(n) 1103-1114, ISBN 9781-450367059
Herausgeber: ACM Press
DOI: 10.1145/3313276.3316400

Incrementally Verifiable Computation via Incremental PCPs

Autoren: Moni Naor, Omer Paneth, Guy N. Rothblum
Veröffentlicht in: Theory of Cryptography - 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II, Ausgabe 11892, 2019, Seite(n) 552-576, ISBN 978-3-030-36032-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-36033-7_21

On Prover-Efficient Public-Coin Emulation of Interactive Proofs

Autoren: Gal Arnon, Guy N. Rothblum
Veröffentlicht in: 2nd Conference on Information-Theoretic Cryptography (ITC 2021), 2021, Seite(n) 3:1–3:15, ISBN 978-3-95977-197-9
Herausgeber: LIPIcs - Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.itc.2021.3

Interactive Proofs for Verifying Machine Learning

Autoren: Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff
Veröffentlicht in: 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), 2021, Seite(n) 41:1--41:19
Herausgeber: "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

Autoren: Lijie Chen, Ron D. Rothblum, Roei Tell, Eylon Yogev
Veröffentlicht in: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 2020, Seite(n) 13-23, ISBN 978-1-7281-9621-3
Herausgeber: IEEE
DOI: 10.1109/focs46700.2020.00010

On Hitting-Set Generators for Polynomials that Vanish Rarely

Autoren: Dean Doron, Amnon Ta-Shma, Roei Tell
Veröffentlicht in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, {APPROX/RANDOM} 2020, 2020
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Learning from Outcomes: Evidence-Based Rankings

Autoren: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Veröffentlicht in: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Seite(n) 106-125, ISBN 978-1-7281-4952-3
Herausgeber: IEEE
DOI: 10.1109/focs.2019.00016

Abstracting Fairness: Oracles, Metrics, and Interpretability

Autoren: Dwork, Cynthia; Ilvento, Christina; Rothblum, Guy N.; Sur, Pragya
Veröffentlicht in: 1st Symposium on Foundations of Responsible Computing, {FORC} 2020, 2020
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.forc.2020.8

Communication Complexity with Defective Randomness

Autoren: Marshall Ball, Oded Goldreich, Tal Malkin
Veröffentlicht in: 36th Computational Complexity Conference, {CCC} 2021, Ausgabe July 20-23, 2021, 2021, Seite(n) 14:1--14:10
Herausgeber: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.14

On Interactive Proofs of Proximity with Proof-Oblivious Queries

Autoren: Goldreich, Oded; Rothblum, Guy N.; Skverer, Tal
Veröffentlicht in: Innovations in Theoretical Computer Science Conference, {ITCS}, Ausgabe 1, 2023
Herausgeber: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.59

Testing Distributions of Huge Objects

Autoren: Oded Goldreich, Dana Ron
Veröffentlicht in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Seite(n) 78:1--78:19, ISBN 978-3-95977-217-4
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.78

On Fairness and Stability in Two-Sided Matchings

Autoren: Gili Karni, Guy N. Rothblum, Gal Yona
Veröffentlicht in: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Seite(n) 92:1--92:17, ISBN 978-3-95977-217-4
Herausgeber: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.92

Interactive Proofs for General Distribution Properties

Autoren: Tal Herman, Guy Rothblum
Veröffentlicht in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Seite(n) 528-538
Herausgeber: IEEE
DOI: 10.1109/focs61266.2024.00041

Other (6)

A tight bound for the clique query problem in two rounds

Autoren: Uriel Feige, Tom Ferster
Veröffentlicht in: Arxiv, 2021
Herausgeber: Arxiv

A Lower Bound on the Complexity of Testing Grained Distributions

Autoren: Oded Goldreich , Dana Ron
Veröffentlicht in: Electronic Colloquium on Computational Complexity (ECCC), 2021
Herausgeber: Electronic Colloquium on Computational Complexity (ECCC)

Testing Bipartitness in an Augmented VDF Bounded-Degree Graph Model

Autoren: Goldreich, Oded
Veröffentlicht in: 2019
Herausgeber: arXiv

On the Complexity of Estimating the Effective Support Size

Autoren: Oded Goldreich
Veröffentlicht in: Electronic Colloquium on Computational Complexity {(ECCC)}, 2019
Herausgeber: Electronic Colloquium on Computational Complexity {(ECCC)}

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

Autoren: Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen
Veröffentlicht in: 2020
Herausgeber: {IACR} Cryptol. ePrint Arch.

A tight bound for the clique query problem in two rounds

Autoren: Feige, Uriel; Ferster, Tom
Veröffentlicht in: CoRR, 2021, ISSN 2331-8422
Herausgeber: ArXiv

Peer reviewed articles (2)

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

Autoren: Roei Tell
Veröffentlicht in: Information Processing Letters, Ausgabe 152, 2019, Seite(n) 105841, ISSN 0020-0190
Herausgeber: Elsevier BV
DOI: 10.1016/j.ipl.2019.105841

Good permutation codes based on the shuffle-exchange network

Autoren: Oded Goldreich, Avi Wigderson
Veröffentlicht in: Israel Journal of Mathematics, Ausgabe 256, 2023, Seite(n) 283-296, ISSN 0021-2172
Herausgeber: Magnes Press
DOI: 10.1007/s11856-023-2498-4

Non-peer reviewed articles (3)

Local Algorithms for Sparse Spanning Graphs

Autoren: Reut Levi, Dana Ron, Ronitt Rubinfeld
Veröffentlicht in: Algorithmica, Ausgabe 82/4, 2020, Seite(n) 747-786, ISSN 0178-4617
Herausgeber: Springer Verlag
DOI: 10.1007/s00453-019-00612-6

Testing Bounded Arboricity

Autoren: Talya Eden, Reut Levi, Dana Ron
Veröffentlicht in: ACM Transactions on Algorithms, Ausgabe 16/2, 2020, Seite(n) 1-22, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3381418

Property testing of planarity in the CONGEST model

Autoren: Reut Levi, Moti Medina, Dana Ron
Veröffentlicht in: Distributed Computing, 2020, ISSN 0178-2770
Herausgeber: Springer Verlag
DOI: 10.1007/s00446-020-00382-3