Interactive Coding for Interactive Proofs

Yevgeniy Dodis; Allison Bishop Lewko

Paper 2014/827 Original: eprint.iacr.org/2014/827 ↗

Interactive Coding for Interactive Proofs

Yevgeniy Dodis

Allison Bishop Lewko

Abstract

We consider interactive proof systems over adversarial communication channels. We show that the seminal result that $\ip = \pspace$ still holds when the communication channel is malicious, allowing even a constant fraction of the communication to be arbitrarily corrupted.

Metadata

Available format(s): PDF
Publication info: Preprint.
History: 2014-10-12: last updated; 2014-10-12: published
Short URL: https://ia.cr/2014/827
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2014/827,
      author = {Yevgeniy Dodis and Allison Bishop Lewko},
      title = {Interactive Coding for Interactive Proofs},
      howpublished = {Cryptology {ePrint} Archive, Paper 2014/827},
      year = {2014},
      url = {https://eprint.iacr.org/2014/827}
}