Interactive proof system

Known as: Multiprover Interactive Proofs, Interactive proof systems, Multi-prover interactive proof 
In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The widely held belief that BQP strictly contains BPP raises fundamental questions: Upcoming generations of quantum computers… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
In this work we study interactive proofs for tractable languages. The (honest) prover should be efficient and run in polynomial… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
In this paper we consider quantum interactive proof systems, which are interactive proof systems in which the prover and verifier… (More)
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover and… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We introduce the notion ofnon-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The contribution of this paper is two-fold. First, a connection is established between approximating the size of the largest… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson… (More)
Is this relevant?
Highly Cited
1986
Highly Cited
1986
An interactive proof system is a method by which one party of unlimited resources, called the prover, can convince a party of… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Permission to copy without fee all or part of this material is granted provided that the copies arc not made or distributed for… (More)
Is this relevant?