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
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


checked on May 28, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.