Implementing Probabilistically Checkable Proofs of Proximity
| dc.date.accessioned | 2005-12-22T02:33:55Z | |
| dc.date.accessioned | 2018-11-24T10:24:35Z | |
| dc.date.available | 2005-12-22T02:33:55Z | |
| dc.date.available | 2018-11-24T10:24:35Z | |
| dc.date.issued | 2005-08-08 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/30562 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/30562 | |
| dc.description.abstract | Abstract: In this paper, we describe a proof-of-concept implementation of the probabilistically checkable proof of proximity (PCPP) system described by Ben-Sasson and Sudan in \\cite{bs05}. In particular, we implement a PCPP prover and verifier for Reed-Solomon codes; the prover converts an evaluation of a polynomial on a linear set into a valid PCPP, while the verifier queries the evaluation and the PCPP to check that the evaluation is close to a Reed-Solomon codeword. We prove tight bounds on the various parameters associated with the prover and verifier and describe some interesting programmatic issues that arise during their implementation. | |
| dc.format.extent | 16 p. | |
| dc.format.extent | 13280259 bytes | |
| dc.format.extent | 636640 bytes | |
| dc.language.iso | en_US | |
| dc.title | Implementing Probabilistically Checkable Proofs of Proximity |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| MIT-CSAIL-TR-2005-051.pdf | 636.6Kb | application/pdf | View/ |
| MIT-CSAIL-TR-2005-051.ps | 13.28Mb | application/postscript | View/ |