Authors: | Lehnherr, David Ognjanović, Zoran Studer, Thomas |
Affiliations: | Mathematics Mathematical Institute of the Serbian Academy of Sciences and Arts |
Title: | A Logic of Interactive Proofs | Journal: | Logical Foundations of Computer Science | Series/Report no.: | Lecture Notes in Computer Science | Volume: | 13137 | First page: | 143 | Last page: | 155 | Conference: | International Symposium on Logical Foundations of Computer Science, LFCS 2022 | Issue Date: | 2022 | Rank: | M33 | DOI: | 10.1007/978-3-030-93100-1_10 | Abstract: | We introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in IPJ, we present a new method of parametrizing IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs. |
Keywords: | Interactive proof system | Zero-knowledge proof | Epistemic logic | Justification logic | Probabilistic logic | Publisher: | Springer Link |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.