<p>There has been some recent effort to make PCPs practical for use in verifying outsourced computation. Check the work by this UT Austin group for example: <a href="http://www.cs.utexas.edu/pepper/">http://www.cs.utexas.edu/pepper/</a>. </p>

CC BY-SA 3.0
2013-08-20T04:05:27.210Z
succinct arguments are the goal of the work, i am not sure if they develop a general enough PCP encoder for OP's purposes on the way
Sasho Nikolov
CC BY-SA 3.0
2013-08-19T15:30:12.170Z
2013-08-19T15:30:12.170Z
Sasho Nikolov
<p>Eli Ben-Sasson's group is working on implementing PCPs. You can e-mail him and ask for their code.</p>

CC BY-SA 3.0
2013-08-19T22:34:32.930Z
2013-08-19T22:34:32.930Z
Or Meir
<p>We all know the <a href="http://en.wikipedia.org/wiki/PCP_theorem" rel="nofollow">PCP Theorem</a>. Is there any software package availalbe taking a CNF in e.g. DIMACS format as input, and producing a PCP encoding in the same format as output? It might be interesting to run existing SAT solvers on such encoded instances and compare the performance relative to plain instances.</p>

<pcp>
Is a software implementation of a PCP encoder available?
Martin Schwarz
# Is a software implementation of a PCP encoder available?

(Asked by: username_0 on 2013-08-19)

We all know the [PCP Theorem](http://en.wikipedia.org/wiki/PCP_theorem). Is there any software package availalbe taking a CNF in e.g. DIMACS format as input, and producing a PCP encoding in the same format as output? It might be interesting to run existing SAT solvers on such encoded instances and compare the performance relative to plain instances.

**Tags:** pcp

---

## 2 answers

### Answer by username_1 on 2013-08-19. Score: 5

There has been some recent effort to make PCPs practical for use in verifying outsourced computation. Check the work by this UT Austin group for example: <http://www.cs.utexas.edu/pepper/>.

> **Comments:**
> **username_1**: succinct arguments are the goal of the work, i am not sure if they develop a general enough PCP encoder for OP's purposes on the way  

---

### Answer by username_2 on 2013-08-19. Score: 5

Eli Ben-Sasson's group is working on implementing PCPs. You can e-mail him and ask for their code.


---

