Foundations of Verifiable Computing

Informacje na temat projektu

VERICOMP

Identyfikator umowy o grant: 819702

DOI

10.3030/819702

Realizacja projektu zakończyła się 16 Października 2024

Data podpisania przez KE 13 Grudnia 2018

Data rozpoczęcia 1 Stycznia 2019

Data zakończenia 31 Grudnia 2024

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 882 460,00

Wkład UE

€ 1 882 460,00

Koordynowany przez

WEIZMANN INSTITUTE OF SCIENCE
Israel

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Book chapters (3)

Batch Verification and Proofs of Proximity with Polylog Overhead

Autorzy: Guy N. Rothblum, Ron D. Rothblum
Opublikowane w: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Numer 12551, 2020, Strona(/y) 108-138, ISBN 978-3-030-64377-5
Wydawca: 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

Autorzy: Noga Amit, Guy N. Rothblum
Opublikowane w: Lecture Notes in Computer Science, Advances in Cryptology – CRYPTO 2024, 2024, Strona(/y) 3-37
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-68403-6_1

Batch Verification for Statistical Zero Knowledge Proofs

Autorzy: Inbar Kaslasi, Guy N. Rothblum, Ron D. Rothblum, Adam Sealfon, Prashant Nalini Vasudevan
Opublikowane w: Theory of Cryptography - 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II, Numer 12551, 2020, Strona(/y) 139-167, ISBN 978-3-030-64377-5
Wydawca: 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

Autorzy: Lijie Chen, Roei Tell
Opublikowane w: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2023, Strona(/y) 283-291
Wydawca: ACM
DOI: 10.1145/3406325.3451059

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

Autorzy: Tal Herman, Guy N. Rothblum
Opublikowane w: Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing, 2023, Strona(/y) 1208-1219
Wydawca: ACM
DOI: 10.1145/3519935.3519987

Doubley-Efficient Interactive Proofs for Distribution Properties

Autorzy: Tal Herman, Guy Rothblum
Opublikowane w: 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Strona(/y) 743-751
Wydawca: IEEE
DOI: 10.1109/focs57990.2023.00049

Sample-Based Proofs of Proximity

Autorzy: Guy Goldberg, Guy N. Rothblum
Opublikowane w: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Strona(/y) 77:1--77:19, ISBN 978-3-95977-217-4
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.77

Randomness Extraction from Somewhat Dependent Sources

Autorzy: Marshall Ball, Oded Goldreich, Tal Malkin
Opublikowane w: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Strona(/y) 12:1--12:14, ISBN 978-3-95977-217-4
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.12

Decision-Making under Miscalibration

Autorzy: Rothblum, Guy N.; Yona, Gal
Opublikowane w: Numer 14, 2023
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.92

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

Autorzy: Dwork, Cynthia; Reingold, Omer; Rothblum, Guy N.
Opublikowane w: Symposium on Foundations of Responsible Computing, Numer 1, 2023
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.forc.2023.1

Outcome indistinguishability

Autorzy: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Opublikowane w: Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, Strona(/y) 1095-1108, ISBN 9781450380539
Wydawca: ACM
DOI: 10.1145/3406325.3451064

Constant-Round Arguments from One-Way Functions

Autorzy: Noga Amit, Guy N. Rothblum
Opublikowane w: Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023, Strona(/y) 1537-1544
Wydawca: ACM
DOI: 10.1145/3564246.3585244

Multi-group Agnostic {PAC} Learnability

Autorzy: Guy N. Rothblum, Gal Yona
Opublikowane w: Proceedings of the 38th International Conference on Machine Learning (ICML) 2021, Numer 18-24 July 2021, 2021, Strona(/y) 9107--9115
Wydawca: PMLR

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

Autorzy: Oded Goldreich, Avi Wigderson
Opublikowane w: 36th Computational Complexity Conference, {CCC} 2021, Numer July 20-23, 2021, 2021, Strona(/y) 12:1--12:74
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.12

Fiat-Shamir: from practice to theory

Autorzy: Ran Canetti, Yilei Chen, Justin Holmgren, Alex Lombardi, Guy N. Rothblum, Ron D. Rothblum, Daniel Wichs
Opublikowane w: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Strona(/y) 1082-1090, ISBN 9781-450367059
Wydawca: ACM Press
DOI: 10.1145/3313276.3316380

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

Autorzy: Arka Rai Choudhuri, Pavel Hubáček, Chethan Kamath, Krzysztof Pietrzak, Alon Rosen, Guy N. Rothblum
Opublikowane w: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019, 2019, Strona(/y) 1103-1114, ISBN 9781-450367059
Wydawca: ACM Press
DOI: 10.1145/3313276.3316400

Incrementally Verifiable Computation via Incremental PCPs

Autorzy: Moni Naor, Omer Paneth, Guy N. Rothblum
Opublikowane w: Theory of Cryptography - 17th International Conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019, Proceedings, Part II, Numer 11892, 2019, Strona(/y) 552-576, ISBN 978-3-030-36032-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-36033-7_21

On Prover-Efficient Public-Coin Emulation of Interactive Proofs

Autorzy: Gal Arnon, Guy N. Rothblum
Opublikowane w: 2nd Conference on Information-Theoretic Cryptography (ITC 2021), 2021, Strona(/y) 3:1–3:15, ISBN 978-3-95977-197-9
Wydawca: LIPIcs - Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.itc.2021.3

Interactive Proofs for Verifying Machine Learning

Autorzy: Shafi Goldwasser, Guy N. Rothblum, Jonathan Shafer, Amir Yehudayoff
Opublikowane w: 12th Innovations in Theoretical Computer Science Conference (ITCS 2021), 2021, Strona(/y) 41:1--41:19
Wydawca: "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

Autorzy: Lijie Chen, Ron D. Rothblum, Roei Tell, Eylon Yogev
Opublikowane w: 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS), 2020, Strona(/y) 13-23, ISBN 978-1-7281-9621-3
Wydawca: IEEE
DOI: 10.1109/focs46700.2020.00010

On Hitting-Set Generators for Polynomials that Vanish Rarely

Autorzy: Dean Doron, Amnon Ta-Shma, Roei Tell
Opublikowane w: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, {APPROX/RANDOM} 2020, 2020
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Learning from Outcomes: Evidence-Based Rankings

Autorzy: Cynthia Dwork, Michael P. Kim, Omer Reingold, Guy N. Rothblum, Gal Yona
Opublikowane w: 2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS), 2019, Strona(/y) 106-125, ISBN 978-1-7281-4952-3
Wydawca: IEEE
DOI: 10.1109/focs.2019.00016

Abstracting Fairness: Oracles, Metrics, and Interpretability

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

Communication Complexity with Defective Randomness

Autorzy: Marshall Ball, Oded Goldreich, Tal Malkin
Opublikowane w: 36th Computational Complexity Conference, {CCC} 2021, Numer July 20-23, 2021, 2021, Strona(/y) 14:1--14:10
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ccc.2021.14

On Interactive Proofs of Proximity with Proof-Oblivious Queries

Autorzy: Goldreich, Oded; Rothblum, Guy N.; Skverer, Tal
Opublikowane w: Innovations in Theoretical Computer Science Conference, {ITCS}, Numer 1, 2023
Wydawca: Schloss Dagstuhl
DOI: 10.4230/lipics.itcs.2023.59

Testing Distributions of Huge Objects

Autorzy: Oded Goldreich, Dana Ron
Opublikowane w: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Strona(/y) 78:1--78:19, ISBN 978-3-95977-217-4
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.78

On Fairness and Stability in Two-Sided Matchings

Autorzy: Gili Karni, Guy N. Rothblum, Gal Yona
Opublikowane w: 13th Innovations in Theoretical Computer Science Conference (ITCS 2022), 2022, Strona(/y) 92:1--92:17, ISBN 978-3-95977-217-4
Wydawca: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/lipics.itcs.2022.92

Interactive Proofs for General Distribution Properties

Autorzy: Tal Herman, Guy Rothblum
Opublikowane w: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024, Strona(/y) 528-538
Wydawca: IEEE
DOI: 10.1109/focs61266.2024.00041

Other (6)

A tight bound for the clique query problem in two rounds

Autorzy: Uriel Feige, Tom Ferster
Opublikowane w: Arxiv, 2021
Wydawca: Arxiv

A Lower Bound on the Complexity of Testing Grained Distributions

Autorzy: Oded Goldreich , Dana Ron
Opublikowane w: Electronic Colloquium on Computational Complexity (ECCC), 2021
Wydawca: Electronic Colloquium on Computational Complexity (ECCC)

Testing Bipartitness in an Augmented VDF Bounded-Degree Graph Model

Autorzy: Goldreich, Oded
Opublikowane w: 2019
Wydawca: arXiv

On the Complexity of Estimating the Effective Support Size

Autorzy: Oded Goldreich
Opublikowane w: Electronic Colloquium on Computational Complexity {(ECCC)}, 2019
Wydawca: Electronic Colloquium on Computational Complexity {(ECCC)}

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

Autorzy: Cas Cremers, Moni Naor, Shahar Paz, Eyal Ronen
Opublikowane w: 2020
Wydawca: {IACR} Cryptol. ePrint Arch.

A tight bound for the clique query problem in two rounds

Autorzy: Feige, Uriel; Ferster, Tom
Opublikowane w: CoRR, 2021, ISSN 2331-8422
Wydawca: ArXiv

Peer reviewed articles (2)

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

Autorzy: Roei Tell
Opublikowane w: Information Processing Letters, Numer 152, 2019, Strona(/y) 105841, ISSN 0020-0190
Wydawca: Elsevier BV
DOI: 10.1016/j.ipl.2019.105841

Good permutation codes based on the shuffle-exchange network

Autorzy: Oded Goldreich, Avi Wigderson
Opublikowane w: Israel Journal of Mathematics, Numer 256, 2023, Strona(/y) 283-296, ISSN 0021-2172
Wydawca: Magnes Press
DOI: 10.1007/s11856-023-2498-4

Non-peer reviewed articles (3)

Local Algorithms for Sparse Spanning Graphs

Autorzy: Reut Levi, Dana Ron, Ronitt Rubinfeld
Opublikowane w: Algorithmica, Numer 82/4, 2020, Strona(/y) 747-786, ISSN 0178-4617
Wydawca: Springer Verlag
DOI: 10.1007/s00453-019-00612-6

Testing Bounded Arboricity

Autorzy: Talya Eden, Reut Levi, Dana Ron
Opublikowane w: ACM Transactions on Algorithms, Numer 16/2, 2020, Strona(/y) 1-22, ISSN 1549-6325
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3381418

Property testing of planarity in the CONGEST model

Autorzy: Reut Levi, Moti Medina, Dana Ron
Opublikowane w: Distributed Computing, 2020, ISSN 0178-2770
Wydawca: Springer Verlag
DOI: 10.1007/s00446-020-00382-3