Probabilistic proof systems - A survey

被引：0
|
作者：
Goldreich, O [1 ]
机构：
[1] Weizmann Inst Sci, Dept Appl Math & Comp Sci, IL-76100 Rehovot, Israel
来源：
STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE | 1997年 / 1200卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such proof systems - interactive proofs, zero-knowledge proofs, and probabilistic checkable proofs stressing the essential role of randomness in each of them.
引用
收藏
页码：595 / 611
页数：17
相关论文
共 50 条
  • [1] Probabilistic proof systems: A primer
    Goldreich, Oded
    Foundations and Trends in Theoretical Computer Science, 2007, 3 (01): : 1 - 91
  • [2] Proof systems for probabilistic uncertain reasoning
    Paris, J
    Vencovska, A
    JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (03) : 1007 - 1039
  • [3] Complete Proof Systems for Amortised Probabilistic Bisimulations
    Xu, Li-Li
    Lin, Hui-Min
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 31 (02) : 300 - 316
  • [4] Introduction to special section on probabilistic proof systems
    Goldwasser, S
    SIAM JOURNAL ON COMPUTING, 1998, 27 (03) : 737 - 738
  • [5] Complete Proof Systems for Amortised Probabilistic Bisimulations
    Li-Li Xu
    Hui-Min Lin
    Journal of Computer Science and Technology, 2016, 31 : 300 - 316
  • [6] Probabilistic systems coalgebraically: A survey
    Sokolova, Ana
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (38) : 5095 - 5110
  • [7] A survey of elliptic curves for proof systems
    Aranha, Diego F. F.
    El Housni, Youssef
    Guillevic, Aurore
    DESIGNS CODES AND CRYPTOGRAPHY, 2023, 91 (11) : 3333 - 3378
  • [8] The need for compositional proof systems: A survey
    de Roever, WP
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 1 - 22
  • [9] A survey of elliptic curves for proof systems
    Diego F. Aranha
    Youssef El Housni
    Aurore Guillevic
    Designs, Codes and Cryptography, 2023, 91 : 3333 - 3378
  • [10] A SURVEY OF HUMAN INTERACTIVE PROOF SYSTEMS
    Shirali-Shahreza, Sajad
    Shirali-Shahreza, Mohammad
    INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2010, 6 (3A): : 855 - 874
12345