Concepedia

Interactive Oracle Proofs

Interactive Oracle Proofs is a probabilistic proof system in which a verifier interacts with a prover via oracle access to intermediate proof strings, distinguishing it from prior models by combining features of interactive proofs and probabilistically checkable proofs through bounded-round, non-adaptive queries to a sequence of oracles.

8

Publications

207

Citations

26

Authors

18

Institutions

Publications per year

2017–2026

4

Variants

Iop

Parents

Publications

8

Ligero++: A New Optimized Sublinear IOP

Rishabh Bhadauria, Zhiyong Fang, Carmit Hazay et al. · 2020 · 71 citations · Full text

, , +14

Local Proofs Approaching the Witness Length [Extended Abstract]

Noga Ron‐Zewi, Ron D. Rothblum · 2020 · 26 citations

, , +11

Fast Reed-Solomon Interactive Oracle Proofs of Proximity

Eli Ben‐Sasson, Iddo Bentov, Yinon Horesh et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 24 citations · Full text

, , +17

Interactive Oracle Proofs with Constant Rate and Query Complexity

Eli Ben‐Sasson, Alessandro Chiesa, Ariel Gabizon et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 23 citations · Full text

, , +16

Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles

Olga Caprotti, Martijn Oostdijk · Journal of Symbolic Computation · 2001 · 20 citations · Full text

, , +14

1–5 of 8

Authors

26

  1. EB
    Eli Ben‐Sasson

    Technion – Israel Institute of Technology, Israel

    3 publications · 60 citations

    3

    h-index

  2. MR
    Michael Riabzev

    Technion – Israel Institute of Technology, Israel

    3 publications · 60 citations

    3

    h-index

  3. NS
    Nicholas Spooner

    University of California, Berkeley, United States

    2 publications · 36 citations

    2

    h-index

  4. AG
    Ariel Gabizon

    Technion – Israel Institute of Technology, Israel

    2 publications · 36 citations

    2

    h-index

  5. AC
    Alessandro Chiesa

    Tel Aviv University, Israel

    2 publications · 36 citations

    2

    h-index

1–5 of 26

Institutions

18

  1. Technion – Israel Institute of Technology

    Haifa, Israel

    4 h-index

    10 publications

    206 citations

  2. University of California, Berkeley

    Berkeley, United States

    3 h-index

    3 publications

    107 citations

  3. University of Toronto

    Toronto, Canada

    2 h-index

    2 publications

    36 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    4 publications

    44 citations

  5. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    1 h-index

    4 publications

    44 citations

  6. Texas A&M University

    College Station, United States

    1 h-index

    2 publications

    142 citations

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

    Le Chesnay-Rocquencourt, France

    1 h-index

    4 publications

    44 citations

  8. Cornell University

    Ithaca, United States

    1 h-index

    1 publications

    24 citations

1–8 of 18

Venues

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

    Repository · 2 publications · 47 citations

    2

    h-index

  2. IACR Cryptology ePrint Archive

    Repository · 1 publications · 13 citations

    1

    h-index

  3. Journal of Symbolic Computation

    1 publications · 20 citations

    1

    h-index

  4. Proceedings on Privacy Enhancing Technologies

    PoPETs · 1 publications · 12 citations

1–4