# Probabilistically checkable proof

## Papers overview

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

2016

2016

- Electronic Colloquium on Computational Complexity
- 2016

Probabilistically Checkable Proofs (PCPs) [Babai et al. FOCS 90; Arora et al. JACM 98] can be used to construct asymptoticallyâ€¦Â (More)

Is this relevant?

2015

2015

- 2015

In this work we provide some initial structural complexity results for classes of probabilistically checkable proof systems (PCPsâ€¦Â (More)

Is this relevant?

2014

2014

- IACR Cryptology ePrint Archive
- 2014

A probabilistically Checkable Proof (PCP) allows a randomized verifier, with oracle access to a purported proof, toâ€¦Â (More)

Is this relevant?

2013

2013

- STOC
- 2013

Probabilistically-Checkable Proofs (PCPs) form the algorithmic core that enables fast verification of long computations in manyâ€¦Â (More)

Is this relevant?

2012

2012

- Electronic Colloquium on Computational Complexity
- 2012

Probabilistically-Checkable Proofs (PCPs) form the algorithmic core that enables succinct verification of long proofsâ€¦Â (More)

Is this relevant?

2007

2007

- computational complexity
- 2007

We show a construction of a PCP with both sub-constant error and almost-linear size. Specifically, for some constant 0Â <Â Î±Â <Â 1â€¦Â (More)

Is this relevant?

2005

2005

- 2005

In this paper, we describe a proof-of-concept implementation of the probabilistically checkable proof of proximity (PCPP) systemâ€¦Â (More)

Is this relevant?

2004

2004

- Inf. Comput.
- 2004

We investigate the question of when a verifier, with the aid of a proof, can reliably compute a function faster than it canâ€¦Â (More)

Is this relevant?

1995

1995

- Structure in Complexity Theory Conference
- 1995

We introduce a new model of fault tolerance for Boolean circuits. We consider synchronized circuits and we allow an adversary toâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- STOC
- 1993

Efficient Probabilistically Checkable Proofs and Applications to Approximation M. BELLARE* S. GOLDWASSERt C. LUNDi A. RUSSELL$ Weâ€¦Â (More)

Is this relevant?