# Interactive proof system

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2010

Highly Cited

2010

- ICS
- 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

- STOC
- 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

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems

- STOC
- 2000

In this paper we consider quantum interactive proof systems, which are interactive proof systems in which the prover and verifierâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- FOCS
- 1999

In this paper we introduce quantum interactive proof systems, which are interactive proof systems in which the prover andâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- FOCS
- 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

- J. ACM
- 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

- J. ACM
- 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

- computational complexity
- 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

- STOC
- 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

- STOC
- 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?