Interactive Coding for Interactive Proofs

被引：2
|
作者：
Bishop, Allison [1 ]
Dodis, Yevgeniy [2 ]
机构：
[1] Columbia Univ, New York, NY USA
[2] NYU, New York, NY USA
来源：
THEORY OF CRYPTOGRAPHY, TCC 2016-A, PT II | 2016年 / 9563卷
关键词：
CONSTRUCTIONS;
D O I：
10.1007/978-3-662-49099-0_13
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：352 / 366
页数：15
相关论文
共 50 条
  • [1] BROADCAST INTERACTIVE PROOFS
    BURMESTER, M
    DESMEDT, Y
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 547 : 81 - 95
  • [2] A logic of interactive proofs
    Lehnherr, David
    Ognjanovic, Zoran
    Studer, Thomas
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (08) : 1645 - 1658
  • [3] Interactive Distributed Proofs
    Kol, Gillat
    Oshman, Rotem
    Saxena, Raghuvansh R.
    [J]. PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2018, : 255 - 264
  • [4] Interactive Oracle Proofs
    Ben-Sasson, Eli
    Chiesa, Alessandro
    Spooner, Nicholas
    [J]. THEORY OF CRYPTOGRAPHY, TCC 2016-B, PT II, 2016, 9986 : 31 - 60
  • [5] On interactive proofs with a laconic prover
    Goldreich, O
    Vadhan, S
    Wigderson, A
    [J]. AUTOMATA LANGUAGES AND PROGRAMMING, PROCEEDING, 2001, 2076 : 334 - 345
  • [6] Batch processing of interactive proofs
    Chida, Koji
    Yamamoto, Go
    [J]. TOPICS IN CRYPTOLOGY - CT-RSA 2007, PROCEEDINGS, 2007, 4377 : 196 - +
  • [7] Interactive Proofs for Rounding Arithmetic
    Chen, Shuo
    Cheon, Jung Hee
    Kim, Dongwoo
    Park, Daejun
    [J]. IEEE ACCESS, 2022, 10 : 122706 - 122725
  • [8] On the Power of Interactive Proofs for Learning
    Gur, Tom
    Jahanara, Mohammad Mahdi
    Khodabandeh, Mohammad Mahdi
    Rajgopal, Ninad
    Salamatian, Bahar
    Shinkar, Igor
    [J]. PROCEEDINGS OF THE 56TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2024, 2024, : 1063 - 1070
  • [9] Teaching Interactive Proofs to Mathematicians
    Ayala-Rincon, Mauricio
    de Lima, Thaynara Arielly
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2020, (328): : 1 - 17
  • [10] On interactive proofs with a laconic prover
    Oded Goldreich
    Salil Vadhan
    Avi Wigderson
    [J]. computational complexity, 2002, 11 : 1 - 53
12345