Concepedia

Interactive Proof Systems

Interactive Proof Systems is a computational model in complexity theory where a computationally bounded verifier interacts with one or more powerful provers through message exchange to probabilistically determine the truth of a statement, distinguished from static proof systems by the dynamic, round-based communication protocol between the participants.

558

Publications

43.4K

Citations

914

Authors

360

Institutions

Publications per year

2017–2026

95

Variants

Interactive Proofs

Parents

Children

Publications

558

The Knowledge Complexity of Interactive Proof Systems

Shafi Goldwasser, Silvio Micali, Charles Rackoff · SIAM Journal on Computing · 1989 · 3.3K citations

, , +13

The knowledge complexity of interactive proof-systems

Sbafi Goldwasser, Silvio Micali, Charles Rackoff · 1985 · 1.2K citations · Full text

, , +8

Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.

Pierre Castéran, Yves Bertot · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.1K citations

, , +17

Bulletproofs: Short Proofs for Confidential Transactions and More

Benedikt Bünz, Jonathan Bootle, Dan Boneh et al. · 2018 · 1.1K citations · Full text

, , +16

Pinocchio: Nearly Practical Verifiable Computation

Bryan Parno, Jon Howell, Craig Gentry et al. · 2013 · 835 citations · Full text

, , +9

1–5 of 558

Authors

914

  1. JW
    John Watrous

    University of Calgary, Canada

    19 publications · 1.3K citations

    16

    h-index

  2. LF
    Lance Fortnow

    University of Chicago, United States

    14 publications · 2.8K citations

    14

    h-index

  3. OG
    Oded Goldreich

    Weizmann Institute of Science, Israel

    12 publications · 1.6K citations

    11

    h-index

  4. SG
    Shafi Goldwasser

    Massachusetts Institute of Technology, United States

    11 publications · 5.3K citations

    11

    h-index

  5. YT
    Yael Tauman Kalai

    Microsoft (United States), United States

    10 publications · 1.1K citations

    10

    h-index

1–5 of 914

Institutions

360

  1. Massachusetts Institute of Technology

    Cambridge, United States

    24 h-index

    49 publications

    11.3K citations

  2. Weizmann Institute of Science

    Rehovot, Israel

    23 h-index

    34 publications

    3.9K citations

  3. Microsoft (United States)

    Redmond, United States

    19 h-index

    24 publications

    3.1K citations

  4. Princeton University

    Princeton, United States

    15 h-index

    24 publications

    1.9K citations

  5. IIT@MIT

    Cambridge, United States

    15 h-index

    21 publications

    1.9K citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    14 h-index

    27 publications

    1.4K citations

  7. University of Waterloo

    Waterloo, Canada

    12 h-index

    24 publications

    716 citations

  8. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    12 h-index

    23 publications

    996 citations

1–8 of 360

Venues

  1. Proceedings of the National Academy of Sciences

    PNAS · 28 publications · 2.2K citations

    22

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 16 publications · 349 citations

    13

    h-index

  3. arXiv (Cornell University)

    Repository · 14 publications · 280 citations

    11

    h-index

  4. SIAM Journal on Computing

    10 publications · 5.1K citations

    10

    h-index

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

    Repository · 10 publications · 254 citations

    10

    h-index

1–5