Concepedia

Interactive Proof Verification

Interactive Proof Verification is an academic construct within computational complexity theory that distinguishes itself by formalizing the process through which a verifier probabilistically checks the correctness of a claimed solution via interaction with a prover, ensuring soundness and completeness within a bounded number of rounds.

38

Publications

3.3K

Citations

72

Authors

55

Institutions

Publications per year

2017–2026

11

Parents

Publications

38

Algebraic methods for interactive proof systems

Carsten Lund, Lance Fortnow, Howard Karloff et al. · Journal of the ACM · 1992 · 702 citations · Full text

, , +17

Delegating computation

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum · 2008 · 477 citations

, , +13

Universal Blind Quantum Computation

2009 · 460 citations · Full text

, , +16

Unconditionally verifiable blind quantum computation

Joseph F. Fitzsimons, Elham Kashefi · Physical review. A/Physical review, A · 2017 · 273 citations · Full text

, , +12

Delegating Computation

Shafi Goldwasser, Yael Tauman Kalai, Guy N. Rothblum · Journal of the ACM · 2015 · 205 citations

, , +13

1–5 of 38

Authors

72

  1. SG
    Shafi Goldwasser

    Massachusetts Institute of Technology, United States

    3 publications · 739 citations

    3

    h-index

  2. SG
    Siddharth Garg

    New York University, United States

    3 publications · 174 citations

    3

    h-index

  3. JT
    Justin Thaler

    Harvard University, United States

    3 publications · 273 citations

    3

    h-index

  4. GN
    Guy N. Rothblum

    Weizmann Institute of Science, Israel

    2 publications · 682 citations

    2

    h-index

  5. ZG
    Zahra Ghodsi

    New York University, United States

    2 publications · 109 citations

    2

    h-index

1–5 of 72

Institutions

55

  1. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    4 publications

    575 citations

  2. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    81 citations

  3. Technical University of Munich

    Munich, Germany

    3 h-index

    3 publications

    55 citations

  4. Tel Aviv University

    Tel Aviv, Israel

    3 h-index

    3 publications

    93 citations

  5. Microsoft (United States)

    Redmond, United States

    3 h-index

    4 publications

    311 citations

  6. University of Edinburgh

    Edinburgh, United Kingdom

    2 h-index

    4 publications

    654 citations

  7. Princeton University

    Princeton, United States

    2 h-index

    2 publications

    172 citations

  8. Shandong University of Political Science and Law

    Jinan, China

    2 h-index

    6 publications

    327 citations

1–8 of 55

Venues

  1. 2

    h-index

  2. Computational Complexity

    CC · 2 publications · 97 citations

    2

    h-index

  3. arXiv (Cornell University)

    Repository · 2 publications · 108 citations

    2

    h-index

  4. Journal of the ACM

    JACM · 2 publications · 907 citations

    2

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 26 citations

    2

    h-index

1–5