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 条

[21] NONUNIFORM PROOF SYSTEMS - A NEW FRAMEWORK TO DESCRIBE NONUNIFORM AND PROBABILISTIC COMPLEXITY CLASSES
KAMPER, J
THEORETICAL COMPUTER SCIENCE, 1991, 85 (02) : 305 - 331
[22] PROBABILISTIC PROOF OF A GEOMETRIC THEOREM
ZUBKOV, AM
MATHEMATICAL NOTES, 1979, 26 (5-6) : 982 - 983
[23] On the correspondence between arithmetic theories and propositional proof systems - a survey
Beyersdorff, Olaf
MATHEMATICAL LOGIC QUARTERLY, 2009, 55 (02) : 116 - 137
[24] Orbit equivalence of Cantor minimal systems: A survey and a new proof
Putnam, Ian F.
EXPOSITIONES MATHEMATICAE, 2010, 28 (02) : 101 - 131
[25] Probabilistic Reliability Analysis of Future Power Systems - Survey and Example
Tuinema, Bart W.
Gibescu, Madeleine
van der Sluis, Lou
van der Meijden, Mart A. M. M.
2011 2ND IEEE PES INTERNATIONAL CONFERENCE AND EXHIBITION ON INNOVATIVE SMART GRID TECHNOLOGIES (ISGT EUROPE), 2011,
[26] PROBABILISTIC INTERVAL TEMPORAL LOGIC AND DURATION CALCULUS WITH INFINITE INTERVALS: COMPLETE PROOF SYSTEMS
Guelev, Dimitar P.
LOGICAL METHODS IN COMPUTER SCIENCE, 2007, 3 (03)
[27] Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Ndukwu, Ukachukwu
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (13): : 27 - 39
[28] Simple and probabilistic proof of the binomial theorem
Mukhopadhyay, Nitis
AMERICAN STATISTICIAN, 2007, 61 (03): : 283 - 283
[29] A Probabilistic Proof of the Spherical Excess Formula
Klain, Daniel A.
AMERICAN MATHEMATICAL MONTHLY, 2020, 128 (01): : 70 - 72
[30] A probabilistic proof of Schoenberg's theorem
Kuehn, Franziska
Schilling, Rene L.
JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2019, 476 (01) : 13 - 26

← 1 2 3 4 5 →